In Nicomachi Arithmeticam Introductionem

Iamblichus

Iamblichus. In Nicomachi Arithmeticam Introductionem. Pistelli, Ermenegildo, editor. Leipzig: Teubner, 1894.

οὖσα καὶ ἑνότης, εἴγε τὸ ἴσον ἓν πρὸς ἕν ἐστιν, ἑτέρας φύσεως ἔσται καὶ τῆς ἐναντίας γε τῇ ἀνισότητι, καὶ διὰ τοῦτο οὐ συγκαταριθμηθήσεται τοῖς εἴδεσι τῆς ἀνισότητος. καὶ μὴν καὶ ἀρχῆς λόγον ἕξει ἡ ἰσότης πρὸς τὴν

ἀνισότητα, καθάπερ καὶ ἐν γραμμικοῖς ἡ ὀρθὴ γωνία πρὸς ἀμβλεῖαν καὶ ὀξεῖαν, καὶ ἐν μουσικοῖς διαστήμασιν ἡ μέση πρὸς τοὺς ἐπιτεινομένους φθόγγους καὶ ἀνιεμένους. καὶ γὰρ ταῦτα ἀπό τινος ὡρισμένου καὶ πεπερασμένου λαβόντα κατὰ τὸν τῆς ἰσότητος λόγον, ἀπὸ τούτου τὴν παρατροπὴν ἐπί τε τὸ μεῖζον καὶ τὸ ἴσον ἴσχοντα κατὰ τὴν ἀνισότητα ἐπ’ ἄπειρον πρόεισιν. ἵν’ οὖν δεδειγμένον ᾖ τὸ τὰς τῆς ἀνισότητος σχέσεις ἐκ τῆς ἰσότητος φυσικῇ ἀνάγκῃ γίνεσθαι καὶ οὐχ ἡμῶν θεμένων, καὶ πρῶτόν γε τὴν πολλαπλασιότητα ἀπὸ διπλασίου ἀρξαμένην, ἀφ’ ἧς πάλιν τὴν ἐπιμοριότητα ἀπὸ ἡμιολίου τὴν ἀρχὴν ἴσχουσαν, καὶ ἀπὸ ταύτης τὴν ἐπιμερότητα κατὰ τὴν ἀνάλογον τάξιν καὶ ἑξῆς ἀπὸ τούτων τὰς μικτάς, ἐκθετέον τρεῖς ὅρους, καὶ πρῶτόν γε ἐν μονάσιν εἶτα 〈ἐν〉 δυάσι καὶ πάλιν ἐν τριάσι καὶ ἑξῆς ἀκολούθως, καὶ παρ’ ἑκάστην ἔκθεσιν ἄλλους τρεῖς ὅρους πλαστέον διὰ τριῶν

προσταγμάτων ἀεὶ τῶν αὐτῶν, καὶ παρὰ τοὺς πλασθέντας ἑκατέρους τρεῖς καὶ ἐκ τούτων ἄλλους καὶ ἀεὶ ἑξῆς ἀκολούθως. ἐφ’ ἑκάστης δὲ πλάσεως πειρατέον κατὰ φύσιν τε καὶ ἀναστρόφως τοὺς ὅρους ἐκτίθεσθαι, καὶ δευτέραν ἔκθεσιν τοῖς αὐτοῖς προστάγμασι χρωμένους πλάσσειν τοὺς ἀπ’ αὐτῶν. ἔσται δὲ τὰ προστάγματα τάδε· ποιήσας πρῶτον ὅρον πρώτῳ τῶν ἐκκειμένων ἴσον, δεύτερον δὲ πρώτῳ ἅμα καὶ δευτέρῳ, τὸν δὲ τρίτον πρώτῳ δυσὶ δευτέροις ἅμα καὶ τρίτῳ. ἐκ πάντων

οὖν ἐν ἰσότητι ὅρων τριῶν προεκτεθέντων, εἶτ’ ἐν μονάσιν εἶτ’ ἐν δυάσιν ἢ καὶ τριάσι καὶ ἐφεξῆς, διὰ τῶν προειρημένων προσταγμάτων γενικῶς μὲν πολλαπλάσιοι γενήσονται, εἰδικῶς δὲ πολλαπλασίων οἱ διπλάσιοι, πρῶτοι μὲν ἐκ μονάδων, οἱ δὲ συνεχεῖς ἐκ δυάδων καὶ οἱ μετ’ αὐτοὺς ἐκ τριάδων καὶ ἑξῆς ἀκολούθως. ἐκ δὲ τῶν πλασθέντων διπλασίων τριπλάσιοι, πρῶτοι πάλιν ἐκ πρώτων καὶ συνεχεῖς ἐκ συνεχῶν, ἐκ δὲ τριπλασίων τετραπλάσιοι ἀποσῴζοντες τὴν αὐτῶν εὐταξίαν, καὶ ἐκ τετραπλασίων πενταπλάσιοι καὶ ἀεὶ οἱ ἑπό- μενοι λόγοι ἐκ τῶν ἡγουμένων. εἰ δὲ πλάσσοντες

