Math 9G Geometry Flashcards

Geometric Inequalities

Concepts of Inequality in Segments and Angles

  • Definitions of Geometric Inequalities:

    • Segment Inequality: AB‾<CD‾\overline{AB} < \overline{CD} if and only if AB<CDAB < CD.

    • Angle Inequality: ∠A<∠B\angle A < \angle B if and only if m∠A<m∠Bm\angle A < m\angle B.

  • Fundamental Properties of Inequality:

    • Trichotomy Property: For every real number xx and yy, EXACTLY ONE of the following conditions holds:     x=yx = y     x<yx < y     x>yx > y

    • Transitive Property:

    • If x<yx < y and y<zy < z, then x<zx < z.

    • If x>yx > y and y>zy > z, then x>yx > y .

    • Addition Property:

    • If a<ba < b and x≤yx \le y, then a+x<b+ya + x < b + y.

    • Multiplication Property:

    • If x<yx < y and a>0a > 0, then a⋅x<a⋅ya \cdot x < a \cdot y.

  • Property Identification Exercises:

    1. If a>5a > 5 and b<5b < 5, then b<ab < a illustrates the Transitive Property.

    2. If 4<64 < 6 and 10<1510 < 15, then 14<2114 < 21 illustrates the Addition Property.

    3. If m∠A<45m\angle A < 45, then m∠A≠45m\angle A \neq 45 illustrates the Trichotomy Property.

    4. If a−b=7a - b = 7 and b<5b < 5, then a<12a < 12 illustrates the Addition Property.

    5. If 3a<23a < 2 and b>0b > 0, then 3ab<2b3ab < 2b illustrates the Multiplication Property.

  • Theorem 7–1:

    • Statement: If a=b+ca = b + c and c>0c > 0, then a>ba > b.

    • Two-Column Proof:

Statement

Reason

1. a=b+ca = b + c

Given

2. a−c=ba - c = b

Addition Property of Equality

3. c>0c > 0

Given

4. a>ba > b

Addition Property of Inequality

  • Applications of Theorem 7–1:

    • Example 1: If G,H,KG, H, K are three points such that G−H−KG - H - K, explain why GH<GKGH < GK.

Statement

Reason

1. G−H−KG - H - K

Given

2. GK=GH+HKGK = GH + HK

Definition of Between

3. HK>0HK > 0

Distance Postulate (Postulate 1)

4. GK>GH  ⟺  GH<GKGK > GH \iff GH < GK

Theorem 7–1

  • Example 2: In ΔACD\Delta ACD, AC=DCAC = DC and AD=DBAD = DB. Prove that ∠ABD>∠ADB\angle ABD > \angle ADB.


Triangle ABD and BDC

Statement

Reason

1. AC=DCAC = DC; AD=DBAD = DB

Given

2. m∠ADC=m∠CADm\angle ADC = m\angle CAD; m∠ABD=m∠CADm\angle ABD = m\angle CAD

Isosceles Triangle Theorem (Theorem 5–4)

3. m∠ADC=m∠ABDm\angle ADC = m\angle ABD

Transitive Property

4. BB is in the interior of ∠ADC\angle ADC

Definition of Interior Point

5. m∠ADC=m∠ADB+m∠BDCm\angle ADC = m\angle ADB + m\angle BDC

Angle Addition Postulate (Postulate 13)

6. m∠ABD=m∠ADB+m∠BDCm\angle ABD = m\angle ADB + m\angle BDC

Transitive Property

7. m∠ABD>m∠ADBm\angle ABD > m\angle ADB

Theorem 7–1

8. ∠ABD>∠ADB\angle ABD > \angle ADB

Definition of Inequality in Angles

The Exterior Angle Theorem and Its Corollaries

  • Exterior Angle and Remote Interior Angles:

    • Exterior Angle Definition: If CC is between AA and DD, then ∠BCD\angle BCD is an exterior angle of ΔABC\Delta ABC.

    • Remote Interior Angles Definition: ∠A\angle A and ∠B\angle B of ΔABC\Delta ABC are called the remote interior angles of the exterior angles ∠BCD\angle BCD and ∠ACE\angle ACE.

  • Theorem 7–2 (The Exterior Angle Theorem):

    • Statement: An exterior angle of a triangle is greater than each of its remote interior angles.

    • Restatement: Given ΔABC\Delta ABC. If CC is between AA and DD, then ∠BCD>∠A\angle BCD > \angle A and ∠BCD>∠B\angle BCD > \angle B.


Exterior Angle Theorem Diagram
  • Two-Column Proof:

Statement

Reason

1. Let EE be the midpoint of BC‾\overline{BC}, s.t. BE=ECBE = EC

Theorem 2–3

2. Let FF be a point of the ray opposite to EA‾\overline{EA}, such that EF=EAEF = EA

Point-plotting Theorem (Theorem 2–2)

3. ∠BEA≅∠CEF\angle BEA \cong \angle CEF

Vertical Angle Theorem (Theorem 4–8)

4. ΔBEA≅ΔCEF\Delta BEA \cong \Delta CEF

SAS Postulate (Postulate 15) (from 1, 2, 3)

5. m∠B=m∠ECFm\angle B = m\angle ECF

CPCTC (from 4)

6. FF is in the interior of ∠BCD\angle BCD

Definition of Interior of an Angle

7. m∠BCD=m∠ECF+m∠FCDm\angle BCD = m\angle ECF + m\angle FCD

