是不是伪证

少可昕

总觉得有问题

禄沛凝

1.1【突ᵀ围ᵂ~将ᴶ军ᴶ·谁】
1.2）选x主元，把y当常数.
.
2）已知式<=>第3：
3.1）x≤-1-√[y(y+1)]，或：
□.2）x≥-1+√[y(y+1).
.
4.1）当0≤y≤1：
□.2）待证式：左≤0≤右，成立.
.
5）当y>1：
6）待证式<=>第7：
7.1）x≤-√[y(y-1)]，或：
□.2）x≥√[y(y-1).
.
8.0）下面计划：
□.1）第3.1=>第7.1=>1楼·待证式.
□.2）第3.2=>第7.2=>1楼·待证式.
.
9）下面：第3.1=>第7.1。
10.0）第7.1：x≤-√[y(y-1)]（待证)
□.1）<=“-1-√[y(y+1)]≤-√[y(y-1)]”(看第3.1)
□.2）<=>1+√[y(y+1)]≥√[y(y-1)]
□.3）<=“√[y(y+1)]≥√[y(y-1)]”
□.4）<=>y(y+1)≥y(y-1)
□.5）<=>y+1≥y-1：成立.
.
11）下面：第3.2=>第7.2。
12.0）第7.2：x≥√[y(y-1)]（待证)
□.1）<=“-1+√[y(y+1)]≥√[y(y-1)]”(看第3.2)
□.2）<=>√[y(y+1)]≥1+√[y(y-1)]
□.3）<=>y(y+1)≥1+y(y-1)+2√[y(y-1)]
□.4）<=>2y-1≥2√[y(y-1)]
□.5）<=>4y²-4y+1≥4y(y-1)：成立.

禄沛凝

1.1【突ᵀ围ᵂ~将ᴶ军ᴶ·谁】
1.2）选x主元，把y当常数.
.
2.1）已知式<=>
□.2）|x+1|≥√[y(y+1)].
.
3）考察待证式：
.
4.1）当0≤y≤1：
□.2）待证式：左≤0≤右，成立.
.
5）当y>1：
6.1）待证式<=>
□.2）|x|≥√[y(y-1)].
.
7.1）下面~由·第2.2=>第6.2。
8.0）第2.2：|x+1|≥√[y(y+1)]
□.1）=>|x|+1≥√[y(y+1)]
□.2）=>|x|≥-1+√[y(y+1)].
9.0）考察：上式右≥第6.2右
□.1）<=>-1+√[y(y+1)]≥√[y(y-1)]
□.2）<=>√[y(y+1)]≥1+√[y(y-1)]
□.3）<=>y(y+1)≥1+y(y-1)+2√[y(y-1)]
□.4）<=>2y-1≥2√[y(y-1)]
□.5）<=>4y²-4y+1≥4y(y-1)：成立.
.
10）由上·第6.2成立.