求证两个全等三角形对应边上的高相等