Wykonajmy rysunek pomocniczy.

Czworościan foremny składa się z czterech trójkątów równobocznych.

Odcinek  jest wysokością trójkąta równobocznego.

Podstawmy dane.

Obliczmy długość