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

第3卷命题 17 · 过圆外一点作切线

elem.3.17

从给定点作一条直线与给定圆相切。

A B C D E F G
fig-1

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

线

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

分步证明Step-by-step proof
1 / 4
  1. Let A be the given point, and BCD the given circle; thus it is required to draw from the point A a straight line touching the circle BCD. For let the centre E of the circle be taken; [III. 1] let AE be joined, and with centre E and distance EA let the circle AFG be described; from D let DF be drawn at right angles to EA, and let EF, AB be joined; I say that AB has been drawn from the point A touching the circle BCD.

    设A为给定点,BCD为给定圆,取圆心E,连接AE。

  2. For, since E is the centre of the circles BCD, AFG, EA is equal to EF, and ED to EB; therefore the two sides AE, EB are equal to the two sides FE, ED: and they contain a common angle, the angle at E; therefore the base DF is equal to the base AB, and the triangle DEF is equal to the triangle BEA, and the remaining angles to the remaining angles; [I. 4] therefore the angle EDF is equal to the angle EBA.

    以E为圆心、EA为半径作圆AFG,从D作DF垂直于EA,连接EF和AB。

  3. But the angle EDF is right; therefore the angle EBA is also right.

    由于EA=EF,ED=EB,且角AED为公共角,故三角形DEF全等于三角形BEA,得角EDF等于角EBA。

  4. Now EB is a radius; and the straight line drawn at right angles to the diameter of a circle, from its extremity, touches the circle; [III. 16, Por.] therefore AB touches the circle BCD.

    角EDF为直角,故角EBA也为直角;EB为半径,过半径外端且垂直于半径的直线与圆相切,因此AB与圆BCD相切。