Equidistant circumcenters [self-made]

For students of class 9-10 (age 14-16)
User avatar
Phlembac Adib Hasan
Posts:1016
Joined:Tue Nov 22, 2011 7:49 pm
Location:127.0.0.1
Contact:
Equidistant circumcenters [self-made]

Unread post by Phlembac Adib Hasan » Wed Apr 03, 2013 9:13 pm

$ABCD$ is a parallelogram. A line parallel to $AB$ meets line $AD$ at $E$, line $BC$ at $F$. $O_{ABE},O_{FBE},O_{DCE},O_{FCE}$ denote the circumcenter of $\triangle ABE,\triangle FBE,\triangle DCE,\triangle FCE$, respectively. Prove that \[O_{ABE}O_{DCE}=O_{FBE}O_{FCE}.\]
For an additional challenge, prove that the length of $O_{FBE}O_{FCE}$ does not depend on the choice of $EF$.

Post Reply