isosceles triangle theorem
The following theorem holds in geometries in which isosceles triangle
can be defined and in which SSS, AAS, and SAS are all valid. Specifically, it holds in Euclidean geometry and hyperbolic geometry (and therefore in neutral geometry).
Theorem 1 ().
Let be an isosceles triangle such that . Let . Then the following are equivalent:
- 1.
is a median
- 2.
is an altitude
- 3.
is the angle bisector
of
Proof.
: Since is a median, . Since we have
- •
- •
- •
by the reflexive property (http://planetmath.org/Reflexive
) of
we can use SSS to conclude that . By CPCTC, . Thus, and are supplementary (http://planetmath.org/SupplementaryAngle) congruent angles. Hence, and are perpendicular
. It follows that is an altitude.
: Since is an altitude, and are perpendicular. Thus, and are right angles and therefore congruent. Since we have
- •
by the theorem on angles of an isosceles triangle
- •
- •
by the reflexive property of
we can use AAS to conclude that . By CPCTC, . It follows that is the angle bisector of .
: Since is an angle bisector, . Since we have
- •
- •
- •
by the reflexive property of
we can use SAS to conclude that . By CPCTC, . It follows that is a median.∎
Remark: Another equivalent (http://planetmath.org/Equivalent3) condition for is that it is the perpendicular bisector of ; however, this fact is usually not included in the statement of the Isosceles Triangle Theorem.