Question

一笔画问题的规律证明

Answer 1

先定义能一笔画出并回到起点的图为欧拉图，连通就是说任意两个节点之间可以找到一条连接它们的线。这个要求看来很重要，直观方法中与这一点对应的是说原图本身不能是分成多个的 设G为一欧拉图，那么G显然是连通的。另一方面，由于G本身为一闭路径，它每经过一个顶点一次，便给这一顶点增加度数2，因而各顶点的度均为该路径经历此顶点的次数的两倍，从而均为偶数。反之，设G连通，且每个顶点的度均为偶数，欲证G为一欧拉图。为此，对G的边数归纳。当m = 1时，G必定为单结点的环，显然这时G为欧拉图。设边数少于m的连通图，在顶点度均为偶数时必为欧拉图，现考虑有m条边的图G。设想从G的任一点出发，沿着边构画，使笔不离开

图且不在构画过的边上重新构画。由于每个顶点都是偶数度，笔在进入一个结点后总能离开那个结点，除非笔回到了起点。在笔回到起点时，它构画出一条闭路径，记为H。从图G中删去H的所有边，所得图记为G’，G’未必连通，但其各顶点的度数仍均为偶数．考虑G的各连通分支，由于它们都连通，顶点度数均为偶数，而边数均小于m，因此据归纳假设，它们都是欧拉图。此外，由于G连通，它们都与H共有一个或若干个公共顶点，因此，它们与H一起构成一个闭路径。这就是说，G是一个欧拉图。 1736年，欧拉证实：七桥问题的走法根本不存在。同时，他发表了“一笔画定理”：一个图形要能一笔画完成必须符合两个条件，即图形是封闭联通的和图形中的奇点（与奇数条边相连的点）个数为0或2。
欧拉的研究开创了数学上的新分支――拓扑学的先声。