[alogo] Square root

[0_0] [0_1] [0_2]
[1_0] [1_1] [1_2]


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©