已知直角三角形1直角边长,与斜边夹角30°,求30°对角直角边长?