Most of CMI's questions are proof questions. Here's one more:

If p, q, r are real numbers such that p2+q2+r2=1p^2+q^2+r^2=1, then prove that

3p2q+3p2r+2q3+2r323p^2q+3p^2r+2q^3+2r^3 \leq 2.

#Algebra #Inequalities

Note by Vishnu C
6 years ago

No vote yet
1 vote

  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:

  • 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.

MarkdownAppears as
*italics* or _italics_ italics
**bold** or __bold__ bold

- bulleted
- list

  • bulleted
  • list

1. numbered
2. list

  1. numbered
  2. list
Note: you must add a full line of space before and after lists for them to show up correctly
paragraph 1

paragraph 2

paragraph 1

paragraph 2

[example link](https://brilliant.org)example link
> This is a quote
This is a quote
    # I indented these lines
    # 4 spaces, and now they show
    # up as a code block.

    print "hello world"
# I indented these lines
# 4 spaces, and now they show
# up as a code block.

print "hello world"
MathAppears as
Remember to wrap math in \( ... \) or \[ ... \] to ensure proper formatting.
2 \times 3 2×3 2 \times 3
2^{34} 234 2^{34}
a_{i-1} ai1 a_{i-1}
\frac{2}{3} 23 \frac{2}{3}
\sqrt{2} 2 \sqrt{2}
\sum_{i=1}^3 i=13 \sum_{i=1}^3
\sin \theta sinθ \sin \theta
\boxed{123} 123 \boxed{123}

Comments

We simplify the given expression as follows -

3p2q+3p2r+2q3+2r3=3p2(q+r)+2(q+r)(q2qr+r2)=(q+r)(3p2+2q2+2r22qr)=(q+r)(3(p2+q2+r2)(q2+r2)2qr)=(q+r)(3(q+r)2)=3(q+r)(q+r)3\begin{aligned} 3p^2q+3p^2r+2q^3+2r^3 &=& 3p^2(q+r)+2(q+r)(q^2-qr+r^2) \\ &=& (q+r)(3p^2+2q^2+2r^2-2qr) \\ &=& (q+r)(3(p^2+q^2+r^2)-(q^2+r^2)-2qr) \\ &=& (q+r)(3-(q+r)^2) \\ &=& 3(q+r)-(q+r)^3 \\ \end{aligned}

Now since, q,rRq,r \in \mathbb{R} , then let s=q+rs=q+r and thus sRs \in \mathbb{R}. We must obviously have 3p2q+3p2r+2q3+2r3=3ss323p^2q+3p^2r+2q^3+2r^3 = 3s-s^3 \leq 2

Kishlaya Jaiswal - 6 years ago

Log in to reply

What inequality is 3ss323s-s^3 \leq 2?

vishnu c - 6 years ago

Log in to reply

Consider f(s)=3ss3f(s) = 3s-s^3.

We have f(s)=33s2=0s=±1f^\prime(s) = 3-3s^2 = 0 \Rightarrow s=\pm1. Observe that f(1)<0f^{\prime\prime}(1) <0 and so we should have maximum at s=1s=1. And hence f(s)max=2f(s)_{\text{max}}=2

And therefore, 3ss323s-s^3 \leq 2

Kishlaya Jaiswal - 6 years ago

Log in to reply

@Kishlaya Jaiswal Doh!

vishnu c - 6 years ago

Log in to reply

@Vishnu C Thanks!

Kishlaya Jaiswal - 6 years ago

Log in to reply

@Kishlaya Jaiswal I'm going to look like a complete idiot for saying this, but this is the truth: I got all the way up to (q+r)(3(q+r)2)(q+r)(3-(q+r)^2) in my simplification. And then I simply left the question. I didn't know how to proceed any further. DAMN IT!!!

vishnu c - 6 years ago

Very nice proof @Kishlaya Jaiswal . It boils down to recognizing that the expression is a function of q+r q + r , from which the result follows.

Calvin Lin Staff - 6 years ago

Log in to reply

Thank You Sir.

Actually at first sight, I was thinking if we can manipulate the expression so as to form function in p2,q2,r2p^2,q^2,r^2 so that we can use the condition p2+q2+r2=1p^2+q^2+r^2=1 alongwith AM-GM Inequality. But that didn't worked. It was then I realized that it's a function in q+rq+r

Kishlaya Jaiswal - 6 years ago
×

Problem Loading...

Note Loading...

Set Loading...