11/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 を示せばよい。
11/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 を示せばよい。