2 symmetrical (to the circumcircle) circles are tangent iff a triangle is right
Source: Sharygin 2010 Final 9.7
October 6, 2018
geometrytangent circlesright trianglesymmetry
Problem Statement
Given triangle . Lines and are the internal and the external bisectrix of angle . Let be the reflection of the circumcircle of in the midpoint of . Circle is defined similarly. Prove that and touch if and only if is right-angled.