一个组合数问题
问题描述:
给定一个 n n n和 m m m,通过寻找n个整数,使他们开根号之和等于 m \sqrt{m} m。同种选取,不同排列属于不同答案。求方案数。
分析:
首先,一个整数开根号,只有两种情况。一个是直接等于整数,一个是等于一个整数乘上一个无理数。考虑一个整数
x
=
p
1
c
1
p
2
c
2
.
.
.
p
n
c
n
x=p_1^{c_1}p_2^{c_2}...p_n^{c_n}
x=p1c1p2c2...pncn,
p
i
p_i
pi均为质因子。我们把所有的
c
i
c_i
ci
m
o
d
mod
mod 2,那么
c
i
c_i
ci要不是1就是0.假如此时
x
′
=
p
1
p
2
.
.
p
m
,
x'=p_1p_2..p_m,
x′=p1p2..pm, 那么
x
′
\sqrt{x'}
x′一定是无理数。假如存在整数
x
1
,
x
2
,
x
1
+
x
2
=
x
′
,
x1,x2,\sqrt{x1}+\sqrt{x2}=\sqrt{x'},
x1,x2,x1+x2=x′, 那么
p
1
p
2
.
.
.
p
m
=
x
1
+
x
2
+
2
x
1
x
2
p_1p_2...p_m=x1+x2+2\sqrt{x1x2}
p1p2...pm=x1+x2+2x1x2 ,则
x
1
x
2
\sqrt{x1x2}
x1x2为整数。 那么只有两种可能,一是
x
1
,
x
2
x1,x2
x1,x2均为平方数,二是
x
1
,
x
2
x1,x2
x1,x2含有相同的,开根号为无理数的因子,那么
x
1
,
x
2
x1,x2
x1,x2经化简仍然能表示为同一个无理数的整数倍。因此假设不成立,定理得证。
这样以后,就可以直接通过求组合数求解这道题了。