οὐ τῇ τοιᾷδε κατὰ φύσιν τῶν ὅρων ἐκθέσει χρησαίμεθα, ἀλλὰ ἀναστρέψαιμεν τοὺς πρώτους ἀπὸ τῶν ἰσοτήτων πλασθέντας ὅρους, ὥστε τὸν τρίτον ὅρον ἐν τῇ τοῦ πρώτου χώρᾳ τάξαι τὸν δὲ πρῶτον ἐν τῇ τοῦ τρίτου, τὸν δὲ μέσον ὁμοίως μέσον τηρήσαιμεν, ἔπειτα διὰ τῶν αὐτῶν προσταγμάτων ἑτέρους πλάσσοιμεν, φύσονται γενικῶς μὲν ἐπιμόριοι ἀπὸ πολλαπλασίων, εἰδικῶς δὲ ἡμιόλιοι μὲν ἀπὸ διπλασίων εὔτακτοι ἀπ’ εὐτάκτων, ἐπίτριτοι δὲ ἀπὸ τριπλασίων ἀποσῴζοντες τὴν αὐτὴν τάξιν, καὶ ὁμοίως ἐπιτέταρτοι ἀπὸ τετραπλασίων καὶ ἐπίπεμπτοι ἀπὸ πενταπλασίων καὶ ἑξῆς κατά τινα συγγένειαν φυσικὴν συμπαρεκτεινομένων τοῖς εἴδεσι τοῦ πολλαπλασίου τῶν παρωνυμούντων καθ’ ἕκαστον εἶδος ἐπιμορίων. ἐκ δὲ αὐτῶν τούτων πάλιν ἀναστραφέντων τῶν ὅρων τοὺς ἐπιμερεῖς λόγους πάντως γεννήσομεν πρώτους πάλιν ἐκ πρώτων καὶ δευτέρους ἐκ δευτέρων καὶ τρίτους ἐκ τρίτων καὶ ἑξῆς ἀκολούθως, καὶ τούτων

διευτακτουμένων καταλλήλως τῇ ἐξ ἀρχῆς παρωνυμήσει. ὑποδείγματος δὲ ἕνεκα ἔστωσαν μονάδες τρεῖς κατ’ ἴσον λόγον προεκκείμεναι. εἰ δὴ ποιήσαιμεν κατὰ τὰ εἰρημένα προστάγματα

πρῶτον ὅρον πρώτῳ ἴσον ἔσται μονάς, εἰ δὲ δεύτερον πρώτῳ καὶ δευτέρῳ ἔσται δυάς, εἰ δὲ τρίτον πρώτῳ δυσὶ δευτέροις τρίτῳ ἔσται τετράς, καὶ γενήσονται οἱ πλασθέντες ἐν διπλασίῳ λόγῳ αʹ βʹ δʹ. ἐκ δὲ αὐτῶν κατὰ τὰ αὐτὰ προστάγματα ἕξομεν τοὺς ἐν τριπλασίῳ αʹ γʹ θʹ, καὶ ἀπὸ τούτων τοὺς ἐπὶ τούτοις ἐν τετραπλασίῳ αʹ δʹ ιϛʹ, καὶ ἐφεξῆς ἀκολούθως. εἰ δὲ δυάδας ἐν ἰσότητι προεκθοίμεθα, ἔσονται οἱ ἑξῆς ὅροι ἐν διπλασίῳ ὁμοίως ὄντες λόγῳ οἱ βʹ δʹ ηʹ, καὶ ἀπὸ τούτων πάλιν οἱ ἑξῆς τριπλάσιοι βʹ ϛʹ ιηʹ, ἀφ’ ὧν οἱ ἑξῆς τετραπλάσιοι βʹ ηʹ λβʹ, καὶ ἀθρόοι ἀκόλουθοι. εἰ δὲ ἀναστρέψαιμεν τοὺς πρώτους ἐν διπλασίῳ λόγῳ τοὺς αʹ βʹ δʹ διὰ τῶν αὐτῶν προσταγμάτων ποιήσομεν τοὺς πρώτους ἐν ἡμιολίῳ ἀναλογίᾳ ὄντας τοὺς δʹ ϛʹ θʹ, ἀπὸ δὲ τούτων πάλιν ἀναστραφέντων τοὺς ἐν ἐπιδιμερεῖ ὁμοίως

ἀναλογίᾳ ὄντας τοὺς θʹ ιεʹ κεʹ. ἐκ τούτου συμφανῆ γίνεσθαι τὴν συγγένειαν τῶν σχέσεων. εἰ γὰρ ὁ διπλάσιος λόγος ἀπὸ ἰσότητος ἐγεννήθη, ἐμάθομεν δὲ παρωνομασμένον τὸ ἥμισυ τῷ δύο, εἰκότως ἑξῆς ὡς οἰκεῖος ὁ ἡμιόλιος λόγος ἐπλάσθη ἐν ἐπιμορίοις, ἀπὸ δὲ τούτου πάλιν ὡς ἐν ἐπιμερέσι κατὰ τὴν οἰκειότητα τῆς δυάδος ὁ ἐπιδιμερής. εἰ δὲ οἱ πρῶτοι ἐν τριπλασίῳ λόγῳ, ἐκφύσονται ἀπ’ αὐτῶν ἐπίτριτοι καὶ ἀπὸ τούτων ἐπιτριμερεῖς, εἰ δὲ τετραπλάσιοι ἐπιτέταρτοί τε καὶ ἐπιτετραμερεῖς καὶ ἀεὶ οἱ ἑξῆς, ἀποσῴζοντες τὴν

