定理常用证明方法

证明p->q
直接证明：p->q，设p为真，证明q为真
反证法：非q->非p，设非q为真，证明非p为真
归谬：非q->p且非p(反证的一种)
数学归纳法：n=1，n=2，…，n=k-1成立，证明n=k成立
分情况证明：
穷举：（分情况证明的一种）
反例：枚举符合条件但不符合结论的点
构造性的存在性证明：
非构造性的存在性证明：
唯一性证明：