Details

This Demonstration is based on [1, p. 16].

Euclid IV, 10: "To construct an isosceles triangle having each of the angles at the base double the remaining one." [2].

Euclid II, 11 states: "To cut a given straight line so that the rectangle contained by the whole and one of the segments equals the square on the remaining segment." [3].

Euclid, III, 37 states: "If a point is taken outside a circle and from the point there fall on the circle two straight lines, if one of them cuts the circle, and the other falls on it, and if further the rectangle contained by the whole of the straight line which cuts the circle and the straight line intercepted on it outside between the point and the convex circumference equals the square on the straight line which falls on the circle, then the straight line which falls on it touches the circle." [4].

References

[1] G. E. Martin, Geometric Constructions, New York: Springer, 1998.

[2] D. E. Joyce. "Euclid's Elements, Book IV." (Oct 2, 2017) mathcs.clarku.edu/~DJoyce/java/elements/bookIV/propIV10.html.

[3] D. E. Joyce. "Euclid's Elements, Book II." (Oct 2, 2017) mathcs.clarku.edu/~djoyce/elements/bookII/propII11.html.

[4] D. E. Joyce. "Euclid's Elements, Book III." (Oct 2, 2017) mathcs.clarku.edu/~djoyce/elements/bookIII/propIII37.html.