a, consider the triangle AHFK: \(\widehat{A}=\widehat{H}=\widehat{K}=90^o\)
should AHFK is rectangle
b, consider the triangle ACF :OA=OC;EC=EF
should OE is the average line of the triangle ACF
should OE//AF or AF//BD
similar: the average line is EJ triangle ACF
should EJ//AC
similar: the average line is EJ triangle ACF
should EJ//AC
\(\Rightarrow\widehat{AKJ}=\widehat{KAJ}+\widehat{KAJ}=\widehat{KDE}\)pairs of isotopes
\(\Rightarrow\widehat{AKJ}=\widehat{KDE}\) or KDE loss triangle
inferred :\(\widehat{JK}=\widehat{DEK}=\dfrac{180-KDE}{2}\) should K; J and E line
that K; J; H line
should K; H and E also in line and HK//AC