Observe the Euclidean four-step construction of the tangent to a circle from a given outsi...

Observe the Euclidean four-step construction of the tangent to a circle from a given outside point (P). What well-known theorem in Euclidean geometry do you need to justify it? (It was referred to in Problem 4, Section 1.1; see also Section 4.5.)