这是处理“快速增长的二次项”与“缓慢增长且有界的量”混合方程的标准手法:把界限转化为不等式,无穷的搜索便坍缩成一张有限、可逐一检验的清单。
若 xxx 满足题目方程,其数字之积等于 x2−10x−22x^2-10x-22x2−10x−22,由第1步该积不超过 xxx。于是 x2−10x−22≤xx^2-10x-22\le xx2−10x−22≤x,即 x2−11x−22≤0x^2-11x-22\le0x2−11x−22≤0。二次式 t2−11t−22t^2-11t-22t2−11t−22 的根为 11±2092\dfrac{11\pm\sqrt{209}}{2}211±209,而 209≈14.46\sqrt{209}\approx14.46209≈14.46,故该不等式恰好在 11−2092≤x≤11+2092≈12.73\dfrac{11-\sqrt{209}}{2}\le x\le\dfrac{11+\sqrt{209}}{2}\approx12.73211−209≤x≤211+209≈12.73 范围内成立。由于 xxx 是自然数,只需检验 x∈{1,2,…,12}x\in\{1,2,\dots,12\}x∈{1,2,…,12}。