Let f:Q+→Q+ be a function such that:
f(x)+f(y)+2xyf(xy)=f(x+y)f(xy)
for all x,y∈Q+.
First, we denote the assertion of the given functional equation as P(x,y).
1. From P(1,1), we have:
f(1)+f(1)+2⋅1⋅1⋅f(1)=f(2)f(1)
4f(1)=f(2)f(1)
f(2)=41
2. From P(n,1), we get:
f(n)+f(1)+2nf(n)=f(n+1)f(n)
f(n+1)=(2n+1)f(n)+f(1)f(n)
3. Using the above recurrence relation, we find:
f(3)=(2⋅2+1)f(2)+f(1)f(2)=5⋅41+f(1)41=5+4f(1)1
f(4)=(2⋅3+1)f(3)+f(1)f(3)=7⋅5+4f(1)1+f(1)5+4f(1)1=7+5f(1)+4f(1)21
4. From P(2,2), we have:
f(2)+f(2)+2⋅2⋅2⋅f(4)=f(4)f(4)
2f(2)+8f(4)=1
2⋅41+8f(4)=1
8f(4)=21
f(4)=161
5. Equating the two expressions for f(4), we get:
7+5f(1)+4f(1)21=161
7+5f(1)+4f(1)2=16
4f(1)2+5f(1)−9=0
f(1)=1
6. Substituting f(1)=1 into the recurrence relation, we get:
f(n+1)=(2n+1)f(n)+1f(n)
By induction, we can show that f(n)=n21 for all n∈N.
7. Now, we claim that f(x)=x21 for all x∈Q+.
Using the functional equation and induction, we can extend this result to all positive rational numbers.
Thus, the function that satisfies the given functional equation is:
f(x)=x21
The answer is: \boxed{\frac{1}{x^2}}.