concyclic wanted, starting with right triangle
Source: OLCOMA Costa Rica National Olympiad, Final Round, 2013 3.3
September 25, 2021
geometryright triangleConcyclic
Problem Statement
Let be a triangle, right-angled at point and with . The tangent through of the circumcircle of cuts at . is the reflection of over line . is the foot of the perpendicular from over . is the midpoint of , is the intersection of and other than , and is the intersection of and . Prove are concyclic.