Operations across an inequality

Click For Summary

Homework Help Overview

The discussion revolves around the properties of inequalities, particularly in the context of mathematical induction and the manipulation of expressions involving inequalities. Participants explore whether certain operations can be performed across inequalities, such as squaring or taking square roots, under various conditions for the variables involved.

Discussion Character

  • Exploratory, Assumption checking, Conceptual clarification

Approaches and Questions Raised

  • Participants examine specific cases where variables are positive or negative and consider the implications of these cases on the validity of operations across inequalities. There is a discussion on whether it is valid to take square roots or square both sides of an inequality, especially when the variables may be negative.

Discussion Status

The discussion is ongoing, with participants providing examples and counterexamples to illustrate their points. Some guidance has been offered regarding the conditions under which certain operations can be performed, but there is no explicit consensus on all aspects of the problem.

Contextual Notes

Participants note the importance of understanding the initial conditions of the sequences involved, as well as the implications of the variables being positive or negative. There is mention of specific values for the sequences and the necessity of proving certain inequalities without prior information about the sequence's terms.

rock.freak667
Homework Helper
Messages
6,221
Reaction score
31

Homework Statement



If a<b...can I then say that [itex]a^2<b^2[/itex] or [itex]a^3<b^3[/itex] or even [itex]\sqrt{a}<\sqrt{b}[/itex]?Why I ask is that usually in some of the induction questions I do with inequalities, they give an expression like [itex]x_{n+1}=x_n^2 -7[/itex] or something like that.
 
Physics news on Phys.org
Consider cases where a, b are positive or negative.
 
also, another key thing to consider is greater than or less than 1.
 
mutton said:
Consider cases where a, b are positive or negative.

Choose a=-1 and b=2, -1<2 true

[itex](-1)^2=1, (2)^2=4...1<4[/itex] true.

a=2,b=3; 2<3 true

[itex](2)^2=4,(3)^2=9...4<9[/itex] true

So I can do it across the inequality?
 
but say: -3<2 however (-3)^2=9 is not smaller than 2^2=4.
 
sutupidmath said:
but say: -3<2 however (-3)^2=9 is not smaller than 2^2=4.

ah right...sooo...then if am given something like

[tex]u_{n+1}=-1+\sqrt{u_n +7}[/itex]<br /> <br /> and to prove [itex]u_n<2[/itex]<br /> <br /> I can't add 7 to both sides and then take the square root as my inequality might not be the same after taking the square root? If so...then how would I manipulate the [itex]u_n[/itex] to get [itex]u_{n+1}[/itex][/tex]
 
Can you post the original problem, because i don't think i am getting what you are saying?

Are you asked to prove that u_n<2, or you are provided with this fact? Because if the former is the case then you cannot start from this, since you are actually asked to prove this. IN other words, what is the problem asking you to do?
 
sutupidmath said:
Can you post the original problem, because i don't think i am getting what you are saying?

Are you asked to prove that u_n<2, or you are provided with this fact? Because if the former is the case then you cannot start from this, since you are actually asked to prove this. IN other words, what is the problem asking you to do?

Prove by mathematical induction that [itex]u_n<2[/itex] given that [itex]u_{n+1}=-1+\sqrt{u_n +7}[/itex]
 
rock.freak667 said:
Prove by mathematical induction that [itex]u_n<2[/itex] given that [itex]u_{n+1}=-1+\sqrt{u_n +7}[/itex]

And you have no prior information about [tex]u_1,... or ... u_0...??[/tex] It looks kind of hard, without having at leas some other information about this sequence besides that recurrence relation.
 
  • #10
Sorry...[itex]u_1 =1[/itex]
 
  • #11
Ok then,

[tex]u_{n+1}=-1+\sqrt{u_n +7}[/tex]


let n=1, so

[itex]u_{2}=-1+\sqrt{u_1 +7}=-1+\sqrt{8}=-1+2\sqrt{2}<2[/itex]

So for n=1, the inequality is valid.

Now let's suppose that the inequality is valid for n-1, that is

[tex]u_{n-1}<2--------(IH)[/tex] we need to show now that it is also true of n. That is we need to show that

[tex]u_n<2...?[/tex]

[tex]u_n=-1+\sqrt{u_{n-1}+7}[/tex]

now from IH we have [tex]u_{n-1}+7<2+7=9=>\sqrt{u_{n-1}+7}<\sqrt{9}=3----------(*****)[/tex] so


[tex]u_n=-1+\sqrt{u_{n-1}+7}<-1+\sqrt{9}=-1+3=2[/tex]

What we actually wanted to prove.!

P.S. Step (*****) is valid, because the sequence is increasing, so since u1=1, it means that [tex]u_n>0,\forall n[/tex]
 
Last edited:
  • #12
So since u_n is a monotonic increasing sequence and bounded, its limit exists, so it also is a convergent sequence. If you are interested in finding the limit, it is very straightforward, just let:

[tex]\lim_{n\to\infty}u_n=L=\lim_{n\to\infty}u_{n+1}[/tex] and use the reccurrence relation, you will end up with two solutions, and you'll know which one to choose when you get there.

I hope i was of any help!
 
  • #13
sutupidmath said:
now from IH we have [tex]u_{n-1}+7<2+7=9=>\sqrt{u_{n-1}+7}<\sqrt{9}=3----------(*****)[/tex]

P.S. Step (*****) is valid, because the sequence is increasing, so since u1=1, it means that [tex]u_n>0,\forall n[/tex]

ahh..thanks...that is what I wanted to know. If and why it was valid to take the square root on both sides.
 
  • #14
rock.freak667 said:
ahh..thanks...that is what I wanted to know. If and why it was valid to take the square root on both sides.

Just to be more precise, it should have read here:

[tex]u_n\geq 1,\forall n[/tex]
 
  • #15
rock.freak667 said:
If a<b...can I then say that [itex]a^2<b^2[/itex] or [itex]a^3<b^3[/itex] or even [itex]\sqrt{a}<\sqrt{b}[/itex]?

Hi rock.freak667! :smile:

Rewrite [itex]a^2<b^2[/itex] as [itex]a^2\,-\,b^2\,<\,0\,.[/itex]

Then (a - b)(a + b) < 0, so either a < b and a + b > 0, or a > b and a + b < 0.
rock.freak667 said:
Prove by mathematical induction that [itex]u_n<2[/itex] given that [itex]u_{n+1}=-1+\sqrt{u_n +7}[/itex]

"Prove by induction" means that you can assume that un < 2.

You'd better also assume that un > -1.

And √ in this case means the positive root.

Then √(un + 7) is between √6 and √9, so … ? :smile:
 
  • #16
tiny-tim said:
You'd better also assume that un > -1.




Well he need not assume this at all, since [tex]u_1=1[/tex] and u_n is an increasing sequence, it means like i said in one of my other posts, that

[tex]u_n\geq 1,\forall n \in N[/tex]

So all other opertations follow because of this.!
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
11
Views
3K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 19 ·
Replies
19
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
Replies
7
Views
2K
Replies
3
Views
3K
  • · Replies 15 ·
Replies
15
Views
4K