Square root
JE has length 1. EH has length x. The construction follows the well known theorem on chords of circles through a point. For a device extracting mechanically the root look at:
SquareRoot2.html
.
Produced with EucliDraw©
http://users.math.uoc.gr/~pamfilos/