Mamy

więc

Z jedynki trygonometrycznej mamy:

Ponieważ 0^o< α < 90^o, to

Zatem

W trójkącie prostokątnym przyjmijmy oznaczenia:

a, b — długości przyprostokątnych, c — długość przeciwprostokątnej. Niech α będzie kątem leżącym naprzeciwko boku o długości a, zaś β — kątem leżącym naprzeciwko boku o długości b. Z definicji funkcji trygonometrycznych otrzymujemy:

oraz

Zatem otrzymujemy tgα·sinβ = sinα

Z jedynki trygonometrycznej mamy