
P_t=R^2 \sin \frac {\pi} {n} \cos \frac {\pi} {n} = \frac {R^2} {2} \sin \frac {2\pi} {n}.
