\frac{x^2}{y} + \frac{y^2}{z} + \frac{z^2}{x} \geq 1

["Full-Sereno Inequality: Proving (\frac{x^2}{y} + \frac{y^2}{z} + \frac{z^2}{x} \geq 1) for Positive Real Numbers", "---", "Understanding the Expression and Its Mathematical Significance", "The inequality\n[\n\frac{x^2}{y} + \frac{y^2}{z} + \frac{z^2}{x} \geq 1\n]\nis a symmetric inequality involving cyclic terms in three variables (x, y, z), each positive real numbers. At first glance, the expression resembles well-known symmetric inequalities like the Cauchy-Schwarz and AM-GM inequalities, and understanding its minimum value can reveal insightful behavior under different constraints.", "This article explores the inequality, proves its validity under general positive (x, y, z), determines when equality holds, and discusses its geometric or algebraic interpretations.", "---", "Step 1: Applying the Cauchy-Schwarz Inequality", "A natural starting point is the Cauchy-Schwarz inequality in the discrete form:\n[\n\left( \frac{a_1^2}{b_1} + \frac{a_2^2}{b_2} + \frac{a_3^2}{b_3} \right) \left( b_1 + b_2 + b_3 \right) \geq (a_1 + a_2 + a_3)^2\n]", "Choose (a_1 = x), (a_2 = y), (a_3 = z), and (b_1 = y), (b_2 = z), (b_3 = x). Then:\n[\n\left( \frac{x^2}{y} + \frac{y^2}{z} + \frac{z^2}{x} \right)(y + z + x) \geq (x + y + z)^2\n]", "Rewriting:\n[\n\frac{x^2}{y} + \frac{y^2}{z} + \frac{z^2}{x} \geq \frac{(x + y + z)^2}{x + y + z} = x + y + z\n]", "Thus, we prove:\n[\n\frac{x^2}{y} + \frac{y^2}{z} + \frac{z^2}{x} \geq x + y + z\n]", "But this alone doesn’t guarantee the sum is at least 1. We need tighter constraints or a different approach.", "---", "Step 2: Introducing Symmetrization and Normalization", "To establish a universal lower bound of 1, consider fixing the scale. Let’s assume (x, y, z > 0) and apply the AM-GM inequality within each cyclic term.", "Let\n[\nS = \frac{x^2}{y} + \frac{y^2}{z} + \frac{z^2}{x}\n]", "By AM-GM:\n[\n\frac{x^2}{y} + \frac{y^2}{z} + \frac{z^2}{x} \geq 3 \sqrt[3]{\frac{x^2}{y} \cdot \frac{y^2}{z} \cdot \frac{z^2}{x}} = 3 \sqrt[3]{x^2 y^2 z^2 / (xyz)} = 3 \sqrt[3]{xyz}\n]", "This informs us (S \geq 3\sqrt[3]{xyz}), but this is not immediately helpful for showing (S \geq 1).", "---", "Step 3: Homogeneity and Scaling Argument", "The inequality is not homogeneous in a simple way, but it becomes scale-invariant under certain transformations. Let’s explore scaling: suppose we replace (x \ o kx), (y \ o ky), (z \ o kz), for (k > 0). Then:\n[\n\frac{(kx)^2}{ky} + \frac{(ky)^2}{kz} + \frac{(kz)^2}{kx} = k \left( \frac{x^2}{y} + \frac{y^2}{z} + \frac{z^2}{x} \right)\n]", "So (S) scales linearly with (k). Thus, the minimal value of (S) cannot be bounded below globally unless we fix some constraint.", "But note: setting (x = y = z = 1) gives:\n[\n\frac{1^2}{1} + \frac{1^2}{1} + \frac{1^2}{1} = 3 \geq 1\n]", "And from earlier, we know (S \geq x + y + z). If (x = y = z = t > 0), then\n[\nS = 3 \cdot \frac{t^2}{t} = 3t\n]", "This tends to 0 as (t \ o 0), so the inequality (\geq 1) fails in this limit.", "Wait — this suggests the original claim is not true for all positive (x, y, z) unless additional constraints exist.", "---", "Clarifying the Scope: Assumptions Needed", "The inequality\n[\n\frac{x^2}{y} + \frac{y^2}{z} + \frac{z^2}{x} \geq 1\n]\nis not universally valid for all positive (x, y, z) — counterexamples exist (e.g., (x = y = z = \varepsilon \ o 0)).", "Therefore, to make the inequality meaningful, we must assume a constraint — commonly, minimum values of variables are fixed, or their product or sum is bounded.", "A natural and useful constraint is:\n[\nx + y + z = 1,\quad x, y, z > 0\n]", "Under this normalization, we proceed to prove a tighter result.", "---", "Step 4: Proof Under Constraint (x + y + z = 1)", "Assume: (x, y, z > 0), (x + y + z = 1)", "We aim to show:\n[\n\frac{x^2}{y} + \frac{y^2}{z} + \frac{z^2}{x} \geq 1\n]", "We apply Titu’s Lemma, a specific case of Cauchy-Schwarz:\n[\n\sum \frac{a_i^2}{b_i} \geq \frac{(\sum a_i)^2}{\sum b_i}\n]", "Set (a_1 = x), (a_2 = y), (a_3 = z), and (b_1 = y), (b_2 = z), (b_3 = x). Then:\n[\n\frac{x^2}{y} + \frac{y^2}{z} + \frac{z^2}{x} \geq \frac{(x + y + z)^2}{y + z + x} = \frac{1^2}{1} = 1\n]", "Equality holds if and only if:\n[\n\frac{x}{y} = \frac{y}{z} = \frac{z}{x}\n]", "Let ( \frac{x}{y} = \frac{y}{z} = \frac{z}{x} = k )", "From (x + y + z = 1), and ratios implying (x = k^3 z), (y = k^2 z), (z = z), summing gives:\n[\nz(k^3 + k^2 + 1) = 1 \Rightarrow z = \frac{1}{k^3 + k^2 + 1}\n]", "For equality in Titu’s Lemma, the condition holds when (x:y:z = y:z:x), i.e., (x = y = z). But if (x = y = z = \frac{1}{3}), then:\n[\n\frac{(1/3)^2}{1/3} \ imes 3 = \frac{1}{3} \cdot 3 = 1\n]", "So equality holds when (x = y = z), and the sum is 1.", "Thus, under (x + y + z = 1),\n[\n\frac{x^2}{y} + \frac{y^2}{z} + \frac{z^2}{x} \geq 1\n]\nwith equality iff (x = y = z = \frac{1}{3}).", "---", "Step 5: General Case Without Normalization", "Without fixing (x + y + z = 1), the inequality lacks universal truth. But if we interpret the original inequality as a homogeneous minimum under substitution, or assume normalized geometric mean behavior, the inequality can be rephrased as a statement on cyclic minimization.", "Alternatively, consider applying the AM-GM Scheme with weights or Jensen’s Inequality, but due to nonlinearity, those tools are less direct.", "A more elegant approach uses the Cyclic Sum Inequality via Muirhead — but since the symmetric cyclic sum lacks full Power Mean symmetry, Muirhead does not directly apply.", "Nonetheless, the normalized case reveals that 1 is the sharp lower bound under total sum constraint.", "---", "Step 6: Real-World Interpretation and Applications", "Such inequalities appear in optimization in economics, machine learning, and engineering design, where cyclic resource allocation or normalized efficiency measures are optimized. For example:", "- In resource distribution, minimizing (\sum \frac{x_i^2}{y_i}) under total input (\sum y_i = 1) models efficient cost structures.\n- The result implies that balanced allocation (e.g., equal resource per unit) minimizes worst-case cost, reflecting stability.", "---", "Conclusion: Final Statement", "The inequality\n[\n\frac{x^2}{y} + \frac{y^2}{z} + \frac{z^2}{x} \geq 1\n]\nholds for all positive real numbers (x, y, z) if and only if (x + y + z = 1). Under this normalization, the minimum value of 1 is achieved precisely when (x = y = z = \frac{1}{3}), reflecting symmetry and balance.", "Without constraints, the expression can be arbitrarily small, so the inequality must be interpreted within a bounded or normalized framework to ensure validity.", "For positive (x, y, z),\n[\n\frac{x^2}{y} + \frac{y^2}{z} + \frac{z^2}{x} \geq 1 \quad \ ext{when} \quad x + y + z = 1\n]", "This inequality exemplifies how normalization enables meaningful bounds in cyclic optimization, a cornerstone of modern applied mathematics.", "---", "Keywords:\n(\frac{x^2}{y} + \frac{y^2}{z} + \frac{z^2}{x} \geq 1), inequality proof, AM-GM, Cauchy-Schwarz, normalization, balanced allocation, optimization under constraint, symmetric inequality, equality condition.", "Meta Description:\nProve (\frac{x^2}{y} + \frac{y^2}{z} + \frac{z^2}{x} \geq 1) for positive (x, y, z), showing validity under (x+y+z=1) and explaining mathematical significance. Use Titu’s Lemma and ratio analysis.", "---", "See Also:\n- Titu’s Lemma and application in inequalities\n- ( \frac{x^2}{y} + \frac{y^2}{z} + \frac{z^2}{x} ) minimum under constraints\n- Normalized inequalities in optimization", "---", "Update: For arbitrary positive (x, y, z), the inequality does not hold universally. Add (x + y + z = 1) or (xyz = 1) for meaningful bounds."]