οἰκειότητα τῆς παρωνυμήσεως καὶ πυθμένες μὲν ἀπὸ πυθμένων δεύτεροι δὲ ἀπὸ δευτέρων καὶ τρίτοι ἀπὸ τρίτων καὶ ἀεὶ ὁμοίως. πυθμένας δὲ ἐπιμορίων ἐν τρισὶν ὅροις μὴ τοὺς αὐτοὺς οἰώμεθα γενήσεσθαι, ὅπερ ἐν δυσὶ φαίνονται· οὐ γὰρ δυνατὸν ἐν δυσὶν ὄντος λόγου τινὸς καὶ τρίτον ὅρον προσπορισθῆναι τὸν αὐτὸν λόγον πρὸς τὸν μέσον ἀποσῴζοντα, διότι μὴ τοῦ αὐτοῦ μορίου παρεκτικός ἐστιν ὁ μείζων, καθ’ ὃ ἐπιμόριός ἐστι τοῦ πρώτου, ἵνα καὶ ὁ τρίτος κατ’ αὐτὸν ἐκείνῳ

τὸν λόγον ἀποσῴζῃ· πᾶς γὰρ ἐπιμορίου λόγου πυθμὴν ὁ τοὺς ὅρους ἔχων μονάδι διαφέροντας οὐχ ὁμοίους αὐτοὺς ἕξει διαιρετούς, ἀλλ’ εἰ μὲν ὁ ἐλάττων διχῇ διαιροῖτο, ὁ μείζων τριχῇ, εἰ δὲ ὁ ἐλάττων τριχῇ, ὁ μείζων τετραχῇ, καὶ ἀεὶ μονάδι μεγαλωνυμωτέραν ὁ μείζων τοῦ ἐλάττονος τὴν διαίρεσιν ἐπιδέξεται, ὥστε τοῦ μορίου ἐν λόγῳ ᾡτινιοῦν κατὰ τὸν ἐλάττονα ἐξεταζομένου, ὃς ὑπόλογός ἐστι πρὸς τὸν μείζονα, οὐκ ἔσται τις τρίτος πρόλογος κατ’ ἐκεῖνο τὸ μόριον ὑπόλογον ἔχων τὸν μείζονα. ἀλλ’ οὖν ἐπεὶ μή εἰσιν οἱ αὐτοὶ τοῖς ἐν δυσὶν οἱ ἐν τρισίν, ἑτέρως ἐμφαντασθήσονται οἱ πυθμένες τοῖς ἀνάλογον· διαφοραὶ γὰρ αὐτῶν γενήσονται, οἷον φέρ’ εἰπεῖν ἐπεὶ ἀνάλογον ἐν ἡμιολίῳ λόγῳ εἰσὶν οἱ δʹ ϛʹ θʹ, ἔσονται αὐτῶν διαφοραὶ οἱ τὸν αὐτὸν λόγον περιέχοντες πυθμένες ὁ γʹ καὶ ὁ βʹ, καὶ πάλιν ἐν ἐπιτρίτῳ οἱ θʹ ιβʹ ιϛʹ, ἔσονται διαφοραὶ τούτων οἱ πυθμενικοὶ ὁ δʹ πρὸς τὸν γʹ, καὶ ἀεὶ ὁμοίως τὸ αὐτὸ συμβήσεται ἐν ἅπασι τοῖς εἴδεσι τῶν ἐπιμορίων· καθ’ ὃ γὰρ πυθμένες ἔσονται ἐν τρισίν, ὧν διαφοραὶ

οἱ ἐν δυσίν. ἐν δὲ τοῖς πολλαπλασίοις

οἱ ἀνάλογον ἀπ’ ἀρχῆς ἐκκείμενοι τοὺς ἐλάττονας ὅρους ἀεὶ πυθμένας ἕξουσι καθ’ ἕκαστον λόγον. αἰτία δὲ τούτου ἡ μονὰς ὑπόλογον ἑαυτὴν πρὸς πάντας λόγους τοῦ πολλαπλασίου παρέχουσα. οὐδὲν δὲ ἧττον καὶ αἱ ἐν τοῖς ἀνάλογον διαφοραὶ τὸν αὐτὸν λόγον περιέξουσιν, εἰ καὶ μὴ πυθμένες εἰσὶ τῶν λόγων, ὡς ἐπὶ τῶν ἐπιμορίων συνέβαινε. μόνοι δὲ οἱ ἐν διπλασίῳ ἀνάλογον ἀπ’ ἀρχῆς ἐξαίρετον ἕξουσι τὸ καὶ διαφορὰς ἔχειν τοὺς ἐλάττονας ὅρους, οἵπερ εἰσὶ πυθμενικοί. ἐν δὲ τοῖς τῶν ἐπιμερῶν εἴδεσιν οἱ τοὺς πυθμένας τῶν λόγων περιέχοντες ὅροι οὔτ’ ἐν ταῖς διαφοραῖς φανήσονται ὡς ἐπὶ τῶν ἐπιμορίων, οὔτε ἐν τοῖς ἐλάττοσιν ὅροις ὡς ἐπὶ τῶν πολλαπλασίων, ἀλλὰ κατά τινα ἄλλην εὔτακτον ἀναλογίαν. οἱ μὲν γὰρ ἐν λόγῳ ἐπιδιμερεῖ ἀνάλογον ὄντες ἐν ἡμίσει τῶν διαφορῶν τοὺς πυθμενικοὺς περιέξουσι, πάλιν κἀνταῦθα τῆς οἰκειότητος τοῦ ἡμίσους πρὸς τὴν δυάδα, καθ’ ἣν ἐπιδιμερὴς ὁ λόγος ἐστί, ἐμφαινομένης· οἱ δ’ ἐν ἐπιτριμερεῖ ἐν τρίτῳ τῶν διαφορῶν οἱ δὲ ἐν ἐπιτετραμερεῖ ἐν τετάρτῳ καὶ οἱ ἐν

