Euclid Elementa 9.prop.1

ἐὰν δύο ὅμοιοι ἐπίπεδοι ἀριθμοὶ πολλαπλασιάσαντες ἀλλήλους ποιῶσί τινα, ὁ γενόμενος τετράγωνος ἔσται.

ἔστωσαν δύο ὅμοιοι ἐπίπεδοι ἀριθμοὶ οἱ Α, Β, καὶ
ὁ Α τὸν Β πολλαπλασιάσας τὸν Γ ποιείτω· λέγω, ὅτι ὁ Γ τετράγωνός ἐστιν.

ὁ γὰρ Α ἑαυτὸν πολλαπλασιάσας τὸν Δ ποιείτω. ὁ Δ ἄρα τετράγωνός ἐστιν.
ἐπεὶ οὖν ὁ Α ἑαυτὸν μὲν πολλαπλασιάσας τὸν Δ πεποίηκεν, τὸν δὲ Β πολλαπλασιάσας τὸν Γ πεποίηκεν, ἔστιν ἄρα ὡς ὁ Α πρὸς τὸν Β, οὕτως ὁ Δ πρὸς τὸν Γ. καὶ ἐπεὶ οἱ Α, Β ὅμοιοι ἐπίπεδοί εἰσιν ἀριθμοί, τῶν Α, Β ἄρα εἷς μέσος ἀνάλογον ἐμπίπτει ἀριθμός. ἐὰν δὲ δύο ἀριθμῶν μεταξὺ
κατὰ τὸ συνεχὲς ἀνάλογον ἐμπίπτωσιν ἀριθμοί, ὅσοι εἰς αὐτοὺς ἐμπίπτουσι, τοσοῦτοι καὶ εἰς τοὺς τὸν αὐτὸν λόγον ἔχοντας· ὥστε καὶ τῶν Δ, Γ εἷς μέσος ἀνάλογον ἐμπίπτει ἀριθμός. καί ἐστι τετράγωνος ὁ Δ· τετράγωνος ἄρα καὶ ὁ Γ· ὅπερ ἔδει δεῖξαι.