返回题库

指数方程解数

solutions number

专题
General / 综合
难度
L4

题目详情

求方程

xnyn=2100x^n-y^n=2^{100}

的正整数解 (x,y,n)(x,y,n) 个数,其中 n>1n>1

英文原题

方程 xnyn=2100x^{n} - y^{n} = 2^{100}x,y,nx,y,n 为正整数,且 n>1n > 1 ,求解的个数。

解析

先看 n=2n=2

(xy)(x+y)=2100.(x-y)(x+y)=2^{100}.

xy=2a, x+y=2bx-y=2^a,\ x+y=2^b,则

a+b=100, b>a, a1a+b=100,\ b>a,\ a\ge 1

a=0a=0x,yx,y 不为整数;b>ab>a 保证 y>0y>0)。

所以 a=1,2,,49a=1,2,\ldots,49,共 49 组,且每组对应唯一正整数 (x,y)(x,y)

再证 n>2n>2 无解:

  • nn 为奇数,
    xnyn=(xy)(xn1+xn2y++yn1).x^n-y^n=(x-y)(x^{n-1}+x^{n-2}y+\cdots+y^{n-1}).
    第二因子为大于 1 的奇数(在可行奇偶下),不可能使整体为纯 2 的幂。

  • n=2m, m>1n=2m,\ m>1,令 u=xm,v=ymu=x^m,v=y^m,则
    u2v2=2100.u^2-v^2=2^{100}.
    (uv)(u+v)=2100(u-v)(u+v)=2^{100},两因子均为 2 的幂。于是可写
    u=2a1(2d+1), v=2a1(2d1).u=2^{a-1}(2^d+1),\ v=2^{a-1}(2^d-1).
    因为 u,vu,v 都是 mm 次幂且 m>1m>1,可推出 2d12^d-12d+12^d+1 都应为 mm 次幂,但它们相差 2,不可能同时是大于 1 的同次幂(Catalan 型结论),矛盾。

故只有 n=2n=2 有解,总解数为

49.\boxed{49}.

英文解析

First consider n=2n=2:

(xy)(x+y)=2100.(x-y)(x+y)=2^{100}.

Let xy=2ax-y=2^a and x+y=2bx+y=2^b. Then

a+b=100, b>a, a1a+b=100,\ b>a,\ a\ge 1

(When a=0a=0, xxand yyare not integers; b>ab>aensures y>0y>0).

Thus a=1,2,,49a=1,2,\ldots,49, giving 49 groups, and each group corresponds to a unique positive integer pair (x,y)(x,y).

Next, prove there are no solutions for n>2n>2:

  • If nn is odd,
    xnyn=(xy)(xn1+xn2y++yn1).x^n-y^n=(x-y)(x^{n-1}+x^{n-2}y+\cdots+y^{n-1}).
    The second factor is an odd number greater than 1 (under feasible parity conditions), so it cannot make the whole expression a pure power of 2.

  • If n=2mn=2m with m>1m>1, let u=xmu=x^mand v=ymv=y^m. Then
    u2v2=2100.u^2-v^2=2^{100}.
    This means (uv)(u+v)=2100(u-v)(u+v)=2^{100}, where both factors are powers of 2. Thus we can write
    u=2a1(2d+1), v=2a1(2d1).u=2^{a-1}(2^d+1),\ v=2^{a-1}(2^d-1).
    Since uu and vv are both mm-th powers and m>1m>1, it follows that 2d12^d-1and 2d+12^d+1must both be mm-th powers. However, they differ by 2 and cannot simultaneously be mm-th powers greater than 1 (a Catalan-type conclusion), which is a contradiction.

Therefore, only n=2n=2 has solutions, and the total number of solutions is

49.\boxed{49}.