\frac{\sin 45^\circ}{5}=\frac{\sin 60^\circ}{x}