Proof of the area of ​​a regular polygon for n sides