“平行的两条直线……永不……相交……霍尔,你为什么不记呢?”
“我在想。”
“想什么呢?”
“为什么它们不会相交呢?”
“为什么?我不是已经讲过,因为它们是平行的呀。”
“那么,要是把它们延长到一公里,也不会相交吗?”
“当然啦。”
“要是延长两公里呢?”
“也不会相交的。”
“要是延长到五千公里,它们就会相交了吧?”
“不会的。”
“有人试验过吗?”
“这道理本来就很清楚,用不着试验,因为这是一条公理。霍尔,你说说,什么叫公理。”
“公理就是不需要证明的真理。”
“对,霍尔,”老师说,“坐下吧……现在你明白了吧?”
“这我懂得,就是不懂得为什么它们不会相交。”
“就因为这是一条公理,是不需要证明的真理呀。”
“那么,不论什么定理都可以叫做公理,就也都用不着证明了,是吗?”
“不是任何一条定理都可以叫做公理。”
“那么为什么这一条定理就可以叫做公理呢?”
“咳,你多固执啊……喂,霍尔,听我说,你今年多大了?”
“11岁。”
“明年是多少岁?”
“12岁。”
“再过一年呢?”
“13岁。”
“你瞧,每个人每年都要长一岁,这也是一条公理。”
“要是这个人突然一下子死掉了呢?”“那又怎么样?”
“一年后他不就长不了一岁了吗?”
“这是例外情况。你别从我的话中找碴了,我还可以给你举出别的例子,甚至可以举出成千上万的例子来说明;不过,这没必要,因为公理是不用证明的。”
“那要不是公理呢?”
“那是什么?”
“要是定理,就需要证明了吧?”
“那是需要的。可我们现在说的是公理。”
“为什么是公理呢?”
“因为这是欧几里得说的。”
“要是他说错了呢?”
“你大概以为欧几里得比你还蠢吧?”