Visa att....

Jag tror att nu äntligen har jag kommit fram till ett vettigt svar! Så här fortsätter jag:

$$\begin{gathered} x_{i-1}^2<{\left[x_i^{*}\right]}^2 \\ {x}_{i-1}^2<\frac{1}{3}[x_i^2+x_i^{}{x}_{i-1}^{}+x_{i-1}^2] \\ 3x_{i-1}^2<x_i^2+x_i^{}{x}_{i-1}^{}+x_{i-1}^2 \\ 2x_{i-1}^2-x_i^{}{x}_{i-1}^{}<x_i^2 \\ 2(3{\left[x_i^{*}\right]}^2-x_i^{}{x}_{i-1}^{}-x_i^2)-x_i^{}{x}_{i-1}^{}<x_i^2 \\ 6{\left[x_i^{*}\right]}^2-3x_i^{}{x}_{i-1}^{}<3x_i^2 \\ 2{\left[x_i^{*}\right]}^2-x_i^{}{x}_{i-1}^{}<x_i^2 \\ \mathrm{Och} \mathrm{eftersom} x_i^{}{x}_{i-1}^{}<{\left[x_i^{*}\right]}^2 \mathrm{då} \mathrm{får} \mathrm{vi} \mathrm{olikheten}: \\ {\left[x_i^{*}\right]}^2<2{\left[x_i^{*}\right]}^2-x_i^{}{x}_{i-1}^{}<x_i^2 \\ \mathrm{Alltså} {\left[x_i^{*}\right]}^2<x_i^2 \mathrm{vilken} \mathrm{i} \sin \mathrm{tur} \mathrm{innebär} \mathrm{att} \\ {x}_i^{*}<x_i^{} V.S.B. \end{gathered}$$

Är det något som jag missat här?

Stämmer påståendet? Är det några fler krav du inte nämner?

Notera att vi inte vet något om x_i*:s tecken t.ex. då vi bara känner till saker om dess kvadrat. Så hur vet du att det inte är omvänt tecken istället?

JohanB skrev:

Stämmer påståendet? Är det några fler krav du inte nämner?

Notera att vi inte vet något om x_i*:s tecken t.ex. då vi bara känner till saker om dess kvadrat. Så hur vet du att det inte är omvänt tecken istället?

Ja visst! den här har jag glömt att lägga till: 

Låt $\{x_0,x_1,x_2,x_3, ... ,x_n\}$vara en partition av [a,b] där a<b.

Min bevisföring gäller faktiskt bara för när x>0. Men då undrar jag hur man ska bevisa det för alla reella tal?

JohanB skrev:

Stämmer påståendet? Är det några fler krav du inte nämner?

Notera att vi inte vet något om x_i*:s tecken t.ex. då vi bara känner till saker om dess kvadrat. Så hur vet du att det inte är omvänt tecken istället?

Det står ingenstans i uppgiften att 0<a<b fast det måste vara fallet annars stämmer inte påståendet.