(Secant Tangent Theorem)
Simple proof with P outside or inside the circle.
Includes Tangent case, and definition of power of a circle at a point.
Part of a small collection to ground the more complex proofs in Heinrich Dörrie's [i]100 Great Problems of Elementary Mathematics[/i].