Angle Addition Postulate (Postulate 13)

8. m∠BCD=m∠B+m∠FCDm\angle BCD = m\angle B + m\angle FCD

Substitution Property (from 7, 5)

9. m∠BCD>m∠Bm\angle BCD > m\angle B

Theorem 7–1

10. ∠BCD>∠B\angle BCD > \angle B

Definition of Inequality for Angles

  • Corollary 7–2.1:

    • Statement: If a triangle has one right angle, then its other angles are acute.

    • Restatement: Given ΔABC\Delta ABC with right angle ∠BCA\angle BCA (m∠BCA=90m\angle BCA = 90). Its other angles, ∠A\angle A and ∠B\angle B, have measure less than 9090

    • Two-Column Proof:

Statement

Reason

1. ΔABC\Delta ABC with right angle ∠BCA\angle BCA

Given

2. m∠BCA=90m\angle BCA = 90

Theorem 4–1

3. ∠BCA\angle BCA and ∠BCD\angle BCD form a linear pair

Definition of Linear Pair

4. ∠BCA\angle BCA and ∠BCD\angle BCD are supplementary

Supplement Postulate (Postulate 14)

5. m∠BCA+m∠BCD=180m\angle BCA + m\angle BCD = 180

Definition of Supplementary Angles

6. m∠BCD=90m\angle BCD = 90

Substitution Property, Addition Property of Equality (from 2, 5)

7. m∠A<m∠BCDm\angle A < m\angle BCD; m∠B<m∠BCDm\angle B < m\angle BCD

Exterior Angle Theorem (Theorem 7–2)

8. m∠A<90m\angle A < 90; m∠B<90m\angle B < 90

Substitution Property (from 6, 7)

9. ∠A\angle A and ∠B\angle B are acute angles

Definition of Acute Angles

Congruence Theorems and Single Triangle Inequalities

  • SAA Correspondence Definition: Given a correspondence ABC↔DEFABC \leftrightarrow DEF between two triangles: If a pair of corresponding sides are congruent, and two pairs of corresponding angles are congruent, then the correspondence is called an SAA Correspondence.

  • Theorem 7–3 (The SAA Theorem):

    • Statement: Every SAA correspondence is a congruence.

    • Proof Outline: Uses Trichotomy Property. It can be shown that AB≯DEAB \not> DE and AB≮DEAB \not< DE. Thus, AB=DEAB = DE is the only remaining possibility, making the triangles congruent by the ASA Postulate.

  • Theorem 7–4 (The Hypotenuse-Leg Theorem):

    • Statement: Given a correspondence between two triangles. If the hypotenuse and one leg of one of the triangles are congruent to the corresponding parts of the second triangle, then the correspondence is a congruence.

    • Restatement: Given ΔABC\Delta ABC and ΔDEF\Delta DEF, where ∠BAC\angle BAC and ∠EDF\angle EDF are right angles; BC‾≅EF‾\overline{BC} \cong \overline{EF} (hypotenuse) and AB‾≅DE‾\overline{AB} \cong \overline{DE} (leg), then ΔABC≅ΔDEF\Delta ABC \cong \Delta DEF

    • Two-Column Proof:

Statement

Reason

1. Locate GG in the ray opposite AC‾\overline{AC} such that AG=DFAG = DF

Point Plotting Theorem (Theorem 2–2)

2. ∠BAC≅∠BAG≅∠EDF\angle BAC \cong \angle BAG \cong \angle EDF

Theorem 4–4 (∠BAG\angle BAG is right since ∠BAC\angle BAC is right)

3. AB‾≅DE‾\overline{AB} \cong \overline{DE}

Given

4. ΔABG≅ΔDEF\Delta ABG \cong \Delta DEF, which leads to BG‾≅EF‾\overline{BG} \cong \overline{EF}

SAS Postulate (Postulate 15); CPCTC

5. But BC‾≅EF‾\overline{BC} \cong \overline{EF}, thus BC‾≅BG‾\overline{BC} \cong \overline{BG}

Given, Transitive Property

6. ∠BCA≅∠BGA\angle BCA \cong \angle BGA

Isosceles Triangle Theorem (Theorem 5–4)

7. ΔABC≅ΔABG\Delta ABC \cong \Delta ABG

SAA Theorem (Theorem 7–3) (from 2, 5, 6)

8. ΔABC≅ΔDEF\Delta ABC \cong \Delta DEF

Transitive Property (from 4, 7)

  • Theorem 7–5 (Side-Angle Inequality in a Single Triangle):

    • Statement: If two sides of a triangle are not congruent, then the angles opposite them are not congruent, and the larger angle is opposite the longer side.

    • Restatement: Given ΔABC\Delta ABC where AC‾≇AB‾\overline{AC} \not\cong \overline{AB}, if AC>ABAC > AB, then m∠B>m∠Cm\angle B > m\angle C.

    • Two-Column Proof:

Statement

Reason

1. AC>ABAC > AB

Given

2. Let DD be a point on AC→\overrightarrow{AC} such that AB=ADAB = AD

Point Plotting Theorem (Theorem 2–2)

3. ∠ABD≅∠ADB\angle ABD \cong \angle ADB, thus m∠ABD=m∠ADBm\angle ABD = m\angle ADB

Isosceles Triangle Theorem (Theorem 5–4); Definition

4. m∠ADB>m∠Cm\angle ADB > m\angle C

