对于不等式<n＋1(n∈N^*)，某同学用数学归纳法的证明过程如下：

(1)当n＝1时，<1＋1，不等式成立．

(2)假设当n＝k(k∈N^*且k≥1)时，不等式成立，即<k＋1，则当n＝k＋1时，＝<＝＝(k＋1)＋1，

所以当n＝k＋1时，不等式成立，则上述证法                    (　　)．

A．过程全部正确

B．n＝1验得不正确

C．归纳假设不正确

D．从n＝k到n＝k＋1的推理不正确

“因为指数函数y＝a^x是增函数(大前提)，而y＝^x是指数函数(小前提)，所以函数y＝^x是增函数(结论)”，上面推理的错误在于(　　)．

A．大前提错误导致结论错

B．小前提错误导致结论错

C．推理形式错误导致结论错

D．大前提和小前提错误导致结论错

已知函数f(x)＝alnx－x²＋1.

(1)若曲线y＝f(x)在x＝1处的切线方程为4x－y＋b＝0，求实数a和b的值；

(2)若a<0，且对任意x₁、x₂∈(0，＋∞)，都|f(x₁)－f(x₂)|≥|x₁－x₂|，求a的取值范围．

【解析】第一问中利用f′(x)＝－2x(x>0)，f′(1)＝a－2，又f(1)＝0，所以曲线y＝f(x)在x＝1处的切线方程为y＝(a－2)(x－1)，即(a－2)x－y＋2－a＝0，

由已知得a－2＝4,2－a＝b，所以a＝6，b＝－4.

第二问中，利用当a<0时，f′(x)<0，∴f(x)在(0，＋∞)上是减函数，

不妨设0<x₁≤x₂，则|f(x₁)－f(x₂)|＝f(x₁)－f(x₂)，|x₁－x₂|＝x₂－x₁，

∴|f(x₁)－f(x₂)|≥|x₁－x₂|等价于f(x₁)－f(x₂)≥x₂－x₁，

即f(x₁)＋x₁≥f(x₂)＋x₂，结合构造函数和导数的知识来解得。

(1)f′(x)＝－2x(x>0)，f′(1)＝a－2，又f(1)＝0，所以曲线y＝f(x)在x＝1处的切线方程为y＝(a－2)(x－1)，即(a－2)x－y＋2－a＝0，

由已知得a－2＝4,2－a＝b，所以a＝6，b＝－4.

(2)当a<0时，f′(x)<0，∴f(x)在(0，＋∞)上是减函数，

不妨设0<x₁≤x₂，则|f(x₁)－f(x₂)|＝f(x₁)－f(x₂)，|x₁－x₂|＝x₂－x₁，

∴|f(x₁)－f(x₂)|≥|x₁－x₂|等价于f(x₁)－f(x₂)≥x₂－x₁，即f(x₁)＋x₁≥f(x₂)＋x₂，

令g(x)＝f(x)＋x＝alnx－x²＋x＋1，g(x)在(0，＋∞)上是减函数，

∵g′(x)＝－2x＋1＝(x>0)，

∴－2x²＋x＋a≤0在x>0时恒成立，

∴1＋8a≤0，a≤－，又a<0，

∴a的取值范围是

“因为指数函数y＝a^x是增函数(大前提)，而y＝^x是指数函数(小前提)，所以函数y＝^x是增函数(结论)”，上面推理的错误在于(　　)．

A．大前提错误导致结论错

B．小前提错误导致结论错

C．推理形式错误导致结论错

D．大前提和小前提错误导致结论错

“因为指数函数y＝a^x是增函数，而y＝是指数函数，所以y＝是增函数”，上面推理的错误是(　　)

A．大前提错导致结论错；    B．小前提错导致结论错；

C．推理形式错导致结论错；    D．大前提和小前提错都导致结论错。