当n≡2(mod 3)时,设n+1=3k,k是正整数
则10^(n+1)+8 = (10^k)³+2³ = (10^k+2)(10^(2k)-2×10^k+4) = 9m³
由于10^(2k)-2×10^k+4 = (10^k+2)²-6×(10^k+2)+12,它和10^k+2的最大公因数一定是12的因数
并且模3可知如果其中一个不被3整除,另一个也不被3整除,由于相乘等于9m³,所以它们都被3整除
而k≥2时,10^k+2≡2(mod 4),此时10^k+2与10^(2k)-2×10^k+4 的最大公因数等于6,
则 (10^k+2)/6 × (10^(2k)-2×10^k+4)/6 = 2(m/2)³
左边两项互素且(10^k+2)/6 是奇数,所以存在互素正整数a, b使 10^k+2=6a³,10^(2k)-2×10^k+4 = 12b³,a为奇数
先模13可得10^k≡10, 9, 12, 3, 4, 1 (mod 13)
10^k+2≡12, 11, 1, 5, 6, 3(mod 13)
而6a³≡0, 6, 4, 9, 7 (mod 13),所以只可能10^k+2≡6(mod 13), k≡5(mod 6)
这时再模19可得,当k≡5(mod 6)时 10^k≡3, 14, 2(mod 19),10^k+2≡5, 16, 4(mod 19)
而6a³≡0, 15, 9, 13, 4, 10, 6 (mod 19),所以只可能10^k+2≡4(mod 19),10^k≡2(mod 19)
这时12b³≡10^(2k)-2×10^k+4≡4(mod 19),b³≡13(mod 19),但是这个同余方程无解,13不是模19的三次剩余
说明k≥2时原方程无解
再验证k=1时n=2,112也不是完全立方数,所以10^(n+1)+8=9m³是无正整数解的,不存在这样的正整数n