Источник / закреплённая редакция

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

Источник пакета grc.euclid.angles · 0.1.0

work
urn:grc:euclid:clir:angles#SCHOOL_LAYER
номер
0.1.0
вид
urn:grc:euclid:clir:angles#treatise

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

edition
urn:grc:euclid:clir:angles#SCHOOL_I_READING_EDITION
язык
ru
официальность
unofficial
материализация
PINNED_UNOFFICIAL_COPY
жизненный цикл
—

Публикации

URIТипdocumentHashПолучено
urn:grc:euclid:angles:school-reading:0.1.0text/plain; charset=utf-8sha256:5b5f6366c84b44fb3845111f618179bd6561d4284b0b3cad6f28c90b5ad061162026-09-18T00:00:00Z

Фрагменты — 1

reading · defn · на него ссылаются: 29

ru · unofficial · sha256:2f0d8da7478aa332ce62a31b9b697a3fe193614ea242989fb9b6ed499f0d4bdf

Школьное прочтение предложений 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; этот слой только переводит их на градусы.

Ссылаются нормы: 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

Хэш рядом с текстом — sha256 его точных байтов. Он и есть проверка того, что показанный текст совпадает с закреплённым в пакете: расхождение роняет статику оракула.