Обосновать свойство катета прямоугольного треугольника одинакового половине гипотенузы

Дано:
прямоугольный треугольник АВС,
угол А = 90 градусов,
угол В = 30 градусов,
Обосновать, что АС = 1/2 * ВС.
Подтверждение:
Осмотрим прямоугольный треугольник АВС.
Синус угла равен отношению противолежащего катета к гипотенузе. Как следует
sin угла В = АС/ВС;
АС = sin угла В * ВС;
АС = sin угла 30 * ВС;
АС = 1/2 * ВС.
Значит катет лежащий против угла в 30 градусов равен половине гипотенузы. Что и требовалось обосновать.