ἐπιπενταμερεῖ ἐν πέμπτῳ, καὶ ἀεὶ ἑξῆς τὸ ὅμοιον ἔσται, ἀποσῳζομένης τῆς συμφυΐας τοῦ μορίου πρὸς τὸν λόγον. καὶ γὰρ καθ’ αὑτοὺς οἱ λόγοι ἐν τοῖς μέρεσι τὴν ὀνομασίαν ἴσχουσιν ἐξεταζόμενοι πρὸς τὰ μόρια, καθά ἐστιν ἡ ὑπεροχὴ τοῦ μείζονος ὅρου πρὸς τὸν ἐλάττονα μονάδι μειωνυμώτερον· ἐπιδιμερὴς μὲν γὰρ ἔσται ὁ πρῶτος λόγος τρίτων, ἐπιτριμερὴς δὲ ὁ δεύτερος τετάρτων καὶ ἐπιτετραμερὴς ὁ τρίτος πέμπτων καὶ ἑξῆς ὁμοίως.

Αἱ δὲ μικταὶ σχέσεις ἔκ τε πολλαπλασίου καὶ ἑκατέρου τῶν λοιπῶν ἐπιμορίου καὶ ἐπιμεροῦς γεννῶνται καὶ αὗται ἐκ τῶν πρὸ ἑαυτῶν, ἡ μὲν ἐν πολλαπλασιεπιμορίῳ λόγῳ ἐκ τῆς ἐν ἐπιμορίῳ, ἀφ’ ἧς καὶ 〈ἡ〉 ἐν ἐπιμερεῖ ἐγεννᾶτο, οἷον εἰδικῶς ἡ διπλασιεφήμισυς ἀπὸ τῆς ἐν ἡμιολίοις φύεται, οὐκέτι ἀναστρόφως τῶν ὅρων κειμένων, ἀλλὰ κατὰ φύσιν χρωμένων ἡμῶν τοῖς αὐτοῖς τρισὶ προστάγμασιν· οὔσης γὰρ ἀναλογίας ἐν ἡμιολίῳ τῆς δʹ ϛʹ θʹ, ἧς αἱ διαφοραὶ οἱ πυθμενικοὶ ὅροι, πλασθήσεται ἡ διπλασιεφήμισυς 〈ἐν〉 ὅροις τοῖς δʹ ιʹ κεʹ. ἐκ δὲ τῆς ἐν ἐπιτρίτῳ λόγῳ τῆς θʹ

ιβʹ ιϛʹ, ἧς πάλιν αἱ διαφοραί εἰσιν οἱ πυθμενικοὶ ὅροι, ὁμοίως ἀπὸ τοῦ ἐλάττονος ὅρου ἀρχομένων ἡμῶν ἡ διπλασιεπίτριτος ἐν ὅροις τοῖς θʹ καʹ μθʹ. ἐκ δὲ τῆς ἐν ἐπιτετάρτῳ τῆς ιϛʹ κʹ κεʹ, ἧς αἱ διαφοραὶ πάλιν οἱ πυθμενικοί, ἡ διπλασιεπιτέταρτος γεννᾶται ἐν ὅροις τοῖς ιϛʹ λϛʹ παʹ, καὶ ἑξῆς ὁμοίως, ἀποσῳζομένης κἀνταῦθα τῆς οἰκειότητος τοῦ μετὰ τὴν πολλαπλασιότητα ἐπιτρέχοντος μορίου πρὸς τὴν ὀνομασίαν τοῦ ἐπιμορίου λόγου, ἀφ’ οὗπερ ἡ γένεσίς ἐστι τῇ μικτῇ σχέσει. ἐπεὶ γὰρ ἡμιόλιος ἡ γεννῶσα σχέσις διπλασιεφήμισυς ἡ γεννωμένη, ἐπεὶ δὲ ἐπίτριτος διπλασιεπίτριτος, καὶ 〈ἐπεὶ〉 ἐπιτέταρτος διπλασιεπιτέταρτος, καὶ ἑξῆς δὲ ἀκολούθως. πάλιν δὲ καὶ τούτων οἱ πυθμένες διευτακτηθήσονται

οὐκέτ’ αὐτόθεν ἐμφαινόμενοι ταῖς διαφοραῖς τῶν πλασσομένων, ὡς ἐπὶ τῶν ἁπλῶν σχέσεων ἐγίνετο, ἀλλὰ διὰ τὸ μικτὰς εἶναι τὰς σχέσεις

