Questions on proving, manipulating and applying inequalities.

learn more… | top users | synonyms (1)

0
votes
1answer
45 views

Conditions on $c$ such that the inequality dont hold.

I want to find conditions on $c$ such that the inequality don't hold. $$1-ac(a-2)(a-1)^2 < 0 \ \ \ \ \ \ \text{for } a>2, c>0$$ If $\phi(a) = ac(a-2)(a-1)^2 \Rightarrow \phi'(a) = ...
2
votes
2answers
38 views

Error in proving inequality $1 - x \leq e^{-x}$

Fact states as following, $$1 - x \leq e^{-x}$$ This is how I try to prove it: \begin{align*} \ln (1 - x) &\leq \ln (e^{-x})\\ \ln 1/ \ln x &\leq -x\\ \ln 1 &\leq -x \times \ln x ...
0
votes
0answers
11 views

Rank of product of two rectangular matrices

Given $A_{m \times n}$ matrix with rank $m$, and $B_{n \times p}$ matrix with rank $p$, where $n > p \geq m$. We know that $$ \operatorname{rank}(AB) \leq ...
1
vote
3answers
83 views

Geometric proof of $QM \ge AM$

Prove by geometric reasoning that: $$\sqrt{\frac{a^2 + b^2}{2}} \ge \frac{a + b}{2}$$ The proof should be different than one well known from Wikipedia: DISCLAIMER: I think I devised such proof ...
1
vote
1answer
20 views

$f(x) = x^{p}(1-x)^{q}$ for all $x\in \left[0,1\right]\;,$ Where $p,q\in \mathbb{Z^{+}}$, Then Max. of $f(x)$ at $x=$

The function $f(x) = x^{p}(1-x)^{q}$ for all $x\in \left[0,1\right]\;,$ Where $p,q$ are positive integers, has maximum value for $x=$ $\bf{Using\; Derivative}$ Let $$f(x) = ...
-1
votes
1answer
47 views

The choice of scalar factors in the proof of the Schwarz inequality

In this proof for the Schwarz Inequality, they seemingly arbitrarily choose $r = w\cdot w$ and $s =-(v\cdot w)$. Why did they make these selections? I don't understand where these values for $r$ and ...
1
vote
4answers
60 views

Prove that $1^2 + 2^2 + … + (n-1)^2 < \frac {n^3} { 3} < 1^2 + 2^2 + … + n^2$

I'm having trouble on starting this induction problem. The question simply reads : prove the following using induction: $$1^{2} + 2^{2} + ...... + (n-1)^{2} < \frac{n^3}{3} < 1^{2} + 2^{2} + ...
2
votes
2answers
51 views

If $a,b,c,d,e,f$ are non negative real numbers such that $a+b+c+d+e+f=1$, then find maximum value of $ab+bc+cd+de+ef$

$(a+b+c+d+e+f)^2=$ sum of square of each number (X)+ $2($ sum of product of two numbers (Y) $)$ $ab+bc+cd+de+ef \le Y$ since all are positive. Therefore $1\ge X+(ab+bc+cd+de+ef)$ Edit: From AM GM ...
0
votes
2answers
49 views

generalized Cauchy-Schwarz inequality

How to prove $A'B(B'B)^{-1}B'A \leq A'A$, where $A$,$B$ are $n\times k$ matrices and $B'B$ is assumed to be positive definite? I don't see why it is a Cauchy-Schwarz inequality.
0
votes
0answers
21 views

Upper bound for incomlete Gamma function

It is well-known, that for real arguments $a \geq 0$ and $x \geq 0$ the upper incomplete Gamma function $$\Gamma(a,x) = \int_x^\infty e^{-t} t^{a-1} \, \mathrm{d} t$$ behaves for sufficiently large ...
0
votes
0answers
25 views

Is there any smart way to check triangle inequality for a matrix?

Here is the description of the problem: We have a matrix with: all (i,i) cells are 0; Some cells are filled with certain number while others are left blank. Now, we want to fill the blanks with ...
0
votes
1answer
28 views

What exactly does this inequality do?

I this paper which is titled "KSVD: An Algorithm for Designing Overcomplete Dictionaries for Sparse Representation", in the section about "kmeans algorithm for vector quantization", there is the ...
0
votes
1answer
13 views

An inequality for power of positive functions

