MathDB
Concyclic points and miquel point

Source: Sharygin 2017 Day 2 Problem 10.5 Grade 10

August 2, 2017
geometry

Problem Statement

10.5 Let BBBB', CCCC' be the altitudes of an acute triangle ABCABC. Two circles through AA and CC' are tangent to BCBC at points PP and QQ. Prove that A,B,P,QA, B', P, Q are concyclic.