καὶ τοὺς λόγους ηὐξῆσθαι ἐν μορίοις τῶν διαφορῶν ὄντες φανήσονται. διπλασιεφημίσους μὲν γὰρ λόγου ὁ πυθμὴν ἐν τρίτῳ μέρει τῶν διαφορῶν, διπλασιεπιτρίτου δὲ ἐν τετάρτῳ καὶ διπλασιεπιτετάρτου δ’ ἐν πέμπτῳ, καὶ ἑξῆς ἀκολούθως μονάδι μεγαλωνυμώτερον ἀεὶ ἔσται τὸ μόριον ἀντεξεταζόμενον πρὸς τὸ ὄνομα τοῦ ἐπιτρέχοντος μορίου ἐν τοῖς εἴδεσι τοῦ πολλαπλασιεπιμορίου. παρατηρητέον δὲ ἐφ’ ἑκάστης πλάσεως τῶν τε ἐπιμερῶν σχέσεων καὶ τῶν πολλαπλασιεπιμορίων πῶς καὶ ἀντιπεπόνθησίς τις γλαφυρὰ ὑποφύεται. αἱ μὲν γὰρ ἐπιμερεῖς ἅπαξ πλῆρες τὸ μέτρον προσέβαλλον καὶ πλείονα τὰ ἀκαταμέτρητα ἀπέλειπον μόρια ἀρχόμενα ἀπὸ δύο· ἐπιδιμερὴς γὰρ ἡ πρώτη, εἶτ’ ἐπιτριμερὴς καὶ ἐπιτετραμερὴς καὶ ἑξῆς ἀκολούθως· αἱ δὲ πολλαπλασιεπιμόριοι ἀντιπεπονθότως δὶς μὲν τὸ μέτρον προσβάλλουσι πληρούντως, ἓν δὲ μέρος ἀεὶ ἀπολείπουσιν ἀκαταμέτρητον ἀρχόμενον καὶ αὐτὸ ἀπὸ τοῦ συζυγοῦντος τῷ δύο ἀριθμῷ μορίου, καὶ ἑξῆς προκόπτον ἀκολούθως. ἐπὶ δὲ πασῶν τῶν πλασσομένων σχέσεων

καὶ ἀφ’ ὧν αἱ πλάσεις οἱ ἄκροι τετράγωνοι γίνονται. ἡ δὲ λοιπὴ μικτὴ σχέσις ἡ πολλαπλασιεπιμερὴς γεννᾶται ἐκ τῆς ἐπιμεροῦς, καὶ ἐκ μὲν τῆς ἐπιδιμεροῦς 〈ἢ〉 δὶς ἐπιτρίτου, εἰδικῶς τῆς θʹ καὶ ιεʹ κεʹ, ἀρχομένων ἡμῶν ἀπὸ τοῦ ἐλάττονος ὅρου, γεννᾶται ἡ διπλασιεπιδιμερὴς

τρίτων ἐν ὅροις τοῖς θʹ κδʹ ξδʹ, ἐκ δὲ τῆς ἐπιτριμεροῦς ἢ τρὶς ἐπιτετάρτου τῆς ιϛʹ κηʹ μθʹ ἡ διπλασιεπιτριμερὴς τετάρτων ἐν ὅροις τοῖς ιϛʹ μδʹ ρκαʹ, πάλιν δὲ ἐκ τῆς ἐπιτετραμεροῦς ἢ τετράκις ἐπιπέμπτου τῆς κεʹ μεʹ παʹ γεννᾶται ἡ διπλασιεπιτετραμερὴς πέμπτων ἐν ὅροις τοῖς κεʹ οʹ ρҁϛʹ, καὶ κατὰ τὸ ἑξῆς ἐπ’ ἄπειρον εὑρήσομεν ἀναλόγως καὶ ἀκολούθως προϊοῦσαν τὴν πλάσιν τῶν πολλαπλασιεπιμερῶν σχέσεων ταῖς ἐπιμερέσιν. ἐκ μὲν γὰρ ἐπιδιμεροῦς τρίτων ἐγένετο ἡ διπλασιεπιδιμερὴς τρίτων, ἐκ δὲ τῆς ἐπιτριμεροῦς τετάρτων ἡ διπλασιεπιτριμερὴς τετάρτων, ἐκ δὲ τῆς ἐπιτετραμεροῦς πέμπτων ἡ διπλασιεπιτετραμερὴς πέμπτων. πάλιν δὲ καὶ αὐτῶν

τούτων οἱ πυθμένες κατά τινα λόγον φανήσονται διευτακτούμενοι· τῆς μὲν γὰρ διπλασιεπιδιμεροῦς τρίτων ἐν πέμπτῳ μέρει τῶν διαφορῶν ἐνοφθήσονται οἱ πυθμένες, τῆς διπλασιεπιτριμεροῦς τετάρτων ἐν ἑβδόμῳ, τῆς δὲ διπλασιεπιτετραμεροῦς πέμπτων ἐν ἐννάτῳ, καὶ ἀεὶ κατὰ δυάδος προσθήκην τὴν κλῆσιν ἕξει τὸ μόριον, οἷον ὁ ιαʹ καὶ ιγʹ καὶ ιεʹ, καὶ ἀεὶ ὁμοίως.

Ἐπιδειχθείσης ἡμῖν τῆς τῶν σχέσεων πλάσεως ἀπλατῶν καὶ μικτῶν ἀπὸ ἰσότητος τὴν ἀρχὴν ἐσχηκυίας, καθόλικόν τι θεώρημα προσληπτέον χρήσιμον ἡμῖν ἐσόμενον εἰς τοὺς λόγους τῆς ἁρμονικῆς θεωρίας

τοιοῦτον. ἕκαστον τῶν ἀπὸ μονάδος πολλαπλασίων ἢ οὑτινοσοῦν ἀριθμοῦ πρώτου καὶ ἀσυνθέτου τοσούτων ἐπιμορίων ἡγήσεται λόγων ἀντιπαρωνύμων ὁπόστος ἂν αὐτὸς ὢν τυγχάνῃ ἀπὸ μονάδος ἢ τοῦ πρώτου καὶ ἀσυνθέτου. τῷ μὲν γὰρ καθ’ ἕκαστον πρώτῳ πολλαπλασίῳ εἰς βάθος παρώνυμος εἷς ἐπιμόριος παραγραφήσεται, δευτέρῳ δὲ καθ’ ἕκαστον δύο, τρίτῳ δὲ τρεῖς, τετάρτῳ τέσσαρες, καὶ ἑξῆς ἀκολούθως,

