已知直角三角形三边求高