Proof. By homogeneity, the relation () holds for all $t$ . Taking the t-derivative of both sides, we establish that the following identity holds for all $t$ : $$ x_1 \frac{\del f}{\del x_1}(t x_1, \ldots, t x_k) + \cdots + x_k \frac{\del f}{\del x_k}(t x_1, \ldots, t x_k) = n t^{n-1} f(x_1, \ldots, x_k). $$ To obtain the result of the theorem, it suffices to set $t=1$ in the previous formula.

Sometimes the differential operator $\displaystyle{x_1 \frac{\del}{\del x_1} + \cdots + x_k \frac{\del}{\del x_k}}$ is called the Euler operator. An equivalent way to state the theorem is to say that homogeneous functions are eigenfunctions of the Euler operator, with the degree of homogeneity as the eigenvalue.