|AE = |EC| and |EF| = |EB|Observe that the square ABCD plus AKLE = the square on EB (by Pythagoras)Now drag O to A.
App generated by Geometry Expressions