Weird Inequality, Weird Condition

Algebra Level 5

x , y x,y are reals satisfying x 2 + y 2 = ( x y + y x ) 2 x^2+y^2=\left(\dfrac{x}{y}+\dfrac{y}{x}\right)^2 The double-sided inequality m x 3 y 3 + x 2 y + x y 2 + 1 x 3 y 3 M m\le \dfrac{x^3y^3+x^2y+xy^2+1}{x^3y^3}\le M is always true, where m m is the largest possible and M M is the smallest possible. Find 1000 { M + m } \lfloor 1000\{M+m\}\rfloor where { x } \{x\} means the fractional part of x x (i.e { x } = x x \{x\}=x-\lfloor x\rfloor )


The answer is 250.

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.

4 solutions

Sudeep Salgia
Jun 26, 2014

I began exactly like Daniel did with the same substitution. Hence, substituting, x = csc θ and y = sec θ \displaystyle x = \csc \theta \text{ and } y = \sec \theta . Therefore the expression changes as,

x 3 y 3 + x 2 y + x y 2 + 1 x 3 y 3 = 1 + sin 2 θ cos θ + cos 2 θ sin θ + sin 3 θ cos 3 θ \displaystyle \frac{ x^3y^3 \text{ } + \text{ }x^2y \text{ }+\text{ } xy^2 \text{ } + \text{ } 1}{x^3y^3} = 1\text{ } + \text{ } \sin ^2 \theta \cos \theta \text{ } + \text{ } \cos ^2 \theta \sin \theta \text{ } + \text{ } \sin ^3 \theta \cos^ 3 \theta

Let the expression whose range we need to find out be ε ( θ ) \varepsilon (\theta ) .

ε ( θ ) = ( 1 + sin 2 θ cos θ ) ( 1 + cos 2 θ sin θ ) \displaystyle \Rightarrow \varepsilon (\theta ) = (1\text{ } + \text{ } \sin ^2 \theta \cos \theta )( 1\text{ } + \text{ } \cos ^2 \theta \sin \theta )

Basically we need to find the extremums of ε ( θ ) \varepsilon (\theta ) . Note that in expression ε ( θ ) \varepsilon (\theta ) the sin θ \sin \theta and cos θ \cos \theta terms are interchangeable. Hence, ε ( θ ) = ε ( ( 4 n + 1 ) π 2 θ ) n Z \displaystyle \varepsilon (\theta ) = \varepsilon (\frac{(4n +1)\pi }{2} - \theta ) \text{ }\forall \text{ } n \text{ } \in \text{ } \mathbb{Z} .

Consider an atleast twice differentiable function f ( x ) f(x) satisfying the property f ( x ) = f ( k x ) \displaystyle f(x) = f(k-x) for some real constant k k . Differentaiting, we get, f ( x ) + f ( k x ) = 0 f ( k 2 ) = 0 \displaystyle f'(x) + f'(k-x) = 0 \Rightarrow f'(\frac{k}{2} ) = 0 . Hence such a function will have an extremum at x = k 2 \displaystyle x = \frac{k}{2} .

Similarly, for our expression ε ( θ ) \varepsilon (\theta ) , we will have extremum at ( 4 n + 1 ) π 4 n Z i.e. π 4 , 5 π 4 , \displaystyle \frac{(4n + 1)\pi }{4} \forall \text{ } n \text{ } \in \text{ } \mathbb{Z} \text{ i.e. } \frac{\pi }{4} \text{, } \frac{5\pi }{4} \text{, } \dots

Now it is easy to realize that the maximum and minimum at θ = π 4 and θ = 5 π 4 \displaystyle \theta = \frac{\pi }{4} \text{ and } \theta = \frac{5\pi }{4} respectively. (These are the first values, there would be more values owing to the periodicity of the trigonometric functions. )

Hence, M = 9 + 4 2 8 and m = 9 4 2 8 \displaystyle M = \frac{9 + 4\sqrt{2} }{8} \text{ and } m = \frac{9 - 4\sqrt{2}}{8} .

Therefore, 1000 { M + m } = 250 \displaystyle \lfloor 1000 \{M + m\} \rfloor = \boxed{250}

@Daniel Liu and @Finn Hulse , would like your comments.

Sudeep Salgia - 6 years, 11 months ago

Log in to reply

It's excellent! Written like a true master.

Finn Hulse - 6 years, 11 months ago

Nice solution. A lot better than mine.

Daniel Liu - 6 years, 11 months ago
Daniel Liu
Jun 23, 2014

SOLUTION FOR MINIMUM IS NOT CORRECT. I FORGOT TO TAKE ± \pm WHEN TAKING THE SQUARE ROOT.

We want to first manipulate the condition to something easier. So:

x 2 + y 2 = ( x y + y x ) 2 x 2 + y 2 = ( x 2 + y 2 x y ) 2 1 = x 2 + y 2 x 2 y 2 1 = 1 x 2 + 1 y 2 \begin{aligned}x^2+y^2=\left(\dfrac{x}{y}+\dfrac{y}{x}\right)^2&\implies x^2+y^2=\left(\dfrac{x^2+y^2}{xy}\right)^2\\ &\implies 1=\dfrac{x^2+y^2}{x^2y^2}\\ &\implies 1=\dfrac{1}{x^2}+\dfrac{1}{y^2}\end{aligned}

This is similar to the trigonometric identity sin 2 θ + cos 2 θ = 1 \sin^2\theta+\cos^2\theta=1 , except the fractions are in reverse. This makes us realize if we substitute x = csc θ x=\csc\theta and y = sec θ y=\sec \theta 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 2 y + x y 2 + 1 x 3 y 3 = 1 + 1 x 2 y + 1 x y 2 + 1 x 3 y 3 \dfrac{x^3y^3+x^2y+xy^2+1}{x^3y^3}=1+\dfrac{1}{x^2y}+\dfrac{1}{xy^2}+\dfrac{1}{x^3y^3}

