For a parabolic segment divided into equal parts, the outer trapezia have total area greater than one third of triangle EqQ.
把抛物线弓形等分后,外侧梯形总面积大于三角形 EqQ 的三分之一。
当前 figure schema 只画点、直线、圆和角;这里用弦 Qq、顶点 P、直径 PV、切线 QT 和内接三角形骨架表示抛物线弓形。
Start from the base Qq and the diameter or tangent construction attached to the segment.
从底弦 Qq 以及与弓形配套的直径或切线构造开始。
Divide the base into equal parts and draw the corresponding diameters, chords and comparison triangles.
把底边等分,并作相应的直径、弦和比较三角形。
Use the previous conic and lever propositions to trap the segment between inner and outer sums.
用前面的圆锥曲线比例和杠杆命题,把弓形夹在内侧和外侧面积和之间。
The desired comparison follows because the leftover segments can be made smaller than any assigned excess.
由于剩余小弓形可以做到小于任意给定差额,所需比较便成立。
This is the epsilon move in geometric dress: make the leftover area smaller than the assumed gap.
这是几何装扮下的 ε 思想:把剩余面积做到小于假设出来的差额。
不看完整证明,说明“命题 14 · 外侧梯形和控制上界”这一命题的已知、要证和关键比较对象。
看一个提示
- 先把几何对象命名,再说它们之间要比较什么量。
- 穷竭法命题要特别留意“若大于”和“若小于”两边。