Rysunek poglądowy:

Zauważmy, że:

$\left|\sphericalangle BDA\right|=\left|\sphericalangle ADC\right|={90}^{\circ }$  

$\left|\sphericalangle BAD\right|={180}^{\circ }-\left({90}^{\circ }+{45}^{\circ }\right)={45}^{\circ }$  

$\left|\sphericalangle DAC\right|={180}^{\circ }-\left({90}^{\circ }+{60}^{\circ }\right)={30}^{\circ }$  

 

Trójkąt ADC jest trójkątem o miarach kątów: 90^o, 60^o, 30^o. 

Korzystając z określenia funkcji trygonometrycznych w trójkącie prostokątnym dostajemy