‘全等三角形对应边上的高相等’改成如果……那么……的形式