ὥστε σύριγγι ὁμοίου τοῦ διαγράμματος γενομένου πολλὴν γλαφυρίαν ἐμφαίνεσθαι κατά τε τὸ μῆκος καὶ τὸ βάθος καὶ τὴν ὑποτείνουσαν. ἐκ μὲν γὰρ διπλασίων τριπλάσιοί τε καὶ ἡμιόλιοι φύσονται, ἐκ δὲ τριπλασίων τετραπλάσιοί τε καὶ ἐπίτριτοι, ἐκ δὲ τετραπλασίων πενταπλάσιοί τε καὶ ἐπιτέταρτοι, καὶ ἐφοσονοῦν ἀεὶ τῆς αὐτῆς ἀκολουθίας ἀποσῳζομένης. ὁ δὲ συνεχὴς ἀεὶ πολλαπλάσιος ὑποφύσεται διὰ τῆς ὑποτεινούσης κωλυτὴρ γινόμενος τῶν περαιτέρω τῆς εἰρημένης τάξεως ἐπιμορίων ἐστερημένος τοιούτου ἐπιμορίου καθὸ λέγεται ὁ ἐπιμόριος, ὡς ὁ τρία ἡμίσους καὶ ὁ τέσσαρα τρίτου καὶ ὁ πέντε τετάρτου καὶ ἀεὶ ὁμοίως. καθ’ ἑκάστην δὲ σύριγγα ὁ κατὰ τὴν ὀρθὴν γωνίαν τεταγμένος ἀριθμὸς πρὸς τοὺς ἑκατέρωθεν συγγενεῖς κατά τε τὸ πλάτος καὶ τὸ βάθος λόγον τινὰ ἀποσώσει οὐκ ἄτακτον, οἷον ἐν μὲν τῇ τῶν διπλασίων ἐκθέσει διπλάσιός τε καὶ ὑφημιόλιος γινόμενος, ἐν δὲ τῇ τῶν τριπλασίων τριπλάσιός τε καὶ ὑπεπίτριτος, καὶ ἐπὶ τῶν λοιπῶν ἀναλόγως.

Προληπτέον δὲ καὶ ἄλλο τι θεώρημα χρησιμώτατον ἡμῖν ἐσόμενον εἰς τὴν μουσικὴν εἰσαγωγὴν τοιοῦτον.

δύο ἀριθμῶν ἀνίσων ἐὰν ἡ πρὸς ἀλλήλους διαφορὰ

κατά τινας ἄλλους ἀριθμοὺς παρὰ μονάδα ἴσους ἀλλήλοις μετρῇ, τὸν μὲν μείζονα κατὰ τὸν μείζονα τὸν δὲ ἐλάττονα κατὰ τὸν ἐλάττονα, ἤτοι πληρούντως αὐτοὺς μετρήσει ἢ ὑπερβαλλόντως ἢ ἐλλιπῶς. ἀλλ’ ἐπεὶ τὸ μὲν πλῆρες ἑνὶ τρόπῳ πλῆρές ἐστιν, ὡς τὸ τέλειον καὶ τὸ ἴσον, κατὰ τὴν τῶν ἀρετῶν φύσιν, τὸ δὲ ἐλλιπὲς καὶ τὸ ὑπερβάλλον ἄπειρά τε καὶ ἀόριστα, καθὰ καὶ αἱ κακίαι, διὰ τὴν τῆς ἀνισότητος φύσιν, κατὰ μὲν τὴν πλήρη μέτρησιν ἕνα καὶ τὸν αὐτὸν οἱ μετρηθέντες λόγον ἕξουσι πρὸς ἐκείνους, καθ’ οὓς ἐμέτρησεν αὐτοὺς ἡ διαφορά, καὶ ἔσται ὁ τούτων μείζων πρὸς τὸν ἐλάττονα, ὡς ὁ ἐκείνων μονάδι μείζων πρὸς τὸν μονάδι ἐλάττονα· κατὰ δὲ τὰς λοιπὰς δύο μετρήσεις ἢ μείζονα ἢ ἐλάττονα, καὶ οὐκέτι τὸν αὐτόν. ἀλλ’ εἰ μὲν ἐλλιπὴς ᾖ ἡ μέτρησις, ὥστε μετὰ τὴν τοῦ μέτρου προσβολὴν τοσαυτάκις καὶ οἱ πρὸ αὐτῶν ἀκαταμέτρητόν τι ἀπολειφθῆναι ἐν ἀμφοτέροις τοῖς μετρηθεῖσιν, ἴσον δὲ τοῦτο, ἐν μείζονι πάντες οἱ ὅλοι λόγῳ γενήσονται ἤπερ τὰ ὑπὸ τοῦ μέτρου καταληφθέντα πληρούντως αὐτῶν μέρη πρὸς ἄλληλα ἐξεταζόμενα,

καὶ καθόλου οἱ ἐνδοτέρω καὶ εἰς τὸ ἔλαττον κατὰ ἴσην διαφορὰν ὑποβιβαζόμενοι ἀριθμοὶ μείζονας ἀεὶ καὶ μᾶλλον λόγους ἕξουσιν τῶν ὑπὲρ αὐτοὺς μειζόνων, ὡς ἐπὶ τῶν ἀριθμητικῶν μεσοτήτων πασῶν ἔστιν ἰδεῖν τοὺς ἐλάττονας ὅρους αἰεὶ ἐν μείζοσιν ὄντας λόγοις, τοὺς δὲ μείζονας ἐν ἐλάττοσιν· ἐὰν δέ γε ὑπερβάλλουσα ᾖ ἡ μέτρησις,

