不等式への招待 第5章
■ このスレッドは過去ログ倉庫に格納されています
0303132人目の素数さん
2011/04/27(水) 02:34:23.79PA ≧ 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 を示せばよい。
■ このスレッドは過去ログ倉庫に格納されています