实验一 数字填图问题.ppt

实验一　数字填图问题 问题一 问题二 问题三 问题四 问题五 练习题 相关连接 费马大定理 相关连接 四色问题 1. 一道竞赛题（以下称“原问题”） 1998年4月香港数理教育学会主办的初中数学竞赛有这样一道试题： 在下面的加法算式中，每个□表示一个数字都不相同，那么Ａ与Ｂ的乘积的最大值是多少？ □ 　　□□　　 ＋□□□ 　　————　 　□□ＡＢ 解答：最大值是15。你能给出逻辑推理解法并用计算机加以验证吗？ 2. 满足原问题题意的不同的加法算式(竖式)共有多少个？ 解答：本问题有60个不同竖式(解).试给出逻辑推理解法并用计算机加以验证。 3. 如果在原问题中删除条件:“任意两个数都不相同”,则满足题意的不同的加法算式(竖式)共有多少? 解答：本问题是一个有约束条件的全排列问题. 答案是：48195个！试给出逻辑推理解法并用计算机加以验证。 注：假如在本问题中允许三个“加数”与“和数”均可以由数字0作为开头,去掉“任意两个数字都不相同”这个条件限制,本问题则变成一个真正的全排列问题.在 中,“和数” 是被动的。 由　　　　　　　　　　　　　 问题有　 个解. 4. 假如违反常规,允许三个“加数”与“和数”均可以由数字0作为开头,保留条件:“任意两个数字都不相同”,则满足原问题题意的不同的加法算式(竖式)共有多少个？ 解答：本问题共有228个解,即在练习2有60个不同竖式(解)的基础上再增加168个解.试给出逻辑推理解法并用计算机加以验证. 5. 验证本实验中的“问题四” 、“问题五”的结论.能否给出相应的推理解法？ 解答: 非常困难!不妨一试.你是否发现运用计算机模拟解决本问题,已超过运用逻辑推理解决本问题? 答案是110个？是118个？是其他的数字？为什么？ 6. 设 表示是个互不相同的数字,问:方程(注意:组成分数的四个数的第一位数字不能为0) 共少有多少个解？ 　　17世纪法国数学家费马在丢番图(Diophantine)著作的一页边上写下一个猜测“当正整数 时,不定方程 没有非零整数解.”后人称此猜想为费马大定理. 费马接着写道:“对此,我已发现了一个巧妙的证明,可惜这里页边的空白太小，写不下.”费马去世之后,他的儿子把费尔马的著述、书信以及费马校订丢番图的著作都一起发表了,但没有发现费马大定理的证明，费马是否真正能够证明这个猜想,至今仍然是个谜. * 　　数学填图问题是数学问题的一种趣味形式。早在19世纪后半期，一些数学家就在报刊中大量使用数字填图游戏和字谜游戏等，目的是使业余爱好这也能通过简单的形式去认识、理解和琢磨深奥的数学问题。 数学问题一般都经过严格的逻辑证明才得以解决。而逻辑证明是指从一些公理出发，经过逻辑推理来证明问题。而所谓计算机证明是指充分发挥计算机计算速度快和会“推理”的特点，用计算机程序模拟解题或进行穷举检验，最后得到问题的解。 我们先从一个简单的问题出发来谈谈数字填图问题的两种解法．然后通过几个稍复杂问题的探究,从中展示逻辑推理的严格以及计算机解法的魅力，启迪我们去解决更复杂的问题. 能否用计算机来证明数学问题的争论可能会持续一个相当长的时间，本实验旨在通过生活中几个常见的数学填图问题的探究，谈谈这类问题的逻辑推理解法和计算机解法。 【实验内容】 注:在本实验中,将表达式 理解为　 ,即　　　 在图1的几个加法等式中,每个□表示一个非零数字,任意两个数字都不同,问有多少个解？ □＋□＝□，□＋□＝□，□＋□＝□0 图1 【逻辑解法】 为简洁起见,将它的３个式子记作: 若问题有解,则显然有 且 故 即　　　 故 　　　或 考虑到 互不相同,当要求 时,有如下４组解（见下表）： 10 7 3 8 6 2 9 5 4 (4) 10 6 4 8 5 3 9 7 2 (3) 10 7 3 9 5 4 8 6 2 (2) 10 6 4 9 7 2 8 5 3 (1) 注:本问题实际上仅有2个解是本质的,即表中的第2,3行和第4,5行所代表的解仅是位置不同而已.如不要求 ,则解的个数是 个. 　　　　　　 　　为验证此结果,可用数学软