ὥστε, καταμετρηθέντων ὑπὸ τῆς κοινῆς αὐτῶν διαφορᾶς τῶν ὅλων, κατὰ τὴν αὐτῶν ποσότητα ὑπερπαίειν ἴσῃ τινὶ ποσότητι τὸ μέτρον, ἐν ἐλάσσονι οἱ ὅλοι λόγῳ πρὸς ἀλλήλους ἔσονται ἤπερ οἱ τὴν ἴσην ὑπερέκπτωσιν τοῦ μέτρου ἐν ἀμφοῖν ὁρίζοντες. ἔστω δὲ τῶν λεχθέντων τριῶν τρόπων ὑποδείγματα τρεῖς τινες αἵδε συζυγίαι· τῆς μὲν πλήρους μετρήσεως ἡ νʹ καὶ νεʹ, τῆς δ’ ἐλλειπούσης ἡ μηʹ καὶ νγʹ, τῆς δὲ ὑπερβαλλούσης ἡ νγʹ καὶ [ἡ] νηʹ, κοινὴ δὲ διαφορὰ ἐν πάσαις ἡ πεντάς. καθ’ ἑκατέρων οὖν τῶν ἐν ἑκάστῃ συζυγίᾳ ὅρων μετροῦσα ἡ πεντὰς τοὺς μὲν μείζονας ἑνδεκάκις μετρήσει τοὺς δὲ ἐλάττονας δεκάκις. ἀλλ’ ἐν μὲν τῇ πρώτῃ ἴσους τοὺς λόγους ἕξουσιν οἵ τε ὅλοι καὶ οἱ καθ’ οὓς ἐμετρήθησαν, εἴ γε οὗτοι μὲν ἐν τῷ αὐτῷ ἐπιδεκάτῳ

λόγῳ ἔσονται. 〈ἐν δὲ τῇ δευτέρᾳ μείζονα οἱ ὅλοι τῶν καθ’ οὓς ἐμετρήθησαν· οἱ μὲν γὰρ ἐν τῷ ἐπιδεκάτῳ λόγῳ ἔσονται,〉 οἱ δ’ ὅλοι οὐκέτι μὲν ἐν τῷ αὐτῷ, ἀλλ’ ἐν μείζονι ἢ ἐπιδεκάτῳ· ὁ γὰρ νγʹ ἔχει τὸν μηʹ καὶ μεῖζον ἢ τὸ δέκατον αὐτοῦ. ἐν δὲ τῇ τρίτῃ ἐλάττονα οἱ ὅλοι τῶν καθ’ οὓς ἐμετρήθησαν· οἱ μὲν γὰρ ἐν τῷ αὐτῷ ἐπιδεκάτῳ ἔσονται λόγῳ, οἱ δὲ ὅλοι 〈ἐν〉 ἐλάττονι ἢ ἐπιδεκάτῳ· ὁ γὰρ νηʹ τοῦ νγʹ ἐλάσσων ἐστὶν ἢ ἐπιδέκατος, εἴ γε ἔχει ὁ μείζων τὸν ἐλάσσονα καὶ ἔλαττον ἢ τὸ δέκατον αὐτοῦ. ἐὰν δὲ ὅροις ἀνίσοις ἴσοι ἀριθμοὶ προστεθῶσιν, ἡ μὲν αὐτὴ ἔσται διαφορὰ τῶν τε

ἐξ ἀρχῆς καὶ τῶν μετὰ τῆς προσθέσεως, λόγον δὲ ἐλάττονα ἕξουσιν οἱ ὕστερον, τουτέστιν οἱ σὺν τῇ προσθέσει. κἂν ἀπὸ ἀνίσων δὲ ὅρων ἴση ἀφαίρεσις γένηται, οἱ ἐξ αὐτῶν λειπόμενοι ἀριθμοὶ τὴν αὐτὴν μὲν ἕξουσι διαφορὰν τοῖς ἐξ ἀρχῆς,

ἐν μείζονι δὲ λόγῳ γενήσονται.

Ἔτι κἀκεῖνο προληπτέον χρήσιμον ἡμῖν εἰς τὰ αὐτὰ ἐσόμενον· ὅτι ἐὰν διάστημα ὁτιοῦν δὶς συντεθῇ, τουτέστιν ὁστισοῦν λόγος διαφορηθῇ, διαμένοντος δηλονότι κοινοῦ τοῦ μέσου ὅρου, οἱ ἄκροι πάντως ἐν μείζονι λόγῳ ἔσονται ἤπερ οἱ ἁπλοῦν τὸ διάστημα περιέχοντες. ἀλλ’ ἐὰν μὲν τὸ διαφορούμενον διάστημα ἐν πολλαπλασίονι λόγῳ ᾖ, καὶ οἱ ἐμπεριέχοντες ἄκροι ἐν πολλαπλασίονι ἔσονται· ἐὰν δὲ ἐν ἐπιμορίῳ, οὔτ’ ἐν ἐπιμορίῳ ἔσονται οἱ περιέχοντες οὔτ’ ἐν πολλαπλασίῳ, ἀλλ’ ἐν ἄλλῃ τινὶ σχέσει μικτῇ. ἔστιν οὖν καὶ ἀναστρέψαντα εἰπεῖν ὅτι ἐὰν σύνθετον διάστημα τοὺς ἄκρους ἔχῃ ἐν πολλαπλασίῳ λόγῳ ὄντας πρὸς ἀλλήλους, πάντως καὶ τὸ διαφορηθὲν διάστημα

