В четырёхугольнике
перпендикулярна
Найдите
Треугольник — прямоугольный, тогда
— острый. В силу основного тригонометрического тождества (для любого угла
выполнено
) из равенства
получаем, что
но — острый, тогда
и, значит,
тогда треугольник
— равнобедренный и
перпендикулярна
тогда
перпендикулярна и
Так как синус острого угла в прямоугольном треугольнике равен отношению противолежащего этому углу катета к гипотенузе, то
По теореме Пифагора