円に外接する四角形 ( 啓林館, 高等学校教科書対応コンテンツ)
四角形ABCDが円に外接するとき, 辺AB, ADとこの円との接点をP,Sとすると,
AP = AS
である。つまり, 円外の1点からその円に引いた接線の長さは等しい。
GC/Win
Forum of Geometric Constructor by Y.Iijima