Narysujmy w układzie współrzędnych ramię końcowe kąta  punktu o współrzędnych .

a)

Długość odcinka  policzymy, korzystając z twierdzenia Pitagorasa.

Podstawmy nasze oznaczenia.