Proving Real Numbers Satisfy Inequality

Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
10 replies · 3K views
murshid_islam
Messages
468
Reaction score
21
the problem statement is:
if a,b,c are real numbers such that [tex]\frac{1}{a+1} + \frac{1}{b+1} + \frac{1}{c+1} = 2[/tex]

we have to prove that:
[tex]\frac{1}{4a+1} + \frac{1}{4b+1} + \frac{1}{4c+1} \geq 1[/tex]

thanks in advance.
 
Physics news on Phys.org
Well I thought id at least prove a general class of the solutions, where a=b=c, but it turns out that the only solution is a=b=c=0.5. It is the only solution where the 2nd equtation is exactly 1. The others must be more.

I tried another case, where 2 solutions (a and b) are equal, and it shows a=1/(2c+1). That might help, perhaps we could prove every case to be true.
 
Condition:
[tex]\frac{1}{a+1}+\frac{1}{b+1}+\frac{1}{c+1}=1-\frac{a}{a+1}+1-\frac{b}{b+1}+1-\frac{c}{c+1}=2[/tex]

Hence,the condition is equivalent with:
[tex]\frac{a}{a+1}+\frac{b}{b+1}+\frac{c}{c+1}=1[/tex]

Inequality:
By similar simple algebra the inequality can be rewritten as follows:
[tex]\frac{4a}{4a+1}+\frac{4b}{4b+1}+\frac{4c}{4c+1}\leq 2[/tex]

Now,let's consider the difference "Inequality-Condition":

[tex]\left(\frac{4a}{4a+1}-\frac{a}{a+1}\right)+\left(\frac{4b}{4b+1}-\frac{b}{b+1}\right)+\left(\frac{4c}{4c+1}-\frac{b}{b+1}\right)\leq 1[/tex]
.

Every expression within brackets is of form [itex]\frac{4x}{4x+1}-\frac{x}{x+1}[/itex].


[tex]\frac{4x}{4x+1}-\frac{x}{x+1}>\frac{1}{3}?\rightarrow 4x^2-4x+1<0\rightarrow 4\left(x-\frac{1}{2}\right)^2<0\longrightarrow Contradiction![/tex]

QED


EDIT:BTW,this cute little problem was misplaced in dumb brainteasers section.
Elementar proof presented here is understandable even to 6th graders.:smile:
 
Last edited:
tehno said:
[tex]\frac{4x}{4x+1}-\frac{x}{x+1}>\frac{1}{3}?\rightarrow 4x^2-4x+1<0\rightarrow 4\left(x-\frac{1}{2}\right)^2<0\longrightarrow Contradiction![/tex]
how do you get a contradiction here? i get:

[tex]\frac{4x}{4x+1} - \frac{x}{x+1} > \frac{1}{3}[/tex]

[tex]\frac{3x}{(4x+1)(x+1)} > \frac{1}{3}[/tex]

[tex]\frac{9x}{(4x+1)(x+1)} > 1[/tex]

[tex]\frac{9x}{(4x+1)(x+1)} - 1 > 0[/tex]

[tex]\frac{9x - 4x^2 - 5x - 1}{(4x+1)(x+1)} > 0[/tex]

[tex]\frac{4x^2 - 4x + 1}{(4x+1)(x+1)} < 0[/tex]

[tex]\frac{(2x-1)^2}{(4x+1)(x+1)} < 0[/tex]

[tex](4x+1)(x+1) < 0[/tex]

[tex]x \in \left(-\frac{1}{4}, -1\right)[/tex]

so where is the contradiction?
 
Last edited:
thanks Gib Z. but still, the contradiction tehno got is wrong, isn't it?
 
Why is the contradiction wrong? The inequaility has only negative solutions, which is contradictory from the original assumption of positive solutions.
 
tehno said:
[tex]\frac{4x}{4x+1}-\frac{x}{x+1}>\frac{1}{3}?\rightarrow 4x^2-4x+1<0[/tex]
how do you get from [tex]\frac{4x}{4x+1}-\frac{x}{x+1}>\frac{1}{3}[/tex] to [tex]4x^2-4x+1<0[/tex]

thats what i said was wrong?
 
murshid_islam said:
how do you get a contradiction here? i get:

[tex]\frac{4x}{4x+1} - \frac{x}{x+1} > \frac{1}{3}[/tex]

[tex]\frac{3x}{(4x+1)(x+1)} > \frac{1}{3}[/tex]

[tex]\frac{9x}{(4x+1)(x+1)} > 1[/tex]

[tex]\frac{9x}{(4x+1)(x+1)} - 1 > 0[/tex]

[tex]\frac{9x - 4x^2 - 5x - 1}{(4x+1)(x+1)} > 0[/tex]

[tex]\frac{4x^2 - 4x + 1}{(4x+1)(x+1)} < 0[/tex]

From here, x is positive, and so the denominator is always positive. So, for the inequality to hold, we require [itex]4x^2 - 4x + 1<0[/itex]. From here, the contradiction is obtained as in tehno's post.
 
Last edited: