Solution:
We will show that any number of the form n=2p−1m where m is a positive integer that has exactly k−1 prime factors all of which are greater than 3 and p is a prime number such that (5/4)(p−1)/2>m satisfies the given condition.
Suppose that a and b are positive integers such that a+b=n and d(n)∣d(a2+b2). Then p∣d(a2+b2). Hence a2+b2=qcp−1r where q is a prime, c is a positive integer and r is a positive integer not divisible by q. If q≥5, then
22p−2m2=n2=(a+b)2>a2+b2=qcp−1r≥qp−1≥5p−1
gives a contradiction. So q is 2 or 3.
If q=3, then a2+b2 is divisible by 3 and this implies that both a and b are divisible by 3. This means n=a+b is divisible by 3, a contradiction. Hence q=2.
Now we have a+b=2p−1m and a2+b2=2cp−1r. If the highest powers of 2 dividing a and b are different, then a+b=2p−1m implies that the smaller one must be 2p−1 and this makes 22p−2 the highest power of 2 dividing a2+b2=2cp−1r, or equivalently, cp−1=2p−2, which is not possible. Therefore a=2ta0 and b=2tb0 for some positive integer t<p−1 and odd integers a0 and b0. Then a02+b02=2cp−1−2tr. The left side of this equality is congruent to 2 modulo 4, therefore cp−1−2t must be 1. But then t<p−1 gives (c/2)p=t+1<p, which is not possible either.