已知等边三角形的两个锐角和斜边,求底边长?