对角相等的三角形是相似三角形的逆否命题