AB and BC twise is rationall, therefore that which is made of the squares of the lines AB and BC added together, is incommensurable to that which is contained vnder the lines AB and BC twise. Wherefore (by the 16. of the tenth) the residue, namely, the square of the line AC is incommensurable to that which is contained vnder the lines AB and BC twise. But that which is contained vnder the lines AB and BC twise is rationall. Wherfore the square of the line AC is irrationall. Wherefore also the line AC is irrationall: and is called a line making with a rationall super••icies the whole su∣perficies
mediall: and is therfore so called for that that which is made of the squares of the lines AB and BC added together is mediall, & is a certaine whole superficies, part whereof is that which is contained vnder the lines AB & BC, which is a rationall superficies. For the squares of the lines AB and BC, are equall to that which is contained vnder the lines AB and BC twise, and to the square of the line AC (by the 7. of the second). Or it is therefore so called for that the square thereof added to a rationall su∣per
••icies, maketh the whole superficies mediall, as shall be proued by the 109. Proposition of this booke: which was required to be proued.
In this Proposition is declared the nature of the twelueth kind of irrationall lines, which is called a line making with a rationall superficies the whole superficies mediall, whose definition is thus.
A line making with a rationall superficies the whole superficies mediall, is an irrationall line which remaineth, whē frō a right line is taken away a right line incōmensurable in power to the whole line, and the square of the whole line & the square of the part taken away added together make a me∣diall superficies, and the parallelogramme contained of them is rationall.
This Proposition also may after Campanes way be demonstrated, obseruing the former caution.