Source / pinned edition

Школьный слой меры углов книги I

Source of package grc.euclid.angles · 0.1.0

work
urn:grc:euclid:clir:angles#SCHOOL_LAYER
number
0.1.0
kind
urn:grc:euclid:clir:angles#treatise

Школьное прочтение I.13, I.15, I.27—I.32 в градусах

edition
urn:grc:euclid:clir:angles#SCHOOL_I_READING_EDITION
language
ru
officiality
unofficial
materialisation
PINNED_UNOFFICIAL_COPY
life cycle
—

Publications

URITypedocumentHashRetrieved
urn:grc:euclid:angles:school-reading:0.1.0text/plain; charset=utf-8sha256:5b5f6366c84b44fb3845111f618179bd6561d4284b0b3cad6f28c90b5ad061162026-09-18T00:00:00Z

Fragments — 1

reading · defn · referenced by: 29

ru · unofficial · sha256:2f0d8da7478aa332ce62a31b9b697a3fe193614ea242989fb9b6ed499f0d4bdfRU

Школьное прочтение предложений I.13, I.15, I.27–I.29 и I.32 «Начал» Евклида, версия 0.1.0. Мера угла — Decimal в градусах. Равенство «ἴση» читается совпадением мер; два прямых — 180.0°. Смежные, вертикальные, накрест лежащие, соответственные и односторонние углы, сумма углов треугольника и внешний угол — те же утверждения, что в книге I, но над школьной фигурой. Школьное «дано» может не предъявлять точки и прямые словаря книги I, поэтому linear_pair, vertical_pair и пары при секущей остаются эмпирическими. Формулировки предложений принадлежат пакету grc.euclid.stoicheia_i; этот слой только переводит их на градусы.

Referencing norms: AlternateFromParallelFirst, AlternateFromParallelSecond, CointeriorFromParallelFirst, CointeriorFromParallelSecond, CorrespondingFromParallelFirst, CorrespondingFromParallelSecond, ExteriorAtFirst, ExteriorAtSecond, ExteriorAtThird, LinearPairFromFirst, LinearPairFromSecond, ParallelFromAlternate, ParallelFromCointerior, ParallelFromCorresponding, TriangleSumFirst, TriangleSumSecond, TriangleSumThird, TwoRightAngles, VerticalFromFirst, VerticalFromSecond, alternate_angles, cointerior_angles, corresponding_angles, exterior_angle_of, linear_pair, parallel, school_figure_gonion, triangle_of, vertical_pair

The hash beside the text is the sha256 of its exact bytes. It is the check that the text shown matches the one pinned in the package: a divergence fails the oracle’s static analysis.