MathLabs

Problem 3

Let n>2n>2 and let Vn={1+kn:k=1,2,…}V_n=\{1+kn:k=1,2,\ldots\}. An element of VnV_n is indecomposable if it is not a product of two elements of VnV_n. Prove that some element of VnV_n has two distinct factorizations into indecomposable elements, where order is ignored.
Step 3 of 6: Test the cross factor
In plain words

A small equation isolates the only exceptional parameter.

k1k2n+k1+k2=2n−3k_1k_2n+k_1+k_2=2n-3
Detailed analysis

If (n−1)(2n−1)=(k1n+1)(k2n+1)(n-1)(2n-1)=(k_1n+1)(k_2n+1) with k1,k2≥1k_1,k_2\ge1, then k1k2n+k1+k2=2n−3k_1k_2n+k_1+k_2=2n-3. If either index is at least 22, the left side exceeds the right; if both are 11, equality occurs only for n=5n=5.