求等腰直角三角形ABC的斜边BC的长,应该用什么公式