Q13 Matemática  (Caucasus Mathematical Olympiad 2015)

Seja a bissetriz do ângulo agudo do triângulo . e ser o círculo circunscrito a ele. Denote por o ponto de intersecção da extensão da altitude do triângulo com o círculo . Prove que se , então .