4、用数学归纳法证明等式1+3+5+…+（2n-1）=n²（n∈N^*）的过程中，第二步假设n=k时等式成立，则当n=k+1时应得到（　　）

（2009•上海模拟）在解决问题：“证明数集A={x|2＜x≤3}没有最小数”时，可用反证法证明．假设a（2＜a≤3）是A中的最小数，则取a′=

a+2

2

，可得：2=

2+2

2

＜a′=

a+2

2

＜

a+a

2

=a≤3，与假设中“a是A中的最小数”矛盾！那么对于问题：“证明数集B={x|x=

n

m

，m，n∈N*，并且n＜m}没有最大数”，也可以用反证法证明．我们可以假设x=

n0

m0

是B中的最大数，则可以找到x'=（用m₀，n₀表示），由此可知x'∈B，x'＞x，这与假设矛盾！所以数集B没有最大数．

9、用数学归纳法证明：1+2+2²+…2^n-1=2ⁿ-1（n∈N）的过程中，第二步假设当n=k时等式成立，则当n=k+1时应得到（　　）

用反证法证明“若a，b，c＜3，则a，b，c中至少有一个小于1”时，“假设”应为（　　）