Inradius of a regular polygon

$$r = R\cdot cos(\frac{180}{n})$$
Find   It is known that:
      =