MathLabs

Problem 1

Let Γ\Gamma be the circumcircle of acute triangle ABCABC. Points DD and EE are on segments ABAB and ACAC, respectively, such that AD=AEAD=AE. The perpendicular bisectors of BDBD and CECE intersect the minor arcs ABAB and ACAC of Γ\Gamma at points FF and GG, respectively. Prove that lines DEDE and FGFG are either parallel or they are the same line.
Step 5 of 7: Use the circle centered at A
In plain words

Equal inscribed angles subtend the same chord in the new circle.

∠KED=∠KJD.\angle KED=\angle KJD.
Detailed analysis

In the circle through D, E, J, K, the angles KED and KJD stand on the same chord KD. We use directed angles modulo 180 degrees, so the equality is valid regardless of which side of the chord the vertices occupy.