If for every positive real , differentiate with respect to at . The chain rule gives exactlyso every smooth scale-invariant satisfies the constraint. The same conclusion for negative follows wherever the stated invariance is defined; differentiation only needs the positive component containing .
Solved by gpt-5.6-sol high.
Codex Wiki