Exterior Angle Theorem (Theorem 7–2); Definition

5. m∠B=m∠ABD+m∠CBDm\angle B = m\angle ABD + m\angle CBD

Angle Addition Postulate (Postulate 13)

6. m∠B>m∠ABDm\angle B > m\angle ABD

Theorem 7–1

7. m∠B>m∠Cm\angle B > m\angle C

Substitution Property; Transitive Property (from 6, 3, 4)

  • Theorem 7–6 (Angle-Side Inequality in a Single Triangle):

    • Statement: If angles of a triangle are not congruent, then the sides opposite them are not congruent, and the longer side is opposite the larger angle.

    • Restatement: Given ΔABC\Delta ABC where m∠B≇m∠Cm\angle B \not\cong m\angle C, if m∠B>m∠Cm\angle B > m\angle C, then AC>ABAC > AB.

    • Two-Column Proof:

Statement

Reason

1. m∠B>m∠Cm\angle B > m\angle C

Given

2. Let DD be a point on AB→\overrightarrow{AB} such that m∠D=m∠Cm\angle D = m\angle C

Angle Construction Postulate (Postulate 12)

3. AD=ACAD = AC

Converse of Isosceles Triangle Theorem (Theorem 5–5)

4. AD=AB+BDAD = AB + BD

Definition of Between

5. AD>ABAD > AB since BD>0BD > 0

Theorem 7–1

6. AC>ABAC > AB

Substitution Property (from 3, 5)

  • Theorem 7–7 (The First Minimum Theorem):

    • Statement: The shortest segment joining a point to a line is the perpendicular segment.

    • Restatement: Given line ℓ\ell and an external point PP. If PQ‾⊥ℓ\overline{PQ} \perp \ell at QQ, and RR is any other point of ℓ\ell, then PQ<PRPQ < PR.

    • Two-Column Proof:

Statement

Reason

1. PQ‾⊥ℓ\overline{PQ} \perp \ell

Given

2. ∠PQR\angle PQR is a right angle, thus m∠PQR=90m\angle PQR = 90

Definition of Perpendicular; Theorem 4–1

3. RR is any other point of ℓ\ell forming ΔPQR\Delta PQR

Given; Definition of a Triangle

4. ∠PRQ\angle PRQ is an acute angle

Corollary 7–2.1

5. m∠PRQ<90m\angle PRQ < 90

Definition of an Acute Angle

6. m∠PRQ<m∠PQRm\angle PRQ < m\angle PQR

Substitution Property (from 2, 5)

7. PQ<PRPQ < PR

Theorem 7–6

  • Definition of Distance:

    • The distance between a line and an external point is the length of the perpendicular segment from the point to the line.

    • The distance between a line and a point on the line is defined to be zero.

  • Theorem 7–8 (The Triangle Inequality Theorem):

    • Statement: The sum of the lengths of any two sides of a triangle is greater than the length of the third side.

    • Restatement: In any ΔABC\Delta ABC, AB+BC>ACAB + BC > AC, AB+AC>BCAB + AC > BC, or AC+BC>ABAC + BC > AB.

    • Two-Column Proof (for AB+BC>ACAB + BC > AC):

Statement

Reason

1. Let DD be a point on a ray opposite BC→\overrightarrow{BC} such that DB=BADB = BA

Point Plotting Theorem (Theorem 2–2)

2. ∠DAB≅∠ADB\angle DAB \cong \angle ADB or ∠DAB≅∠ADC\angle DAB \cong \angle ADC

Isosceles Triangle Theorem (Theorem 5–4)

3. CD=DB+BCCD = DB + BC

Definition of Between

4. CD=BA+BCCD = BA + BC or CD=AB+BCCD = AB + BC

Substitution (from 1, 3)

5. m∠DAC=m∠DAB+m∠BACm\angle DAC = m\angle DAB + m\angle BAC

Angle Addition Postulate (Postulate 13)

6. m∠DAC>m∠DABm\angle DAC > m\angle DAB

Theorem 7–1

7. m∠DAC>m∠ADCm\angle DAC > m\angle ADC

Substitution Property (from 2, 5)

8. CD>ACCD > AC

Theorem 7–6

9. AB+BC>ACAB + BC > AC

Substitution Property (from 4, 8)

The Hinge Theorem and Converse Hinge Theorem

  • Theorem 7–9 (The Hinge Theorem):

    • Statement: If two sides of one triangle are congruent, respectively, to two sides of a second triangle, and the included angle of the first triangle is larger than the included angle of the second, then the third side of the first triangle is longer than the third side of the second.

    • Restatement: Given ΔABC\Delta ABC and ΔDEF\Delta DEF, with AB‾≅DE‾\overline{AB} \cong \overline{DE} and AC‾≅DF‾\overline{AC} \cong \overline{DF}. If ∠A>∠D\angle A > \angle D, then BC‾>EF‾\overline{BC} > \overline{EF}.

    • Two-Column Proof:

Statement

Reason

1. Draw AG‾\overline{AG} in ΔABC\Delta ABC such that ∠FAC≅∠EDF\angle FAC \cong \angle EDF and AG‾≅DE‾\overline{AG} \cong \overline{DE}

Angle Construction Postulate (Postulate 12); Point Plotting Theorem (Theorem 2–2)

2. AC‾≅DF‾\overline{AC} \cong \overline{DF}

Given

