x , y are reals satisfying x 2 + y 2 = ( y x + x y ) 2 The double-sided inequality m ≤ x 3 y 3 x 3 y 3 + x 2 y + x y 2 + 1 ≤ M is always true, where m is the largest possible and M is the smallest possible. Find ⌊ 1 0 0 0 { M + m } ⌋ where { x } means the fractional part of x (i.e { x } = x − ⌊ x ⌋ )
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
@Daniel Liu and @Finn Hulse , would like your comments.
Log in to reply
It's excellent! Written like a true master.
Nice solution. A lot better than mine.
SOLUTION FOR MINIMUM IS NOT CORRECT. I FORGOT TO TAKE ± WHEN TAKING THE SQUARE ROOT.
We want to first manipulate the condition to something easier. So:
x 2 + y 2 = ( y x + x y ) 2 ⟹ x 2 + y 2 = ( x y x 2 + y 2 ) 2 ⟹ 1 = x 2 y 2 x 2 + y 2 ⟹ 1 = x 2 1 + y 2 1
This is similar to the trigonometric identity sin 2 θ + cos 2 θ = 1 , except the fractions are in reverse. This makes us realize if we substitute x = csc θ and y = sec θ then it satisfies the original condition.
Now let's simplify the expression we want to find the maximum and minimum of. We see that x 3 y 3 x 3 y 3 + x 2 y + x y 2 + 1 = 1 + x 2 y 1 + x y 2 1 + x 3 y 3 1
Substituting our trig formulas in, we want to find the max and min of 1 + csc 2 θ sec θ 1 + csc θ sec 2 θ 1 + csc 3 θ sec 3 θ 1
Simplifying: 1 + csc 2 θ sec θ 1 + csc θ sec 2 θ 1 + csc 3 θ sec 3 θ 1 = 1 + sin 2 θ cos θ + sin θ cos 2 θ + sin 3 θ cos 3 θ = 1 + sin θ cos θ ( sin θ + cos θ ) + ( sin θ cos θ ) 3 = 1 + 2 1 sin 2 θ 1 + sin 2 θ + 8 1 sin 3 2 θ = 1 + 2 1 n n + 1 + 8 1 n 3
where the last step was substituting n = sin 2 θ
We then must find the maximum and minimum of f ( n ) = 1 + 2 1 n n + 1 + 8 1 n 3 where n ∈ [ − 1 , 1 ] .
First, off the maximum. We find that, after messy second derivatives, that the function f ( n ) is convex; thus, the maximum is at one of its endpoints: n = − 1 , 1 . Checking both, we see that the corresponding maximums are f ( − 1 ) = 8 7 and f ( 1 ) = 8 9 + 2 2 .
Clearly, f ( − 1 ) < f ( 1 ) so the maximum is M = 8 9 + 2 2
Now for the harder part: the minimum. Unfortunately, there doesn't seem to be an easy way. Since f ( n ) is convex, if we set f ′ ( n ) = 0 , then we are guaranteed to find the minimum. After some messy deriving, we see that f ′ ( n ) = 8 n + 1 3 n + 1 n 2 + 6 n + 4 = 0
We can get rid of the denominator: 3 n + 1 n 2 + 6 n + 4 = 0
The root of this is approximated to be (sorry!) n ≈ − 0 . 8 0 9 6 6 8 and plugging this back in shows that the minimum is m = f ( − 0 . 8 0 9 7 ) ≈ 0 . 7 5 7
Thus, our answer is 0 . 7 5 7 + 8 9 + 2 2 = 2 . 5 8 9
Equality case for maximum is ( x , y ) = ( 2 , 2 )
Equality case for minimum is ( x , y ) ≈ ( 1 . 1 2 3 , − 2 . 2 0 0 )
The minimum I got was 8 9 − 4 2 = 0 . 4 1 7 8 9 < 0 . 7 5 7 attained at − 2 , − 2 . Therefore, I think the answer should be 2 5 0 with M + m = 4 9 .
Log in to reply
Yeah same. Great problem though @Daniel Liu ! It works out nicely with the sum of each fractional part to be roughly 1.250003. :D
Log in to reply
I got the answer on my first attempt but it was marked wrong. Then I tried 251 and 249 but they were all wrong. When I looked at the solution, I accepted that I got my working wrong but couldn't see where.
dang, sorry. Okay, time to change the answer again.
Can you suggest some resources where I cna larn all these inequaltiies? THANKS Also, I want to know how you are so adept at switching to polar co-ordinates and manipulating inequalities?
Log in to reply
I actually didn't switch to polar coordinates, I just did a trigonometric substitution.
I didn't really have too much resources to learn inequalities. The AoPS Wiki will help: just search up an inequality and it'll tell you what it is.
For starters, search up:
-AM-GM
-Cauchy Schwarz
-Rearrangement
-Jensen's
-Muirhead
-Holder's
Log in to reply
:) Thanks. @Daniel Liu - Is this something called as parametric substitution? Something again to do with trig and coordinates? I guess I noticed this somewhere in another solution. Can you tell me more about them?
Log in to reply
@Jayakumar Krishnan – Parametric substitutions is where if you have a condition like x 2 + y 2 = 1 then you can substitute x = cos θ and y = sin θ to both reduce the number of variables to 1 AND get rid of the annoying restriction.
x²+y²=(x²+y²)²/(xy)² so 1=(x²+y²)/(x²y²)=1/y²+1/x² Now replace 1/y=sin(t),1/x=cos(t) So y=1/cos(t),x=1/sin(t) f(x,y)=f(t)=(1+1/(sin²(t)cos(t))+1/(cos²(t)sin(t))+1/(sin³(t)cos³(t)))/(1/(sin³(t)cos³(t))=1+sin(t)cos(t) (sin(t)+cos(t))+(sin(t)cos(t))³ Notist that sin(t)cos(t)=0.5sin(2t) And max is when sin(2t)=1,i.e. 2t=π/2+2kπ,so t=π/4+kπ So sin(t)=cos(t)=±1/√2 Similiar sin(t)+cos(t)=√2 (1/√2sin(t)+1/√2cos(t))=√2sin(t+π/4),so max is when t+π/4=π/2+2kπ i.e. t=π/4+2kπ
So cos(t)=sin(t)=1/√2 So in cae t=π/4+2kπ max is achieved I.e.M=1+√2/2+(1/8)=(9+4√2)/8 Similiar notist that min of is when sin(x)=cos(x)=-1/√2 So m=1-√2/2+1/8=(9-4√2)/8 So m+M=18/8 So [1000{m+M}]=[1000*2/8]=250 Notist that f(t)=(1+sin(t)cos²(t))(1+cos(t)sin²(t))
I also arrived at 250, but with almost zero effort. I'll admit my solution is not elegant or anything close, but here's what I did. Simplified the first relation to arrive at exactly what Daniel did, x 2 1 + y 2 1 = 1 From there, x and y could be sqrt(2) or -sqrt(2). [This was just lucky. ] So applying both the values in the expression, the values were (9-4 sqrt2)/8 and (9+4 sqrt2)/8
Adding them I got 9/8 or 2.25, and taking the fractional part and times 1000, finally 250. This is obviously not the ideal way to solve it, but I think I got lucky here.
Yea, it just so happened that the maxima and minima was when x = y .
Problem Loading...
Note Loading...
Set Loading...
I began exactly like Daniel did with the same substitution. Hence, substituting, x = csc θ and y = sec θ . Therefore the expression changes as,
x 3 y 3 x 3 y 3 + x 2 y + x y 2 + 1 = 1 + sin 2 θ cos θ + cos 2 θ sin θ + sin 3 θ cos 3 θ
Let the expression whose range we need to find out be ε ( θ ) .
⇒ ε ( θ ) = ( 1 + sin 2 θ cos θ ) ( 1 + cos 2 θ sin θ )
Basically we need to find the extremums of ε ( θ ) . Note that in expression ε ( θ ) the sin θ and cos θ terms are interchangeable. Hence, ε ( θ ) = ε ( 2 ( 4 n + 1 ) π − θ ) ∀ n ∈ Z .
Consider an atleast twice differentiable function f ( x ) satisfying the property f ( x ) = f ( k − x ) for some real constant k . Differentaiting, we get, f ′ ( x ) + f ′ ( k − x ) = 0 ⇒ f ′ ( 2 k ) = 0 . Hence such a function will have an extremum at x = 2 k .
Similarly, for our expression ε ( θ ) , we will have extremum at 4 ( 4 n + 1 ) π ∀ n ∈ Z i.e. 4 π , 4 5 π , …
Now it is easy to realize that the maximum and minimum at θ = 4 π and θ = 4 5 π respectively. (These are the first values, there would be more values owing to the periodicity of the trigonometric functions. )
Hence, M = 8 9 + 4 2 and m = 8 9 − 4 2 .
Therefore, ⌊ 1 0 0 0 { M + m } ⌋ = 2 5 0