已知直角三角形一个角80度 相邻的一条直角边是4 求另一直角边长