MathLabs

Problem 1

Let Z+\mathbb{Z}^+ be the set of positive integers. Determine all functions f:Z+→Z+f:\mathbb{Z}^+\to\mathbb{Z}^+ such that a2+f(a)f(b)a^2+f(a)f(b) is divisible by f(a)+bf(a)+b for all positive integers aa and bb.
Step 1 of 6: Substitute a=b=1
f(1)+1∣f(1)2+1 ⟹ f(1)=1f(1)+1 \mid f(1)^2+1 \ \Longrightarrow\ f(1)=1
Detailed analysis

Setting a=b=1a=b=1 in the divisibility condition gives f(1)+1∣1+f(1)2f(1)+1\mid1+f(1)^2. Since f(1)2+1=(f(1)−1)(f(1)+1)+2f(1)^2+1=(f(1)-1)(f(1)+1)+2, this reduces to f(1)+1∣2f(1)+1\mid2, and as f(1)f(1) is a positive integer, f(1)+1=2f(1)+1=2, so f(1)=1f(1)=1.