正多角形の対角線の長さの公式