拉扎尔·卡诺这个名字约瑟夫倒也听说过,不过并不是在历史课上——毕竟,约瑟夫上辈子的历史是跟着体育老师学的。事实上,约瑟夫最开始是从数学老师和物理学老师那里听到他的名字的。
数学老师在提到“完全四边形”的概念的时候提到过他,不过对他并没有更多的介绍。物理老师则是在讲热力学的时候,提到了另一位卡诺——萨迪·卡诺,并由此扯到萨迪·卡诺的老爹是数学家、军事家,而他的侄儿当过法国总统。(指的是第二共和国的第三任总统玛利·弗朗索瓦·萨迪·卡诺)。
后来,约瑟夫在某一部描写法国大革命时期的故事的电影中也看到过拉扎尔·卡诺的形象。在那部电影中,拉扎尔·卡诺是一个反对罗伯斯庇尔的阴谋集团中重要的一员。而且也是这个集团中唯一的公开反对罗伯斯庇尔的人。而奇怪的是,杀人魔王罗伯斯庇尔却一直没有把他送到断头台上去,甚至连把他送上断头台的想法都没有。在那部电影中,反倒是当卡诺等人将罗伯斯庇尔送上断头台之后,新建立起来的政府倒是差点顺手把卡诺给砍了。直到一个人说:“砍了卡诺,谁来给我们组织军队?”
这就是约瑟夫对拉扎尔·卡诺的全部了解了。相形之下,约瑟夫对拉扎尔的那位还没出生的,在后世创立了热力学的儿子的了解恐怕还要更多一些。
但是真正了解法国大革命的历史的人却知道,拉扎尔·卡诺绝对是大革命中的风云人物。他也是少有的,从王国到共和国再到帝国都能一直稳稳地待在中央,掌握权力的大人物之一。
在这段时间里,能像这样屹立不倒的人只有三个。其中的两个都是著名的变色龙,他们屹立不倒,靠的是察言观色和见风使舵。
但是拉扎尔却不是,他一直是不讨人喜欢的共和派。在罗伯斯庇尔当权的时候,他公开和罗伯斯庇尔唱反调,在拿破仑称帝的时候,他公开发表演说反对帝制。无论是罗伯斯庇尔,还是拿破仑,其实都不喜欢他,但是他们却不得不依赖他。(当年督政府一度驱逐了他,结果军队的后勤组织立刻就乱成了一团)因为整个的法**队,都是在他的手中组织起来的。甚至有人说,如果没有卡诺的努力,就不会有拿破仑手下的那支横扫欧洲的大军。从某种意义上来说,拉扎尔·卡诺就是近代法**队之父。
卡诺对于几何学也相当的有研究,这时候又正好有空闲,两个人便就一些数学问题聊了起来。这一聊,约瑟夫就发现,卡诺居然也掉进了他给马拉挖的那个陷阱。
“波拿巴先生,对于那个‘四色问题’,您最近有什么新的思路吗?”卡诺问道。
“啊?这个问题?”约瑟夫吃了一惊,因为他抛出那个问题之后,就根本没有再思考过这个问题了。因为他知道,这个问题虽然可以证明,但是它的证明过程过度的复杂繁琐,以至于根本不是人类能够完成的。(这个问题的论证,是靠计算机完成的。在证明的过程中,计算机完成了一百亿个判断。)如今卡诺突然问道这个问题,倒是让他吃了一惊。
“我有一点思路,但是在推进的时候,却遇到了一个大麻烦,然后就一点进展都没有了。”约瑟夫回答道,“要不然,我就写论文去拿奖金了。要知道,前一段时间面包贵的出奇。”
“我也有过一点思路,但也一样,刚开头就进行不下去了。我当时是这样想的……”卡诺一边说,一边伸手从茶杯里蘸了水,在茶几上画了起来。
约瑟夫大致的看了一下,卡诺的思路其实并不错,他认为,这个问题的实质就是在平面或者球面无法构造有五个或者五个以上的两两相连的区域。但是紧接着他就遇到了无法解决的问题:构型的情况太多,无法一一解决。
“这和我想的差不多。”约瑟夫说,“不过我还有另外的一点想法……”
约瑟夫便将“可约性”的概念也拉了过来,讲了半天,然后说:“但是……面对的构型还是太多,多到数都数不完,更不要说证明了。我感觉,我要是一个构型一个构型的去证明,那几乎就像是在一锄头一锄头的想要挖掉阿尔卑斯山。”
两个人便一起笑了起来。他们也都明白,这个问题短时间之内,肯定是解决不了的了。便不再谈论这个问题,转而聊起了其他的事情。