Let $f,g,h$ be positive real vlaued functions on a finite set $\mathbb{X}$. Let $p >1$. I am wondering whether the following should be true? $$\sum_{x\in ...
0
votes
0answers
28 views

What is (if there is) the generic term for equalities and inequalities

I'm writing a text about a particular linear programming (LP)I optimization problem, that is described using a mixture of inequalities (, ...
3
votes
1answer
66 views

Difficulty to prove this inequality in Binomial Coefficient.

This inequality is found in a book titled as Randomized Algorithms, by Rajeev Motwani and Prabhakar Raghavan, in Chapter 3, during explaining Occupancy Problems, to see the book click here PP. 43-44 ...
0
votes
0answers
14 views

How to verify that the following function is monotone increasing?

$\displaystyle f(x)=x\cdot\left(1-\frac{C_Bx^{B}}{\sum\limits_{k=0}^{B}C_kx^k}\right)$, where $0<x<1$, $\displaystyle C_k=\binom{n+k}{k}$, $n,B$ are integers, then, how to verify that $f(x)$ ...
0
votes
0answers
22 views

Regularity of elliptic PDE in terms of weighted Sobolev space

There seems to be a whole industry of weighted ver. of the Poincaré's inequality (Weighted Poincare Inequality) I wonder if there are results like, weighted $L^2$ equivalent of (interior/boundary) ...
1
vote
3answers
35 views

Prove that from the equalities, $\frac{x(y+z-x)}{\log x}=\frac{y(x+z-y)}{\log y}=\frac{z(y+x-z)}{\log z}$ follows $x^yy^x=y^zz^y=z^xx^z$.

Problem : Prove that from the equalities, $$\frac{x(y+z-x)}{\log x}=\frac{y(x+z-y)}{\log y}=\frac{z(y+x-z)}{\log z}$$ follows $$x^yy^x=y^zz^y=z^xx^z$$. My approach : $$\frac{x(y+z-x)}{\log ...
3
votes
0answers
34 views

Matrix product bound

Consider the following inequality \begin{align*} AB^{-1}A^\top \preceq cI \end{align*} where $A\in\mathbb{R}^{n\times m}$, $B\in\mathbb{R}^{m\times m}$, $c\in\mathbb{R}$ (given), and $I$ is the ...
5
votes
4answers
98 views

Showing that $\left (\frac{\sin x}{x} \right )^3\geq \cos^{2}x$

Show that $$\left (\frac{\sin x}{x} \right )^3\geq \cos^{2}x,\forall x\in \left ( 0;\frac\pi2 \right )$$ Firstly, I had use the differentiation of $f(x)=\left (\frac{\sin x}{x} \right )^3- ...
0
votes
1answer
29 views

Why is the integral of a square always larger than the square of an integral?

I learned in physics that $\langle x^2 \rangle - \langle x \rangle ^2 = \sigma_x^2 \ge 0$ and thus $\langle x^2 \rangle \ge \langle x \rangle ^2$. In the case of continuous distribution, it becomes ...
0
votes
2answers
36 views

Is it true that $|f(x)|\leq |f^2(x)|$?

Is the following true for all $x\in\mathbb{R}$ and for all real functions f? $$\left| f(x)\right| \leq \left| f^2(x)\right|$$ Also, is it true that $|f(x)|\leq |f^3(x)|$?
3
votes
3answers
78 views

Proving an inequality between $\frac 1{n+1}$ and $\frac 1n$ and a definite integral

For all natural numbers $n$, prove that $$\frac 1{n+1} < \int_n^{n+1} \frac 1t \, dt < \frac 1n$$ I have tried working with $\frac 1{t+1} < \frac 1t < \frac 1{t-1}$ but this doesn't ...
-3
votes
0answers
39 views

$\frac 1{n+1} < \int_n^{n+1} \frac 1t \, dt < \frac 1n$ [on hold]

For all natural numbers $n$, prove that $$\frac 1{n+1} < \int_n^{n+1} \frac 1t \, dt < \frac 1n$$ (Do not use induction.) Please help me on the first step. :)
4
votes
0answers
58 views

Prove $\cos(\sin x)>\sin(\cos x)$ [duplicate]

Prove that $\cos( \sin x)>\sin(\cos x), \forall x\in\mathbb{R}$. I have thought that we should consider their difference and show it is positive for all x, so: Let $$A=\cos\sin x-\sin\cos ...
4
votes
2answers
124 views

A singular Gronwall inequality

Let $f : [0,T] \to R^+$ be a continuous function such that $f(0)=0 $ and : $$ f(t)\le C\int_0^t s^{-1}f(s) ds,\; \forall t\in [0,T] $$ for some constant $C>0.$ Is it true that $f(t)=0,\; \forall ...
0
votes
2answers
41 views

Find the limit of $\frac{x+y+\sin xy}{x^2+y^2+\sin^2 (xy)}$

Find the limit of: $$\lim_{(x,y)\rightarrow(+\infty, +\infty)}\frac{x+y+\sin xy}{x^2+y^2+\sin^2 (xy)}$$ I think the solution could be: $$\frac{x+y+\sin xy}{x^2+y^2+\sin^2 (xy)} \le \frac{x+y+\sin ...
1
vote
1answer
117 views
+100

Finding a function satisfying a certain inequality

This is a continuation of this post where I tried to find a function $f(n)$ that would satisfy the induction step of an inductive argument and it was shown that such function does not exist. Trying ...
3
votes
4answers
79 views

Show $\frac{\sin(x)}{x}>\cos(x)$ for $0<x<\pi$ using the Mean Value Theorem

I'm trying to show the inequality $$\frac{\sin(x)}{x}>\cos(x)$$ by for $0<x<\pi$ using the Mean Value Theorem, but I don't know how to start. I can show that $\sin(x)<x$, but I can't see ...
0
votes
0answers
20 views

helping inequality for cyclic three variable inequality

Let $a\ge b \ge c\ge 0$ be reals and $a+b+c=3$ .Then prove $$c(24a^2b+25)(b^2+ac)+50b(a^2+c^2)+5bc^2\le 200+3b^2c^4$$ this one has a proof replacing $b=3-a-c$ and then using calculus but uggly ...
7
votes
0answers
87 views
+100

cyclic three variable inequality

Let $a,b,c$ be nonnegative real numbers and $a+b+c=3$. Prove the inequality $$ \sqrt{24a^2b+25}+\sqrt{24b^2c+25}+\sqrt{24c^2a+25}\le 21 $$ I have tried to find the solution using classical ...
2
votes
1answer
20 views

Log-determinant ordering for sum of positive definite symmetric matrices

If, for real positive definite symmetric $A, B, C$, $$\log\det (A+B) \geq \log\det(A+C)$$ then can it be said that $$\log\det(B) \geq \log\det(C)?$$ NOTE: A crude form of the reverse is certainly ...
1
vote
1answer
13 views

Are binomial coefficients with fixed “denominator” log-concave?

I'm working on a problem and began suspecting that the following inequality holds. Let $k\in\mathbb{N}$ be fixed, and define $f(n)={n\choose k}$. Then $f(n)$ is log-concave in $n$, in particular if ...
1
vote
2answers
55 views

Can you verify this inequality $\binom {m^2} {m-1} \geq m^{m-1} \geq 2^{n/2}/n$

$N \geq \binom {m^2} {m-1} \geq m^{m-1} \geq 2^{n/2}/n$, given $n = 2 m\log m$. Can you prove it? Where N is the number of subfunction. This question is part of proof on finding lower bound on the ...
1
vote
2answers
26 views

Create some new numbers using $n$ arbitrary positive real numbers

Known facts: Let $a_i$, $b_i$, $i=1, \ldots, n$ be positive real numbers such that $a_1+ \cdots + a_n = a_1b_1 + \cdots +a_nb_n = 1$. Then $$b_1^{a_1}b_2^{a_2} \cdots b_n^{a_n} \leq 1.$$ ...
2
votes
2answers
35 views

Integral values satisfying a inequality

Consider the following inequality : $$\frac{x^2+a^2}{a(4+x)} \ge 1$$ I am trying to find the range of integral values of $a$ for which this inequality holds for all $x$ belongs to $(-1,1)$ I ...
-1
votes
2answers
47 views

Rank of the product of two full rank matrices

I have searched for the above topic and found some results, but the answer I am looking for is not found anywhere. Here is my question: Given $A_{m \times n}$ matrix with rank $m$, and $B_{n ...
1
vote
1answer
30 views

Inequality for the gradient of a power of absolute value

Let $U \subset \mathbb{R}^2$ be open, and let $f : U \to \mathbb{C}$ be a smooth complex-valued function which does not vanish anywhere on $U$. Let $r > 0$ be a real constant. Does the ...
2
votes
3answers
41 views

Trouble understanding inequality proved using AM-GM inequality

I am studying this proof from Secrets in Inequalities Vol 1 using the AM-GM inequality to prove this question from the 1998 IMO Shortlist. However, I'm lost on the very first line of the solution. ...
0
votes
1answer
41 views

An inequality $a_1\leq a_2\leq a_4 , a_1\leq a_3\leq a_4$

$a_1 , a_2, a_3 , a_4 , b_1 , b_2 , b_3 , b_4\in\Bbb R , p\in(0, 1)$. $a_1\leq a_2\leq a_4 , a_1\leq a_3\leq a_4 , b_1\leq b_2\leq b_4 , b_1\leq b_3\leq b_4 $. Show that $$ ...
4
votes
1answer
48 views

Inequality problem: Application of Cauchy-Schwarz inequality

Let $a,b,c \in (1, \infty)$ such that $ \frac{1}{a} + \frac{1}{b} + \frac{1}{c}=2$. Prove that: $$ \sqrt {a-1} + \sqrt {b-1} + \sqrt {c-1} \leq \sqrt {a+b+c}. $$ This is supposed to be solved using ...
0
votes
2answers
54 views

Inequality with Four Numbers

I am trying to prove the following inequality for real numbers $a,b,c,d$ all of which are greater than $1$ $8(abcd+1) > (a+1)(b+1)(c+1)(d+1)$ I tried the following approaches : Used the AM-GM ...
-2
votes
2answers
21 views

Inequality involving summation

Can someone help me with this inequality: $\sum_{i=1}^{n}{\dfrac{1}{\sqrt i}}\leq \dfrac{2n}{\sqrt{n}}$ Thank you.
2
votes
1answer
41 views

Problem understanding this specific AM-GM inequality proof

This is taken from Secrets in Inequalities by Pham Kim Hung So, this part of the proof involves proving that $f(n)$ implies $f(n-1)$. So we define a term as $a_n = \frac{s}{n-1}$. We define $s = a_1 ...
3
votes
1answer
61 views

Find the maximum and minimum of $\sum \limits_{i=1}^n x_i ^3$

Let $x_1,x_2, \dots ,x_n$ be a sequence of integers such that $i) -1\le x_i\le 2$ for $i=1,2,\dots,n$ $ii)x_1+x_2+\dots+x_n=19$ $iii){x_1}^2+{x_2}^2+\dots +{x_n}^2=99$ Determine the minimum and ...
0
votes
0answers
22 views

