垂直等腰三角形第三条边的边长公式是什么?