设正实数a、b、c满足a＋b＋c＝1，则a、b、c中至少有一个数不小于________．

证明不是直接从原命题的条件逐步推得命题成立，这种不直接证明的方法通常称为________．如反证法，反证法的证明过程概括为：“________”“________”“________”“________”，

即从否定结论开始，经过正确的推理，导致逻辑矛盾，从而达到新的否定(即肯定原命题)的过程．

设a＝，b＝－，c＝－，则a、b、c的大小关系为________．

若sinα＋sinβ＋sinγ＝0，cosα＋cosβ＋cosγ＝0，则cos(α－β)＝________．

已知1＋2×3＋3×3²＋4×3³＋…＋n·3^n－1＝3ⁿ(na＋b)＋c对一切n∈N^*都成立．则a＝________，b＝________，c＝________．

凸k边形的内角和为f(k)，则凸k＋1边形的内角和f(k＋1)＝f(k)＋________．

设k棱柱有f(k)个对角面，则k＋1棱柱对角面的个数为f(k＋1)＝f(k)＋________．

数学命题推理有合情推理和演绎推理，________和________是常用的合情推理．从推理形式上看，________是由部分到整体，个别到一般的推理，________是由特殊到特殊的推理，而演绎推理是由一般到特殊的推理；从推理所得的结论来看，________的结论不一定正确，有待于进一步证明，________在前提和推理形式都正确的前提下，得到的结论一定正确．

演绎推理的主要形式为________，常用格式为________．

三段论的公式中包含三个命题，第一个命题称为________，它提供了一个________；第二个命题叫________，它指出了一个________，这两个判断结合起来，揭示了________与________的内在联系，从而得到第三个命题________．