18世纪东普鲁士首府——哥尼斯堡,是当时名噪一时的宝地,不仅专门诞生伟大人物,如哲学家康德,还有网红景点普雷格尔河坐镇。
这条河横贯其境,可把全城分为下图3-1所示的四个区域:岛区(A)、东区(B)、南区(C)和北区(D)。
图3-1
其间还有七座别致的桥,横跨普雷格尔河及其支流,将四个区域连接起来,引得游客络绎不绝。游玩者都喜欢做这样一个尝试:如何不重复地走遍七桥,最后回到出发点。
然而,几乎每个尝试哥尼斯堡七桥问题的人,最后都精疲力竭,垂头丧气,他们发现不管怎么绕都会重复。
本来独眼巨人欧拉刚右眼失明,内心十分苦闷,但看到周围的居民竟都为这个问题如此抓耳挠腮,觉得很有意思。因为就算不用脚走,照样子画一张地图,把全部可能路线都尝试一遍也能把人整得心力交瘁,毕竟各种可能线路加起来有
种。
为解决这个问题,欧拉巧妙地把它化成了一个几何问题,将四个区域缩成4个点,以 ABCD 四个字母分别代替4个区域,然后桥化为边,得到了图3-2。
图3-2
再简化些,就变成图3-3。
图3-3
这样,难解的七桥问题瞬间摇身变为了孩子们最爱玩的一笔画问题,如果能在纸上一笔画完,又不重复的话,这个问题也就解决了。
整整一个下午,欧拉躲在屋子里闭门不出,桌上满是丢弃的纸团,复杂的线条像股杂绳。许久过后,沾满铅笔屑的手指终于离开了欧拉的脸颊,他迅速地再抽出一张白纸,写下:对于一个可以“一笔画”画出的图形,首先必须是连通的;其次,对于图形中的某个点,如果不是起笔点或停笔点,那么它若有一条弧线进笔,必有另一条弧线出笔,如图3-4所示。也就是说,交汇点的弧线必定成双成对,这样的点必定是偶点。
图3-4
而图形中的奇点(经过此点的线的条数为奇数的顶点),只能作为起笔点或落笔点,在此基础上,欧拉最终确立了著名的“一笔画原理”,即一个图形可以一笔画的充分必要条件是:
1. 所有点都连通
2. 奇点的个数为0或2
显然,从图3-3中,我们可以看到奇点的个数为4,不符合条件2。因而,多少年来,人们费尽心思试图寻找的经过七桥而不重复的路线,其实根本就不存在。
将七桥问题转化为一笔画问题,是一个把实际问题抽象成合适的“数学模型”的过程,这当中并不需要运用多么深奥的理论,但想到这一点,却是解决难题的关键。后来,我们将此种研究方法称为“数学模型方法”,而这也是欧拉作为18世纪最伟大的数学家,异于常人之处。