Доказать что катит лежащий против угла в 30 градусов равен половине гипотенузе

Не вижу смысла доказывать доказанное. Это свойство прямоугольного треугольника: катет, лежащий напротив угла 30гр. равен половине гепотинузы треугольника. Остальные углы будут по 60, 90, 30гр.