>>684
パップス=ギュルダンの定理を使わずに算出するWolfram言語のコード

x[t_] := t - Sin[t];
y[t_] := 1-Cos[t];
S=Integrate[y[t]D[x[t],t],{t,0,2Pi}];
f[y_] :=(
If[y==0,Return[2Pi]];
tt=Solve[y==1-Cos[t] && 0<=t<=2Pi,t];
t1 = t /. tt[[1]];
t2 = t /. tt[[2]];
Abs[x[t1]-x[t2]]
)
Integrate[y f[y],{y,0,2}]/S

すべての値が合致（近似）したのでそろそろ寝るかな。
明日は内視鏡バイトの日だし。