Substituting our trig formulas in, we want to find the max and min of 1 + 1 csc 2 θ sec θ + 1 csc θ sec 2 θ + 1 csc 3 θ sec 3 θ 1+\dfrac{1}{\csc^2\theta\sec\theta}+\dfrac{1}{\csc\theta\sec^2\theta}+\dfrac{1}{\csc^3\theta\sec^3\theta}

Simplifying: 1 + 1 csc 2 θ sec θ + 1 csc θ sec 2 θ + 1 csc 3 θ sec 3 θ = 1 + sin 2 θ cos θ + sin θ cos 2 θ + sin 3 θ cos 3 θ = 1 + sin θ cos θ ( sin θ + cos θ ) + ( sin θ cos θ ) 3 = 1 + 1 2 sin 2 θ 1 + sin 2 θ + 1 8 sin 3 2 θ = 1 + 1 2 n n + 1 + 1 8 n 3 \begin{aligned}1+\dfrac{1}{\csc^2\theta\sec\theta}+\dfrac{1}{\csc\theta\sec^2\theta}+\dfrac{1}{\csc^3\theta\sec^3\theta}&= 1+\sin^2\theta\cos\theta+\sin\theta\cos^2\theta+\sin^3\theta\cos^3\theta\\ &= 1+\sin\theta\cos\theta(\sin\theta+\cos\theta)+(\sin\theta\cos\theta)^3\\ &= 1+\dfrac{1}{2}\sin2\theta\sqrt{1+\sin 2\theta}+\dfrac{1}{8}\sin^32\theta\\ &= 1+\dfrac{1}{2}n\sqrt{n+1}+\dfrac{1}{8}n^3\end{aligned}

where the last step was substituting n = sin 2 θ n=\sin 2\theta

We then must find the maximum and minimum of f ( n ) = 1 + 1 2 n n + 1 + 1 8 n 3 f(n)=1+\dfrac{1}{2}n\sqrt{n+1}+\dfrac{1}{8}n^3 where n [ 1 , 1 ] n\in [-1,1] .

First, off the maximum. We find that, after messy second derivatives, that the function f ( n ) f(n) is convex; thus, the maximum is at one of its endpoints: n = 1 , 1 n=-1,1 . Checking both, we see that the corresponding maximums are f ( 1 ) = 7 8 f(-1)=\dfrac{7}{8} and f ( 1 ) = 9 8 + 2 2 f(1)=\dfrac{9}{8}+\dfrac{\sqrt{2}}{2} .

Clearly, f ( 1 ) < f ( 1 ) f(-1) < f(1) so the maximum is M = 9 8 + 2 2 \boxed{M=\dfrac{9}{8}+\dfrac{\sqrt{2}}{2}}

Now for the harder part: the minimum. Unfortunately, there doesn't seem to be an easy way. Since f ( n ) f(n) is convex, if we set f ( n ) = 0 f'(n)=0 , then we are guaranteed to find the minimum. After some messy deriving, we see that f ( n ) = 3 n + 1 n 2 + 6 n + 4 8 n + 1 = 0 f'(n)=\dfrac{3\sqrt{n+1}n^2+6n+4}{8\sqrt{n+1}}=0

We can get rid of the denominator: 3 n + 1 n 2 + 6 n + 4 = 0 3\sqrt{n+1}n^2+6n+4=0

The root of this is approximated to be (sorry!) n 0.809668 n\approx -0.809668 and plugging this back in shows that the minimum is m = f ( 0.8097 ) 0.757 m=f(-0.8097)\approx \boxed{0.757}

Thus, our answer is 0.757 + 9 8 + 2 2 = 2. 589 0.757+\dfrac{9}{8}+\dfrac{\sqrt{2}}{2}=2.\boxed{589}


Equality case for maximum is ( x , y ) = ( 2 , 2 ) (x,y)=(\sqrt{2},\sqrt{2})

Equality case for minimum is ( x , y ) ( 1.123 , 2.200 ) (x,y)\approx (1.123,-2.200)

The minimum I got was 9 4 2 8 = 0.41789 < 0.757 \frac{9-4\sqrt2}8=0.41789<0.757 attained at 2 , 2 -\sqrt2,-\sqrt2 . Therefore, I think the answer should be 250 \boxed{250} with M + m = 9 4 M+m=\frac94 .

Cody Johnson - 6 years, 11 months ago

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

Finn Hulse - 6 years, 11 months ago

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.

Sharky Kesa - 6 years, 11 months ago

dang, sorry. Okay, time to change the answer again.

Daniel Liu - 6 years, 11 months ago

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?

Jayakumar Krishnan - 6 years, 11 months ago

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

Daniel Liu - 6 years, 11 months ago

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?

Jayakumar Krishnan - 6 years, 11 months ago

Log in to reply

@Jayakumar Krishnan Parametric substitutions is where if you have a condition like x 2 + y 2 = 1 x^2+y^2=1 then you can substitute x = cos θ x=\cos\theta and y = sin θ y=\sin\theta to both reduce the number of variables to 1 1 AND get rid of the annoying restriction.

Daniel Liu - 6 years, 11 months ago
Nikola Djuric
Dec 11, 2015

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))

Sammit Jain
Jul 6, 2014

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, 1 x 2 + 1 y 2 = 1 \frac { 1 }{ { x }^{ 2 } } +\frac { 1 }{ { y }^{ 2 } } =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 x=y .

Daniel Liu - 6 years, 11 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...