1
Cuando k=2, hay
(a 1+b 1)/2 =(-3+7)/2 = 2>0,
Entonces a2 = a 1 =-3;
B2 =(a 1+b 1)/2 = 2;
Cuando k =2, hay
(a2+B2)/2 =(-3+2)/2 =-1/2 <0,
Entonces a3 = (a2+ B2)/2 =-1/2;
b3=b2=2.
2
Cuando (a
b & ltk & gt-a & lt;k & gt=[(a & lt;k-1 & gt ;+b<k-1>)/2]-a<k-1>
=(b<k-1>-a< ;k-1>)/2;
Cuando (a
b & ltk & gt-a & lt;k & gt= b & ltk-1 & gt; -[(a & lt; k-1 & gt; + b & lt; k-1 & gt;)/2]
=(b & lt; k-1 & gt; -a & lt;k-1>)/2
Se puede concluir que no importa el valor que tome k, (k > 1), existen ambos. k-1 & gt;)/2 se establece;
Entonces (b
Entonces la serie {b
tres
a 1<0,b 1>entonces,0
(a 1-b 1)/a 1 = 1-(b 1/a 1)>1.
Entonces: log2 (a 1-b 1)/a 1>;
Empujar hacia atrás:
log 2(a 1-b 1)/a 1 & lt; >
←→(a 1-b 1)/a 1 & lt ; 2^n
←→a 1 & lt;
(b1-a1)/2^n & lt;-a 1 ;
←→(b 1-a 1)2^(n-1)<-2 a1
Conclusión extraída de la segunda pregunta: secuencia {b
b & ltn & gt-a & lt;n & gt=(b 1-a 1)2^(n-1)
Entonces b < n >-a & lt;n & gt& lt-2 a1
b & ltn & gt& lta & ltn & gt-2 A1...Conclusión ① p>
Cuando |a1| >|b1| , (a
Entonces b2=b1, la condición n≥2 no se cumple.
Solo ∴| b 1 | >; |a1|.
Muy Es fácil sacar la conclusión de que cuando B1 >; b2 & gtb3 & gt....& el entero máximo de n en gtbn
está dentro del rango de 1, (esta oración debe invertirse) (Si no entiende, simplemente mire la siguiente oración)
Es decir, en el intervalo [1, n], p>
ambos tienen |bn| >|安|
Y An se ha mantenido sin cambios, es decir,
a1=a2=....=An; p>
& lt0.
Porque sólo así podremos estar satisfechos.
(a & ltn-1 >+b & lt; n-1 >)/2≥0.
Sólo an = a
Bn continúa Reducir ; hasta
(a & ltn-1 >+b & lt;n-1 >)/2 & lt;0.
Cuando (a
Es decir, b < n >& lt-a & lt; n & gt=-A1... Conclusión ②
Cuando,
∵ b & lt; gt = b & ltn & gt, no menos que,
∴n es el entero más grande para satisfacer b 1 & gt2 & gtb3 & gt....& gtbn
Según la conclusión 1, tenemos
b & ltn & gt& lta & ltn & gt-2 a1
Es decir, b < n >& lta1-2 a1=-. a1
Es decir, la conclusión ② se puede deducir de la conclusión ①
La conclusión anterior es la misma que se puede deducir del título y la proposición a demostrar, y luego la. proposición a probar
n &. gt log 2 (a1-b1)/a1
se establece
Certificado completo