已知三角形的三条边长度,怎么求高的长度?公式是什么?