一个角为30°直角三角形,如何用三角函数和勾股定理求边长