一个等腰直角三角形,己知斜边为9厘米.求边长.公式是什么?