Euclid Elementa 10.prop1.29

εὑρεῖν δύο ῥητὰς δυνάμει μόνον συμμέτρους, ὥστε τὴν μείζονα τῆς ἐλάσσονος μεῖζον δύνασθαι τῷ ἀπὸ συμμέτρου ἑαυτῇ μήκει.

Ἐκκείσθω γάρ τις ῥητὴ ἡ ΑΒ καὶ δύο τετράγωνοι
ἀριθμοὶ οἱ ΓΔ, ΔΕ, ὥστε τὴν ὑπεροχὴν αὐτῶν τὸν ΓΕ μὴ εἶναι τετράγωνον, καὶ γεγράφθω ἐπὶ τῆς ΑΒ ἡμικύκλιον τὸ ΑΖΒ, καὶ πεποιήσθω ὡς ὁ ΔΓ πρὸς τὸν ΓΕ, οὕτως τὸ ἀπὸ τῆς ΒΑ τετράγωνον
πρὸς τὸ ἀπὸ τῆς ΑΖ τετράγωνον καὶ ἐπεζεύχθω ἡ ΖΒ.

ἐπεὶ οὖν ἐστιν ὡς τὸ ἀπὸ τῆς ΒΑ πρὸς τὸ ἀπὸ τῆς ΑΖ, οὕτως ὁ ΔΓ πρὸς τὸν ΓΕ, τὸ ἀπὸ τῆς ΒΑ ἄρα πρὸς τὸ ἀπὸ τῆς ΑΖ λόγον ἔχει, ὃν ἀριθμὸς ὁ ΔΓ
πρὸς ἀριθμὸν τὸν ΓΕ· σύμμετρον ἄρα ἐστὶ τὸ ἀπὸ τῆς ΒΑ τῷ ἀπὸ τῆς ΑΖ. ῥητὸν δὲ τὸ ἀπὸ τῆς ΑΒ· ῥητὸν ἄρα καὶ τὸ ἀπὸ τῆς ΑΖ· ῥητὴ ἄρα καὶ ἡ ΑΖ. καὶ ἐπεὶ ὁ ΔΓ πρὸς
τὸν ΓΕ λόγον οὐκ ἔχει, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν, οὐδὲ τὸ ἀπὸ τῆς ΒΑ ἄρα πρὸς τὸ ἀπὸ τῆς
ΑΖ λόγον ἔχει, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν· ἀσύμμετρος ἄρα ἐστὶν ἡ ΑΒ τῇ ΑΖ μήκει· αἱ ΒΑ, ΑΖ ἄρα ῥηταί εἰσι δυνάμει μόνον σύμμετροι. καὶ ἐπεί ἐστιν ὡς ὁ ΔΓ πρὸς τὸν ΓΕ, οὕτως τὸ ἀπὸ τῆς ΒΑ πρὸς τὸ ἀπὸ τῆς ΑΖ, ἀναστρέψαντι ἄρα ὡς ὁ ΓΔ πρὸς τὸν
ΔΕ, οὕτως τὸ ἀπὸ τῆς ΑΒ πρὸς τὸ ἀπὸ τῆς ΒΖ. ὁ δὲ ΓΔ πρὸς τὸν ΔΕ λόγον ἔχει, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν· καὶ τὸ ἀπὸ τῆς ΑΒ ἄρα πρὸς τὸ ἀπὸ τῆς ΒΖ λόγον ἔχει, ὃν τετράγωνος ἀριθμὸς πρὸς τετράγωνον ἀριθμόν· σύμμετρος ἄρα ἐστὶν ἡ ΑΒ τῇ ΒΖ μήκει. καί
ἐστι τὸ ἀπὸ τῆς ΑΒ ἴσον τοῖς ἀπὸ τῶν ΑΖ, ΖΒ· ἡ ΑΒ ἄρα τῆς ΑΖ μεῖζον δύναται τῇ ΒΖ συμμέτρῳ ἑαυτῇ.

Εὕρηνται ἄρα δύο ῥηταὶ δυνάμει μόνον σύμμετροι αἱ ΒΑ, ΑΖ, ὥστε τὴν μείζονα τὴν ΑΒ τῆς ἐλάσσονος τῆς ΑΖ μεῖζον δύνασθαι τῷ ἀπὸ τῆς ΒΖ συμμέτρου ἑαυτῇ
μήκει· ὅπερ ἔδει δεῖξαι.