“也不会相交的。”
“要是延长到五千公里,它们就会相交了吧?”
“不会的。”
“有人试验过吗?”
“这道理本来就很清楚,用不着试验,因为这是一条公理。霍尔,你说说,什么叫公理。”
“公理就是不需要证明的真理。”
“对,霍尔,”老师说,“坐下吧……现在你明白了吧?”
“这我懂得,就是不懂得为什么它们不会相交。”
“就因为这是一条公理,是不需要证明的真理呀。”
“那么,不论什么定理都可以叫做公理,就也都用不着证明了,是吗?”
“不是任何一条定理都可以叫做公理。”
“那么为什么这一条定理就可以叫做公理呢?”
“咳,你多固执啊……喂,霍尔,听我说,你今年多大了?”
“11岁。”
“明年是多少岁?”
“12岁。”
“再过一年呢?”
“13岁。”
“你瞧,每个人每年都要长一岁,这也是一条公理。”
“一年后他不就长不了一岁了吗?”
“这是例外情况。你别从我的话中找碴了,我还可以给你举出别的例子,甚至可以举出成千上万的例子来说明;不过,这没必要,因为公理是不用证明的。”
“那要不是公理呢?”
“那是什么?”
“要是定理,就需要证明了吧?”
“那是需要的。可我们现在说的是公理。”
“为什么是公理呢?”
“因为这是欧几里得说的。”
“要是他说错了呢?”
“你大概以为欧几里得比你还蠢吧?”
“不,我并不这样认为。”
“那为什么你还要强辩呢?”
“我没有强辩,我只是在想,为什么两条平行直线不能相交。”
“因为它们不会相交,也不可能相交,整个几何学就是建立在这个基础上的。”
“这么说,只要两条平行直线一相交,整个几何学就不能成立了?”
“那当然,但它们终究不会相交……你瞧,我在黑板上画给你看……怎么样,相交了没有?”
“暂时没有。”
“好,你再看,我在墙上接着画……相交了没有?”
“没有。”
“你还要怎样呢?”