Let be a square, be the midpoint of the side , be the common point of the lines and , and , . The perpendicular line from to intersects the line in . Prove that:
a) ;
b) .
Let be a square, be the midpoint of the side , be the common point of the lines and , and , . The perpendicular line from to intersects the line in . Prove that:
a) ;
b) .
a) Let be the intersection of the lines and and be the foot of the perpendicular from to .
Since and , the right triangles and are congruent, whence , so is the midpoint of side .
We deduce that is a midsegment in the triangle , so and the congruence of the triangles and yields and .
The triangle is right and isosceles, so , thus the triangle is also an isosceles right triangle. Consequently, the altitude is also a median.
We obtain , hence the triangle is also an isosceles right triangle, from which follows that and .
b) Since , and , the triangles and are congruent, whence .
From the congruence of the triangles and (SSS), it follows that , so is the supporting line of the bisector and the altitude in the isosceles triangle .
Since , it follows that is the perpendicular bisector of the side in the isosceles triangle , thus .
Therefore is a midsegment in the triangle , whence .