Ａを円Ｏの周上の点，Ｌを円ＯのＡでの接線，Ｂ，ＣをＬ上にあり
Ａに対して同じ側にある点でＢのほうがＣよりＡに近い点，
Ｄ，Ｅを円ＯとＯＢ，ＯＣの交点とする。
Ｄを通りＬに平行な直線とＯＣとの交点をＦ，ＤからＯＣに下した垂線と
ＯＣの交点をＧとするとＧ，Ｅ，Ｆの順に並ぶのでＤＥ≦ＤＦ≦ＢＣ。
弧ＡＤの内接折線の長さ≦ＡＢで極限をとって弧ＡＤ≦ＡＢ。
Ｄ≠ＡのときＤでの円Ｏの接線とＬの交点をＨとすると
弧ＡＤ≦ＡＨ＋ＤＨ＜ＡＨ＋ＢＨ＝ＡＢ。