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

Обозначим стороны треугольника a b c
с - гипотенуза, пока неизвестная
а - катет против угла в 30°, тоже неизвестный
b - известный катет против угла в 60°
Катет против угла в 30° в два раза короче гипотенузы
c = 2a
По уравнению Пифагора
a² + b² = c²
a² + b² = (2a)²
a² + b² = 4a²
b² = 3a²
a² = b²/3
a = b/√3
Катет против угла в 30° в корень из трёх раз меньше катета против угла в 60°