一直三角形的三条边,怎么求由斜线的那一条边垂直下来的那条垂线?