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

第12卷命题 9 · 等底三角锥底高互反

In equal pyramids which have triangular bases the bases are reciprocally proportional to the heights; and those pyramids in which the bases are reciprocally proportional to the heights are equal.

若两个底面为三角形的棱锥体积相等,则它们的底面与高成反比;反之,若底面与高成反比,则体积相等。

WebGL 场景待加载。不可用时请使用右侧热点列表。
3D scene fallback
第12卷命题 9 · 等底三角锥底高互反 · 3D 示意 本页以“等底三角锥底高互反”整体图解辅助阅读;点、线、角、圆索引已按命题文字和证明步骤校订,可与证明和问答联动。(已改为 3D 线框/截面示意,点位沿用原命题字母。)
分步证明Step-by-step proof
1 / 4
  1. For let there be equal pyramids which have the triangular bases ABC, DEF and vertices the points G, H; I say that in the pyramids ABCG, DEFH the bases are reciprocally proportional to the heights, that is, as the base ABC is to the base DEF, so is the height of the pyramid DEFH to the height of the pyramid ABCG. For let the parallelepipedal solids BGML, EHQP be completed. Now, since the pyramid ABCG is equal to the pyramid DEFH, and the solid BGML is six times the pyramid ABCG, and the solid EHQP six times the pyramid DEFH, therefore the solid BGML is equal to the solid EHQP. But in equal parallelepipedal solids the bases are reciprocally proportional to the heights; [XI. 34] therefore, as the base BM is to the base EQ, so is the height of the solid EHQP to the height of the solid BGML.

    设等积三角锥ABCG和DEFH,补成平行六面体BGML和EHQP。

  2. But, as the base BM is to EQ, so is the triangle ABC to the triangle DEF. [I. 34] Therefore also, as the triangle ABC is to the triangle DEF, so is the height of the solid EHQP to the height of the solid BGML. [V. 11] But the height of the solid EHQP is the same with the height of the pyramid DEFH, and the height of the solid BGML is the same with the height of the pyramid ABCG, therefore, as the base ABC is to the base DEF, so is the height of the pyramid DEFH to the height of the pyramid ABCG.

    因锥等积,且各为相应六面体的六分之一,故两六面体等积。

  3. Therefore in the pyramids ABCG, DEFH the bases are reciprocally proportional to the heights. Next, in the pyramids ABCG, DEFH let the bases be reciprocally proportional to the heights; that is, as the base ABC is to the base DEF, so let the height of the pyramid DEFH be to the height of the pyramid ABCG; I say that the pyramid ABCG is equal to the pyramid DEFH. For, with the same construction, since, as the base ABC is to the base DEF, so is the height of the pyramid DEFH to the height of the pyramid ABCG, while, as the base ABC is to the base DEF, so is the parallelogram BM to the parallelogram EQ, therefore also, as the parallelogram BM is to the parallelogram EQ, so is the height of the pyramid DEFH to the height of the pyramid ABCG.

    由等积六面体性质(XI.34),底面BM与EQ之比等于高EHQP与高BGML之比。又BM:EQ等于三角形ABC:DEF(I.34),故ABC:DEF等于高DEFH:高ABCG。

  4. [V. 11] But the height of the pyramid DEFH is the same with the height of the parallelepiped EHQP, and the height of the pyramid ABCG is the same with the height of the parallelepiped BGML; therefore, as the base BM is to the base EQ, so is the height of the parallelepiped EHQP to the height of the parallelepiped BGML. But those parallelepipedal solids in which the bases are reciprocally proportional to the heights are equal; [XI. 34] therefore the parallelepipedal solid BGML is equal to the parallelepipedal solid EHQP. And the pyramid ABCG is a sixth part of BGML, and the pyramid DEFH a sixth part of the parallelepiped EHQP; therefore the pyramid ABCG is equal to the pyramid DEFH.

    反之,若ABC:DEF等于高DEFH:高ABCG,则BM:EQ等于高EHQP:高BGML,故六面体等积,从而锥等积。