设：两直角边分别为x y斜边为z
x+y=17
(x*y)/2=30
x^2+y^2=z^
(x=12,y=5.z=13.)
斜边长13