Punkt .

Rozpoczynamy, konstruując trójkąt prostokątny równoramienny, którego przyprostokątne mają długość . Przeciwprostokątna tego trójkąta (oznaczona jako ) ma długość zgodnie z twierdzeniem