EUCLIDES AB OMNI NEVO VINDICATUS: 萨开利 51V包 CONATUS GEOMETRICUS (G.Saccheri, QUO STABILIUNTUR Prima ip upiverfz Geometriz Prineipia. 1667-1733,意 AUCTORE HIERONYMO SACCHERIO SOCIETATIS JESU 《澄清一切污点 In Ticinenfi Univerficate Mathefeos Profeffore. OPUSCULUM 的欧几里得建 EX.Mo SENATUI 立全部几何学的 MEDIOLANENSI 初步基础的尝试》 Ab Audtore Dicatum. ME D I O L A N I,M D CC XXX I I 1733 Ex Typogeaphia Fauli Antonii Moatsni.Suprriorum permig
‘萨开利四边形 假定∠A、∠B是直角，AC=BD,证明∠C和∠D是直角 (1)饨角假设：矛盾！ (2)锐角假设p和b在无穷远的公共点处有一公垂线 -结论不合情理！（一与平行公设等价） A A B
A B C D q p A b .
兰伯特 J.H.Lambert, 1728-1777. 瑞士
苣伯持 个裁缝儿子的成才艺路 1728年8月6日生于瑞士米卢滋（今属法国） 裁缝世家，12岁因家贫辍学做工 1748年做家庭教师，利用东家的藏书自学 1755年当选瑞士科学协会会员 1764年定居柏林，成为科学院院士 主要数学贡献：兀，e的无理性，画法几何，数论 连分数理论，平行公理
兰伯特的《平行线理论》 (1786) C B “任何一组假设如果不导致矛盾的话， 一定提供一种可能的几何。这种几何是 一种真的逻辑结构，一种特别的几何
？ A B C D