证明相似的几种方法