Book 10, Type prop2

ἐὰν ἀπὸ εὐθείας εὐθεῖα ἀφαιρεθῇ δυνάμει ἀσύμμετρος οὖσα τῇ ὅλῃ, μετὰ δὲ τῆς ὅλης ποιοῦσα τὰ μὲν ἀπʼ αὐτῶν ἅμα ῥητόν, τὸ δʼ ὑπʼ αὐτῶν μέσον, ἡ λοιπὴ ἄλογός ἐστιν· καλείσθω δὲ ἐλάσσων. ἀπὸ γὰρ εὐθείας τῆς ΑΒ εὐθεῖα ἀφῃρήσθω ἡ ΒΓ δυνάμει ἀσύμμετρος οὖσα τῇ ὅλῃ ποιοῦσα τὰ προκείμενα. λέγω, ὅτι ἡ λοιπὴ ἡ ΑΓ ἄλογός ἐστιν ἡ καλουμένη ἐλάσσων. ἐπεὶ γὰρ τὸ μὲν συγκείμενον ἐκ τῶν ἀπὸ τῶν ΑΒ, ΒΓ τετραγώνων ῥητόν ἐστιν, τὸ δὲ δὶς ὑπὸ τῶν ΑΒ, ΒΓ μέσον, ἀσύμμετρα ἄρα ἐστὶ τὰ ἀπὸ τῶν ΑΒ, ΒΓ τῷ δὶς ὑπὸ τῶν ΑΒ, ΒΓ· καὶ ἀναστρέψαντι λοιπῷ τῷ ἀπὸ τῆς ΑΓ ἀσύμμετρά ἐστι τὰ ἀπὸ τῶν ΑΒ, ΒΓ. ῥητὰ δὲ τὰ ἀπὸ τῶν ΑΒ, ΒΓ. ἄλογον ἄρα τὸ ἀπὸ τῆς ΑΓ· ἄλογος ἄρα ἡ ΑΓ· καλείσθω δὲ ἐλάσσων. ὅπερ ἔδει δεῖξαι.