一个多变量丢番图方程
非常巧妙的推广http://topic.csdn.net/u/20081102/00/019ea61c-8ef6-4dd3-a66d-971e4ff1e0ea.html 中,northwolves问了一个问题，i)对于四个不同自然数$a<=b<=c<=d$,满足$a^2+b^2+c^2+d^2=abcd$,求出一亿以内所有的(a,b,c,d)组合
ii)对于n个不同自然数$a_1<=a_2<=...<=a_n$,满足$a_1^2+a_2^2+...+a_n^2=a_1a_2...a_n$,求出一亿以内所有组合$(a_1,a_2,...,a_n)$
妙！开始northwolves和medie2005试用了很多不错的方法求得了（特别是问题一的）部分解，然后medie2005发现一个很有趣的规律，这些解中很多数字会大量重复出现。在帖子中50楼，litaoye发现了一个重要的规律：
假设我们已经找到$a^2+b^2+c^2+d^2=abcd$的一组解(a,b,cd)
我们知道d是方程$X^2-abcX+a^2+b^2+c^2=0$的一个解，而这个方程还有另外一个解$e=abc-d$.
如果e<d,那么我们就可以将这个解降到另外一个更小一点的解(a,b,c,e)(这里它们顺序可能需要重派）。
所有反过来，如果对于某个解(a,b,c,d),我们分别假设其中a是某个解(b,c,d,x)对应的e;b是某个解(a,c,d,x)对应的e等等就可以通过一个基础解得出很多其他派生解。
所以对于这个问题，我们可以求出所有那些最基本的解，然后其他解都可以通过上面方法派生出来就可以了。
litaoye还分析出来对于4个变量的情况，所有其他解都可以通过基础解(2,2,2,2)直接或间接派生出来。
我们可以进一步分析更加一般的情况，所以如果有某个基础解$(a_1,a_2,...,a_n)$无法通过其他解派生出来（就是一个最基本的解），由于$a_n$是方程
$X^2-a_1a_2...a_{n-1}X+a_1^2+a_2^2+...+a_{n-1}^2=0$的一个解，这个方程有两个解
$X={a_1a_2...a_{n-1}+-sqrt(a_1^2a_2^2...a_{n-1}^2-4(a_1^2+a_2^2+...+a_{n-1}^2))}/2$
由于这个解是最基本的，所以$a_n$必须是其中较小的解，由此我们得到
$a_n={a_1a_2...a_{n-1}-sqrt(a_1^2a_2^2...a_{n-1}^2-4(a_1^2+a_2^2+...+a_{n-1}^2))}/2>=a_{n-1}$(1)
于是我们可以得到
$(a_1a_2...a_{n-1}-2a_{n-1})^2>=a_1^2a_2^2...a_{n-1}^2-4(a_1^2+a_2^2+...+a_{n-1}^2)$而且$a_1a_2...a_{n-2}>=2$
即
$2a_{n-1}^2+a_1^2+...+a_{n-2}^2>=a_1a_2...a_{n-2}a_{n-1}^2$
所以
$a_{n-1}<=sqrt({a_1^2+a_2^2+...+a_{n-2}^2}/{a_1a_2....a_{n-2}-2})$ (2)
由于$2a_{n-1}^2+a_1^2+...+a_{n-2}^2<=na_{n-1}^2$，所以我们还可以得到
$2<=a_1a_2...a_{n-2}<=n$ (3)
而穷举满足(3)的自然数$a_1,a_2,...,a_{n-2}$非常容易，此后可以根据(2)式穷举对应的$a_{n-1}$,再根据(1)式判断是否存在对应的$a_n$ 再贴一个用gmp程序实现的对应代码，可以用来解出对于给定n的所有基本解或前面若干个解（比如前10000个解）。
#include <stdio.h>
#include <gmp.h>
#include <math.h>
#include <set>
using namespace std;
#ifndef N
#define N 4
#endif
#define MAX_COUNT 10000
typedef struct sDataEntry{
mpz_t datas;
mpz_t nc;
sDataEntry(){
int i;
for(i=0;i<N;i++)mpz_init(datas);
mpz_init(nc);
}
sDataEntry(const sDataEntry& d){
int i;
for(i=0;i<N;i++)mpz_init(datas);
mpz_init(nc);
for(i=0;i<N;i++){
mpz_set(datas,d.datas);
}
mpz_set(nc,d.nc);
}
~sDataEntry(){
int i;
for(i=0;i<N;i++)mpz_clear(datas);
mpz_clear(nc);
}
void set_nc(){
int i;
mpz_t tmp;
mpz_init(tmp);
mpz_set_ui(nc,0);
for(i=0;i<N;i++){
mpz_mul(tmp,datas,datas);
mpz_add(nc,nc,tmp);
}
mpz_clear(tmp);
}
bool operator<(const struct sDataEntry& s)const{
int i;
int c=mpz_cmp(nc,s.nc);
if(c!=0)return c<0;
for(i=N-1;i>=0;i--){
int c=mpz_cmp(datas,s.datas);
if(c!=0)return c<0;
}
return false;
}
bool operator==(const struct sDataEntry& s)const{
int i;
for(i=N-1;i>=0;i--){
int c=mpz_cmp(datas,s.datas);
if(c!=0)return false;
}
return true;
}
}DataEntry;
set<DataEntry> results;
DataEntry t;
int td;
void search_last()
{
long long mul=1LL;
long long sum=0LL;
int i;
if(td==1)return;///No solution available
for(i=0;i<N-2;i++){
mul*=td;
sum+=(long long)td*td;
}
if(mul<=2LL)return;///No solution available;
long long d=sum/(mul-2LL);
int up=(int)sqrt(d+0.01);
for(i=td;i<=up;i++){
td=i;
long long a=sum+(long long)i*i;
long long b=mul*i;
long long c=b*b-4*a;
if(c<0)continue;
int u=(int)sqrt((double)c);
if(u*(long long)u<c)u=u+1;
if(u*(long long)u==c){///Found a solution now
if((b-u)&1)continue;///Invalid
td=(int)((b-u)/2);
int j;
for(j=0;j<N;j++){
mpz_set_ui(t.datas,td);
}
t.set_nc();
results.insert(t);
}
}
}
void search(int last)
{
int i;
if(last==N-2){
search_last();
return;
}
long long mul=1LL;
long long mul2;
double ub;
for(i=0;i<last;i++){
mul*=td;
}
if(mul>N)return;
ub=pow((double)N/(double)mul,1.0/(N-2-last))+0.01;
i=1;if(last>0)i=td;
for(;i<=(int)ub;i++){
td=i;
search(last+1);
}
}
int tcount=0;
void dump(const DataEntry& d)
{
int i;
for(i=0;i<N;i++){
mpz_out_str(stdout,10,d.datas);
printf("\t");
}
printf("\n");
}
void dumpall()
{
set<DataEntry>::iterator it;
for(it=results.begin();it!=results.end();++it){
dump(*it);
}
}
bool gens(const DataEntry& d)///return false when tcount reaches MAX_COUNT
{
mpz_t sum;
mpz_t tmp;
mpz_init(sum);mpz_init(tmp);
int i,j;
mpz_set_ui(sum,0);
for(i=0;i<N;i++){
mpz_mul(tmp,d.datas,d.datas);
mpz_add(sum,sum,tmp);
}
for(i=0;i<N;i++){
if(i>0&&mpz_cmp(d.datas,d.datas)==0)
continue;
mpz_mul(tmp,d.datas,d.datas);
mpz_sub(tmp,sum,tmp);
mpz_div(tmp,tmp,d.datas);
if(mpz_cmp(tmp,d.datas)>0){
for(j=0;j<i;j++){
mpz_set(t.datas,d.datas);
}
for(j=i;j<N-1;j++){
mpz_set(t.datas,d.datas);
}
mpz_set(t.datas,tmp);
t.set_nc();
set<DataEntry>::iterator lit;
lit=results.find(t);
if(lit==results.end()){
results.insert(t);
tcount++;
}
}
}
mpz_clear(sum);mpz_clear(tmp);
return tcount<MAX_COUNT;
}
void gen_more()
{
set<DataEntry>::iterator it;
for(it=results.begin();it!=results.end();++it){
if(!gens(*it))
break;
}
mpz_t maxt;
mpz_init(maxt);
mpz_set(maxt,it->nc);
set<DataEntry>::iterator nit;
for(nit=results.begin();nit!=results.end();++nit){
if(mpz_cmp(nit->datas,maxt)<=0)
dump(*nit);
}
mpz_clear(maxt);
}
int main()
{
int i;
search(0);
#ifdef IONLY
dumpall();
#else
gen_more();
#endif
}
我们知道n=2时方程没有非平凡解（也就是只有全0的解）
而利用这个程序还可以知道在100以内，在n分别为
2,6,9,11,12,15,16,18,20,21,24,29,32,33,36,41,42,45,48,50,51,56,57,60,66,72,76,77,81,82,84,90,96,99时没有非平凡解。而对于100以内（包括100）的其他n都有非平凡解。 附件中文件给出了10000以内所有对应方程没有非平凡解的n,总共1360个,毫无规律,是否同素数的分布规律有得一拼:),而且可能频率也差不多
比如n = 2
应该证明确实没非平凡解
但是n = 6是否在整个正整数区域均无非平凡解呢？ 原帖由 无心人 于 2008-11-5 08:34 发表 http://bbs.emath.ac.cn/images/common/back.gif
比如n = 2
应该证明确实没非平凡解
但是n = 6是否在整个正整数区域均无非平凡解呢？
是的,已经用计算机证明了 我的意思是严格证明
毕竟某些方程的最小整数解是
很大的 是严格证明。前面已经通过数学方法将最小解规约到一个很小的范围。然后用计算机穷举那个小范围就可以了。 :b:
知道了 又看到一棵3叉树，也许会于我有用，收下了。 oeis.org/A146974的第一个链接被标记为无法打开，楼主能修复它吗
页:
[1]
2