Something about Archimedes' lemma
Source: 2019 Belarus Team Selection Test 6.1
September 2, 2019
geometrygeometric transformationreflection
Problem Statement
Two circles and are internally tangent at the point . The chord of is tangent to at the point , and the segments and intersect at the points and . Let and be the reflections of and about the line ; and let and be the reflections of and about the line . The lines and intersect at the point .
Prove that the lines and are perpendicular.(M. Karpuk)