converse of isosceles triangle theorem
The following theorem holds in geometries in which isosceles triangle
can be defined and in which SAS, ASA, and AAS are all valid. Specifically, it holds in Euclidean geometry and hyperbolic geometry (and therefore in neutral geometry).
Theorem 1 ().
If is a triangle with such that any two of the following three statements are true:
- 1.
is a median
- 2.
is an altitude
- 3.
is the angle bisector
of
then is isosceles.
Proof.
First, assume 1 and 2 are true. Since is a median, . Since is an altitude, and are perpendicular. Thus, and are right angles
and therefore congruent
. Since we have
- •
by the reflexive property (http://planetmath.org/Reflexive
) of
- •
- •
we can use SAS to conclude that . By CPCTC, .
Next, assume 2 and 3 are true. Since is an altitude, and are perpendicular. Thus, and are right angles and therefore congruent. Since is an angle bisector, . Since we have
- •
- •
by the reflexive property of
- •
we can use ASA to conclude that . By CPCTC, .
Finally, assume 1 and 3 are true. Since is an angle bisector, . Drop perpendiculars from to the rays and . the intersections as and , respectively. Since the length of is at most , we have that . (Note that and are not assumed.) Similarly .
Since we have
- •
- •
- •
by the reflexive property of
we can use AAS to conclude that . By CPCTC, and .
Since is a median, . Recall that SSA holds when the angles are right angles. Since we have
- •
- •
- •
and are right angles
we can use SSA to conclude that . By CPCTC, .
Recall that and . Thus, . Since we have
- •
by the reflexive property of
- •
- •
we can use SAS to conclude that . By CPCTC, .
In any case, . It follows that is isosceles.∎