文化伟人代表作图释书系:几何原本
上QQ阅读APP看书,第一时间看更新

命题I.2

从一个给定的点可以引一条线段等于已知的线段。

设:A为给定的点,BC为给定的线段。

求作:以A为端点的一条线段等于BC

连接A、B两点成线段AB(公设I.1);并以此作一个等边三角形DAB(命题I.1)

DA的延长线AΕ,DB的延长线BF(公设I.2);以B为圆心、BC为半径,作圆CGH(公设I.3),再以D为圆心、DG为半径,作圆GKL(公设I.3)

那么因为,B点是圆CGH的圆心,故BC等于BG

又,因为D点是圆GKL的圆心,故DL等于DG

因为DA等于DB,那么其余下部分AL等于BG(公理I.3)

同理可证:BC等于BG;于是线段AL等于BG等于BC

等量减等量,差相等(公理I.1)

所以:AL等于BC

所以:从给定的点A作出的线段AL等于给定的线段BC

证完

注解

这是一个聪明的作图法,用以解决看似简单的问题,滑动线段BC,以使其末端与A点重叠。但是在欧几里得的几何里,运动是并未涉及的领域。命题I.4仿佛也涉及运动,但实际上并没有什么真正移动过。在公设I.1、I.2、I.3中描述过基础的作图法。

命题的应用

这一命题仅应用在命题I.3的作图中。本图假定了所有的A点和线段BC位于一个平面内。