Need a tutor? I am now a private math tutor and computer science tutor! Please visit my Web site for more information.

--Jon Dreyer

Section 3.7: Angle-Side Theorems

Warmup

Prove that .

Sorry, the GeoGebra Applet could not be started. Please make sure that Java 1.4.2 (or later) is installed and active in your browser (Click here to install Java now)

Proof

1∠D≅∠EGiven
2seg DE≅seg DEReflexive property
3△DEF≅△EDF ASA (1,2,1)
4seg DF &cong seg EFCPCTC

Homework problems

3.6 #15

Sorry, the GeoGebra Applet could not be started. Please make sure that Java 1.4.2 (or later) is installed and active in your browser (Click here to install Java now)

Theorems

Theorems 20 and 21: two angles of a triangle are congruent if and only if (iff) their opposite sides are congruent.

The inverses of these theorems are also true. (What are those?) In fact, the length of side a is greater than the length of side b iff the angle opposite side a has greater measure than the angle opposite side b. (Proven in Chap. 15)

Theorem: equilateral vs equiangular

A triangle is equilateral iff it is equiangular

Sorry, the GeoGebra Applet could not be started. Please make sure that Java 1.4.2 (or later) is installed and active in your browser (Click here to install Java now)

Proof of equilateral ⇒ equiangular (&lArr is similar):

1AB=ACGiven
2∠B≅∠CBase angles of an isosceles triangle are congruent
3BC=BAGiven
4∠C≅∠ABase angles of an isosceles triangle are congruent
5∠B≅∠ATransitive property
6 △ABC is equiangularDef. equiangular

Sample problem 2

Prove: the bisector of the vertex angle of an isoceles triangle is also the median to the base

First we must set up the diagram and restate in the context of the diagram:

Sorry, the GeoGebra Applet could not be started. Please make sure that Java 1.4.2 (or later) is installed and active in your browser (Click here to install Java now)

Given: △JOM is isoceles with ∠JOM the vertex angle. Ray OK bisects ∠JOM. Prove: Seg OK is the median to the base.

Proof:

1△JOM is isoceles with ∠JOM the vertex angle.Given
2Seg OJ≅seg OMDef. isosceles
3Ray OK bisects ∠JOMGiven
4∠JOK≅∠KOMDef. angle bisector
5Seg OK≅seg OKReflexive property
6△JOK≅△MOKSAS (2,4,5)
7Seg JK≅seg MKCPCTC
8Seg OK is the median to the baseDef. median
Jon Dreyer