关于反证法的具体内容

证至少有一个时,你只要找到一个就可以了,或者假设没有,然后推出矛盾就可以了.
至多有两个,你就假设多于两个,然后推出矛盾就行.

对于"至少有一个",可假设"没有",推出矛盾,说明假设不成立,从而"至少有一个"的情况成立
对于"至多有两个 ",可假设"至少三个",推出矛盾,说明假设不成立,从而"至多有两个"的情况成立
总之,对于一个问题,可证明他的逆否命题成立,从而原命题成立