Given is a square with circumcircle . Let be a point on arc where also lies. A circle is internally tangent to at and also tangent to diagonal at . Let be a point on such that the line is tangent to . Prove that .
Solution
Let be the intersection of and (i.e., the center of ) and let be the center of . We will first prove that , and lie on a line. If , then and it is trivial. Otherwise, define as the intersection of and . We want to prove that . Note that , and lie on a line and that is parallel to . Therefore, by -angles, , the last equality due to . With -angles, we see that and by the exterior angle theorem in triangle , this is equal to . Thus, , from which it follows by the central angle and inscribed angle theorem that lies on . Therefore, , which implies that , and lie on a line.
Since and , we have . This gives . Since , we have . From the power of a point theorem on , it follows that , so .
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.