>>717
円の半径を１、円の中心をＯ、Ｏと各頂点を結んで出来る４つの中心角を、2s,2t,2u,2vとすると
四角形の周の長さの和は、2{sin(s)+sin(t)+sin(u)+sin(v)} ≦ 2*4*sin((s+t+u+v)/4)=4√2
不等号は、sinの凸性による