Solution:
The only solution pair is (k;n)=(2;4). For every solution pair, k4+n2 and 7k−3n are integers, where 7k−3n need not necessarily be positive. Since 7k and 3n are odd, 2∣7k−3n holds, and therefore 2∣k4+n2. Hence k and n must be either both even or both odd. In the latter case k4+n2≡2mod4 holds, whereas 7k−3n≡(−1)k−(−1)n≡0mod4. Therefore k and n are both even, and we set k=2a resp. n=2b with positive integers a,b. It follows that 72a−32b∣(2a)4+(2b)2 and further 49a−9b∣16a4+4b2. Now 49a−9b≡1a−1b≡0mod8, so 16a4+4b2 must also be divisible by 8.
Therefore b must be even and can be represented as b=2c with a suitable positive integer c. It follows that 72a−92c=(7a+9c)(7a−9c)∣16(a4+c2). Since always 7a=9c and both powers are odd, ∣7a−9c∣≥2, so that 7a+9c∣8(a4+c2) must hold.
Lemma 1: For all a≥4, 7a>8a4.
Proof by complete induction on a:
For a=4, 2401=74>8⋅44=211=2048 is true. Now assume 7a>8a4.
Then 7a+1=7⋅7a>7⋅8a4=8(a+1)4⋅(a+1)47a4>8(a+1)4⋅7⋅(54)4>8(a+1)4.
Lemma 2: For all c≥1, 9c>8c2.
Proof by complete induction on c:
For c=1, 9>8 is true. Now assume 9c>8c2. Then
9c+1=9⋅9c>9⋅8c2=8(c+1)2⋅(c+1)29c2>8(c+1)2⋅9⋅(21)2>8(c+1)2.
From the lemmas it follows that for a≥4, because of 7a+9c>8(a4+c2), no required numbers k and n exist. So only a=1,2,3 still need to be examined.
Lemma 3: For all c≥3, 9c>305+8c2.
Proof by complete induction on c:
For c=3, 93=729>305+8⋅32=377 is true. Now assume 9c>305+8c2. Then 9c+1>9(305+8c2)=305+8(305+9c2). Because of
305+9c2=(c+1)2+8c2−2c+304>(c+1)2+c(c−2)>(c+1)2 for c>2, the claim follows.
Case 1: a=1. For c=1, 49−81=−32∣32=16(1+1) holds. Therefore (k;n)=(2;4) is a solution. For c=2, 7+81=88∤8(1+4)=40 holds. For c>2, 7+9c≤8+8c2 must hold, hence 9c<1+8c2. This contradicts Lemma 3.
Case 2: a=2. For c=1, 72+91=58 and 8(24+12)=136 hold. For c=2, 49+81=130∤8(16+4)=160 holds. For c>2, 49+9c≤8(16+c2) must hold, hence 9c≤79+8c2. This contradicts Lemma 3.
Case 3: a=3. For c=1, 343+9=352 and 656=8(34+1) hold. For c=2, 343+81=424 and 680=8(34+4) hold. For c>2, 343+9c≤8(81+c2) must hold, hence 9c≤305+8c2. This contradicts Lemma 3.