円周の長さLの定義は円に内接する多辺形の周長のsup
具体的に半径rの円周をC={(x,y)∈R^2|x^2+y^2=r^2}として
L:=sup{dist(a_n,a_1)+(k=1,n-1)dist(a_k,a_(k+1))}|a_1,...,a_n∈C}

π=L/2rがrによらず一定であることを示せばいいから

あとは頑張ってください