>>80
接点と中心を結んだ半径が接線と直交することを認めれば直ちにわかる。
接点と中心を結んだ半径が接線と直交することは接弦定理と同値である。