3. ΔAGC≅ΔDEF\Delta AGC \cong \Delta DEF and GC=EFGC = EF

SAS Postulate (Postulate 15); CPCTC

4. Let AM‾\overline{AM} be the angle bisector of ∠BAG\angle BAG and MM be on BC‾\overline{BC}

Angle Construction Postulate (Postulate 12)

5. ∠BAM≅∠GAM\angle BAM \cong \angle GAM

Definition of Angle Bisector

6. Since AB‾≅DE‾\overline{AB} \cong \overline{DE} and AG‾≅DE‾\overline{AG} \cong \overline{DE}, then AB‾≅AG‾\overline{AB} \cong \overline{AG}

Given, Step 1, Transitive Property

7. AM‾≅AM‾\overline{AM} \cong \overline{AM}

Reflexive Property

8. ΔABM≅ΔAGM\Delta ABM \cong \Delta AGM

SAS Postulate (Postulate 15)

9. BM‾≅GM‾\overline{BM} \cong \overline{GM} implies BM=GMBM = GM

CPCTC, Definition

10. BC=BM+MCBC = BM + MC

Definition of Between

11. BC>MCBC > MC

Theorem 7–1

12. In ΔCGM\Delta CGM, GM+MC>GCGM + MC > GC

Triangle Inequality Theorem (Theorem 7–8)

13. BM+MC>GCBM + MC > GC

Substitution Property (from 9, 12)

14. BC>GCBC > GC

Substitution Property (from 10, 13)

15. BC>EFBC > EF

Substitution Property (from 3, 14)

  • Sample Applications:

    • Algebraic Problem: Given ΔABD\Delta ABD and ΔCDB\Delta CDB sharing side BD‾\overline{BD}, with AB=CDAB = CD and ∠ABD=44∘>∠CDB=35∘\angle ABD = 44^\circ > \angle CDB = 35^\circ.


Hinge Theorem Ex 1
* By Hinge Theorem: AD>BC  ⟹  2x+12>4x−8  ⟹  20>2x  ⟹  x<10AD > BC \implies 2x + 12 > 4x - 8 \implies 20 > 2x \implies x < 10
  • Real-World Navigation Problem: Given ΔABC\Delta ABC and ΔABD\Delta ABD sharing AB‾\overline{AB}, where BC=BD=181 milesBC = BD = 181\,miles, AB=100 milesAB = 100\,miles, ∠ABC=48∘\angle ABC = 48^\circ, and ∠ABD=113∘\angle ABD = 113^\circ.


Plane Distance Diagram
* Since ∠ABD>∠ABC\angle ABD > \angle ABC, by the Hinge Theorem, AD>ACAD > AC. Therefore, Plane 2 is closer to the airport than Plane 1.
  • Theorem 7–10 (The Converse Hinge Theorem):

    • Statement: If two sides of one triangle are congruent, respectively, to two sides of a second triangle, and the third side of the first triangle is longer than the third side of the second, then the included angle of the first triangle is larger than the included angle of the second.

    • Restatement: Given ΔABC\Delta ABC and ΔDEF\Delta DEF, with AB=DEAB = DE and AC=DFAC = DF. If BC>EFBC > EF, then ∠A>∠D\angle A > \angle D.

    • Proof Outline: By Trichotomy Property, the possible cases for ∠A\angle A and ∠D\angle D are ∠A≅∠D\angle A \cong \angle D, ∠A<∠D\angle A < \angle D, or ∠A>∠D\angle A > \angle D. Assuming ∠A≅∠D\angle A \cong \angle D yields BC=EFBC = EF (contradiction). Assuming ∠A<∠D\angle A < \angle D yields BC<EFBC < EF by Hinge Theorem (contradiction). Thus, ∠A>∠D\angle A > \angle D must hold.

Parallelism

Lines in Space and Transversal Angle Pairs

  • Relative Positions of Two Lines in Space:

    • Intersecting Lines: Lines that meet at exactly one point. By Theorem 3–4, two intersecting lines determine exactly one plane (they are coplanar).

    • Parallel Lines: Lines that lie in the same plane and do not intersect.

    • Skew Lines: Lines that do not intersect and do not lie in the same plane (non-coplanar).

  • Fundamental Theorems on Parallel Lines:

    • Theorem 9–1: Two parallel lines lie in exactly one plane.

    • Theorem 9–2: In a plane, two lines are parallel if they are both perpendicular to the same line.

    • Theorem 9–3 (Existence of Parallels): Let LL be a line and PP be a point NOT on LL. Then there is at least one line through PP, parallel to LL

  • Transversals and Associated Angle Pairs:

    • Transversal Definition: A transversal of two coplanar lines is a line that intersects them in two distinct points.

    • Alternate Interior Angles: Given two lines cut by a transversal TT at PP and QQ, angles ∠APQ\angle APQ and ∠BQP\angle BQP on opposite sides of TT between the lines are alternate interior angles.

    • Corresponding Angles: An interior angle and an exterior angle on the same side of the transversal that are in corresponding relative positions.


Transversal Angle Diagram
  • Congruence Theorems for Transversals:

    • Theorem 9–4: If two lines are cut by a transversal, and one pair of alternate interior angles are congruent, then the other pair of alternate interior angles are also congruent.

    • Theorem 9–6: Given two lines cut by a transversal. If a pair of corresponding angles are congruent, then a pair of alternate interior angles are congruent.

