<正>一、试证第五公设与罗氏几何的创立欧几里得的《几何原本》问世以后,人们发现,欧氏第5公设叙述冗长,不像其他公设那么简明,很像是一个定理.于是数学家们想证明第5公设,希望从欧氏的其他公设和公理出发,推导出第5公设来.《几何原本》的第5公设Ⅴ:(在一平面上)若一直线与二直线相交,且若同侧所交两内角之和小于两直角,则两直线无限延长后必相交于该侧的一点(如图1).