>304
 三角不等式を使う。
 PA+PC≧AC, 等号はPが線分AC上にあるとき。
 PB+PD≧BD, 等号はPが線分BD上にあるとき。
 辺々たす。
 凸性により、対角線AC,BDの交点が存在する。(終)