08/09/18 07:08:59
>>522 (下)
(Toth の証明)
Pの辺BC,CA,ABに関する対称点をA',B',C'とし、6辺形AC'BA'CB'を考える。
周長L=2(AP+BP+CP), 面積F=2S,
一方、等周問題から、n辺形については、L^2 ≧ {4n*tan(π/n)}F,
n=6 のとき L^2 ≧ (8√3)F, これに代入。
文献[3] 例題9, p.17 (1987)
大関・青柳「不等式」p.162
08/09/18 07:08:59
>>522 (下)
(Toth の証明)
Pの辺BC,CA,ABに関する対称点をA',B',C'とし、6辺形AC'BA'CB'を考える。
周長L=2(AP+BP+CP), 面積F=2S,
一方、等周問題から、n辺形については、L^2 ≧ {4n*tan(π/n)}F,
n=6 のとき L^2 ≧ (8√3)F, これに代入。
文献[3] 例題9, p.17 (1987)
大関・青柳「不等式」p.162