灯下 登录
数学 / 几何原本 / Proposition XII.15

第12卷命题 15 · 等锥柱底高互反定理

In equal cones and cylinders the bases are reciprocally proportional to the heights; and those cones and cylinders in which the bases are reciprocally proportional to the heights are equal.

在相等的圆锥和圆柱中,底面与高成反比;反之,底面与高成反比的圆锥和圆柱相等。

WebGL 场景待加载。不可用时请使用右侧热点列表。
3D scene fallback
第12卷命题 15 · 等锥柱底高互反定理 · 3D 示意 本页以“等锥柱底高互反定理”整体图解辅助阅读;点、线、角、圆索引已按命题文字和证明步骤校订,可与证明和问答联动。(已改为 3D 线框/截面示意,点位沿用原命题字母。)
分步证明Step-by-step proof
1 / 4
  1. Let there be equal cones and cylinders of which the circles ABCD, EFGH are the bases; let AC, EG be the diameters of the bases, and KL, MN the axes, which are also the heights of the cones or cylinders; let the cylinders AO, EP be completed. I say that in the cylinders AO, EP the bases are reciprocally proportional to the heights, that is, as the base ABCD is to the base EFGH, so is the height MN to the height KL. For the height LK is either equal to the height MN or not equal. First, let it be equal.

    设两圆柱AO和EP底面分别为圆ABCD和EFGH,高分别为KL和MN,且两圆柱相等。若高相等,则由XII.11,底面相等,故底与高成反比。

  2. Now the cylinder AO is also equal to the cylinder EP. But cones and cylinders which are of the same height are to one another as their bases; [XII. 11] therefore the base ABCD is also equal to the base EFGH. Hence also, reciprocally, as the base ABCD is to the base EFGH, so is the height MN to the height KL. Next, let the height LK not be equal to MN, but let MN be greater; from the height MN let QN be cut off equal to KL, through the point Q let the cylinder EP be cut by the plane TUS parallel to the planes of the circles EFGH, RP, and let the cylinder ES be conceived erected from the circle EFGH as base and with height NQ.

    若高不等,设MN>KL,在MN上截取QN=KL,过Q作平面平行于底面截圆柱EP得圆柱ES。因AO=EP,故AO:ES=EP:ES。

  3. Now, since the cylinder AO is equal to the cylinder EP, therefore, as the cylinder AO is to the cylinder ES, so is the cylinder EP to the cylinder ES. [V. 7] But, as the cylinder AO is to the cylinder ES, so is the base ABCD to the base EFGH, for the cylinders AO, ES are of the same height; [XII. 11] and, as the cylinder EP is to the cylinder ES, so is the height MN to the height QN, for the cylinder EP has been cut by a plane which is parallel to its opposite planes. [XII. 13] Therefore also, as the base ABCD is to the base EFGH, so is the height MN to the height QN. [V. 11] But the height QN is equal to the height KL; therefore, as the base ABCD is to the base EFGH, so is the height MN to the height KL.

    由XII.11,AO:ES=底ABCD:底EFGH;由XII.13,EP:ES=高MN:高QN。因此底ABCD:底EFGH=高MN:高QN=高MN:高KL。

  4. Therefore in the cylinders AO, EP the bases are reciprocally proportional to the heights. Next, in the cylinders AO, EP let the bases be reciprocally proportional to the heights, that is, as the base ABCD is to the base EFGH, so let the height MN be to the height KL; I say that the cylinder AO is equal to the cylinder EP. For, with the same construction, since, as the base ABCD is to the base EFGH, so is the height MN to the height KL, while the height KL is equal to the height QN, therefore, as the base ABCD is to the base EFGH, so is the height MN to the height QN But, as the base ABCD is to the base EFGH, so is the cylinder AO to the cylinder ES, for they are of the same height; [XII. 11] and, as the height MN is to QN, so is the cylinder EP to the cylinder ES; [XII. 13] therefore, as the cylinder AO is to the cylinder ES, so is the cylinder EP to the cylinder ES. [V. 11] Therefore the cylinder AO is equal to the cylinder EP.

    反之,设底ABCD:底EFGH=高MN:高KL。取QN=KL,同上构造ES。则底ABCD:底EFGH=AO:ES,且高MN:高QN=EP:ES,故AO:ES=EP:ES,因此AO=EP。