IMOC 2017 G7 (concyclic wanted, <ABD =< DCA amd circumcircle related)
Source: https://artofproblemsolving.com/community/c6h1740077p11309077
March 20, 2020
geometrycircumcircleConcyclicequal angles
Problem Statement
Given with circumcenter . Let be a point satisfying and be the midpoint of . Suppose that intersect circle at another points , respectively. Let be a point on so that is tangent to circle . Prove that are concyclic.
https://2.bp.blogspot.com/-gSgUG6oywAU/XnSKTnH1yqI/AAAAAAAALdw/3NuPFuouCUMO_6KbydE-KIt6gCJ4OgWdACK4BGAYYCw/s320/imoc2017%2Bg7.png