Dans le sens "gauche-droite":
Soit t>0. Je définis
 = f(tx, ty))
D'après l'équation vérifiée par f, j'ai
 = \frac{t}{\alpha}(x\frac{\partial f}{\partial x}(tx, ty)+y\frac{\partial f}{\partial y}(tx, ty)))
Je calcule d'autre part :
 = x\frac{\partial f}{\partial x}(tx, ty)+y\frac{\partial f}{\partial y}(tx, ty))
Je reconnais dans l'expression de g vu plus haut, sa dérivee.
Ainsi, g vérifie l'équa diff :
 = \frac{t}{\alpha}g^'(t))
, avec
 = f(x, y))
Après résolution, j'obtiens
 = t^{\alpha}f(x, y))
.
Dans le sens "droite-gauche":
Avec le même g que précédemment, on sait que
 = f(tx, ty) = t^{\alpha}f(x, y))
Je calcule la dérivée de g, a partir des deux expressions, et j'obtiens :
+y\frac{\partial f}{\partial y}(tx, ty) = \alpha t^{\alpha -1}f(x, y))
Or, par hypothèse,
 = \frac{\alpha}{t}f(tx, ty))
.
Donc,
 = x\frac{\partial f}{\partial x}(tx, ty)+y\frac{\partial f}{\partial y}(tx, ty))
,

.
Pour

, on obtiens l'équation souhaitée.