From Gogeometry :
Using :
- Define H such as ΔHOB is the rotation of ΔMOC of -Π
- => OM ⊥ OH, OM=OH=a, MC ⊥ HB
- MC ⊥ ME, MC ⊥ HB => ME // HB
- Hence MEBH is a parallelogram
- => HM=BE=b
- => b is the hypothenuse of a rectangle triangle with side=a
- Therefore 2a^2=b^2