一:任意两个点可以通过一条直线连接。
二:任意线段能无限延伸成一条直线。
三:给定任意线段,可以以其一个端点作为圆心,该线段作为半径作一个圆。
四:所有直角都全等。
给出公设:
一:通过一个不在直线上的点,有且仅有一条不与该直线相交的直线。
给出定义:直线,线段,角,多边形,圆等等,这些只是本问题的前提假设,请问你可以理解么?”
“可以,当然可以。”
“好的,那么我将提出我的问题:
在锐角三角形ABC中,I是内心,AB不等于AC,三角形ABC的内切圆o与边BC,CA和AB分别相切于点D,E和F。过点D且垂直于EF的直线与o的另一交点为R,直线AB与o的另一交点为P,三角形PCE和三角形PBF的外接圆交于另一点Q。
请证明:直线DI与直线PQ的交点在过点A且垂直于AI的直线上。”
龙骸倒吸了一口冷气:“这是什么?”
“是证明题,你要想办法证明我说的是对的。”
“可是我都没听懂你在讲什么?”
“没事,题目就在你的头顶上,有什么没听清楚的,你可以抬头看。”
龙骸下意识的抬头看去,眼睛里就只有“请证明:直线DI与直线PQ的交点在过点A且垂直于AI的直线上”这句话。看怎么看,都怎么不明白这句话到底是什么意思。
“我要怎么证明?”
“我不是给了你四个公理和一个公设么?”
“嗯哼?”
“从那五条出发,就可以推出我问的问题,是成立的。要证明的东西,就一定是真的。我劝你还是快证明吧,毕竟我在吐出了问题之后就已经开始计时了。”
这就是白夜明想到的的第一个可以对抗拥有超级计算机般的古龍解决数学问题的强大能力的办法。那就是提出一些根本不需要计算量,只是要求智力和逻辑推理能力的问题。
而且这道题本身对于这个世界的人来讲就是极不公平的,因为这个世界的人们根本就没有受到过欧氏几何证明题的任何训练,甚至于连基本的素养都没有。
他们是无论如何不可能在15分钟,甚至不可能在整个三个小时之内,对于这样的题能拥有什么正确的思路。白夜明自然也不会大发慈悲的告诉他们,他们应该从什么角度去入手,去推出什么什么什么样的定理。
这事白夜明准备好的第一个杀手锏,而也是他比较没有信心的一个杀手锏,所以就在这里先拿出来试探一下龙骸到底能不能成功地解决。