Construct inscribed/circumscribed circles of triangles and prove angle properties of cyclic quadrilaterals.
Construct a circumcircle with perpendicular bisectors
Problem
Construct the circumcircle of right triangle \(DEF\), with right angle \(E\), using sides \(DE\) and \(EF\). State the \(\text{two}~\text{construction}~\text{lines}\) and their intersection \(O\), justify \(OD~=~OE~=~OF\), draw the circle from \(\text{one}~\text{vertex}~\text{radius}\), and identify \(O\)'s exact location on \(DF\).