已知直角三角形一锐角度数α,求其对边长度怎么求