\(2^p－1的质因数\)

太阳

\(已知:整数a＞0，c＞0，d＞0，f＞0，k＞0，v＞0，y＞0，k＞d，k＞f，\frac{\left( 10^p-1\right)\div9}{m}＝ty\)
\(m是\left( 10^p-1\right)\div9的最小质因数，\frac{t-1}{m-1}＝a\frac{d}{k}，\frac{y-1}{m-1}＝c\frac{f}{k}，\frac{ty-1}{m-1}＝v，质数k＞0，p＞0，t＞0\)
\(求证:y判断是素数\)
\(例1:p＝103，m是\left( 10^p-1\right)\div9的最小质因数，m＝1031，t＝7034077\)
\(y＝\left( 10^{103}-1\right)\div65269200483，\frac{\left( 10^p-1\right)\div9}{m}＝ty，\frac{t-1}{m-1}＝a\frac{1}{5}，\frac{y-1}{m-1}＝c\frac{2}{5}，\frac{ty-1}{m-1}＝v\)
\(判断(10^{103}-1)\div65269200483是素数\)

yangchuanju

太阳先生的进步

太阳先生有多个涉及梅森数因子的命题——求证：**必定是素（质）数；求证：**必定是合数；
自昨日起，有些命题已改为——求证：**判断是素（质）数；求证：**判断是合数。
“必定”改“判断”——太阳先生命题的一大进步耶！
然而“求证”与“判断”是非常不协调的用语。

纵观太阳先生的此类命题，本意并不是证明“**必定是素（质）数”、“**必定是合数”，而是想在茫茫数海中搜寻是素数的数，搜寻到的合数仅仅是一堆副产品而已。
其一：必定——该词使用不当；在数论中“必定”有严格的含义，没有任何含糊的意思；梅森数的各个因子的素合性是明确的、严谨的；对于一些暂不能确定它就是素数的特大数字，皆标注为——PRP(可能是素数)。
其二：求证——证明题的标识；常用于证明某类公式或定理，与“搜寻”、“查找”无任何关联。

太阳先生既然想搜寻梅森数之类大整数的素因子，为什么不把命题中的“求证：**必定是素（质）数”或“求证：***判断是素（质）数”，改为“请搜寻**中的素（质）因子”？
太阳先生不改命题的原因可能有：
其一，那样一改，太阳先生的身份就大大降低了，由数学大师变成一位普通的数学爱好者了。
其二，以“求证”之类的大命题吸引众多读者的眼球，希望他们都能认真谈一谈他的帖子，研究一下他的理论。
其三，……
究竟为什么不改，只有太阳先生本人明白。