This Demonstration is based on [1]. 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 .

Reference

[1] G. E. Martin, Geometric Constructions, New York: Springer, 1998 pp. 20–21.