18/03/04 00:56:38.21 S6IbgXV0.net
ところで>>41,42では
(1/2)(単位円に内接する正n角形の周長) < (1/2)(単位円の円周2π)
を用いている。
「円に内接する(凸)多角形の周長は円周より小さい」
は、各辺(弦)が弧より短いので自明である。
では
「円に包含される凸多角形の周長は円周より小さい」
更には
「凸多角形Aに包含される凸多角形Bの周長はAの周長より小さい」
は、初等数学（できれば初等幾何）で証明可能か？
凸多角形Bは凸多角形Aに包含される
⇒任意のxy座標系において[B(x,y)のxの変域]⊆[A(x,y)のxの変域]かつ[B(x,y)のyの変域]⊆[A(x,y)のyの変域]