Can the minimum value of x + 1/x ever be less than 1 on x > 0?

  • Thread starter Thread starter Rectifier
  • Start date Start date
  • Tags Tags
    Hard Inequality
Click For Summary

Homework Help Overview

The discussion revolves around the inequality \( x + \frac{1}{x} < 1 \) for \( x > 0 \). Participants are exploring whether the minimum value of the expression can ever be less than 1.

Discussion Character

  • Exploratory, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Participants attempt to manipulate the inequality and analyze the polynomial formed. There are discussions about the nature of the roots and whether the numerator can be negative. Some suggest plotting the function to understand its behavior, while others consider using calculus or the arithmetic-geometric inequality to find the minimum value.

Discussion Status

The discussion is active with various approaches being explored. Some participants have provided insights into the positivity of the polynomial and the implications of its roots. There is no explicit consensus on a final solution, but multiple interpretations and methods are being considered.

Contextual Notes

Participants note that the inequality is being examined under the constraint \( x > 0 \), and there is a mention of considering different cases for \( x \). The discussion also touches on the use of geometric programming concepts.

Rectifier
Gold Member
Messages
313
Reaction score
4
The problem
I want to solve the following inequality:
$$ x+\frac{1}{x}<1 $$

The attempt
## x+\frac{1}{x}<1 \\ x+\frac{1}{x}-1<0 \\ \frac{x^2}{x}+\frac{1}{x}-\frac{x}{x}<0 \\ \frac{x^2-x+1}{x}<0 ## ## x \neq 0 ##

I tried to factor the numerator to examine the polynomial with a character table but it has complex roots.
 
Physics news on Phys.org
Rectifier said:
I tried to factor the numerator to examine the polynomial with a character table but it has complex roots.
This tells you the numerator never gets negative.
There are solutions, you still have the denominator there to consider.
 
  • Like
Likes   Reactions: Rectifier
mfb said:
This tells you the numerator never gets negative.
Ehm, why is that? I am not sure how to prove that it can't get negative.
 
It does not have real roots, so it cannot be zero anywhere. It has to be either always positive or always negative, and it is easy to check which case you have.
 
  • Like
Likes   Reactions: Rectifier
Rectifier said:
Ehm, why is that? I am not sure how to prove that it can't get negative.
I am answering my own question :D

I guess that I should plot the function and see that it is a parabola that hovers over the x-axis. Which means that it is >0 for all x. Thus + everywhere in the character table.
 
Thank you for the help, mfb!
 
mfb said:
It does not have real roots, so it cannot be zero anywhere. It has to be either always positive or always negative, and it is easy to check which case you have.
Rectifier said:
Thank you for the help, mfb!
What's your final solution for the initial inequality?

##\displaystyle x+\frac{1}{x}<1 \ ##
 
  • Like
Likes   Reactions: Rectifier
SammyS said:
What's your final solution for the initial inequality?

##\displaystyle x+\frac{1}{x}<1 \ ##

It is that the inequality is true for ## x<0 ##.
 
Right.

It is probably easier to show that if you consider the three cases x<0, 0<x<1 and x>=1 separately, but your approach works as well.
 
  • #10
mfb said:
Right.

It is probably easier to show that if you consider the three cases x<0, 0<x<1 and x>=1 separately, but your approach works as well.
Of course, another way is to look at the minimum of ##f(x) = x + 1/x## in ##x > 0##, to see if ##f(x)## can ever be < 1 on ##x > 0##.

One way to find the minimum is to use calculus, but in the spirit of a pre-calculus argument we can do it another way. We have ##f(x) = (a+b)/2##, where ##a = 2 x, b = 2/x## The arithmetic-geometric inequality says that for positive terms ##a,b## we have ##(a+b)/2 \geq \sqrt{ab}##, with equality holding if and only if ##a = b##. Thus, ##f(x) \geq \sqrt{2x \cdot 2/x} =2## for all ##x > 0##, and equality is obtained when ##x = 1/x##. In other words, 2 is the minimum value of ##f(x)## on ##x > 0##, and occurs at ##x = 1##.

This argument is not particularly clever; it just applies basic "Geometric Programming" (GP) ideas to the current, simple case. See, eg.,
http://www.mpri.lsu.edu/textbook/chapter3.htm
for a gentle introduction to GP..
 
  • Like
Likes   Reactions: Qwertywerty

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
Replies
8
Views
5K
  • · Replies 10 ·
Replies
10
Views
2K
Replies
9
Views
3K
Replies
11
Views
3K
Replies
3
Views
3K
Replies
4
Views
3K
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
Replies
7
Views
2K