Given two positive numbers $b,\,c$. Prove $\left ( \dfrac{3}{b}- 1 \right )(3- b)^{2}+ \left ( \dfrac{b}{c}- 1 \right )(b- c)^{2}+ (c- 1)^{3}\geqq 0$ . My problem is given a solution by user dragonheart6 (AoPS), I tried a way without using computer decompostion! He is so into using sos with the form $\dfrac{1}{q^{2}}\sum\limits_{i= 1}^{m} f_{i}g_{i}^{2}$, I will post my solution for this soon! $$354816000(b+ 1)^{2}bc.\,\left [ \left ( \frac{3}{b}- 1 \right )(3- b)^{2}+ \left ( \frac{b}{c}- 1 \right )(b- c)^{2}+ (c- 1)^{3} \right ]=$$ $$= 55440\,b^{2}(80\,bc^{2}- 97\,b^{2}- 80\,bc- 40\,c^{2}+ 200\,c)^{2}+ 1836000(16\,b^{3}- 32\,b^{2}c+ 9\,bc^{2}- 8\,bc)^{2}$$ $$+ 39424000\,c(b^{2}+ 3\,bc- 3\,b- 12)^{2}+ 38500(-\,48\,b^{2}c+ 151\,bc^{2}+ 96\,b^{2}- 288\,bc)^{2}+$$ $$+ 2772000\,bc(16\,bc- 23\,b- 16\,c+ 24)^{2}+ 1182720\,b(11\,b^{2}- 10\,bc+ 15\,c^{2}- 35\,c)^{2}+$$ $$+ 184800 bc(-\,59\,b+ 120)^{2}+ 231 b(151\,b^{2}- 1760\,bc+ 3200\,c)^{2}+ 7884800 c(-\,8\,b^{2}+ 15\,b+ 9)^{2}$$ $$+ 19219200\,b^{3}c+ 3379200\,c(7\,b^{2}- 31)^{2}+ 126\,b(553\,b^{2}- 880\,bc)^{2}+$$ $$+16896000\,c+ 18711000\,b^{2}c^{4}+ 7700(48\,b^{2}c- 85\,bc^{2})^{2}+ 1088955\,b^{5}\geqq 0$$
2026-03-25 06:13:03.1774419183
Given two positive numbers $b,\,c$. Prove $\left ( \frac{3}{b}- 1 \right )(3- b)^{2}+ \left ( \frac{b}{c}- 1 \right )(b- c)^{2}+ (c- 1)^{3}\geqq 0$ .
316 Views Asked by user680032 https://math.techqa.club/user/user680032/detail At
1
There are 1 best solutions below
Related Questions in PROOF-VERIFICATION
- how is my proof on equinumerous sets
- Existence of a denumerble partition.
- Confirmation of Proof: $\forall n \in \mathbb{N}, \ \pi (n) \geqslant \frac{\log n}{2\log 2}$
- Calculating probabilities using Markov chains.
- Solution to a hard inequality
- Given a function, prove that it's injective
- Is the following set open/closed/compact in the metric space?
- Surjective function proof
- Possible Error in Dedekind Construction of Stillwell's Book
- Proving dual convex cone property
Related Questions in INEQUALITY
- Confirmation of Proof: $\forall n \in \mathbb{N}, \ \pi (n) \geqslant \frac{\log n}{2\log 2}$
- Prove or disprove the following inequality
- Proving that: $||x|^{s/2}-|y|^{s/2}|\le 2|x-y|^{s/2}$
- Show that $x\longmapsto \int_{\mathbb R^n}\frac{f(y)}{|x-y|^{n-\alpha }}dy$ is integrable.
- Solution to a hard inequality
- Is every finite descending sequence in [0,1] in convex hull of certain points?
- Bound for difference between arithmetic and geometric mean
- multiplying the integrands in an inequality of integrals with same limits
- How to prove that $\pi^{e^{\pi^e}}<e^{\pi^{e^{\pi}}}$
- Proving a small inequality
Related Questions in SUBSTITUTION
- strange partial integration
- $\int \ x\sqrt{1-x^2}\,dx$, by the substitution $x= \cos t$
- What is the range of the function $f(x)=\frac{4x(x^2+1)}{x^2+(x^2+1)^2}$?
- polar coordinate subtitution
- Trouble computing $\int_0^\pi e^{ix} dx$
- Symmetric polynomial written in elementary polynomials
- Prove that $\frac{1}{\sqrt{ab+a+2}}+ \frac{1}{\sqrt{bc+b+2}}+ \frac{1}{\sqrt{ac+c+2}} \leq \frac{3}{2}$
- Polynomial Equation Problem with Complex Roots
- Integral involving logarithmics and powers: $ \int_{0}^{D} z \cdot (\sqrt{1+z^{a}})^{b} \cdot \ln(\sqrt{1+z^{a}})\; \mathrm dz $
- Inequality with $ab+bc+ca=3$
Related Questions in SUM-OF-SQUARES-METHOD
- An algebraic inequality involving $\sum_{cyc} \frac1{(a+2b+3c)^2}$
- Prove the next cyclic inequality
- I have a inequality, I don't know where to start
- How can one prove that this polynomial is non-negative?
- How to prove expression greater than 0
- Homogeneous fourth degree inequality : $\sum x_i^2x_j^2 +6x_1x_2x_3x_4 \geq\sum x_ix_jx_k^2$
- Find minimum value of $\sum \frac {\sqrt a}{\sqrt b +\sqrt c-\sqrt a}$
- Triangle inequality $\frac{ab}{a^{2}+ b^{2}}+ \frac{bc}{b^{2}+ c^{2}}+ \frac{ca}{c^{2}+ a^{2}}\geq \frac{1}{2}+ \frac{2r}{R}$
- Prove this stronger inequality
- Express $x^4 + y^4 + x^2 + y^2$ as sum of squares of three polynomials in $x,y$
Related Questions in BUFFALO-WAY
- Prove that $(x-y)(y-z)(z-x) \leq \frac{1}{\sqrt{2}}$
- Proving $a^4+b^4+c^4+(\sqrt {3}-1)(a^2 b c+a b^2 c+a b c^2 )\ge \sqrt {3} (a^3 b+b^3 c+c^3 a)$ for real $a$, $b$, $c$
- prove this inequality by $abc=1$
- Prove $(a+b^2)(b+c^2)(c+a^2)\le13+abc(1-2abc)$ for $a + b + c = 3$
- Seeking the Maximum of a Product expression using Inequalities
- If $0⩽x⩽y⩽z⩽w⩽u$ and $x+y+z+w+u=1$, prove $xw+wz+zy+yu+ux⩽\frac15$
- Inequality from AMM problems section
- Proving $\sum\limits_{\text{cyc}} \frac{a}{b^2+c^2+d^2} \geq \frac{3\sqrt{3}}{2}\frac{1}{\sqrt{a^2+b^2+c^2+d^2}}$ for $a, b, c, d >0$
- Inequality $\frac{a^2}{b}+\frac{b^2}{c}+\frac{c^2}{a}+15\sqrt[3]{abc}\geq 6(a+b+c).$
- Little inequality
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
Let $1=a$.
Thus, we need to prove that $$\frac{(3a-b)^3}{b}+\frac{(b-c)^3}{c}+\frac{(c-a)^3}{a}\geq0,$$ which is true because $$\frac{(3a-b)^3}{b}+\frac{(b-c)^3}{c}+\frac{(c-a)^3}{a}>\frac{(2a-b)^3}{b}+\frac{(b-c)^3}{c}+\frac{(c-a)^3}{a}\geq0,$$ where a proof of the last inequality see here: https://artofproblemsolving.com/community/c6h1863562p12626347