This Demonstration is based on . The construction violates the Euclidean constraints on the use of only a straight edge and compass; specifically, by drawing the tangent . The result is true nonetheless since the semicircle radius and . Then .
 G. E. Martin, Geometric Constructions, New York: Springer, 1998 pp. 20–21.