Wykonajmy rysunek pomocniczy.

Pole ośmiokąta foremnego składa się z sumy ośmiu pól takich samych trójkątów równoramiennych, zatem:

Zauważmy, że trójkąt  jest trójkątem prostokątnym.

Z