Conditions Guaranteeing Parallelism

  • Theorem 9–5 (The AIP Theorem - Alternate Interior Angles Theorem):

    • Statement: Given two lines cut by a transversal, if a pair of alternate interior angles are congruent, then the lines are parallel.

    • Restatement: If ∠y≅∠x\angle y \cong \angle x, then ℓ1∥ℓ2\ell_1 \parallel \ell_2.

  • Theorem 9–7 (The CAP Theorem - Corresponding Angles Theorem):

    • Statement: Given two lines cut by a transversal, if a pair of corresponding angles are congruent, then the lines are parallel.

    • Restatement: If ∠z≅∠x\angle z \cong \angle x, then ℓ1∥ℓ2\ell_1 \parallel \ell_2.

  • Interior Angles on the Same Side of Transversal:

    • Definition: If ∠x\angle x and ∠y\angle y are alternate interior angles, and ∠v\angle v and ∠x\angle x form a linear pair, then ∠x\angle x and ∠w\angle w are interior angles on the same side of the transversal.

  • Theorem 9–8:

    • Statement: Given two lines cut by a transversal, if a pair of interior angles on the same side of the transversal are supplementary, the lines are parallel.

    • Restatement: If ∠v\angle v and ∠x\angle x are supplementary, then ℓ1∥ℓ2\ell_1 \parallel \ell_2.

    • Two-Column Proof:

Statement

Reason

1. ∠v\angle v and ∠x\angle x are supplementary

Given

2. ∠v\angle v and ∠y\angle y form a linear pair

Definition of Linear Pair

3. ∠v\angle v and ∠y\angle y are supplementary

Supplement Postulate (Postulate 14)

4. ∠v≅∠v\angle v \cong \angle v

Reflexive Property

5. ∠x≅∠y\angle x \cong \angle y

Supplement Theorem (Theorem 4–6)

6. ℓ1∥ℓ2\ell_1 \parallel \ell_2

The AIP Theorem (Theorem 9–5)

The Parallel Postulate and Properties of Parallel Lines

  • Postulate 18 (The Parallel Postulate):

    • Through a given external point there is ONLY ONE line parallel to a given line.

  • Properties Derived from Parallel Lines:

    • Theorem 9–9 (The PAI Theorem - Parallel Alternate Interior Theorem): If two parallel lines are cut by a transversal, then alternate interior angles are congruent (ℓ1∥ℓ2  ⟹  ∠1≅∠2\ell_1 \parallel \ell_2 \implies \angle 1 \cong \angle 2).

    • Corollary 9–9.1 (The PCA Corollary - Parallel Corresponding Angles Corollary): If two parallel lines are cut by a transversal, each pair of corresponding angles are congruent (ℓ1∥ℓ2  ⟹  ∠2≅∠3\ell_1 \parallel \ell_2 \implies \angle 2 \cong \angle 3).

    • Corollary 9–9.2: If two parallel lines are cut by a transversal, the interior angles on the same side of the transversal are supplementary (ℓ1∥ℓ2  ⟹  m∠2+m∠4=180\ell_1 \parallel \ell_2 \implies m\angle 2 + m\angle 4 = 180).

  • Transitivity and Intersection Theorems:

    • Theorem 9–10: In a plane, if a line intersects one of two parallel lines in only one point, then it intersects the other.

    • Theorem 9–11: In a plane, if two lines are each parallel to a third line, then they are parallel to each other (ℓ1∥ℓ3\ell_1 \parallel \ell_3 and ℓ2∥ℓ3  ⟹  ℓ1∥ℓ2\ell_2 \parallel \ell_3 \implies \ell_1 \parallel \ell_2).

    • Theorem 9–12: In a plane, if a line is perpendicular to one of two parallel lines, it is perpendicular to the other (ℓ1∥ℓ2\ell_1 \parallel \ell_2 and ℓ3⊥ℓ1  ⟹  ℓ3⊥ℓ2\ell_3 \perp \ell_1 \implies \ell_3 \perp \ell_2).

Measures of Angles in a Triangle

  • Theorem 9–13 (Triangle Angle Sum Theorem):

    • Statement: For every triangle, the sum of the measures of the angles is 180180.

    • Restatement: m∠x+m∠y+m∠z=180m\angle x + m\angle y + m\angle z = 180

    • Two-Column Proof:

Statement

Reason

1. Draw CD‾∥AB‾\overline{CD} \parallel \overline{AB} through point CC

Parallel Postulate (Postulate 18)

2. m∠1=m∠xm\angle 1 = m\angle x

The PAI Theorem (Theorem 9–9); Definition

3. m∠2=m∠zm\angle 2 = m\angle z

The PAI Theorem (Theorem 9–9); Definition

4. ∠1\angle 1 and ∠ACD\angle ACD form a linear pair

Definition of Linear Pair

5. ∠1\angle 1 and ∠ACD\angle ACD are supplementary

Supplement Postulate (Postulate 14)

6. m∠1+m∠ACD=180m\angle 1 + m\angle ACD = 180

Definition of Supplementary Angles

7. m∠ACD=m∠2+m∠ym\angle ACD = m\angle 2 + m\angle y

Angle Addition Postulate (Postulate 13)

8. m∠1+m∠2+m∠y=180m\angle 1 + m\angle 2 + m\angle y = 180

Substitution Property (from 2, 5)

9. m∠x+m∠z+m∠y=180m\angle x + m\angle z + m\angle y = 180

