Sposób 2\x


Niech .

Na mocy twierdzenia sinusów (Snelliusa) zastosowanego do trójkątów ΔADC i ΔDBC mamy:

, a też .

Po podzieleniu stronami powyższych równości otrzymujemy tezę: .