手机浏览器扫描二维码访问
在心中暗暗感慨了一番,姜子淳收起心思,开始继续看书。
看完了前面的定义部分,接下来则是五条公设:
1、两点可作一条直线,也只可以作一条直线。
2、直线可以向两端无限延伸。
3、以定点为圆心,定长线段为半径可以作圆。
4、凡直角都相等。
5、同平面内一直线与两条直线相交,若在同侧的两内角之和小于两直角,则这两条直线无限延长之后在该侧相交。
完了之后是五条在几何上可以轻易得出的公理:
1、等于同量的量也彼此相等。
2、等量加等量,其和相等。
3、等量减等量,其差相等。
4、彼此重合的东西彼此相等。
5、整体大于部分。
公理完了就是命题。
读到最后这一部分的时候,尽管姜子淳早都已经有了心理准备,但是当她看到第一个命题的证明部分,还是有那么一丢丢无语。
她脱口而出:“这还需要证?而且居然还能这么证?”
只见命题一写道:一条直线不可能一部分在平面内,而另外一部分在平面外。至少有两个点在平面内
“假设可以,那么可以很自然的推出和公设一相违背的结论,所以假设自然错误,从而证明原命题正确?
这个,好像也都道理啊!
嗯大师将这种方法称为反证法。倒也贴切!”
命题二:两条相交直线,在一个平面内,那么它们所构成的三角形也在同一个平面。
命题三讨论的是圆相交的问题。
直到命题四,才是原来几何原本的第一个命题,即:已知一条线段,可作一个等边三角形。
这里路明远为了让原来书里的第一个命题推理过程显得更加合理,所以调整了内容的顺序,也增加了一些命题。
他参考的是希尔伯特的几何基础。
至于为什么不上这本几何基础?
主要是这位大神写书的时候压根没考虑过初学者,或者说高估了大众的智商和知识水平,里面很多证明都是“证明:略”的程度。
路明远也实在不好把这本书弄出来。
而几何原本就非常适合作为初学教材。并且这点也是实践认证过的。
上一世的时候,这本书可是做了两千多年的几何标准教科书呢。
甚至直到路明远来到这个世界的时候,初高中年级的几何内容还大多是出自这本书的。
也因此,人们把属于几何原本内容的几何学叫做欧几里得几何学,或者简称为欧氏几何。
当然,因为成书过于久远、时代所限的缘故,后世已经发现了书里的一部分不太合理的地方,比如第一个命题。
不过对此,路明远也都进行了相应的改正。争取能更完善一些。
在姜子淳沉迷于几何书中那严密的逻辑推演中的时候,无独有偶,世界上所有有条件的人都做出了同样的选择。
不论他们是何身份?
我真的只是一个中医 诸天无限从特殊契约者开始 末日重生:我选择拯救世界 紫海之外 从碧蓝之海开始的mygo 刘天仙求我别作,夫债妻偿很累 阁下很强,但我的画风在你之上! 青灯不归江湖客 杀生就能变强,我无敌了! 记清欢 都市:我救世主身份被重生者曝光 邪祟修仙,从药铺学徒开始 我在大元有亩地 重生:开局借了校花700万! 在修仙界当救世主 我有一颗世界种子 表白你不愿意,我追别人你哭什么 我有一个武学加载器 枪火,朋克与死灵大师 宿主今天又被迫营业
快穿炮灰有真爱简介emspemsp快穿炮灰有真爱是钞票的经典其他类型类作品,快穿炮灰有真爱主要讲述了白如梦渡劫失败了不说,还悲催的被系统捕捉了灵魂。什么?要钞票最新鼎力大作,年度必看其他类型。禁忌书屋提供快穿炮灰有...
犬科男友简介emspemsp关于犬科男友小狼狗和小奶狗,一个不像话,一个没出息。狼狗篇男孩第一次见到那个男人的时候,才8岁,男人是风头正盛炙手可热的明星,比他大15岁,穿一件丝绸睡衣。10年后,男孩长成了少年,而父亲,甩掉了这个已经厌倦的男人。那一天,少年拎着书包疯跑出去,满城疯找,第一次给男人主动打电话,发微信。以前满城都是男人的海报,现在满城的人都遗忘了他。终于男人接了他的电话,告诉少年自己正在租住的房子里打包行李,要回老家了。少首发po18nlpo1⒏υip...
太虚化龙篇简介emspemsp关于太虚化龙篇有朝一日,龙升九天,遨游万界。龙即是我,我即为龙庄冥。首发danmeiwenclubpo1⒏υip...
修仙者李素素是系统为玄仙大陆安排的工具人,为了拯救徒子徒孙,她选择牺牲自己。没想到死后却穿进了雌性稀少的兽世大陆,成为幸存的虫族雌性,还绑定了强大的兽世生子系统。但此时她的生命值只剩下可怜的1点。系统只要生下幼崽,就能获得生命值,溢出的生命值还能兑换任何你想要的奖励。于是,李素素决定把握机会,和美人弟弟生一窝小崽...
我的校花老婆简介emspemsp一个隐身都市的高手少年,无意间和一个年仅18岁的最美校花发生了暧昧关系,为还情债,他只得以身相许,本欲平凡的他,却招来各种事端,和敌人斗,被美女泡,从此开启了暧昧旖旎的人生。emspemsp虽然已经有一个...
不败战神(又名第一战神)简介emspemsp关于不败战神(又名第一战神)独家首发,领先24小时更新都市无敌战神修罗战神逍遥战神超级战神在都市家族被毁,产业被霸,亲人被辱而死,豪门战神归来!今日,我已有能力护住亲人,可恨亲人已...