三角形相似的证明格式和全等的格式一样吗