证明命题(两边上的高相等的三角形是等腰三角形)