// Source-модель: закреплённые байты книги II «Начал» (II.12, II.13)
// и целочисленное прочтение I.20/I.47/I.48 книги I.
//
// ФАЙЛ ПОРОЖДАЕТСЯ. Правится только генератором —
// `corpus/tools/sources/sync/sync_euclid_pythagoras_fragments.py`.
// Книга I в знаменатель §33.1 не входит: её байты — у
// `grc.euclid.stoicheia_i`. INTEGER_READING — источник SCHOOL_LAYER.

language "law.core" version "0.2";
package grc.eukleides.pythagoras version "0.1.0";
namespace "urn:grc:eukleides:clir:pythagoras";

source STOICHEIA_II {
    kind treatise;
    jurisdiction "none";
    number "Euclidis Elementa II";
    label grc official "Στοιχείων β΄";
    label ru unofficial "Начала, книга II";
}

edition STOICHEIA_II_GRC of STOICHEIA_II {
    label grc official "Προτάσεις ιβ΄, ιγ΄";
    label ru unofficial "Греческий текст, предложения 12, 13";
    language grc;
    officiality unofficial;
    materialization_status PINNED_UNOFFICIAL_COPY;
}

publication STOICHEIA_II_WIKISOURCE of STOICHEIA_II_GRC {
    media_type "text/plain; charset=utf-8";
    uri "https://el.wikisource.org/w/index.php?title=%CE%A3%CF%84%CE%BF%CE%B9%CF%87%CE%B5%CE%AF%CE%B1/%CE%B2&oldid=92614";
    retrieved_at @2026-08-31T22:00:00Z;
    content_hash "sha256:4170cfbcc7d200e88b9390cf21c4eb4b5e2584c4d693699de62e911912904912";
    local_path "sources/euclid-pythagoras/grc-ii.txt";
}

source SCHOOL_LAYER {
    kind treatise;
    jurisdiction "none";
    number "0.1.0";
    label ru unofficial "Целочисленное прочтение I.20, I.47, I.48 и I.21";
}

edition INTEGER_READING_EDITION of SCHOOL_LAYER {
    label ru unofficial "Целочисленное прочтение Пифагора";
    language ru;
    officiality unofficial;
    materialization_status PINNED_UNOFFICIAL_COPY;
}

publication INTEGER_READING_PUBLICATION of INTEGER_READING_EDITION {
    media_type "text/plain; charset=utf-8";
    uri "urn:grc:eukleides:pythagoras:integer-reading:0.1.0";
    retrieved_at @2026-09-18T00:00:00Z;
    content_hash "sha256:c867c55f7c14174240e93c9808e4ae6a9814d5a8221cdc11b4f0040874fe842c";
    local_path "sources/school-reading.txt";
}

fragment INTEGER_READING in INTEGER_READING_EDITION {
    kind defn;
    locator "reading";
    text ru unofficial """Целочисленное прочтение предложений I.20, I.47, I.48 и определения I.21 «Начал» Евклида, версия 0.1.0.
Стороны — Integer; «квадрат на стороне» — произведение. Правила I.20, I.47 и I.48 исполняет пакет grc.euclid.stoicheia_i; этот пакет читает их головы и добавляет трихотомию II.12–II.13 и сторож заявленного прямого угла (ἐναντίωσις).
Дело подаёт длины на сущность книги I (pleurai_trigonou). Иррациональные длины невыразимы и не спрашиваются.""";
    content_hash "sha256:8beb222525593bcbefdd5843af325447c9fccdb78865fa9d5e660e58b7101516";
}

