直角三角形边长为20 15另一条边是什么