Substitution Property (from 2, 3, 8)

  • Corollaries to Theorem 9–13:

    • Corollary 9–13.1: Given a correspondence between two triangles, if two pairs of corresponding angles are congruent, then the third pair of corresponding angles are also congruent.

    • Corollary 9–13.2: The acute angles of a right triangle are complementary (m∠A+m∠C=90m\angle A + m\angle C = 90).

    • Corollary 9–13.3: For any triangle, the measure of an exterior angle is equal to the sum of the measures of its remote interior angles (m∠BCD=m∠A+m∠Bm\angle BCD = m\angle A + m\angle B).

  • Angle Measurement Exercise:


Angle Sum Exercise
  • In the diagram with given angles 28∘28^\circ, 82∘82^\circ, 47∘47^\circ, 45∘45^\circ: Unknown angle measures are solved directly using exterior angle theorems and angle sum relations.

Quadrilaterals

Definitions and Properties of Parallelograms

  • Definition of Quadrilateral:

    • Let A,B,C,A, B, C, and DD be four points of the same plane. If no three of these points are collinear, and the segments AB‾,BC‾,CD‾,\overline{AB}, \overline{BC}, \overline{CD}, and DA‾\overline{DA} intersect only at their endpoints, then the union of these four segments is a quadrilateral (denoted □ABCD\square ABCD).

    • Convex Quadrilateral: A quadrilateral where no two vertices lie on opposite sides of a line containing any side.

    • Opposite Sides: Two sides that do not intersect.

    • Consecutive Sides: Two sides sharing a common endpoint.

    • Opposite Angles: Two angles that do not share a side.

    • Consecutive Angles: Two angles sharing a side.

    • Diagonal: A segment joining two non-consecutive vertices.

  • Special Quadrilaterals Definitions:

    • Parallelogram: A quadrilateral in which both pairs of opposite sides are parallel.

    • Trapezoid: A quadrilateral in which one and only one pair of opposite sides are parallel. (Parallel sides are bases; non-parallel sides are legs; segment connecting leg midpoints is the median).

    • Isosceles Trapezoid: A trapezoid whose legs are congruent.

  • Theorems on Parallelogram Properties:

    • Theorem 9–14: Each diagonal separates a parallelogram into two congruent triangles (□ABCD  ⟹  ΔABC≅ΔCDA\square ABCD \implies \Delta ABC \cong \Delta CDA).

    • Theorem 9–15: In a parallelogram, any two opposite sides are congruent (AB‾≅CD‾\overline{AB} \cong \overline{CD} and AD‾≅BC‾\overline{AD} \cong \overline{BC}).

    • Corollary 9–15.1: If two lines are parallel, then all points of each line are equidistant from the other line.

    • Theorem 9–16: In a parallelogram, any two opposite angles are congruent (∠A≅∠C\angle A \cong \angle C and ∠B≅∠D\angle B \cong \angle D).

    • Theorem 9–17: In a parallelogram, any two consecutive angles are supplementary (m∠A+m∠B=180m\angle A + m\angle B = 180).

    • Theorem 9–18: The diagonals of a parallelogram bisect each other.

  • Conditions Guaranteeing Parallelograms:

    • Theorem 9–19: Given a quadrilateral in which both pairs of opposite sides are congruent. Then the quadrilateral is a parallelogram.

    • Theorem 9–20: If two sides of a quadrilateral are parallel and congruent, then the quadrilateral is a parallelogram.

    • Theorem 9–21: If the diagonals of a quadrilateral bisect each other, then the quadrilateral is a parallelogram.

Midline Theorem, Special Parallelograms, and Right Triangles

  • Theorem 9–22 (The Midline Theorem):

    • Statement: The segment between the midpoints of two sides of a triangle is parallel to the third side and half as long.

    • Restatement: Given ΔABC\Delta ABC, if DD and EE are midpoints of AB‾\overline{AB} and BC‾\overline{BC}, then DE‾∥AC‾\overline{DE} \parallel \overline{AC} and DE=12ACDE = \frac{1}{2}AC

    • Two-Column Proof:

Statement

Reason

1. DD and EE are midpoints of AB‾\overline{AB} and BC‾\overline{BC}

Given

2. BD=DABD = DA; BE=ECBE = EC

Definition of Midpoint

3. Let FF be a point on ray opposite ED→\overrightarrow{ED} s.t. DE=EFDE = EF

Point Plotting Theorem (Theorem 2–2)

4. ∠BED≅∠CEF\angle BED \cong \angle CEF

Vertical Angle Theorem (Theorem 4–8)

5. ΔBED≅ΔCEF\Delta BED \cong \Delta CEF

SAS Postulate (Postulate 15)

6. ∠BDE≅∠CFE\angle BDE \cong \angle CFE; BD=CFBD = CF

CPCTC

7. AB‾∥CF‾\overline{AB} \parallel \overline{CF}

AIP Theorem (Theorem 9–5)

8. DA=CFDA = CF

Transitive Property

9. □ACFD\square ACFD is a parallelogram

Theorem 9–20

10. DF=ACDF = AC

Theorem 9–15

11. DF=DE+EFDF = DE + EF

Definition of Between

12. DF=2DEDF = 2DE

Substitution Property; Addition Property of Equality

13. AC=2DEAC = 2DE

Transitive Property

14. DE=12ACDE = \frac{1}{2}AC

