I'm Feeling Particularly Wishful Today
by shiningsunnyday, Apr 12, 2016, 10:52 AM
Today I solved 3 problems from 108 Alg, at the very end of the introductory section (first 54 problems), leaving me with only ONE more problem to go before I move on to the advanced section. The common theme of this blog post is wishful thinking, which, as Richard taught, is a useful powerful problem solving mindset.
For those who never heard of this term before, ask:
What's the key obstacle preventing me from solving this problem?
What could you "wish" to happen that would remove this obstacle?
Then make it happen!
Let
and
be nonnegative real numbers such that
Prove that 
Motivation+Solution
Let
be positive real numbers. Prove that 
Motivation+Solution
Solve the system in reals:


Motivation+Solution
So the problem below (P54 of 108) is now the only problem remaining in this section. I'm still stuck on it. Any hints/solutions will be appreciated...
Let
be a positive integer. Simplify
Progress
For those who never heard of this term before, ask:
What's the key obstacle preventing me from solving this problem?
What could you "wish" to happen that would remove this obstacle?
Then make it happen!
Let




Motivation+Solution
First obstacle: This "max" function is kind of irking. This shouldn't be too hard to deal with, as exploiting the symmetry we can WLOG 
Second obstacle, how can we use the given condition? One way to do so would be through contradiction, which is great when a problem has a given condition that you don't quite know how to use.
We assume
How can we use the fact that
Well, if it is always less than or equal to zero, I wish we can somehow show that with our assumption it must be always bigger than zero. Also, the two variables are irksome. I wish we could reduce this to a quadratic...
Let's make it happen!

leading to the contradiction we desired.

Second obstacle, how can we use the given condition? One way to do so would be through contradiction, which is great when a problem has a given condition that you don't quite know how to use.
We assume


Let's make it happen!



Let


Motivation+Solution
AM-GM fails immediately, since we can't get any mileage by taking the product of the expression, nor can we apply it on individual terms like
What's interesting about
is that both the numerator and denominator contain
Cancellation is futile, but both the numerator and denominator are in the form
This should immediately trigger Cauchy. Plus, the denominator is a square, an even more obvious trigger.
So we place the denominator on the RHS and numerator on the LHS, completing the inequality, we get
by Cauchy. Aha! So it suffices to prove that
, which is true.




So we place the denominator on the RHS and numerator on the LHS, completing the inequality, we get


Solve the system in reals:


Motivation+Solution
The LHS is too neat to ignore. How can we use the LHS? Multiplying sounds good, but the nastiness on the RHS prevents any progress. We can add or subtract, but that's futile as well. Ugh, the
is so random, sitting there on the right. If only we can somehow combine
and
Now we really need to subtract the two quantities in the roots! So we make this happen by squaring both sides, leading to:

Subtracting yields
Note that
satisfies both equations, while
doesn't as it makes the first and second radicals imaginary, so
is our solution.









So the problem below (P54 of 108) is now the only problem remaining in this section. I'm still stuck on it. Any hints/solutions will be appreciated...
Let


Lemma: For
then


Proof: By squaring
This lemma came up earlier in the book, and I've been trying to use it, to no avail though.



Proof: By squaring
This lemma came up earlier in the book, and I've been trying to use it, to no avail though.
This post has been edited 2 times. Last edited by shiningsunnyday, Apr 12, 2016, 10:55 AM