a^2+2b^2+3c^2=10d^2
求證: 僅有一整數解a=b=c=d=0
是否能可使用無限遞降法完成??

回應

I'll tackle this problem when I have more time. However, you can probably play around with mods, and show that you can get a smaller integer solution (usually by showing evenness and dividing by 2). Because you cannot have an infinite decreasing sequence of positive integers, you have reached a contradiction.
As a note, usually the concept of a "smaller integer solution set" is the most difficult aspect of a descent proof. You usually have to define that yourself.

For example, it may be (a',b')=(a/2,b/2).
mod 8之後
10dd-2bb==0,2 or 6
aa+3cc==0,1,3,4 or 7

a^2+2b^2+3c^2=10d^2 整數解
10dd-2bb==0 mod 8 ==> b,d都是偶數
aa+3cc==0 mod 8 ==> a,c都是偶數

==> 四數皆偶數

可使用無限遞降法完成