Multiplication Property of Equality

  • Special Parallelograms Definitions:

    • Rhombus: A parallelogram all of whose sides are congruent.

    • Rectangle: A parallelogram all of whose angles are congruent.

    • Square: A rectangle all of whose sides are congruent.


Quadrilateral Classification Hierarchy
  • Theorems on Special Parallelograms:

    • Theorem 9–23: If a parallelogram has one right angle, then it has four right angles, and the parallelogram is a rectangle.

    • Theorem 9–24: In a rhombus, the diagonals are perpendicular to one another (QS‾⊥RT‾\overline{QS} \perp \overline{RT}).

    • Theorem 9–25: If the diagonals of a quadrilateral bisect each other and are perpendicular, then the quadrilateral is a rhombus.

  • Theorems on Right Triangles:

    • Theorem 9–26: The median to the hypotenuse of a right triangle is half as long as the hypotenuse (AD=12BCAD = \frac{1}{2}BC).

    • Theorem 9–27 (The 30–60–90 Triangle Theorem): If an acute angle of a right triangle has measure 30∘30^\circ, then the opposite side is half as long as the hypotenuse (AB=12BCAB = \frac{1}{2}BC).

    • Theorem 9–28 (Converse of 30–60–90 Triangle Theorem): If one leg of a right triangle is half as long as the hypotenuse, then the opposite angle has measure 30∘30^\circ

Polygonal Regions

Area Postulates and Formulas

  • Definitions:

    • Triangular Region: The union of a triangle and its interior.

    • Polygonal Region: The union of a finite number of triangular regions in a plane such that if two intersect, their intersection is either a point or a segment.

  • Fundamental Area Postulates:

    • Postulate 19 (The Area Postulate): To every polygonal region there corresponds a unique positive real number (denoted aRaR).

    • Postulate 20 (The Congruence Postulate): If two triangles are congruent, then the triangular regions determined by them have the same area (ΔABC≅ΔDEF  ⟹  aΔABC=aΔDEF\Delta ABC \cong \Delta DEF \implies a\Delta ABC = a\Delta DEF).

    • Postulate 21 (The Area Addition Postulate): If two polygonal regions intersect only in edges and vertices (or do not intersect at all), then the area of their union is the sum of their areas (aR=aR1+aR2aR = aR_1 + aR_2).

    • Postulate 22 (The Unit Postulate): The area of a square region is the square of the length of its edge (aR=s2aR = s^2).

  • Area Formulas for Quadrilaterals and Triangles:

    • Theorem 11–1 (Rectangle): aR=b⋅haR = b \cdot h

    • Theorem 11–2 (Right Triangle): aR=12(a⋅b)aR = \frac{1}{2}(a \cdot b)

    • Theorem 11–3 (General Triangle): aR=12(b⋅h)aR = \frac{1}{2}(b \cdot h)

    • Theorem 11–4 (Trapezoid): aR=12h(b1+b2)aR = \frac{1}{2}h(b_1 + b_2)

    • Theorem 11–5 (Parallelogram): aR=b1⋅h1=b2⋅h2aR = b_1 \cdot h_1 = b_2 \cdot h_2

    • Theorem 11–6: If two triangles have the same base bb and altitude hh, then they have the same area.

    • Theorem 11–7: If two triangles have the same altitude hh, then the ratio of their areas is equal to the ratio of their bases (aΔ1aΔ2=b1b2\frac{a\Delta_1}{a\Delta_2} = \frac{b_1}{b_2}).

The Pythagorean Theorem and Special Triangles

  • Theorem 11–8 (The Pythagorean Theorem):

    • Statement: In a right triangle, the square of the hypotenuse is equal to the sum of the squares of the legs (c2=a2+b2c^2 = a^2 + b^2).

  • Travel Problem Application:

    • Problem: A man travels 1 km1\,km north, 2 km2\,km east, 3 km3\,km north, and 4 km4\,km east. Find total distance from starting point.


Pythagorean Travel Diagram
  • Solution:

    • Total North displacement y=1+3=4 kmy = 1 + 3 = 4\,km.

    • Total East displacement x=2+4=6 kmx = 2 + 4 = 6\,km.

    • Distance AB=42+62=16+36=52≈7.2 kmAB = \sqrt{4^2 + 6^2} = \sqrt{16 + 36} = \sqrt{52} \approx 7.2\,km.

    • Theorem 11–9 (Converse of the Pythagorean Theorem):

  • Statement: If the square of one side of a triangle is equal to the sum of the squares of the other two sides, then the triangle is a right triangle, with its right angle opposite the longest side.

    • Pythagorean Triples: A set of positive integers a,b,ca, b, c satisfying c2=a2+b2c^2 = a^2 + b^2 (e.g., {3,4,5}\mathbf{\{3, 4, 5\}}, {5,12,13}\mathbf{\{5, 12, 13\}}, {8,15,17}\mathbf{\{8, 15, 17\}}, {7,24,25}\mathbf{\{7, 24, 25\}}).

    • Special Triangle Theorems:

  • Theorem 11–10 (Isosceles Right Triangle Theorem): In an isosceles right triangle (45∘−45∘−90∘45^\circ-45^\circ-90^\circ), the hypotenuse is 2\sqrt{2} times as long as each leg (c=a2c = a\sqrt{2}).

  • Theorem 11–11 (Converse of Isosceles Right Triangle Theorem): If the base of an isosceles triangle is 2\sqrt{2} times as long as each of the two congruent sides, then the angle opposite the base is a right angle.

  • Theorem 11–12 (30–60–90 Longer Leg Theorem): In a 30∘−60∘−90∘30^\circ-60^\circ-90^\circ triangle, the longer leg (opposite the 60∘60^\circ angle) is 123\frac{1}{2}\sqrt{3} times as long as the hypotenuse (b=123⋅cb = \frac{1}{2}\sqrt{3} \cdot c).

