已知直角三角形两点坐标和一边长,求另一点坐标