|
发表于 2006-12-13 10:42:22
|
显示全部楼层
完整的证明
caozhi700:
一个大于等于5的整数任意分成几个整数之和,问如何分才能使这些数的乘积最大。
醉乡常客:
设x1+x2+……+xn=N(N≥5,n≥2,n、N和x1,x2,……,xn都是自然数),求满足x1·x2·……·xn取最大值的n, x1,x2,……,xn。
含笑妹的求解和证明方法:
设
N = x1 + x2 + …… + xn,
集合 C(N) = {x1·x2·……·xn; n, x1,x2,……,xn 属于自然数, x1 + x2 + …… + xn = N},
集合 C2(N) = {x1·x2·……·xn; n 属于自然数, x1,x2,……,xn 属于大于 1 的整数, x1 + x2 + …… + xn = N},
集合 C24(N) = {x1·x2·……·xn; n 属于自然数, x1,x2,……,xn 属于整数 {2, 3, 4}, x1 + x2 + …… + xn = N},
集合 C23(N) = {x1·x2·……·xn; n 属于自然数, x1,x2,……,xn 属于整数 {2, 3}, x1 + x2 + …… + xn = N},
集合 C23A(N) = {x1·x2·……·xn; n 属于自然数, x1,x2,……,xn 属于整数 {2, 3} 且 x1,x2,……,xn 中只有 2 项等于 2 , x1 + x2 + …… + xn = N},
C23A(N) 属于 C23(N) 属于 C24(N) 属于 C2(N) 属于 C(N)
f(N) = max {C(N)} 定义为集合中元素 x1·x2·……·xn 的最大值。
如果 x1, x2, ……, xn 中至少有一个 1,
设 f1(N) = x1·x2·……·x(n-2)·x(n-1)·1, f2(N) = x1·x2·……·x(n-2)·(x(n-1) + 1),
因为 f2(N) / f1(N) > 1, 所以 f2(N) > f1(N), 即 f(N) >= f2(N) > f1(N), 所以含有 x=1 的元素可以不考虑。
所以
f(N) = max {C(N)} 等价于 f(N) = max {C2(N)}
如果 x1, x2, ……, xn 中至少有一个 x >= 5, 设 xn >= 5,
设 xn = xn1 + xn2, xn1 = 2, xn2 = xn-2,
设 f1(N) = x1·x2·……·x(n-1)·xn, f2(N) = x1·x2·……·x(n-1)·xn1·xn2,
因为 xn1 * xn2 = 2 * (xn-2) = xn + (xn-4) > xn
所以 f2(N) > f1(N), 即 f(N) >= f2(N) > f1(N), 所以含有 x>=5 的元素可以不考虑。
所以
f(N) = max {C(N)} 等价于 f(N) = max {C2(N)} 等价于 f(N) = max {C24(N)}
如果 x1, x2, ……, xn 中至少有一个 x = 4, 设 xn = 4,
设 f1(N) = x1·x2·……·x(n-1)·4, f2(N) = x1·x2·……·x(n-1)·2·2,
有 f2(N) = f1(N), 即 f(N) >= f2(N) = f1(N), 所以含有 x=4 的元素可以不考虑。
所以
f(N) = max {C(N)} 等价于 f(N) = max {C24(N)} 等价于 f(N) = max {C23(N)}
如果 x1, x2, ……, xn 中至少有 3 个 2,
设 f1(N) = x1·x2·……·x(n-3)·2·2·2, f2(N) = x1·x2·……·x(n-3)·3·3,
因为 f2(N) > f1(N), f(N) >= f2(N) > f1(N), 所以含有三个及三个以上 x=2 的元素可以不考虑。
所以
f(N) = max {C(N)} 等价于 f(N) = max {C23(N)} 等价于 f(N) = max {C23A(N)}
即
f(N) = max {C23A(N)}
对于任意 N, f(N) 最大乘积可以用 2 和 3 的乘积表示,并且 2 的个数不超过两个(等价于 x = 4 的个数不超过一个)。
若 N mod 3 = 0,那么不可能有 N = 3 * m + 2 或 N = 3 * m + 2 + 2 (m 为自然数), 因此, f(N) 只能是 3 的乘积, f(N) = 3^(N/3)
若 N mod 3 = 1,那么要使 2 不超过两个,并且没有 1,就只能有 N = 3 * m + 2 + 2 (m 为自然数), 因此, f(N) 只能是若干个 3 和两个 2 的乘积, f(N) = 3^((N-1)/3 - 1) * 2 * 2
若 N mod 3 = 2,那么要使 2 不超过两个,并且没有 1,就只能有 N = 3 * m + 2 (m 为自然数), 因此, f(N) 只能是若干个 3 和一个 2 的乘积, f(N) = 3^((N-2)/3) * 2
最终得到,
N mod 3 = 0: f(N) = 3^(N/3)
N mod 3 = 1: f(N) = 3^((N-1)/3 - 1) * 2 * 2
N mod 3 = 2: f(N) = 3^((N-2)/3) * 2 |
|