已知直角三角形两边求第三边程序