>>589
接線と点Pと円の中心を結んだ線分と半径でできる直角三角形