Let be a right-angled triangle with . Let be the midpoint of , and let be a parallelogram with centre . Let be the intersection of the line and the perpendicular bisector of . Let be the circle with centre and radius and let be the circle with centre and radius . Prove that one of the points of intersection of and is on the line .
Solution
Let be the symmetric point of with respect to . Observe that is equidistant from and , therefore belongs on and is a diameter of . It suffices to prove that is perpendicular to , or equivalently, to . To see this, let be the point of intersection of with . We will then have which shows that belongs on as is a diameter of . We also have that belongs on as is diameter of .
Since and are the midpoints of and respectively, then is parallel to and so is perpendicular to . Since , then is the perpendicular bisector of . But then the triangles and are equal, showing that as required.
!
Alternative Solution by Proposers. Since , then belongs on . Let be the other point of intersection of with the line . We need to show that belongs on . Since ( is on the perpendicular bisector of ) it is enough to show that .
Let be points on the lines and respectively, such that and . It is enough to prove that is the midpoint of . Since is diameter of we have that . Thus, it is enough to show that is the midpoint of . We have
as . So it suffices to prove that .
Let be the midpoint of . Since , then is also the midpoint of . The triangles and are similar since they are right-angled with
. (AK=KC and is parallel to .) So we have
as required.
## NUMBER THEORY