Let be a right isosceles triangle with the right angle at (so and ). Take a point on side , and a point on the ray opposite to ray such that .
Prove that:
(a)
(b)
Set up coordinates at the right angle — that is what makes both parts routine. Because the right angle is at and the two legs are equal, placing at the origin with the legs along the axes costs nothing and turns every hypothesis into a coordinate:
lies on segment , so with . lies on the ray opposite ray , i.e. on the negative -axis, so with . The condition says , hence
Notice the single parameter now encodes the whole configuration.
Prove (a) with a dot product. Form the two direction vectors:
Their dot product is
Since neither vector is zero ( and ), a zero dot product means the lines are perpendicular, so .
Read (a) again through angles, to see why it is forced. Triangle has the right angle at (the axes are perpendicular) and legs , so it is right isosceles and . Triangle is right isosceles too, so . Line therefore meets line at and line meets it at on the other side, and the two angles add to . The perpendicularity is really a statement about two isosceles right triangles sharing a perpendicular pair of lines.
Prove (b) with the same coordinates. Now use the other pairing:
So
Hence . Equivalently, via slopes, and , and their product is , the slope criterion for perpendicular lines. The slope form needs , which the dot-product form does not, so the dot product is the cleaner argument.
Note the structural reason and verify numerically. Part (b) is really the orthocentre in disguise: in triangle the line is an altitude from (it is perpendicular to , the -axis) and lies on it, while from part (a) makes the altitude from ; the two altitudes meet at , so the third altitude must also pass through it, giving . A numerical check with , returns and exactly, and the slope product equals .
Need to solve a different problem like this? Open the solver →