// Предложение II.12: тупоугольный случай — квадрат на стороне против тупого угла БОЛЬШЕ квадратов двух других на дважды прямоугольник
fragment STO_II12 in STOICHEIA_II_GRC {
    kind article;
    locator "article/12";
    text grc official """Ἐν τοῖς ἀμβλυγωνίοις τριγώνοις τὸ ἀπὸ τῆς τὴν ἀμβλεῖαν γωνίαν ὑποτεινούσης πλευρᾶς τετράγωνον μεῖζόν ἐστι τῶν ἀπὸ τῶν τὴν ἀμβλεῖαν γωνίαν περιεχουσῶν πλευρῶν τετραγώνων τῷ περιεχομένῳ δὶς ὑπό τε μιᾶς τῶν περὶ τὴν ἀμβλεῖαν γωνίαν, ἐφ' ἣν ἡ κάθετος πίπτει, καὶ τῆς ἀπολαμβανομένης ἐκτὸς ὑπὸ τῆς καθέτου πρὸς τῇ ἀμβλείᾳ γωνίᾳ.

Ἔστω ἀμβλυγώνιον τρίγωνον τὸ ΑΒΓ ἀμβλεῖαν ἔχον τὴν ὑπὸ ΒΑΓ, καὶ ἤχθω ἀπὸ τοῦ Β σημείου ἐπὶ τὴν ΓΑ ἐκβληθεῖσαν κάθετος ἡ ΒΔ. λέγω, ὅτι τὸ ἀπὸ τῆς ΒΓ τετράγωνον μεῖζόν ἐστι τῶν ἀπὸ τῶν ΒΑ, ΑΓ τετραγώνων τῷ δὶς ὑπὸ τῶν ΓΑ, ΑΔ περιεχομένῳ ὀρθογωνίῳ.

Ἐπεὶ γὰρ εὐθεῖα ἡ ΓΑ τέτμηται, ὡς ἔτυχεν, κατὰ τὸ Α σημεῖον, τὸ ἄρα ἀπὸ τῆς ΔΓ ἴσον ἐστὶ τοῖς ἀπὸ τῶν ΓΑ, ΑΔ τετραγώνοις καὶ τῷ δὶς ὑπὸ τῶν ΓΑ, ΑΔ περιεχομένῳ ὀρθογωνίῳ. κοινὸν προσκείσθω τὸ ἀπὸ τῆς ΔΒ· τὰ ἄρα ἀπὸ τῶν ΓΔ, ΔΒ ἴσα ἐστὶ τοῖς τε ἀπὸ τῶν ΓΑ, ΑΔ, ΔΒ τετραγώνοις καὶ τῷ δὶς ὑπὸ τῶν ΓΑ, ΑΔ [περιεχομένῳ ὀρθογωνίῳ]. ἀλλὰ τοῖς μὲν ἀπὸ τῶν ΓΔ, ΔΒ ἴσον ἐστὶ τὸ ἀπὸ τῆς ΓΒ· ὀρθὴ γὰρ ἡ πρὸς τῷ Δ γωνία· τοῖς δὲ ἀπὸ τῶν ΑΔ, ΔΒ ἴσον τὸ ἀπὸ τῆς ΑΒ· τὸ ἄρα ἀπὸ τῆς ΓΒ τετράγωνον ἴσον ἐστὶ τοῖς τε ἀπὸ τῶν ΓΑ, ΑΒ τετραγώνοις καὶ τῷ δὶς ὑπὸ τῶν ΓΑ, ΑΔ περιεχομένῳ ὀρθογωνίῳ· ὥστε τὸ ἀπὸ τῆς ΓΒ τετράγωνον τῶν ἀπὸ τῶν ΓΑ, ΑΒ τετραγώνων μεῖζόν ἐστι τῷ δὶς ὑπὸ τῶν ΓΑ, ΑΔ περιεχομένῳ ὀρθογωνίῳ.

Ἐν ἄρα τοῖς ἀμβλυγωνίοις τριγώνοις τὸ ἀπὸ τῆς τὴν ἀμβλεῖαν γωνίαν ὑποτεινούσης πλευρᾶς τετράγωνον μεῖζόν ἐστι τῶν ἀπὸ τῶν τὴν ἀμβλεῖαν γωνίαν περιεχουσῶν πλευρῶν τετραγώνων τῷ περιεχομένῳ δὶς ὑπό τε μιᾶς τῶν περὶ τὴν ἀμβλεῖαν γωνίαν, ἐφ' ἣν ἡ κάθετος πίπτει, καὶ τῆς ἀπολαμβανομένης ἐκτὸς ὑπὸ τῆς καθέτου πρὸς τῇ ἀμβλείᾳ γωνίᾳ· ὅπερ ἔδει δεῖξαι.""";
    content_hash "sha256:d43fba5d23db2f11718c3b0e0b7cb044b06d49165905dcf1c5c0a8122e08bf40";
}

