Euclid Elementa 9.prop.2

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

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

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