Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Can one use sagemath to prove an inequality?

How one can use Sagemath to prove that $\frac{x}{\sqrt{y^2 + 15 xz}} + \frac{y}{\sqrt{z^2 + 15 xy}} + \frac{z}{\sqrt{x^2 + 15 zy}}\geq \frac{3}{4}$ for all $x>0, y>0, z>0?$