// Предложение II.13: остроугольный случай — квадрат на стороне против острого угла МЕНЬШЕ квадратов двух других на дважды прямоугольник
fragment STO_II13 in STOICHEIA_II_GRC {
    kind article;
    locator "article/13";
    text grc official """Ἐν τοῖς ὀξυγωνίοις τριγώνοις τὸ ἀπὸ τῆς τὴν ὀξεῖαν γωνίαν ὑποτεινούσης πλευρᾶς τετράγωνον ἔλαττόν ἐστι τῶν ἀπὸ τῶν τὴν ὀξεῖαν γωνίαν περιεχουσῶν πλευρῶν τετραγώνων τῷ περιεχομένῳ δὶς ὑπό τε μιᾶς τῶν περὶ τὴν ὀξεῖαν γωνίαν, ἐφ' ἣν ἡ κάθετος πίπτει, καὶ τῆς ἀπολαμβανομένης ἐντὸς ὑπὸ τῆς καθέτου πρὸς τῇ ὀξείᾳ γωνίᾳ.

Ἔστω ὀξυγώνιον τρίγωνον τὸ ΑΒΓ ὀξεῖαν ἔχον τὴν πρὸς τῷ Β γωνίαν, καὶ ἤχθω ἀπὸ τοῦ Α σημείου ἐπὶ τὴν ΒΓ κάθετος ἡ ΑΔ· λέγω, ὅτι τὸ ἀπὸ τῆς ΑΓ τετράγωνον ἔλαττόν ἐστι τῶν ἀπὸ τῶν ΓΒ, ΒΑ τετραγώνων τῷ δὶς ὑπὸ τῶν ΓΒ, ΒΔ περιεχομένῳ ὀρθογωνίῳ.

Ἐπεὶ γὰρ εὐθεῖα ἡ ΓΒ τέτμηται, ὡς ἔτυχεν, κατὰ τὸ Δ, τὰ ἄρα ἀπὸ τῶν ΓΒ, ΒΔ τετράγωνα ἴσα ἐστὶ τῷ τε δὶς ὑπὸ τῶν ΓΒ, ΒΔ περιεχομένῳ ὀρθογωνίῳ καὶ τῷ ἀπὸ τῆς ΔΓ τετραγώνῳ. κοινὸν προσκείσθω τὸ ἀπὸ τῆς ΔΑ τετράγωνον· τὰ ἄρα ἀπὸ τῶν ΓΒ, ΒΔ, ΔΑ τετράγωνα ἴσα ἐστὶ τῷ τε δὶς ὑπὸ τῶν ΓΒ, ΒΔ περιεχομένῳ ὀρθογωνίῳ καὶ τοῖς ἀπὸ τῶν ΑΔ, ΔΓ τετραγώνοις. ἀλλὰ τοῖς μὲν ἀπὸ τῶν ΒΔ, ΔΑ ἴσον τὸ ἀπὸ τῆς ΑΒ· ὀρθὴ γὰρ ἡ πρὸς τῷ Δ γωνίᾳ· τοῖς δὲ ἀπὸ τῶν ΑΔ, ΔΓ ἴσον τὸ ἀπὸ τῆς ΑΓ· τὰ ἄρα ἀπὸ τῶν ΓΒ, ΒΑ ἴσα ἐστὶ τῷ τε ἀπὸ τῆς ΑΓ καὶ τῷ δὶς ὑπὸ τῶν ΓΒ, ΒΔ· ὥστε μόνον τὸ ἀπὸ τῆς ΑΓ ἔλαττόν ἐστι τῶν ἀπὸ τῶν ΓΒ, ΒΑ τετραγώνων τῷ δὶς ὑπὸ τῶν ΓΒ, ΒΔ περιεχομένῳ ὀρθογωνίῳ.

Ἐν ἄρα τοῖς ὀξυγωνίοις τριγώνοις τὸ ἀπὸ τῆς τὴν ὀξεῖαν γωνίαν ὑποτεινούσης πλευρᾶς τετράγωνον ἔλαττόν ἐστι τῶν ἀπὸ τῶν τὴν ὀξεῖαν γωνίαν περιεχουσῶν πλευρῶν τετραγώνων τῷ περιεχομένῳ δὶς ὑπό τε μιᾶς τῶν περὶ τὴν ὀξεῖαν γωνίαν, ἐφ' ἣν ἡ κάθετος πίπτει, καὶ τῆς ἀπολαμβανομένης ἐντὸς ὑπὸ τῆς καθέτου πρὸς τῇ ὀξείᾳ γωνίᾳ· ὅπερ ἔδει δεῖξαι.""";
    content_hash "sha256:335b2ee241d2b44bc2a25846ae71637bfe77186c2bdfa56df836555c4c3c7a46";
}