I need to write a simplified formula for this:
$$A_i = n\cdot r\cdot \sin\left(90^\circ-\frac{180^\circ}{n}\right)\sqrt{r^2-r^2\sin^2\left(90^\circ-\frac{180^\circ}{n}\right)}$$
I am not very confident that I know enough trigonometry identities to simplify this completely. Other than converting $\sin(90^\circ-x)$ to $\cos(x)$, I am not sure there isn’t anything I’m missing, with the radical sign in there and everything.
$n$ and $r$ are variables and natural numbers. $A_i$ is a value based on $n$ and $r$.
This is in degrees, if that wasn’t clear.