f(x + y) + f(x - y) = 2f(x) + 2f(y), \quad \forall x, y \in \mathbb{R}

["Understanding the Functional Equation: ( f(x + y) + f(x - y) = 2f(x) + 2f(y) )\n<em>(forall ( x, y \in \mathbb{R} ))", "---", "## Introduction", "The functional equation\n[\nf(x + y) + f(x - y) = 2f(x) + 2f(y), \quad \forall x, y \in \mathbb{R}\n]\nis a classical and elegant identity in functions defined over the real numbers. At first glance, it may appear abstract, but it reveals deep structural properties about the function ( f ). This article explores its meaning, derivation of general solutions, examples, key properties, and implications in mathematics.", "---", "## What is a Functional Equation?", "A functional equation defines a relationship that a function must satisfy for all inputs in its domain—in this case, all real numbers. Solving such equations often involves finding all functions ( f: \mathbb{R} \ o \mathbb{R} ) that satisfy the given identity.", "---", "## Analyzing the Equation: ( f(x + y) + f(x - y) = 2f(x) + 2f(y) )", "This equation connects the value of ( f ) at sum and difference points, ( x + y ) and ( x - y ), with symmetric combinations of ( f(x) ) and ( f(y) ).", "### Step 1: Plug in ( x = y = 0 )", "Let ( x = 0 ), ( y = 0 ):", "[\nf(0 + 0) + f(0 - 0) = 2f(0) + 2f(0) \Rightarrow 2f(0) = 4f(0) \Rightarrow 2f(0) = 4f(0) \Rightarrow 2f(0) = 0 \Rightarrow f(0) = 0\n]", "Thus,\n[\n\boxed{f(0) = 0}\n]", "---", "### Step 2: Plug in ( x = 0 )", "Now set ( x = 0 ):", "[\nf(y) + f(-y) = 2f(0) + 2f(y) \Rightarrow f(y) + f(-y) = 2f(y) \Rightarrow f(-y) = f(y)\n]", "Hence,\n[\n\boxed{f \ ext{ is an even function: } f(-x) = f(x)}\n]", "---", "### Step 3: Assume a Polynomial Form", "Functional equations often find their solution among polynomial functions. Suppose ( f ) is a quadratic polynomial. Let:", "[\nf(x) = ax^2 + bx + c\n]", "But from Step 1, ( f(0) = 0 \Rightarrow c = 0 ), so\n[\nf(x) = ax^2 + bx\n]", "Now compute both sides of the equation.", "Left-hand side:\n[\nf(x+y) + f(x-y) = a(x+y)^2 + b(x+y) + a(x-y)^2 + b(x-y)\n]\nExpand:\n[\n= a(x^2 + 2xy + y^2) + b(x+y) + a(x^2 - 2xy + y^2) + b(x - y)\n]\n[\n= a(2x^2 + 2y^2) + b(2x) = 2a x^2 + 2a y^2 + 2b x\n]", "Right-hand side:\n[\n2f(x) + 2f(y) = 2(ax^2 + bx) + 2(ay^2 + by) = 2a x^2 + 2b x + 2a y^2 + 2b y\n]", "Compare both sides:", "- LHS: ( 2a x^2 + 2a y^2 + 2b x )\n- RHS: ( 2a x^2 + 2a y^2 + 2b x + 2b y )", "For equality to hold for all ( x, y ), we require\n[\n2b x = 2b x + 2b y \Rightarrow 0 = 2b y \quad \forall y \in \mathbb{R} \Rightarrow b = 0\n]", "Thus, ( b = 0 ), and\n[\nf(x) = ax^2\n]", "---", "### Step 4: Verify the General Solution", "Assume ( f(x) = ax^2 ). Compute:", "Left-hand side:\n[\nf(x+y) + f(x-y) = a(x+y)^2 + a(x-y)^2 = a(x^2 + 2xy + y^2 + x^2 - 2xy + y^2) = a(2x^2 + 2y^2) = 2a x^2 + 2a y^2\n]", "Right-hand side:\n[\n2f(x) + 2f(y) = 2a x^2 + 2a y^2\n]", "They are equal. Therefore, every function\n[\n\boxed{f(x) = ax^2} \quad \ ext{for some } a \in \mathbb{R}\n]\nis a solution.", "---", "## Are There Other Solutions?", "We found that polynomials of degree 2 work, and linear (and lower-degree) terms are forced to vanish. Could there be non-polynomial solutions?", "### Continuity and Regularity Assumptions", "Standard results from functional equations state:", "- If ( f ) is continuous (or even just continuous at one point), then the only solutions are quadratic: ( f(x) = ax^2 ).\n- Without any regularity conditions, using the axiom of choice, one can construct pathological (non-measurable, highly discontinuous) solutions via Hamel bases.", "However, in standard Olympiad and applied contexts, only the smooth solutions are considered, and often the equation implicitly constrains the function to be continuous.", "Thus, assuming reasonable conditions (e.g., continuity, differentiability), the only solutions are\n[\n\boxed{f(x) = ax^2}, \quad a \in \mathbb{R}\n]", "---", "## Key Properties of the Solution", "1. Symmetry (Evenness): ( f(-x) = f(x) )\n2. Quadratic Form: The function is determined entirely by a single parameter ( a ) and the square of ( x ).\n3. Scaling Behavior: ( f(kx) = k^2 f(x) ), demonstrating quadratic scaling.", "This mirrors deep identities in geometry (e.g., parallel line segments creating quadratic surfaces) and physics (kinetic energy, moment of inertia).", "---", "## Applications and Connections", "### 1. Geometry: The functional equation resembles the parallelogram law in vector norms. For ( f(x) = |x|^2 ), we recover:\n[\n|x+y|^2 + |x-y|^2 = 2|x|^2 + 2|y|^2\n]\nvalid in inner product spaces.", "### 2. Differential Equations: This equation is a special case of the Cauchy functional equation’s quadratic variants and relates to the characterization of quadratic forms.", "### 3. Discrete Dynamics: Analogous forms appear in recurrence relations modeling familial or spatial symmetries.", "---", "## Summary", "The functional equation\n[\nf(x + y) + f(x - y) = 2f(x) + 2f(y), \quad \forall x,y \in \mathbb{R}\n]\nis satisfied if and only if ( f(x) = ax^2 ) for some real constant ( a ), under standard continuity assumptions. This elegant result bridges algebra, analysis, and geometry, illustrating how functional identities can uniquely determine function forms.", "---", "## Further Study", "To deepen your understanding, explore:", "- General methods for solving quadratic Diophantine-type functional equations\n- Connections to quadratic forms in linear algebra\n- Non-continuous solutions in measure theory and descriptive set theory", "This equation remains a cornerstone in both theoretical and applied mathematics.", "---", "Keywords: Functional Equation, ( f(x+y) + f(x-y) = 2f(x) + 2f(y) ), Quadratic Functions, ( f(0) = 0 ), Even Function, Real-Valued Functions, SEO optimized for mathematics education, olympiad prep, functional analysis, quadratic forms."]