相似三角形是全等三角形的否定形式