Page 378 - Euclid's Elements of Geometry
P. 378

ST	EW      iþ.










                   Α          Β                Γ ∆                    A           B        ELEMENTS BOOK 10
                                                                                                   C D

                   Ε            Θ                Μ   Ν                E             H                M   N







                   Ζ            Λ                Η    Ι               F             L                G    I
               Εἰ γὰρ δυνατόν, προσαρμοζέτω ἡ ΒΔ, ὥστε καὶ τὰς     For, if possible, let BD be (so) attached.  Hence,
            ΑΔ, ΔΒ δυνάμει ἀσυμμέτρους εἶναι ποιούσας τά τε ἀπὸ AD and DB are also (straight-lines which are) incom-
            τῶν ΑΔ, ΔΒ τετράγωνα ἅμα μέσον καὶ τὸ δὶς ὑπὸ τῶν   mensurable in square, making the squares on AD and
            ΑΔ, ΔΒ μέσον καὶ ἔτι τὰ ἀπὸ τῶν ΑΔ, ΔΒ ἀσύμμετρα τῷ DB (added) together medial, and twice the (rectangle
            δὶς ὑπὸ τῶν ΑΔ, ΔΒ· καὶ ἐκκείσθω ῥητὴ ἡ ΕΖ, καὶ τοῖς contained) by AD and DB medial, and, moreover, the
            μὲν ἀπὸ τῶν ΑΓ, ΓΒ ἴσον παρὰ τὴν ΕΖ παραβεβλήσθω τὸ  (sum of the squares) on AD and DB incommensurable
            ΕΗ πλάτος ποιοῦν τὴν ΕΜ, τῷ δὲ δὶς ὑπὸ τῶν ΑΓ, ΓΒ   with twice the (rectangle contained) by AD and DB
            ἴσον παρὰ τὴν ΕΖ παραβεβλήσθω τὸ ΘΗ πλάτος ποιοῦν [Prop. 10.78]. And let the rational (straight-line) EF be
            τὴν ΘΜ· λοιπὸν ἄρα τὸ ἀπὸ τῆς ΑΒ ἴσον ἐστὶ τῷ ΕΛ· ἡ  laid down. And let EG, equal to the (sum of the squares)
            ἄρα ΑΒ δύναται τὸ ΕΛ. πάλιν τοῖς ἀπὸ τῶν ΑΔ, ΔΒ ἴσον on AC and CB, have been applied to EF, producing EM
            παρὰ τὴν ΕΖ παραβεβλήσθω τὸ ΕΙ πλάτος ποιοῦν τὴν ΕΝ.  as breadth. And let HG, equal to twice the (rectangle
            ἔστι δὲ καὶ τὸ ἀπὸ τῆς ΑΒ ἴσον τῷ ΕΛ· λοιπὸν ἄρα τὸ δὶς  contained) by AC and CB, have been applied to EF,
            ὑπὸ τῶν ΑΔ, ΔΒ ἴσον [ἐστὶ] τῷ ΘΙ. καὶ ἐπεὶ μέσον ἐστὶ  producing HM as breadth. Thus, the remaining (square)
            τὸ συγκείμενον ἐκ τῶν ἀπὸ τῶν ΑΓ, ΓΒ καί ἐστιν ἴσον on AB is equal to EL [Prop. 2.7]. Thus, AB is the square-
            τῷ ΕΗ, μέσον ἄρα ἐστὶ καὶ τὸ ΕΗ. καὶ παρὰ ῥητὴν τὴν ΕΖ  root of EL. Again, let EI, equal to the (sum of the
            παράκειται πλάτος ποιοῦν τὴν ΕΜ· ῥητὴ ἄρα ἐστὶν ἡ ΕΜ καὶ squares) on AD and DB, have been applied to EF, pro-
            ἀσύμμετρος τῇ ΕΖ μήκει. πάλιν, ἐπεὶ μέσον ἐστὶ τὸ δὶς ὑπὸ ducing EN as breadth. And the (square) on AB is also
            τῶν ΑΓ, ΓΒ καί ἐστιν ἴσον τῷ ΘΗ, μέσον ἄρα καὶ τὸ ΘΗ. equal to EL. Thus, the remaining twice the (rectangle
            καὶ παρὰ ῥητὴν τὴν ΕΖ παράκειται πλάτος ποιοῦν τὴν ΘΜ· contained) by AD and DB [is] equal to HI [Prop. 2.7].
            ῥητὴ ἄρα ἐστὶν ἡ ΘΜ καὶ ἀσύμμετρος τῇ ΕΖ μήκει. καὶ ἐπεὶ And since the sum of the (squares) on AC and CB is me-
            ἀσύμμετρά ἐστι τὰ ἀπὸ τῶν ΑΓ, ΓΒ τῷ δὶς ὑπὸ τῶν ΑΓ, dial, and is equal to EG, EG is thus also medial. And
            ΓΒ, ἀσύμμετρόν ἐστι καὶ τὸ ΕΗ τῷ ΘΗ· ἀσύμμετρος ἄρα it is applied to the rational (straight-line) EF, producing
            ἐστὶ καὶ ἡ ΕΜ τῇ ΜΘ μήκει. καί εἰσιν ἀμφότεραι ῥηταί· αἱ EM as breadth. EM is thus rational, and incommen-
            ἄρα ΕΜ, ΜΘ ῥηταί εἰσι δυνάμει μόνον σύμμετροι· ἀποτομὴ surable in length with EF [Prop. 10.22]. Again, since
            ἄρα ἐστὶν ἡ ΕΘ, προσαρμόζουσα δὲ αὐτῇ ἡ ΘΜ. ὁμοίως δὴ  twice the (rectangle contained) by AC and CB is me-
            δείξομεν, ὅτι ἡ ΕΘ πάλιν ἀποτομή ἐστιν, προσαρμόζουσα dial, and is equal to HG, HG is thus also medial. And
            δὲ αὐτῇ ἡ ΘΝ. τῇ ἄρα ἀποτομῇ ἄλλη καὶ ἄλλη προσαρμόζει it is applied to the rational (straight-line) EF, produc-
            ῥητὴ δυνάμει μόνον σύμμετρος οὖσα τῇ ὅλῃ· ὅπερ ἐδείχθη ing HM as breadth. HM is thus rational, and incom-
            ἀδύνατον. οὐκ ἄρα τῇ ΑΒ ἑτέρα προσαρμόσει εὐθεῖα.   mensurable in length with EF [Prop. 10.22]. And since
               Τῇ ἄρα ΑΒ μία μόνον προσαρμόζει εὐθεῖα δυνάμει the (sum of the squares) on AC and CB is incommen-
            ἀσύμμετρος οὖσα τῇ ὅλῃ, μετὰ δὲ τῆς ὅλης ποιοῦσα τά  surable with twice the (rectangle contained) by AC and
            τε ἀπ᾿ αὐτῶν τετράγωνα ἅμα μέσον καὶ τὸ δὶς ὑπ᾿ αὐτῶν CB, EG is also incommensurable with HG. Thus, EM
            μέσον καὶ ἔτι τὰ ἀπ᾿ αὐτῶν τετράγωνα ἀσύμμετρα τῷ δὶς  is also incommensurable in length with MH [Props. 6.1,
            ὑπ᾿ αὐτῶν· ὅπερ ἔδει δεῖξαι.                        10.11]. And they are both rational (straight-lines). Thus,
                                                                EM and MH are rational (straight-lines which are) com-
                                                                mensurable in square only. Thus, EH is an apotome
                                                                [Prop. 10.73], with HM attached to it. So, similarly,
                                                                we can show that EH is again an apotome, with HN
                                                                attached to it. Thus, different rational (straight-lines),
                                                                which are commensurable in square only with the whole,
                                                                are attached to an apotome. The very thing was shown


                                                             378
   373   374   375   376   377   378   379   380   381   382   383