已知三角形两个边长都为20,直角三角形,求另一边长