“反证法”的逻辑武器，欧几里得天才证法，假设是错的，证明过程出现矛盾，即原来是对的