ἐν πολλαπλασίονι λόγῳ ἔσται· ἐὰν δὲ μήτε πολλαπλάσιος ᾖ ὁ λόγος τῶν ἄκρων μήτε ἐπιμόριος, μικτὸς δέ τις, τὸ διαφορηθὲν διάστημα πολλαπλάσιον μὲν οὐκ ἔσται, ἐπιμόριον δὲ ἢ ἑτερογενές. ἀφ’ οὗ βεβαιωθήσεται ἐν τοῖς ἁρμονικοῖς λόγοις τίνα μὲν σύμφωνα διαστήματα συμφώνοις συντιθέμενα μείζους συμφωνίας ἀποτελέσει, τίνα δὲ οὐχί, καὶ ἐν τίνι λόγῳ εἰσὶν αἱ ἀποτελούμεναι σύνθετοι, καὶ ἐν τίνι 〈αἱ〉 ἐξ ἀρχῆς.

Ἔτι κἀκεῖνο προληπτέον, ὅτι ἀριθμὸς ἀριθμὸν ἕτερον

πολλαπλασιάσας τὸν ἀπογεννώμενον ἔχοντα παρέξει ἑκατέρου τῶν γεννησάντων τὰ ἰδιώματα. καὶ ἐὰν δύο ἀριθμοὶ ἐν λόγῳ τινὶ ὄντες ἑτέρους δύο μηκύνωσιν ἐν ἄλλῳ λόγῳ μηκύνοντας, ὁ μείζων τὸν μείζονα καὶ ὁ ἐλάττων τὸν ἐλάττονα, ἀνάγκη τοὺς ἐξ αὐτῶν γεννωμένους ἀποσῶσαι ἑκάτερον τὸν λόγον· καὶ ἐὰν μὲν πυθμενικοὶ ὦσιν οἱ γεννήτορες, πυθμενικὴ καὶ ἡ λῆξις τῶν λεγομένων ἐν τοῖς ἀπογεννωμένοις συμβήσεται, εἰ δὲ μὴ πυθμένες εἶεν, τὴν αὐτὴν ἀποσώσουσιν ἀναλογίαν τῆς τάξεως.

Ὁμοίως κἀκεῖνο προληπτέον· πάντες οἱ ὅροι κατ’ ἀρτίαν ἔκθεσιν ἐκκείμενοι κατ’ ἴσην ὑπεροχήν, εἴτε τῆς ἀρτίας φύσεως εἶεν εἴτε τῆς περισσῆς εἴτε καὶ ἑκατέρας, τοσουτοπλάσιον

τὸ ἐκ τῆς ἐπισυνθέσεως πάντων τῶν ἐκκειμένων ὅρων ἀποτελοῦσι τοῦ ἐκ μόνων τῶν ἄκρων, ὅσονπερ τοῦ πλήθους τῶν ὅρων ἥμισυ ὑπάρχει, ἀφ’ οὗ παρωνυμήσει ἡ πολλαπλασιότης.

Ἀκόλουθον τούτοις τὸν περὶ ἀναλογιῶν ὄντα τόπον, ὅτι σύστημα λόγων ἐστὶν ἡ ἀναλογία, τὸ παρὸν ὑπερθέμενοι, πρότερον τὸν περὶ ἐπιπέδων καὶ στερεῶν ἐπελευσόμεθα, ἴδιον ὄντα τοῦ καθ’ αὑτὸ ποσοῦ καὶ διὰ τὸ χρήσιμον τῆς διδασκαλίας ὑπέρθεσιν λαβόντα.

Ἐπειδὰν τοίνυν ἀριθμὸς ἀπὸ μονάδος ὁστισοῦν ἤτοι καθ’ αὑτὸν ἢ καὶ ἐπισυντιθέμενος τοῖς πρὸ αὐτοῦ εἰς μονάδας ἀναλύηται καὶ κατὰ γραμμὴν ἐπεκτείνηται, εὐθυγραμμικὸς κεκλήσεται, διότι ἀπλατῶς ἐπὶ μόνον τὸ μῆκος πρόεισιν· ἰστέον γὰρ ὡς τὸ παλαιὸν

φυσικώτερον οἱ πρόσθεν ἐσημαίνοντο τὰς τοῦ ἀριθμοῦ ποσότητας ἀναλύοντες εἰς μονάδας, ἀλλ’ οὐχ ὥσπερ οἱ νῦν συμβολικῶς. ἰδίως δὲ εὐθυγραμμικοὶ καλοῦνται οἱ διάγραμμα ἐπίπεδον μὴ ποιοῦντες, ὡς ὁ εʹ καὶ ὁ ζʹ καὶ οἱ ὅμοιοι· εὐθυμετρικοὶ δὲ καλοῦνται διὰ τὸ κατ’ εὐθεῖαν μετρεῖσθαι ὑπὸ μονάδος. καὶ ἐπειδὴ ἀρχή ἐστι καὶ στοιχεῖον μήκους ἡ στιγμή, ἧσπερ ῥύσιν φασὶν εἶναι οἱ γεωμέτραι τὴν γραμμήν, ἕξει καὶ ἡ μονὰς καθ’ ὁμοιότητα