The square on the straight line which produces with a rational area a medial whole, if applied to a rational straight line, produces as breadth a fifth apotome.
若将产生有理中面和的线段上的正方形贴附于一条有理线段上,则所得宽度为第五种余线。
本页以“第五种余线由有理中面线产生”整体图解辅助阅读;点、线、角、圆索引已按命题文字和证明步骤校订,可与证明和问答联动。
正文图形由校订坐标生成;点、线、角、圆可与证明和问答联动。
Let AB be the straight line which produces with a rational area a medial whole, and CD a rational straight line, and to CD let CE be applied equal to the square on AB and producing CF as breadth; I say that CF is a fifth apotome. For let BG be the annex to AB; therefore AG, GB are straight lines incommensurable in square which make the sum of the squares on them medial but twice the rectangle contained by them rational. [X. 77] To CD let there be applied CH equal to the square on AG, and KL equal to the square on GB; therefore the whole CL is equal to the squares on AG, GB. But the sum of the squares on AG, GB together is medial; therefore CL is medial.
设AB为产生有理中面和的线段,CD为有理线段,将等于AB上正方形的矩形CE贴附于CD,得宽度CF。
And it is applied to the rational straight line CD, producing CM as breadth; therefore CM is rational and incommensurable with CD. [X. 22] And, since the whole CL is equal to the squares on AG, GB, and, in these, CE is equal to the square on AB, therefore the remainder FL is equal to twice the rectangle AG, GB. [II. 7] Let then FM be bisected at N, and through N let NO be drawn parallel to either of the straight lines CD, ML; therefore each of the rectangles FO, NL is equal to the rectangle AG, GB: And, since twice the rectangle AG, GB is rational and equal to FL, therefore FL is rational. And it is applied to the rational straight line EF, producing FM as breadth; therefore FM is rational and commensurable in length with CD.
取AB的附加段BG,则AG与GB平方不可通约,且它们的平方和为中面,而它们所成矩形的二倍为有理。
[X. 20] Now, since CL is medial, and FL rational, therefore CL is incommensurable with FL. But, as CL is to FL, so is CM to MF; [VI. 1] therefore CM is incommensurable in length with MF. [X. 11] And both are rational; therefore CM, MF are rational straight lines commensurable in square only; therefore CF is an apotome. [X. 73] I say next that it is also a fifth apotome.
将等于AG上正方形的CH和等于GB上正方形的KL贴附于CD,则CL等于AG、GB的平方和,故CL为中面,其宽度CM为有理且与CD长度不可通约。
For we can prove similarly that the rectangle CK, KM is equal to the square on NM, that is, to the fourth part of the square on FM. And, since the square on AG is incommensurable with the square on GB, while the square on AG is equal to CH, and the square on GB to KL, therefore CH is incommensurable with KL. But, as CH is to KL, so is CK to KM; [VI. 1] therefore CK is incommensurable in length with KM. [X. 11] Since then CM, MF are two unequal straight lines, and a parallelogram equal to the fourth part of the square on FM and deficient by a square figure has been applied to CM, and divides it into incommensurable parts, therefore the square on CM is greater than the square on MF by the square on a straight line incommensurable with CM.
由于FL等于AG、GB所成矩形的二倍且为有理,故FM为有理且与CD长度可通约;又CM与MF平方可通约而长度不可通约,且CK与KM长度不可通约,故CF为第五种余线。