在证明命题“一个三角形中至少有一个内角不大于60°”成立时，我们利用反证法，先假设 则可推出三个内角之和大于180°，这与三角形内角和定理相矛盾．