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