The given equation xmyn=(x+y)m+n is a homogeneous relation. Taking logs, differentiating implicitly, and simplifying yields dxdy=xy; differentiating again gives dx2d2y=0.
We start with the equation:
xmyn=(x+y)m+n
where m and n are constants. The exponents on both sides sum to the same total (m+n), which hints at homogeneity: if we scale x and y by a factor t, both sides scale by tm+n. This symmetry often leads to a simple relationship between y and x — in fact, it suggests y is proportional to x. Let’s verify that systematically.
- Take natural logarithms on both sides to bring down the exponents:
log(xmyn)=log((x+y)m+n)
Using logarithm properties:
mlogx+nlogy=(m+n)log(x+y)
This is now an implicit relation between x and y, easier to differentiate.
- Differentiate both sides with respect to x. Remember y is a function of x, so dxd(logy)=y1⋅dxdy.
m⋅x1+n⋅y1⋅dxdy=(m+n)⋅x+y1⋅(1+dxdy)
This is the key equation we’ll solve for dxdy.
- Multiply through by xy(x+y) to clear denominators (a clean algebraic move):
my(x+y)+nx(x+y)dxdy=(m+n)xy(1+dxdy)
Expand carefully:
my(x+y)+nx(x+y)dxdy=(m+n)xy+(m+n)xydxdy
- Collect terms with dxdy on one side and constants on the other:
nx(x+y)dxdy−(m+n)xydxdy=(m+n)xy−my(x+y)
Factor dxdy on the left:
dxdy[nx(x+y)−(m+n)xy]=(m+n)xy−my(x+y)
-
Simplify the coefficients. Factor x from the left bracket and y from the right:
Left: x[n(x+y)−(m+n)y]=x[nx+ny−my−ny]=x(nx−my)
Right: y[(m+n)x−m(x+y)]=y[mx+nx−mx−my]=y(nx−my)
So we have:
dxdy⋅x(nx−my)=y(nx−my)
- Assuming nx−my=0 (the non-degenerate case), we cancel this common factor: …