一个等腰直角三角形,在已知底边高的情况下,如何求三条边的边长?求工式.