Докажите последнее утверждение

Выходной сигнал у нас равен sin(X1-X2)/sin(Y1-Y2), если X1=Y2=90.

Проведем несколько преобразований и получим на выходе формулу: cosX2 – cosX1*sinX2/sinX1, при X1 = 90, получим Uвых = cosX2