Concyclic points and miquel point
Source: Sharygin 2017 Day 2 Problem 10.5 Grade 10
August 2, 2017
geometry
Problem Statement
10.5 Let , be the altitudes of an acute triangle . Two circles through and are tangent to at points and . Prove that are concyclic.