IMO Shortlist 1982 problem 17
The right triangles
are similar and have opposite orientation. The right angles are at
, and we also have
be the point of intersection of the lines
. Prove that if the lines
exist, they are perpendicular.
Source: Međunarodna matematička olimpijada, shortlist 1982