灯下 登录
数学 / 几何原本 / Proposition IV.3

第4卷命题 3 · 圆外切三角形与给定三角形等角

elem.4.3

给定一个圆和一个三角形,求作该圆的外切三角形,使其与给定三角形等角。

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

圆 ABC 圆心 K,A、B、C 为切点;过三点作切线 LM、MN、NL,外切三角形 LMN 与给定三角形 DEF 等角;DEF 在右侧作参照,EF 延长至 G、H。

线

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

分步证明Step-by-step proof
1 / 4
  1. Let ABC be the given circle, and DEF the given triangle; thus it is required to circumscribe about the circle ABC a triangle equiangular with the triangle DEF. Let EF be produced in both directions to the points G, H, let the centre K of the circle ABC be taken [III. 1], and let the straight line KB be drawn across at random; on the straight line KB, and at the point K on it, let the angle BKA be constructed equal to the angle DEG, and the angle BKC equal to the angle DFH; [I. 23] and through the points A, B, C let LAM, MBN, NCL be drawn touching the circle ABC.

    延长三角形DEF的边EF至G、H,取圆心K,任作直线KB。

  2. [III. 16, Por.] Now, since LM, MN, NL touch the circle ABC at the points A, B, C, and KA, KB, KC have been joined from the centre K to the points A, B, C, therefore the angles at the points A, B, C are right. [III. 18] And, since the four angles of the quadrilateral AMBK are equal to four right angles, inasmuch as AMBK is in fact divisible into two triangles, and the angles KAM, KBM are right, therefore the remaining angles AKB, AMB are equal to two right angles.

    在KB上以K为顶点作角BKA等于角DEG,角BKC等于角DFH。

  3. But the angles DEG, DEF are also equal to two right angles; [I. 13] therefore the angles AKB, AMB are equal to the angles DEG, DEF, of which the angle AKB is equal to the angle DEG; therefore the angle AMB which remains is equal to the angle DEF which remains. Similarly it can be proved that the angle LNB is also equal to the angle DFE; therefore the remaining angle MLN is equal to the angle EDF.

    过A、B、C作圆的三条切线LAM、MBN、NCL。

  4. [I. 32] Therefore the triangle LMN is equiangular with the triangle DEF; and it has been circumscribed about the circle ABC.

    由切线性质及四边形内角和,推得三角形LMN与DEF等角。