Długość przyprostokątnych trójkąta EAC wynosi , co oznacza:

Trójkąt EAC, mający kąty i , posiada przeciwprostokątną o długości:

Przyjmujemy jedną z przyprostokątnych jako