Euclid Elementa 10.prop2.79

τῇ ἀποτομῇ μία μόνον προσαρμόζει εὐθεῖα ῥητὴ δυνάμει μόνον σύμμετρος οὖσα τῇ ὅλῃ.

ἔστω ἀποτομὴ ἡ ΑΒ, προσαρμόζουσα δὲ αὐτῇ ἡ ΒΓ· αἱ ΑΓ, ΓΒ ἄρα ῥηταί εἰσι δυνάμει
μόνον σύμμετροι· λέγω, ὅτι τῇ ΑΒ ἑτέρα οὐ
προσαρμόζει ῥητὴ δυνάμει μόνον σύμμετρος οὖσα τῇ ὅλῃ.

εἰ γὰρ δυνατόν, προσαρμοζέτω ἡ ΒΔ· καὶ αἱ ΑΔ, ΔΒ ἄρα ῥηταί εἰσι δυνάμει μόνον σύμμετροι. καὶ
ἐπεί, ᾧ ὑπερέχει τὰ ἀπὸ τῶν ΑΔ, ΔΒ τοῦ δὶς ὑπὸ τῶν ΑΔ, ΔΒ, τούτῳ ὑπερέχει καὶ τὰ ἀπὸ τῶν ΑΓ, ΓΒ τοῦ δὶς ὑπὸ τῶν ΑΓ, ΓΒ· τῷ γὰρ αὐτῷ τῷ ἀπὸ τῆς ΑΒ ἀμφότερα ὑπερέχει· ἐναλλὰξ ἄρα, ᾧ ὑπερέχει τὰ ἀπὸ τῶν ΑΔ, ΔΒ τῶν ἀπὸ τῶν ΑΓ, ΓΒ, τούτῳ ὑπερέχει καὶ τὸ
δὶς ὑπὸ τῶν ΑΔ, ΔΒ τοῦ δὶς ὑπὸ τῶν ΑΓ, ΓΒ. τὰ δὲ ἀπὸ τῶν ΑΔ, ΔΒ τῶν ἀπὸ τῶν ΑΓ, ΓΒ ὑπερέχει ῥητῷ· ῥητὰ γὰρ ἀμφότερα. καὶ τὸ δὶς ἄρα ὑπὸ τῶν ΑΔ, ΔΒ τοῦ δὶς ὑπὸ τῶν ΑΓ, ΓΒ ὑπερέχει ῥητῷ· ὅπερ ἐστὶν ἀδύνατον· μέσα γὰρ ἀμφότερα, μέσον δὲ μέσου οὐχ
ὑπερέχει ῥητῷ. τῇ ἄρα ΑΒ ἑτέρα οὐ προσαρμόζει ῥητὴ δυνάμει μόνον σύμμετρος οὖσα τῇ ὅλῃ.

μία ἄρα μόνη τῇ ἀποτομῇ προσαρμόζει ῥητὴ δυνάμει μόνον σύμμετρος οὖσα τῇ ὅλῃ· ὅπερ ἔδει δεῖξαι.