Help in proving this inequality

  • Context: Graduate 
  • Thread starter Thread starter japplepie
  • Start date Start date
  • Tags Tags
    Inequality
Click For Summary
SUMMARY

The discussion focuses on proving the inequality involving positive integers a, b, c, and d, where a + b = c + d. The goal is to demonstrate that if a * b < c * d, then a * log(a) + b * log(b) > c * log(c) + d * log(d). Key insights include the application of the concavity of the logarithm function and the relationship between the products and sums of the variables. The participants suggest using derivatives to analyze the behavior of the functions involved.

PREREQUISITES
  • Understanding of logarithmic functions and their properties
  • Familiarity with concavity and its implications in calculus
  • Basic knowledge of inequalities and their proofs
  • Experience with derivatives and optimization techniques
NEXT STEPS
  • Study the properties of concave functions, particularly logarithmic functions
  • Learn about the method of Lagrange multipliers for constrained optimization
  • Explore the concept of Jensen's inequality and its applications
  • Investigate the relationship between arithmetic and geometric means in inequalities
USEFUL FOR

Mathematicians, students studying inequalities, and anyone interested in advanced calculus and optimization techniques will benefit from this discussion.

japplepie
Messages
93
Reaction score
0
Can somebody help me please, I've tried solving this for hours but I still couldn't get it.

Given that a, b, c, d are positive integers and a+b=c+d.

Prove that if a∗b < c∗d,
then a∗log(a)+b∗log(b) > c∗log(c)+d∗log(d)

How do I do it?
 
Mathematics news on Phys.org
Start with the multiplication... You know that if ## A+B=C+D = N,the maximum for the product A*B or C*D is (N/2)^2.
So if AB < CD, then C and D are more central...which gives you A < C ≤ D < B.
From there use the fact that the log function is concave down.

Please post a little bit more about what you have tried, and where you are stuck.
 
The closest I've got is I've tried to log both sides of the 1st inequality giving log(a)+log(b) < log(c)+log(d) then I tried to make one side similar the the 2nd inequality but then I realized that I'm going in circles.

How do I use the concave down point?
 
Given a new constrant that A+B = C+D = 1
Does showing that:
d[ -1(a*log(a)+(1-a)*log(1-a)) ] / d[a] * d[ a*(1-a) ] / d[a] to be always greater than or equal to zero prove the original claim?

Since satisfying this means that the two functions grow and shrink together (albeit not in the exact amount).
y=-1/log(2)*(x*log(x)+(1-x)*log(1-x)) {[0,1]} // the a*log(a)+b*log(b)
y=x*(1-x) {[0,1]} // the a*b
upload_2015-10-23_17-0-19.png
 

Attachments

  • graph.jpg
    graph.jpg
    35.7 KB · Views: 414

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
Replies
3
Views
2K
Replies
7
Views
2K
  • · Replies 35 ·
2
Replies
35
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
4
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
Replies
2
Views
3K