From inequality on derivatives to inequality on functions

What is the set of differentiable functions $f$ that satisfy the following inequalities for all $x\geq 0$: $0\leq f'(x)\leq e^{-x}$ Initially, I thought I should just integrate the inequality and ...
0
votes
0answers
41 views

What is the maximum value of $M$ when $T$ is set of $\{2,4,8,16,… 2^n\}$ and $S$ is subset of $T$ by given conditions

Qns $T$ is set of $\{2,4,8,16,... 2^n\}$ and $S$ is a subset of $T$ if the sum of no two elements of $S$ is greater than $2^n-2$. let $m$ be $M$ number of elements in $S$. what is ...
2
votes
2answers
59 views

Find min of $M=\frac{1}{2+\cos2A}+\frac{1}{2+\cos2B}+\frac{1}{2-\cos2C}$

Find min of $$M=\frac{1}{2+\cos2A}+\frac{1}{2+\cos2B}+\frac{1}{2-\cos2C}$$, where $A, B, C$ are three angle of triangle $ABC$ Using Cauchy-Schwarz, we obtain: \begin{align*} M &= ...
3
votes
0answers
32 views

Inequality - Why do I not check for these other solutions?

Given, for example: $$ \Big(\frac{2x}{x-2}\Big)^{3x^2-x} \leq \Big(\frac{2x}{x-2}\Big)^{x^2+3x+6} $$ After checking when $x-2 \ne 0$ , the teacher taught us to check 3 cases: 1. $ ...
0
votes
0answers
17 views

Absolute Value Inequality of Differences

I'm hoping someone could give insight as to how I can improve my organization, and/or thought process. Show that $|a-b| \lt c$ if and only if $b -c \lt a \lt b + c$. By the statement $b - c \lt a ...