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 4 of 7: Find a circle centered at A
In plain words

All four points D, E, J, K are now at the same distance from A.

AD=AE=AK=AJ.AD=AE=AK=AJ.
Detailed analysis

The hypothesis gives AD equal to AE. The preceding two steps give AJ equal to AD and AK equal to AE. Consequently D, E, J, K lie on one circle whose center is A.