- 303 名前：１３２人目の素数さん mailto:sage [2011/04/27(水) 02:34:23.79 ]
- >>299
PA ≧ DA - PDcos(∠ADP), (PからADの延長線に垂線を下ろす)
PB ≧ DB - PDcos(∠BDP),
PC ≧ DC - PDcos(∠CDP),
∴ PA + PB + PC + PD ≧ (DA + DB + DC) + PD{1-cos(ADP) −cos(BDP) -cos(CDP)}
次に 1-cos(ADP) −cos(BDP) -cos(CDP) ≧ 0 を示せばよい。
