This discussion board is a place to discuss our Daily Challenges and the math and science
related to those challenges. Explanations are more than just a solution — they should
explain the steps and thinking strategies that you used to obtain the solution. Comments
should further the discussion of math and science.
When posting on Brilliant:
Use the emojis to react to an explanation, whether you're congratulating a job well done , or just really confused .
Ask specific questions about the challenge or the steps in somebody's explanation. Well-posed questions can add a lot to the discussion, but posting "I don't understand!" doesn't help anyone.
Try to contribute something new to the discussion, whether it is an extension, generalization or other idea related to the challenge.
Stay on topic — we're all here to learn more about math and science, not to hear about your favorite get-rich-quick scheme or current world events.
Markdown
Appears as
*italics* or _italics_
italics
**bold** or __bold__
bold
- bulleted - list
bulleted
list
1. numbered 2. list
numbered
list
Note: you must add a full line of space before and after lists for them to show up correctly
This concept, called fudging, is a well-known technique in inequality solving. However, in my opinion, it is the hardest technique to implement. It can usually only be achieved by doing a lot of inequality problems. The whole point is to get each term under the cyclic summation to have a common denominator in order to finish simultaneously. Yufei Zhao's document addresses a calculus approach to find the right "fudging" expression if you can't see it immediately.
There is no flaw in the solution. You have shown that the LHS is greater than 1.5, which is a correct statement. You just have not shown that the LHS is greater that 3≈1.7.
For example, if we wanted to prove that x2+1≥2x, just because our steps showed that x2+1≥2x−1000, doesn't mean that our solution has a flaw. It just means that our solution doesn't lead to the desired conclusion as yet.
FYI, be aware of the spacing that you use, and check that it is displaying as you would like it to. I've edited your solution to make it more readable.
Is there any inequality related to the length of a side and median upon it?
Actually if we analytically say that length of median upon a side lengthed x is less than equal to √3x/2 then putting the median length in terms of sides we get each part of this inequality greater than equal to 1/√3. So our inequality gets solved.
@Shyambhu Mukherjee
–
If I have not made any computational errors, the measure of the A-median would be ma=22b2+2c2−a2. Your proposal is to prove that 22b2+2c2−a2≤23a⟹2b2+2c2−a2≤3a2⟹b2+c2≤2a2 which is obviously false given a triangle such that b,c>a.
I'm stuck. Is there anyone to correct this solution?
Assume the sides are a2, b2, c2 sides, then 2s=a2+b2+c2. Rearranging these terms,
4a2s2−31+4b2s2−31+4c2s2−31
Using AM-HM,
4a2s−31+4b2s−31+4c2s−31≥4a2s−3+4b2s−3+4c2s−39
Consider the denumerator and using Cauchy-Schwarz,
4a2s−3+4b2s−3+4c2s−3≤3(4s(a21+b21+c21)−9)
It affects that
4a2s−3+4b2s−3+4c2s−39≥3(4s(a21+b21+c21)−9)9
Using Titu′s..lemma we get
cyc∑2b2+2c2−a2a≥2b2+2c2−a2(a+b+c)2
By using RMS−AM inequality we get
32b2+2c2−a2+2c2+2a2−b2+2b2+2a2−c2≥32b2+2c2−a2
This implies
3a2+b2+c2≥2b2+2c2−a22b2+2c2−a2(a+b+c)2≥3a2+b2+c2(a+b+c)2≥a2+b2+c2(ab+bc+ca)
Therefore
cyc∑2b2+2c2−a2a≥a2+b2+c2(ab+bc+ca)
Now anyone please help me to finish the solution.
Unfortunately, the RHS of your last equation is not ≥3. For example, substitute in a=0+,b=1,c=1, and we obtain ≈21.
In using 3a2+b2+c2≥2b2+2c2−a2 you made it way too loose, which is why the bound does not work. For example, we have2a2+b2+c2≥2a2+2b2+2c2>2b2+2c2−a2.
Easy Math Editor
This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.
When posting on Brilliant:
*italics*
or_italics_
**bold**
or__bold__
paragraph 1
paragraph 2
[example link](https://brilliant.org)
> This is a quote
\(
...\)
or\[
...\]
to ensure proper formatting.2 \times 3
2^{34}
a_{i-1}
\frac{2}{3}
\sqrt{2}
\sum_{i=1}^3
\sin \theta
\boxed{123}
Comments
Solution. Suffices to prove 2b2+2c2−a2a≥a2+b2+c23a2 which is just (−2a2+b2+c2)2≥0.
We finish by adding cyclically. □
Log in to reply
I am not able to prove it can you please help
Log in to reply
Just expand and simplify the expression I wrote.
Can u prove that median's relation I assumed from the proof statement and written in reply to Calvin Lin?
How would one think of coming up with that first equation?
Log in to reply
This concept, called fudging, is a well-known technique in inequality solving. However, in my opinion, it is the hardest technique to implement. It can usually only be achieved by doing a lot of inequality problems. The whole point is to get each term under the cyclic summation to have a common denominator in order to finish simultaneously. Yufei Zhao's document addresses a calculus approach to find the right "fudging" expression if you can't see it immediately.
http://yufeizhao.com/wc08/ineq.pdf
cosA=2bcb2+c2−a2(cosine..rule)
we know that cosθ≤1. Therefore
1≥2bcb2+c2−a2
2bc+b2+c2≥2b2+2c2−a2 2bc+b2+c2≥2b2+2c2−a2 b+ca≤2b2+2c2−a2a
Therefore we get cyc∑b+ca≤cyc∑2b2+2c2−a2a By using Nesbitts Inequality we get 23≤cyc∑b+ca≤cyc∑2b2+2c2−a2a Hence 23≤cyc∑2b2+2c2−a2a.
I am not getting the flaw I made in my solution please help me.
Log in to reply
Is the degenerate triangle excluded in the problem?
Log in to reply
Typically, the degenerate triangle is excluded from being a triangle.
In this case, I don't think it matters. The inequality is true for {a,b,c}={0,1,1}.
Log in to reply
Log in to reply
change your password which will log you out of all other devices.
You canThere is no flaw in the solution. You have shown that the LHS is greater than 1.5, which is a correct statement. You just have not shown that the LHS is greater that 3≈1.7.
For example, if we wanted to prove that x2+1≥2x, just because our steps showed that x2+1≥2x−1000, doesn't mean that our solution has a flaw. It just means that our solution doesn't lead to the desired conclusion as yet.
FYI, be aware of the spacing that you use, and check that it is displaying as you would like it to. I've edited your solution to make it more readable.
Log in to reply
Can you suggest the method to solve this question or what I need to add to my solution to make it valid .
Is there any inequality related to the length of a side and median upon it? Actually if we analytically say that length of median upon a side lengthed x is less than equal to √3x/2 then putting the median length in terms of sides we get each part of this inequality greater than equal to 1/√3. So our inequality gets solved.
Log in to reply
ma=22b2+2c2−a2. Your proposal is to prove that 22b2+2c2−a2≤23a⟹2b2+2c2−a2≤3a2⟹b2+c2≤2a2 which is obviously false given a triangle such that b,c>a.
If I have not made any computational errors, the measure of the A-median would beLog in to reply
I have added another solution just help me to finish it.
I'm stuck. Is there anyone to correct this solution? Assume the sides are a2, b2, c2 sides, then 2s=a2+b2+c2. Rearranging these terms, 4a2s2−31+4b2s2−31+4c2s2−31 Using AM-HM, 4a2s−31+4b2s−31+4c2s−31≥4a2s−3+4b2s−3+4c2s−39 Consider the denumerator and using Cauchy-Schwarz, 4a2s−3+4b2s−3+4c2s−3≤3(4s(a21+b21+c21)−9) It affects that 4a2s−3+4b2s−3+4c2s−39≥3(4s(a21+b21+c21)−9)9
I'm stuck. Is there any flaw in my solution?
For those who want a hint, try an incenter substitution.
That is, let a=x+y, b=y+z and c=z+x. Note that x, y and z are positive reals.
Ummm... any hint?
Using Titu′s..lemma we get cyc∑2b2+2c2−a2a≥2b2+2c2−a2(a+b+c)2 By using RMS−AM inequality we get 32b2+2c2−a2+2c2+2a2−b2+2b2+2a2−c2≥32b2+2c2−a2 This implies 3a2+b2+c2≥2b2+2c2−a2 2b2+2c2−a2(a+b+c)2≥3a2+b2+c2(a+b+c)2≥a2+b2+c2(ab+bc+ca) Therefore cyc∑2b2+2c2−a2a≥a2+b2+c2(ab+bc+ca) Now anyone please help me to finish the solution.
Log in to reply
Unfortunately, the RHS of your last equation is not ≥3. For example, substitute in a=0+,b=1,c=1, and we obtain ≈21.
In using 3a2+b2+c2≥2b2+2c2−a2 you made it way too loose, which is why the bound does not work. For example, we have2a2+b2+c2≥2a2+2b2+2c2>2b2+2c2−a2.
Log in to reply
Sir, please can you explain me the "bound" thing??