题意
输入一个数
n
(
n
<
40
)
n(n<40)
n(n<40),求使下式无解的第
n
n
n大的
z
z
z
z
=
[
x
2
]
+
y
+
x
y
(
x
,
y
∈
N
x
,
y
>
0
)
z=\left[\frac x2\right]+y+xy\ (x,y\in \mathbb N\ x,y>0)
z=[2x]+y+xy (x,y∈N x,y>0)
题解
当
x
=
2
k
+
1
x=2k+1
x=2k+1时,有
(
1
)
z
+
1
=
(
2
y
+
1
)
(
k
+
1
)
(1)z+1=(2y+1)(k+1)
(1)z+1=(2y+1)(k+1)
当
x
=
2
k
x=2k
x=2k时,有
(
2
)
2
z
+
1
=
(
2
y
+
1
)
(
2
k
+
1
)
(2)2z+1=(2y+1)(2k+1)
(2)2z+1=(2y+1)(2k+1)
由(1)知
z
+
1
z+1
z+1只能有2一种因子,
z
=
2
t
−
1
z=2^t-1
z=2t−1
由(2)知
2
z
+
1
2z+1
2z+1即
2
t
+
1
−
1
2^{t+1}-1
2t+1−1为素数
然后我们发现这个
2
t
+
1
−
1
2^{t+1}-1
2t+1−1形式的素数就是梅森素数……
然后打表即可