〔補題〕
2点 A,Bを結ぶ 右に凸な折線 L1 と L2 を考える。
L1が内側(左)に、L2が外側(右)にあり、交差しないとする。
このとき
L1の長さ < L2の長さ

(略証)
最初に L=L2とする。
L1の第一辺を延長し、L2と交わったところでL2に乗り換える。
　　　→　△不等式により、L2より短くなる。
L1の第二辺を延長し、L2と交わったところでL2に乗り換える。
････
これを繰り返すと、単調に短くなり、最後には L=L1 に至る。(終)

>>72 (訂正)
C(1/cos(x),0)　でござった。