Similarity

Proportionality and Basic Similarity Theorems

  • Definition of Geometric Similarity: Two geometric figures are similar (∼\sim) if they have exactly the same shape, but not necessarily the same size. Squares, circles, and equilateral triangles are ALWAYS similar.

  • Proportional Sequences and Geometric Mean:

    • Proportional Sequences: Sequences a,b,c,…a, b, c, \dots and p,q,r,…p, q, r, \dots are proportional (a,b,c,⋯∼p,q,r,…a, b, c, \dots \sim p, q, r, \dots) if ap=bq=cr=…\frac{a}{p} = \frac{b}{q} = \frac{c}{r} = \dots

    • Theorem 12–1: Proportionality between sequences is an equivalence relation.

    • Geometric Mean Definition: If a,b,ca, b, c are positive numbers and ab=bc\frac{a}{b} = \frac{b}{c}, then bb is the geometric mean between aa and cc (b=a⋅cb = \sqrt{a \cdot c}).

    • Arithmetic Mean Definition: 12(a+c)\frac{1}{2}(a + c).

  • Proportionality and Similarity Theorems:

    • Definition of Similar Triangles: Corresponding angles are congruent, and corresponding sides are proportional.

    • Theorem 12–2 (The Basic Proportionality Theorem): If a line parallel to one side of a triangle intersects the two other sides in distinct points, then it cuts off segments which are proportional to these sides.

    • Theorem 12–3 (Converse of the Basic Proportionality Theorem): If a line intersects two sides of a triangle and cuts off segments proportional to these two sides, then it is parallel to the third side.

    • Theorem 12–4 (The AAA Similarity Theorem): If corresponding angles of two triangles are congruent, the correspondence is a similarity.

    • Corollary 12–4.1 (The AA Corollary): If two pairs of corresponding angles are congruent, the triangles are similar.

    • Corollary 12–4.2: If a line parallel to one side of a triangle intersects the other two sides in distinct points, then it cuts off a triangle similar to the given triangle (ΔCDE∼ΔCAB\Delta CDE \sim \Delta CAB).

Advanced Similarity Theorems and Right Triangle Similarities

  • Equivalence and Proportional Similarity Theorems:

    • Theorem 12–5: Similarity between triangles is an equivalence relation.

    • Corollary 12–5.1: If ΔABC∼ΔDEF\Delta ABC \sim \Delta DEF and ΔDEF≅ΔGHI\Delta DEF \cong \Delta GHI, then ΔABC∼ΔGHI\Delta ABC \sim \Delta GHI.

    • Theorem 12–6 (The SAS Similarity Theorem): If two pairs of corresponding sides are proportional, and the included angles are congruent, the triangles are similar.

    • Theorem 12–7 (The SSS Similarity Theorem): If corresponding sides of two triangles are proportional, the triangles are similar.

  • Right Triangle Altitude Theorems:

    • Theorem 12–8: In any right triangle, the altitude to the hypotenuse separates the triangle into two triangles which are similar to each other and to the original triangle (ΔABC∼ΔACD∼ΔCBD\Delta ABC \sim \Delta ACD \sim \Delta CBD).

    • Theorem 12–9 (Geometric Mean Theorems in Right Triangles):

    1. The altitude hh is the geometric mean of the segments into which it separates the hypotenuse: h=x⋅yh = \sqrt{x \cdot y}.

    2. Each leg is the geometric mean of the hypotenuse and the segment of the hypotenuse adjacent to the leg: a=x(x+y)a = \sqrt{x(x + y)} and b=y(x+y)b = \sqrt{y(x + y)}.

  • Applied Right Triangle Problem:

    • Scenario: Police station (PP) is due north of Elsa's house (EE), Hospital (HH) is due east. Fire station (FF) is on the highway at the shortest distance from Elsa's house. PF=40 mPF = 40\,m and FH=90 mFH = 90\,m.


Elsa's House Navigation Diagram
  • Solutions:

    • a. Distance from Elsa's house to Fire station (a=ha = h): a=40⋅90=3600=60 ma = \sqrt{40 \cdot 90} = \sqrt{3600} = 60\,m

    • b. Distance to Police station (bb): b=40(40+90)=5200≈72 mb = \sqrt{40(40 + 90)} = \sqrt{5200} \approx 72\,m

    • c. Distance to Hospital (cc): c=90(40+90)=11700≈108 mc = \sqrt{90(40 + 90)} = \sqrt{11700} \approx 108\,m

    • Theorem 12–10 (Area Ratio of Similar Triangles):

  • Statement: If two triangles are similar, then the ratio of their areas is the square of the ratio of any two corresponding sides:     aΔABCaΔA′B′C′=(aa′)2=(bb′)2=(cc′)2\frac{a\Delta ABC}{a\Delta A'B'C'} = \left(\frac{a}{a'}\right)^2 = \left(\frac{b}{b'}\right)^2 = \left(\frac{c}{c'}\right)^2