门户网站建设对策及建议,网站开发培训课程表,wordpress vps配置,html5网页设计与实现如何从第一性原则的原理分解数学问题 摘要#xff1a;牛津大学入学考试题目展示了所有优秀数学家都使用的系统的第一原则推理#xff0c;而GPT4仍然在这方面有困难 作者#xff1a;Keith McNulty 我们中的许多人都熟悉直角三角形的边的规则。根据毕达哥拉斯定理#xff0c;… 如何从第一性原则的原理分解数学问题 摘要牛津大学入学考试题目展示了所有优秀数学家都使用的系统的第一原则推理而GPT4仍然在这方面有困难 作者Keith McNulty 我们中的许多人都熟悉直角三角形的边的规则。根据毕达哥拉斯定理如果a和b是两条较短的边c是最长的边那么a² b² c²。 已知的整数解称为毕达哥拉斯三元组。例如(3, 4, 5) 和 (5, 12, 13) 就是其中的一些。 更一般的构造是三元组。任何一组可以构成三角形的正整数三元组都称为三元组。 显然整数毕达哥拉斯三元组也是三元组。但通常情况下如果一个整数三元组 (a, b, c) 在非严格递增的顺序列出时前两个整数的和严格大于第三个整数那么它就是一个三元组。 以 (4, 2, 3) 为例。这些可以是三角形的边长因为2 3 4。类似地(2, 2, 2) 是一个三元组。但 (1, 3, 1) 不是三元组因为无法用这些边长构建三角形1 1 ≯ 3。 最近牛津大学入学考试的一个问题涉及到三元组我认为它很好地说明了如何逐步从第一原则分解问题以解决起初看起来非常具有挑战性的问题。 这个问题定义了一个函数 f(P)其中 P 2表示三元组的数量它们的和为 P。最后它要求我们找到 f(21)。 找到和为 21 的三元组的数量似乎是一个真正的智力挑战但是使用一些逐步的系统步骤我们可以找到一个非常简单的计算方法。 最后我还将展示像GPT4这样的人工智能在需要第一原则推理的这类问题上存在真正的问题。 以下是问题的各个部分和我的解决方案。我发现这是一个有趣的问题是数学思维的很好练习几乎不需要课本知识。 (i) 找到 f(3), f(4), f(5), f(6) 的值 这只是让我们适应思考和理解一个新概念。 由于唯一的正整数三元组其和为三是 (1, 1, 1)而且这显然是一个三元组所以 f(3) 1 任何和为 4 的正整数三元组都必须包含2。因此另外两个数字都是1。由于1 1 不严格大于 2所以不存在三元组因此 f(4) 0。 任何和为 5 的正整数三元组都必须包含2或3但不能同时包含。如果它包含3那么其他两个必须都是1而这不是三元组。如果它包含2那么其他两个必须是1和2这是一个三元组。 因此(2, 2, 1)(2, 1, 2) 和 (1, 2, 2) 都是这样的三元组所以 f(5) 3。 任何和为 6 的正整数三元组必须包含一个4和两个1不是三元组一个3、2和1各一个不是三元组或者三个2是三元组。 因此唯一的三元组是 (2, 2, 2)因此 f(6) 1。 (ii) 如果 (a, b, c) 是一个三元组证明 (a1, b1, c1) 也是一个三元组 首先注意我们总是可以假设 a, b, c 是非严格递增的顺序因为如果它们不是我们可以简单地重新排列它们使它们变成递增的。 这种推理在这个问题的大多数部分都很重要。 现在由于 ab c我们可以说 (a1) (b1) (ab)2 c2 c1。因此(a1, b1, c1) 是一个三元组。 (iii) 如果 (x, y, z) 是一个三元组xyz 是偶数且不小于 6证明 x, y 和 z 都至少为 2并且 (x-1, y-1, z-1) 也是一个三元组 再次假设 x, y, z 是递增的。为了证明它们都至少为 2我们只需要证明 x 不能为 1。假设 x 1。然后 1yz 是偶数所以 yz 是奇数。 此外我们有 1y z所以 y z -1因此 y ≥ z。但我们知道 y ≤ z因此 y z。所以 yz 是偶数。 这是一个矛盾所以 x 1。 (iv) 证明对于任何大于等于 3 的正整数 kf(2k-3) f(2k) 根据第二部分我们知 道任何和为 2k-3 的三元组都可以通过简单地对每个整数加 1 映射到和为 2k 的三元组。 这意味着和为 2k 的三元组集合至少和和为 2k-3 的三元组集合一样大。 根据第三部分由于 2k 是偶数且不小于 6我们知道我们可以通过从每个整数中减去 1 来将和为 2k 的三元组唯一映射到和为 2k-3 的三元组。 这意味着和为 2k-3 的三元组集合至少和和为 2k 的三元组集合一样大。 因此两个集合必须具有相同的大小因此 f(2k-3) f(2k)。 (v) 设 S ≥ 3令 P 2S。证明 (a, b, c) 是和为 P 的三元组如果且仅如果 a, b, c 中的每一个都严格小于 S 这是一个“如果且仅如果”的证明所以我需要在两个方向上证明它。 再次假设 a, b, c 是递增的并且它们的和为 P。 首先我们需要证明如果 ab c那么 c S。假设 c ≥ S。然后 ab c ≥ S所以 abc 2S P。这是一个矛盾所以 c S。 现在我们需要证明如果 c S那么 ab c。如果 c S那么 2S-c S c。但是 abc P 2S所以 ab 2S-c。因此 ab c。 (vi) 对于任何 2 ≤ a ≤ S-1证明使得 (a, b, P-a-b) 成为一个三元组的可能值的 b 的数量为 a-1 根据第五部分P-a-b 2S-a-b ≤ S-1。所以 S-a1 ≤ b。但同时 b ≤ S-1。因此对于任何特定的 a 值b 的值可以在 S-a1 到 S-1 之间变化。 因此可能的 b 的总数是 (S-1)-(S-a) a-1。 (vii) 找到任何大于等于 6 的偶数 P 的 f(P) 的表达式 让 (a, b, P-a-b) 是和为 P 的三元组其中 P 是偶数且不小于 6。根据第三部分和第五部分我们知道 a 可以从 2 变到 S - 1而根据第六部分对于每个这样的 a 值都有 a-1 个 b 值。 所以我们的 f(P) 的表达式可以如下推导 (viii) 找到 f(21) 根据第四部分f(21) f(24)。由于 24 是偶数且大于 6我们可以使用第七部分的新公式取 S 12得到答案是 55。 让我们使用Python 和 R 中的一个简单计数函数来双重检查 Python def n_triangular_triples(P): check [] for a in range(1, P 1): for b in range(1, P - a 1): if P - a - b 0: sorted_triplet sorted([a, b, P - a - b]) if sum(sorted_triplet) P and sorted_triplet[0] sorted_triplet[1] sorted_triplet[2]: check.append(1) return sum(check)# 测试 P 21result n_triangular_triples(21)print(result) R # 简单计算和为 P 的三元组的函数n_triangular_triples - function(P) { check - c() for (a in 1:P) { for (b in 1:(P - a)) { if (P - a - b 0) { sorted - sort(c(a, b, P - a - b)) if ((sum(sorted) P) (sorted[1] sorted[2] sorted[3])) { check - append(check, 1) } } } } sum(check)} # 测试 P 21n_triangular_triples(21)[1] 55 当然我们还可以使用我们的新公式来计算更大的 P 的 f(P)。 例如f(997) f(1000) 124,251。 我们可以使用 Python或R 中的函数来检查如果您愿意等待几秒钟让它遍历所有可能的三元组。 n_triangular_triples(997)[1] 124251 GPT4 在这方面的表现如何 并不好尽管它渴望解释三角不等式定理但如下所示它的表现并不理想。我提出了三次问题得到的答案分别是 100、22 和 190。看来真正的智能没有替代品 您对这个问题有何看法欢迎发表评论。 本文由 mdnice 多平台发布
