Problem 1
Let be the circumcircle of acute triangle . Points and are on segments and , respectively, such that . The perpendicular bisectors of and intersect the minor arcs and of at points and , respectively. Prove that lines and 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.
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.