Aby wynik uzasadnić rachunkowo zauważmy, że obrót ten możemy sprowadzić do obrotu punktu na płaszczyźnie. Punkt o współrzędnych
obracamy wokół punktu (0,0). Po przekształceniu otrzymamy punkt
, który będzie miał współrzędne:
,
.
Dalej podstawimy
i wyznaczymy z układu
i
:
Uwzględniając powyższe w równaniu
otrzymamy równanie
.