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.

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