灯下 登录
数学 / 几何原本 / Proposition III.8

第3卷命题 8 · 圆外一点引线长短比较

elem.3.8

若在圆外取一点,从该点向圆内引直线,其中一条过圆心,其余任意引,则落在凹弧上的直线中,过圆心的最长,其余中靠近过圆心的直线总比远离的长;但落在凸弧上的直线中,该点与直径之间的直线最短,其余中靠近最短的总比远离的短,且从该点向圆只能引两条相等的直线,分别位于最短直线的两侧。

A B C D E F G H K L M N O
fig-1

本页以“圆外一点引线长短比较”整体图解辅助阅读;点、线、角、圆索引已按命题文字和证明步骤校订,可与证明和问答联动。

线

正文图形由校订坐标生成;点、线、角、圆可与证明和问答联动。

分步证明Step-by-step proof
1 / 4
  1. Let ABC be a circle, and let a point D be taken outside ABC; let there be drawn through from it straight lines DA, DE, DF, DC, and let DA be through the centre; I say that, of the straight lines falling on the concave circumference AEFC, the straight line DA through the centre is greatest, while DE is greater than DF and DF than DC. ; but, of the straight lines falling on the convex circumference HLKG, the straight line DG between the point and the diameter AG is least; and the nearer to the least DG is always less than the more remote, namely DK than DL, and DL than DH. For let the centre of the circle ABC be taken [III. 1], and let it be M; let ME, MF, MC, MK, ML, MH be joined. Then, since AM is equal to EM, let MD be added to each; therefore AD is equal to EM, MD. But EM, MD are greater than ED; [I. 20] therefore AD is also greater than ED.

    设圆ABC,圆外一点D,过圆心M引直线DA,其余直线DE、DF、DC。连接ME、MF、MC。因AM=EM,加MD得AD=EM+MD,而EM+MD>ED,故AD>ED。

  2. Again, since ME is equal to MF, and MD is common, therefore EM, MD are equal to FM, MD; and the angle EMD is greater than the angle FMD; therefore the base ED is greater than the base FD. [I. 24] Similarly we can prove that FD is greater than CD; therefore DA is greatest, while DE is greater than DF, and DF than DC. Next, since MK, KD are greater than MD, [I. 20] and MG is equal to MK, therefore the remainder KD is greater than the remainder GD, so that GD is less than KD. And, since on MD, one of the sides of the triangle MLD, two straight lines MK, KD were constructed meeting within the triangle, therefore MK, KD are less than ML, LD; [I. 21] and MK is equal to ML; therefore the remainder DK is less than the remainder DL.

    因ME=MF,MD公共,且∠EMD>∠FMD,故底边ED>FD。同理FD>CD,故DA最长,DE>DF>DC。

  3. Similarly we can prove that DL is also less than DH; therefore DG is least, while DK is less than DL, and DL than DH. I say also that only two equal straight lines will fall from the point D on the circle, one on each side of the least DG. On the straight line MD, and at the point M on it, let the angle DMB be constructed equal to the angle KMD, and let DB be joined. Then, since MK is equal to MB, and MD is common, the two sides KM, MD are equal to the two sides BM, MD respectively; and the angle KMD is equal to the angle BMD; therefore the base DK is equal to the base DB.

    对于凸弧HLKG上的直线,因MK+KD>MD,且MG=MK,故KD>GD,即GD<KD。又三角形MLD内MK+KD<ML+LD,且MK=ML,故DK<DL。同理DL<DH,故DG最短,DK<DL<DH。

  4. [I. 4] I say that no other straight line equal to the straight line DK will fall on the circle from the point D. For, if possible, let a straight line so fall, and let it be DN. Then, since DK is equal to DN, while DK is equal to DB, DB is also equal to DN, that is, the nearer to the least DG equal to the more remote: which was proved impossible. Therefore no more than two equal straight lines will fall on the circle ABC from the point D, one on each side of DG the least.

    作∠DMB=∠KMD,连接DB。因MK=MB,MD公共,∠KMD=∠BMD,故DK=DB。假设另有DN=DK,则DB=DN,即靠近最短的等于远离的,与已证矛盾。故只能引两条相等直线,位于DG两侧。