Name | Euler Homogeneous-Function Identity
Object | $f(x)=x^D$ on $x>0$
Type | Exact ODE identity of a monomial
Identity | $x f'(x)=D f(x)$
Evidence | E0 + E1
Boundary | Positive-ray monomial; not a PDE Euler theorem. Distinct from Civic 98 and Civic 123.
Parents: PF-FPV20-SCALE-C01.
Witness: PF-FPV20C-FOUND-001 · residual $0$.