How do you find the length of the short leg on a 30°-60°-90° triangle when all you have is the long leg?

The ratios of the sides
hypotnuse=2x
x=short leg (oposite 30)
x√3=long leg (oposite 60)

long leg=x√3
to find x, divide by √3
longleg/√3=short leg=x
rationalize denomenator, times √3/√3
(longleg√3)/3=short leg

the legnth of the short leg is
(longleg√3)/3