Проверка условия
Стороны 3, 4, 5: прямоугольный
Дата контекста 31.08.2026
Результат расчёта
Установлено
Исходные параметры
Что определяем
треугольник прямоугольный — пифагорово соотношение выполнено при одной из трёх позиций прямого угла (I.48)
Треугольник
Исходные факты
три стороны треугольника в порядке записи дела; единица длины у всех трёх одна и та же по построению записи — величины безразмерны (Integer), и вопрос пакета от неё не зависит
t: Треугольникa: 3b: 4c: 5
Пакет: Теорема Пифагора и трихотомия треугольников: Начала Евклида I.20, I.47, I.48, II.12, II.13 и определение I.21 — вне юрисдикции государства — доктрина
Дополнительные сведения
- Сохранить доказательство
- Да
Исходные данные · JSON
{
"args": [
"Треугольник"
],
"facts": [
{
"args": [
"Треугольник",
3,
4,
5
],
"predicate": "pleurai"
}
],
"kind": "truth",
"legalTime": "2026-08-31",
"package": "grc-euclid-pythagoras",
"predicate": "orthogonion",
"proof": true
}Почему такой результатПрименённые правила и условия
Путь вывода4 шагов
- 1факт дела
три стороны треугольника в порядке записи дела; единица длины у всех трёх одна и та же по построению записи — величины безразмерны (Integer), и вопрос пакета от неё не зависит
t: Треугольник; a: 3; b: 4; c: 5
- 2правило
I.20: тройка составляет треугольник — каждые две стороны, взятые вместе, строго больше третьей
тройка сторон составляет треугольник (I.20 выполнено при любом сочетании двух сторон): t: Треугольник
ст. 20
Идентификатор
urn:grc:eukleides:clir:pythagoras#TrigononEstin - 3правило
I.48, угол против третьей стороны: квадрат третьей равен сумме квадратов первых двух — треугольник прямоугольный
треугольник прямоугольный — пифагорово соотношение выполнено при одной из трёх позиций прямого угла (I.48): t: Треугольник
ст. 48
Идентификатор
urn:grc:eukleides:clir:pythagoras#OrthogonionProsTritei - 4запрос
Вычисление запроса
проверено движком: 3 · факт дела: 1 · Полный граф: 7 узлов
Шаги сохранённого доказательства от фактов дела к ответу. Формулы показаны как записаны в норме, с подставленными значениями; страница ничего не пересчитывает.
Основание этого ответа
Правила из сохранённой цепочки доказательства ответа.
Теорема Пифагора и трихотомия треугольников: Начала Евклида I.20, I.47, I.48, II.12, II.13 и определение I.21 — вне юрисдикции государства — доктрина
I.48, угол против третьей стороны: квадрат третьей равен сумме квадратов первых двух — треугольник прямоугольный
Идентификатор
urn:grc:eukleides:clir:pythagoras#OrthogonionProsTriteiI.20: тройка составляет треугольник — каждые две стороны, взятые вместе, строго больше третьей
Идентификатор
urn:grc:eukleides:clir:pythagoras#TrigononEstin
Вывод по запросу
треугольник прямоугольный — пифагорово соотношение выполнено при одной из трёх позиций прямого угла (I.48)
t: Треугольник
Другие выводы1
тройка сторон составляет треугольник (I.20 выполнено при любом сочетании двух сторон)
t: Треугольник
| t |
|---|
| Треугольник |
| t |
|---|
| Треугольник |
Скрыто выведенных фактов: 0. В кратком ответе движок оставляет относящиеся к вопросу; полный перечень — в JSON расчёта ниже.
Граф доказательств
Узлы доказательств: 7 · assertion 1, rule_application 2, constraint_check 3, query_evaluation 1
assertion · urn:proof:assert:urn:mcp:case#fact-1
- attributes
- assertion
- fact-1
- conclusion
- Аргументы
- Идентификатор
- Треугольник
- Тип
- entity_ref
- Тип
- value
- type
- name
- Integer
- value
- 3
- Тип
- value
- type
- name
- Integer
- value
- 4
- Тип
- value
- type
- name
- Integer
- value
- 5
- Тип
- literal
- Знак
- positive
- Условие
- pleurai
- evidence
- —
- Идентификатор
- fact-1
- Тип
- assertion
- Посылки
- —
- sourceAnchors
- —
rule_application · urn:proof:apply:TrigononEstin:aede226a089a3e3c6e4703def6ebb6193f6cc1a19a686f45cde294caf9255862
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- Треугольник
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- trigonon_estin
- evidence
- —
- Идентификатор
- aede226a089a3e3c6e4703def6ebb6193f6cc1a19a686f45cde294caf9255862
- Тип
- rule_application
- Посылки
- fact-1
- Правило
- TrigononEstin
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Треугольник
- Тип
- entity_ref
- v1
- Тип
- value
- type
- name
- Integer
- value
- 3
- v2
- Тип
- value
- type
- name
- Integer
- value
- 4
- v3
- Тип
- value
- type
- name
- Integer
- value
- 5
rule_application · urn:proof:apply:OrthogonionProsTritei:7056bf2dc23ce7e03a854f4450285b51cc7ddbdca773bdba794502331272362a
- attributes
- —
- conclusion
- Аргументы
- Идентификатор
- Треугольник
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- orthogonion
- evidence
- —
- Идентификатор
- 7056bf2dc23ce7e03a854f4450285b51cc7ddbdca773bdba794502331272362a
- Тип
- rule_application
- Посылки
- aede226a089a3e3c6e4703def6ebb6193f6cc1a19a686f45cde294caf9255862
- fact-1
- Правило
- OrthogonionProsTritei
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Треугольник
- Тип
- entity_ref
- v1
- Тип
- value
- type
- name
- Integer
- value
- 3
- v2
- Тип
- value
- type
- name
- Integer
- value
- 4
- v3
- Тип
- value
- type
- name
- Integer
- value
- 5
constraint_check · urn:proof:constraint:OrthogonionKaiAmblygonionAsymbata:5b3c3e00c9a668a258798c1ee3b3b07267f645534378f22f47fccf14436efa24
- attributes
- —
- conclusion
- constraint
- OrthogonionKaiAmblygonionAsymbata
- requirementStatus
- Не установлено
- Статус расчёта
- Не определено
- triggerStatus
- Соблюдено
- evidence
- —
- Идентификатор
- 5b3c3e00c9a668a258798c1ee3b3b07267f645534378f22f47fccf14436efa24
- Тип
- constraint_check
- Посылки
- 7056bf2dc23ce7e03a854f4450285b51cc7ddbdca773bdba794502331272362a
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Треугольник
- Тип
- entity_ref
constraint_check · urn:proof:constraint:OrthogonionKaiOukOrthogonionAsymbata:6260bd8c1ecf8a49585d04d06414c6c5dc7e0bb851fb49b07666a6f3aba3a047
- attributes
- —
- conclusion
- constraint
- OrthogonionKaiOukOrthogonionAsymbata
- requirementStatus
- Не установлено
- Статус расчёта
- Не определено
- triggerStatus
- Соблюдено
- evidence
- —
- Идентификатор
- 6260bd8c1ecf8a49585d04d06414c6c5dc7e0bb851fb49b07666a6f3aba3a047
- Тип
- constraint_check
- Посылки
- 7056bf2dc23ce7e03a854f4450285b51cc7ddbdca773bdba794502331272362a
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Треугольник
- Тип
- entity_ref
constraint_check · urn:proof:constraint:TrichotomiaPliris:f61efd2e9cb2fa92658918100a35130495ac0310b3993be1c50d4ed98fef2507
- attributes
- —
- conclusion
- constraint
- TrichotomiaPliris
- requirementStatus
- Установлено
- Статус расчёта
- Соблюдено
- triggerStatus
- Соблюдено
- evidence
- —
- Идентификатор
- f61efd2e9cb2fa92658918100a35130495ac0310b3993be1c50d4ed98fef2507
- Тип
- constraint_check
- Посылки
- 7056bf2dc23ce7e03a854f4450285b51cc7ddbdca773bdba794502331272362a
- aede226a089a3e3c6e4703def6ebb6193f6cc1a19a686f45cde294caf9255862
- sourceAnchors
- —
- substitution
- v0
- Идентификатор
- Треугольник
- Тип
- entity_ref
query_evaluation · urn:proof:query:mcp
- attributes
- —
- conclusion
- literal
- Аргументы
- Идентификатор
- Треугольник
- Тип
- entity_ref
- Тип
- literal
- Знак
- positive
- Условие
- orthogonion
- truthStatus
- Установлено
- evidence
- —
- Идентификатор
- mcp
- Тип
- query_evaluation
- Посылки
- 7056bf2dc23ce7e03a854f4450285b51cc7ddbdca773bdba794502331272362a
- sourceAnchors
- —
Идентификаторы календаря и доказательства
- Ссылка на доказательство
- mcp
Исходное обоснование · JSON
{
"derived": [
"trigonon_estin(Треугольник)",
"orthogonion(Треугольник)"
],
"derivedOmitted": 0,
"evaluation": {
"proofGraph": {
"nodes": [
{
"attributes": {
"assertion": "urn:mcp:case#fact-1"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Треугольник",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 3
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 4
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 5
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:eukleides:clir:pythagoras#pleurai"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Треугольник",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:eukleides:clir:pythagoras#trigonon_estin"
},
"evidence": [],
"id": "urn:proof:apply:TrigononEstin:aede226a089a3e3c6e4703def6ebb6193f6cc1a19a686f45cde294caf9255862",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1"
],
"rule": "urn:grc:eukleides:clir:pythagoras#TrigononEstin",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Треугольник",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 3
},
"v2": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 4
},
"v3": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 5
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Треугольник",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:eukleides:clir:pythagoras#orthogonion"
},
"evidence": [],
"id": "urn:proof:apply:OrthogonionProsTritei:7056bf2dc23ce7e03a854f4450285b51cc7ddbdca773bdba794502331272362a",
"kind": "rule_application",
"premises": [
"urn:proof:apply:TrigononEstin:aede226a089a3e3c6e4703def6ebb6193f6cc1a19a686f45cde294caf9255862",
"urn:proof:assert:urn:mcp:case#fact-1"
],
"rule": "urn:grc:eukleides:clir:pythagoras#OrthogonionProsTritei",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Треугольник",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 3
},
"v2": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 4
},
"v3": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 5
}
}
},
{
"attributes": {},
"conclusion": {
"constraint": "urn:grc:eukleides:clir:pythagoras#OrthogonionKaiAmblygonionAsymbata",
"requirementStatus": "NEITHER",
"status": "UNDETERMINED",
"triggerStatus": "SATISFIED"
},
"evidence": [],
"id": "urn:proof:constraint:OrthogonionKaiAmblygonionAsymbata:5b3c3e00c9a668a258798c1ee3b3b07267f645534378f22f47fccf14436efa24",
"kind": "constraint_check",
"premises": [
"urn:proof:apply:OrthogonionProsTritei:7056bf2dc23ce7e03a854f4450285b51cc7ddbdca773bdba794502331272362a"
],
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Треугольник",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"constraint": "urn:grc:eukleides:clir:pythagoras#OrthogonionKaiOukOrthogonionAsymbata",
"requirementStatus": "NEITHER",
"status": "UNDETERMINED",
"triggerStatus": "SATISFIED"
},
"evidence": [],
"id": "urn:proof:constraint:OrthogonionKaiOukOrthogonionAsymbata:6260bd8c1ecf8a49585d04d06414c6c5dc7e0bb851fb49b07666a6f3aba3a047",
"kind": "constraint_check",
"premises": [
"urn:proof:apply:OrthogonionProsTritei:7056bf2dc23ce7e03a854f4450285b51cc7ddbdca773bdba794502331272362a"
],
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Треугольник",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"constraint": "urn:grc:eukleides:clir:pythagoras#TrichotomiaPliris",
"requirementStatus": "TRUE_ONLY",
"status": "SATISFIED",
"triggerStatus": "SATISFIED"
},
"evidence": [],
"id": "urn:proof:constraint:TrichotomiaPliris:f61efd2e9cb2fa92658918100a35130495ac0310b3993be1c50d4ed98fef2507",
"kind": "constraint_check",
"premises": [
"urn:proof:apply:OrthogonionProsTritei:7056bf2dc23ce7e03a854f4450285b51cc7ddbdca773bdba794502331272362a",
"urn:proof:apply:TrigononEstin:aede226a089a3e3c6e4703def6ebb6193f6cc1a19a686f45cde294caf9255862"
],
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Треугольник",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"literal": {
"args": [
{
"id": "urn:mcp:entity:Треугольник",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:eukleides:clir:pythagoras#orthogonion"
},
"truthStatus": "TRUE_ONLY"
},
"evidence": [],
"id": "urn:proof:query:mcp",
"kind": "query_evaluation",
"premises": [
"urn:proof:apply:OrthogonionProsTritei:7056bf2dc23ce7e03a854f4450285b51cc7ddbdca773bdba794502331272362a"
],
"sourceAnchors": []
}
],
"proofHash": "sha256:58abac9ccca23c56e925f2e137d82a1fea04d448d4982493d24fea9be374ac22",
"roots": [
"urn:proof:constraint:OrthogonionKaiAmblygonionAsymbata:5b3c3e00c9a668a258798c1ee3b3b07267f645534378f22f47fccf14436efa24",
"urn:proof:constraint:OrthogonionKaiOukOrthogonionAsymbata:6260bd8c1ecf8a49585d04d06414c6c5dc7e0bb851fb49b07666a6f3aba3a047",
"urn:proof:constraint:TrichotomiaPliris:f61efd2e9cb2fa92658918100a35130495ac0310b3993be1c50d4ed98fef2507",
"urn:proof:query:mcp"
]
},
"resultHash": "sha256:1d21e5ee9cd8d7e9e4bb9f4f6c830d182b6e0a3794cf73d251583e48216683fd",
"schemaVersion": "law.core.evaluation/0.2"
},
"proofRef": "urn:proof:query:mcp",
"rulesApplied": [
"urn:grc:eukleides:clir:pythagoras#OrthogonionProsTritei",
"urn:grc:eukleides:clir:pythagoras#TrigononEstin"
]
}ИсточникиФрагментов: 2
Статья 20
Теорема Пифагора и трихотомия треугольников: Начала Евклида I.20, I.47, I.48, II.12, II.13 и определение I.21 — вне юрисдикции государства — доктрина — EXECUTABLE 3 §33.1
Παντὸς τριγώνου αἱ δύο πλευραὶ τῆς λοιπῆς μείζονές εἰσι πάντῃ μεταλαμβανόμεναι. Ἔστω γὰρ τρίγωνον τὸ ΑΒΓ· λέγω, ὅτι τοῦ ΑΒΓ τριγώνου αἱ δύο πλευραὶ τῆς λοιπῆς μείζονές εἰσι πάντῃ μεταλαμβανόμεναι, αἱ μὲν ΒΑ, ΑΓ τῆς ΒΓ, αἱ δὲ ΑΒ, ΒΓ τῆς ΑΓ, αἱ δὲ ΒΓ, ΓΑ τῆς ΑΒ. Διήχθω γὰρ ἡ ΒΑ ἐπὶ τὸ Δ σημεῖον, καὶ κείσθω τῇ ΓΑ ἴση ἡ ΑΔ, καὶ ἐπεζεύχθω ἡ ΔΓ. Ἐπεὶ οὖν ἴση ἐστὶν ἡ ΔΑ τῇ ΑΓ, ἴση ἐστὶ καὶ γωνία ἡ ὑπὸ ΑΔΓ τῇ ὑπὸ ΑΓΔ· μείζων ἄρα ἡ ὑπὸ ΒΓΔ τῆς ὑπὸ ΑΔΓ· καὶ ἐπεὶ τρίγωνόν ἐστι τὸ ΔΓΒ μείζονα ἔχον τὴν ὑπὸ ΒΓΔ γωνίαν τῆς ὑπὸ ΒΔΓ, ὑπὸ δὲ τὴν μείζονα γωνίαν ἡ μείζων πλευρὰ ὑποτείνει, ἡ ΔΒ ἄρα τῆς ΒΓ ἐστι μείζων. ἴση δὲ ἡ ΔΑ τῇ ΑΓ· μείζονες ἄρα αἱ ΒΑ, ΑΓ τῆς ΒΓ· ὁμοίως δὴ δείξομεν, ὅτι καὶ αἱ μὲν ΑΒ, ΒΓ τῆς ΓΑ μείζονές εἰσιν, αἱ δὲ ΒΓ, ΓΑ τῆς ΑΒ. Παντὸς ἄρα τριγώνου αἱ δύο πλευραὶ τῆς λοιπῆς μείζονές εἰσι πάντῃ μεταλαμβανόμεναι· ὅπερ ἔδει δεῖξαι.
Исходные данные · JSON
{
"contentHash": "sha256:3b7073f82734e52fad822a93b48a432a49e26418cc7d7d8811d70699153377d1",
"edition": "urn:grc:eukleides:clir:pythagoras#STOICHEIA_I_GRC",
"fragmentKind": "article",
"id": "urn:grc:eukleides:clir:pythagoras#STO_I20",
"kind": "fragment",
"locator": "article/20",
"package": "urn:grc:eukleides:clir:pythagoras",
"texts": [
{
"contentHash": "sha256:15a16264f0261eba60901b9f2645f75ac3d27b6b5a5f42a065ebc0cd32a49a0d",
"language": "grc",
"status": "official",
"text": "Παντὸς τριγώνου αἱ δύο πλευραὶ τῆς λοιπῆς μείζονές εἰσι πάντῃ μεταλαμβανόμεναι.\nἜστω γὰρ τρίγωνον τὸ ΑΒΓ· λέγω, ὅτι τοῦ ΑΒΓ τριγώνου αἱ δύο πλευραὶ τῆς λοιπῆς μείζονές εἰσι πάντῃ μεταλαμβανόμεναι, αἱ μὲν ΒΑ, ΑΓ τῆς ΒΓ, αἱ δὲ ΑΒ, ΒΓ τῆς ΑΓ, αἱ δὲ ΒΓ, ΓΑ τῆς ΑΒ.\n\nΔιήχθω γὰρ ἡ ΒΑ ἐπὶ τὸ Δ σημεῖον, καὶ κείσθω τῇ ΓΑ ἴση ἡ ΑΔ, καὶ ἐπεζεύχθω ἡ ΔΓ. Ἐπεὶ οὖν ἴση ἐστὶν ἡ ΔΑ τῇ ΑΓ, ἴση ἐστὶ καὶ γωνία ἡ ὑπὸ ΑΔΓ τῇ ὑπὸ ΑΓΔ· μείζων ἄρα ἡ ὑπὸ ΒΓΔ τῆς ὑπὸ ΑΔΓ· καὶ ἐπεὶ τρίγωνόν ἐστι τὸ ΔΓΒ μείζονα ἔχον τὴν ὑπὸ ΒΓΔ γωνίαν τῆς ὑπὸ ΒΔΓ, ὑπὸ δὲ τὴν μείζονα γωνίαν ἡ μείζων πλευρὰ ὑποτείνει, ἡ ΔΒ ἄρα τῆς ΒΓ ἐστι μείζων. ἴση δὲ ἡ ΔΑ τῇ ΑΓ· μείζονες ἄρα αἱ ΒΑ, ΑΓ τῆς ΒΓ· ὁμοίως δὴ δείξομεν, ὅτι καὶ αἱ μὲν ΑΒ, ΒΓ τῆς ΓΑ μείζονές εἰσιν, αἱ δὲ ΒΓ, ΓΑ τῆς ΑΒ.\n\nΠαντὸς ἄρα τριγώνου αἱ δύο πλευραὶ τῆς λοιπῆς μείζονές εἰσι πάντῃ μεταλαμβανόμεναι· ὅπερ ἔδει δεῖξαι."
}
]
}Статья 48
Теорема Пифагора и трихотомия треугольников: Начала Евклида I.20, I.47, I.48, II.12, II.13 и определение I.21 — вне юрисдикции государства — доктрина — EXECUTABLE 3 §33.1
Ἐὰν τριγώνου τὸ ἀπὸ μιᾶς τῶν πλευρῶν τετράγωνον ἴσον ᾖ τοῖς ἀπὸ τῶν λοιπῶν τοῦ τριγώνου δύο πλευρῶν τετραγώνοις, ἡ περιεχομένη γωνία ὑπὸ τῶν λοιπῶν τοῦ τριγώνου δύο πλευρῶν ὀρθή ἐστιν. Τριγώνου γὰρ τοῦ ΑΒΓ τὸ ἀπὸ μιᾶς τῆς ΒΓ πλευρᾶς τετράγωνον ἴσον ἔστω τοῖς ἀπὸ τῶν ΒΑ, ΑΓ πλευρῶν τετραγώνοις· λέγω, ὅτι ὀρθή ἐστιν ἡ ὑπὸ ΒΑΓ γωνία. Ἤχθω γὰρ ἀπὸ τοῦ Α σημείου τῇ ΑΓ εὐθείᾳ πρὸς ὀρθὰς ἡ ΑΔ καὶ κείσθω τῇ ΒΑ ἴση ἡ ΑΔ, καὶ ἐπεζεύχθω ἡ ΔΓ. ἐπεὶ ἴση ἐστὶν ἡ ΔΑ τῇ ΑΒ, ἴσον ἐστὶ καὶ τὸ ἀπὸ τῆς ΔΑ τετράγωνον τῷ ἀπὸ τῆς ΑΒ τετραγώνῳ. κοινὸν προσκείσθω τὸ ἀπὸ τῆς ΑΓ τετράγωνον· τὰ ἄρα ἀπὸ τῶν ΔΑ, ΑΓ τετράγωνα ἴσα ἐστὶ τοῖς ἀπὸ τῶν ΒΑ, ΑΓ τετραγώνοις. ἀλλὰ τοῖς μὲν ἀπὸ τῶν ΔΑ, ΑΓ ἴσον ἐστὶ τὸ ἀπὸ τῆς ΔΓ· ὀρθὴ γάρ ἐστιν ἡ ὑπὸ ΔΑΓ γωνία· τοῖς δὲ ἀπὸ τῶν ΒΑ, ΑΓ ἴσον ἐστὶ τὸ ἀπὸ ΒΓ· ὑπόκειται γάρ· τὸ ἄρα ἀπὸ τῆς ΔΓ τετράγωνον ἴσον ἐστὶ τῷ ἀπὸ τῆς ΒΓ τετραγώνῳ· ὥστε καὶ πλευρὰ ἡ ΔΓ τῇ ΒΓ ἐστιν ἴση· καὶ ἐπεὶ ἴση ἐστὶν ἡ ΔΑ τῇ ΑΒ, κοινὴ δὲ ἡ ΑΓ, δύο δὴ αἱ ΔΑ, ΑΓ δύο ταῖς ΒΑ, ΑΓ ἴσαι εἰσίν· καὶ βάσις ἡ ΔΓ βάσει τῇ ΒΓ ἴση· γωνία ἄρα ἡ ὑπὸ ΔΑΓ γωνίᾳ τῇ ὑπὸ ΒΑΓ [ἐστιν] ἴση. ὀρθὴ δὲ ἡ ὑπὸ ΔΑΓ· ὀρθὴ ἄρα καὶ ἡ ὑπὸ ΒΑΓ. Ἐὰν ἄρα τριγώνου τὸ ἀπὸ μιᾶς τῶν πλευρῶν τετράγωνον ἴσον ᾖ τοῖς ἀπὸ τῶν λοιπῶν τοῦ τριγώνου δύο πλευρῶν τετραγώνοις, ἡ περιεχομένη γωνία ὑπὸ τῶν λοιπῶν τοῦ τριγώνου δύο πλευρῶν ὀρθή ἐστιν· ὅπερ ἔδει δεῖξαι.
Исходные данные · JSON
{
"contentHash": "sha256:d98b3c123fb5ccec91a8aee56d4e86badd316adbe9d1b2b2f52fe9b10c746fa4",
"edition": "urn:grc:eukleides:clir:pythagoras#STOICHEIA_I_GRC",
"fragmentKind": "article",
"id": "urn:grc:eukleides:clir:pythagoras#STO_I48",
"kind": "fragment",
"locator": "article/48",
"package": "urn:grc:eukleides:clir:pythagoras",
"texts": [
{
"contentHash": "sha256:cfb24ebed64a0ddaf8a5d1d7912b26dfc81766df519b7f517dbe0aafa649196e",
"language": "grc",
"status": "official",
"text": "Ἐὰν τριγώνου τὸ ἀπὸ μιᾶς τῶν πλευρῶν τετράγωνον ἴσον ᾖ τοῖς ἀπὸ τῶν λοιπῶν τοῦ τριγώνου δύο πλευρῶν τετραγώνοις, ἡ περιεχομένη γωνία ὑπὸ τῶν λοιπῶν τοῦ τριγώνου δύο πλευρῶν ὀρθή ἐστιν.\n\nΤριγώνου γὰρ τοῦ ΑΒΓ τὸ ἀπὸ μιᾶς τῆς ΒΓ πλευρᾶς τετράγωνον ἴσον ἔστω τοῖς ἀπὸ τῶν ΒΑ, ΑΓ πλευρῶν τετραγώνοις· λέγω, ὅτι ὀρθή ἐστιν ἡ ὑπὸ ΒΑΓ γωνία.\n\nἬχθω γὰρ ἀπὸ τοῦ Α σημείου τῇ ΑΓ εὐθείᾳ πρὸς ὀρθὰς ἡ ΑΔ καὶ κείσθω τῇ ΒΑ ἴση ἡ ΑΔ, καὶ ἐπεζεύχθω ἡ ΔΓ. ἐπεὶ ἴση ἐστὶν ἡ ΔΑ τῇ ΑΒ, ἴσον ἐστὶ καὶ τὸ ἀπὸ τῆς ΔΑ τετράγωνον τῷ ἀπὸ τῆς ΑΒ τετραγώνῳ. κοινὸν προσκείσθω τὸ ἀπὸ τῆς ΑΓ τετράγωνον· τὰ ἄρα ἀπὸ τῶν ΔΑ, ΑΓ τετράγωνα ἴσα ἐστὶ τοῖς ἀπὸ τῶν ΒΑ, ΑΓ τετραγώνοις. ἀλλὰ τοῖς μὲν ἀπὸ τῶν ΔΑ, ΑΓ ἴσον ἐστὶ τὸ ἀπὸ τῆς ΔΓ· ὀρθὴ γάρ ἐστιν ἡ ὑπὸ ΔΑΓ γωνία· τοῖς δὲ ἀπὸ τῶν ΒΑ, ΑΓ ἴσον ἐστὶ τὸ ἀπὸ ΒΓ· ὑπόκειται γάρ· τὸ ἄρα ἀπὸ τῆς ΔΓ τετράγωνον ἴσον ἐστὶ τῷ ἀπὸ τῆς ΒΓ τετραγώνῳ· ὥστε καὶ πλευρὰ ἡ ΔΓ τῇ ΒΓ ἐστιν ἴση· καὶ ἐπεὶ ἴση ἐστὶν ἡ ΔΑ τῇ ΑΒ, κοινὴ δὲ ἡ ΑΓ, δύο δὴ αἱ ΔΑ, ΑΓ δύο ταῖς ΒΑ, ΑΓ ἴσαι εἰσίν· καὶ βάσις ἡ ΔΓ βάσει τῇ ΒΓ ἴση· γωνία ἄρα ἡ ὑπὸ ΔΑΓ γωνίᾳ τῇ ὑπὸ ΒΑΓ [ἐστιν] ἴση. ὀρθὴ δὲ ἡ ὑπὸ ΔΑΓ· ὀρθὴ ἄρα καὶ ἡ ὑπὸ ΒΑΓ.\n\nἘὰν ἄρα τριγώνου τὸ ἀπὸ μιᾶς τῶν πλευρῶν τετράγωνον ἴσον ᾖ τοῖς ἀπὸ τῶν λοιπῶν τοῦ τριγώνου δύο πλευρῶν τετραγώνοις, ἡ περιεχομένη γωνία ὑπὸ τῶν λοιπῶν τοῦ τριγώνου δύο πλευρῶν ὀρθή ἐστιν· ὅπερ ἔδει δεῖξαι."
}
]
}Пакеты в снимке
- Теорема Пифагора и трихотомия треугольников: Начала Евклида I.20, I.47, I.48, II.12, II.13 и определение I.21 — вне юрисдикции государства — доктрина — EXECUTABLE 3 §33.1
Технические данныеПолный ответ, параметры и контрольные суммы
- Статус расчёта
- COMPUTED
Полный ответ движка
orthogonion: TRUE_ONLY — установлено
Выведено правом: trigonon_estin(Треугольник); orthogonion(Треугольник)
Применены правила: OrthogonionProsTritei, TrigononEstin
Право (вне юрисдикции государства): Теорема Пифагора и трихотомия треугольников: Начала Евклида I.20, I.47, I.48, II.12, II.13 и определение I.21 — доктрина — EXECUTABLE 3 §33.1 (programHash sha256:65b5f45c073f…)
proof-граф: 7 узлов — поле evaluation готово для law_explain
Полный машинный результат · JSON
{
"answer": {
"evaluationStatus": "COMPUTED",
"kind": "TRUTH",
"meaning": "установлено",
"missingInputs": [],
"truthStatus": "TRUE_ONLY"
},
"closedEditionRules": [],
"derived": [
"trigonon_estin(Треугольник)",
"orthogonion(Треугольник)"
],
"derivedOmitted": 0,
"evaluation": {
"proofGraph": {
"nodes": [
{
"attributes": {
"assertion": "urn:mcp:case#fact-1"
},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Треугольник",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 3
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 4
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 5
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:eukleides:clir:pythagoras#pleurai"
},
"evidence": [],
"id": "urn:proof:assert:urn:mcp:case#fact-1",
"kind": "assertion",
"premises": [],
"sourceAnchors": []
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Треугольник",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:eukleides:clir:pythagoras#trigonon_estin"
},
"evidence": [],
"id": "urn:proof:apply:TrigononEstin:aede226a089a3e3c6e4703def6ebb6193f6cc1a19a686f45cde294caf9255862",
"kind": "rule_application",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1"
],
"rule": "urn:grc:eukleides:clir:pythagoras#TrigononEstin",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Треугольник",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 3
},
"v2": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 4
},
"v3": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 5
}
}
},
{
"attributes": {},
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Треугольник",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:eukleides:clir:pythagoras#orthogonion"
},
"evidence": [],
"id": "urn:proof:apply:OrthogonionProsTritei:7056bf2dc23ce7e03a854f4450285b51cc7ddbdca773bdba794502331272362a",
"kind": "rule_application",
"premises": [
"urn:proof:apply:TrigononEstin:aede226a089a3e3c6e4703def6ebb6193f6cc1a19a686f45cde294caf9255862",
"urn:proof:assert:urn:mcp:case#fact-1"
],
"rule": "urn:grc:eukleides:clir:pythagoras#OrthogonionProsTritei",
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Треугольник",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 3
},
"v2": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 4
},
"v3": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 5
}
}
},
{
"attributes": {},
"conclusion": {
"constraint": "urn:grc:eukleides:clir:pythagoras#OrthogonionKaiAmblygonionAsymbata",
"requirementStatus": "NEITHER",
"status": "UNDETERMINED",
"triggerStatus": "SATISFIED"
},
"evidence": [],
"id": "urn:proof:constraint:OrthogonionKaiAmblygonionAsymbata:5b3c3e00c9a668a258798c1ee3b3b07267f645534378f22f47fccf14436efa24",
"kind": "constraint_check",
"premises": [
"urn:proof:apply:OrthogonionProsTritei:7056bf2dc23ce7e03a854f4450285b51cc7ddbdca773bdba794502331272362a"
],
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Треугольник",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"constraint": "urn:grc:eukleides:clir:pythagoras#OrthogonionKaiOukOrthogonionAsymbata",
"requirementStatus": "NEITHER",
"status": "UNDETERMINED",
"triggerStatus": "SATISFIED"
},
"evidence": [],
"id": "urn:proof:constraint:OrthogonionKaiOukOrthogonionAsymbata:6260bd8c1ecf8a49585d04d06414c6c5dc7e0bb851fb49b07666a6f3aba3a047",
"kind": "constraint_check",
"premises": [
"urn:proof:apply:OrthogonionProsTritei:7056bf2dc23ce7e03a854f4450285b51cc7ddbdca773bdba794502331272362a"
],
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Треугольник",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"constraint": "urn:grc:eukleides:clir:pythagoras#TrichotomiaPliris",
"requirementStatus": "TRUE_ONLY",
"status": "SATISFIED",
"triggerStatus": "SATISFIED"
},
"evidence": [],
"id": "urn:proof:constraint:TrichotomiaPliris:f61efd2e9cb2fa92658918100a35130495ac0310b3993be1c50d4ed98fef2507",
"kind": "constraint_check",
"premises": [
"urn:proof:apply:OrthogonionProsTritei:7056bf2dc23ce7e03a854f4450285b51cc7ddbdca773bdba794502331272362a",
"urn:proof:apply:TrigononEstin:aede226a089a3e3c6e4703def6ebb6193f6cc1a19a686f45cde294caf9255862"
],
"sourceAnchors": [],
"substitution": {
"v0": {
"id": "urn:mcp:entity:Треугольник",
"kind": "entity_ref"
}
}
},
{
"attributes": {},
"conclusion": {
"literal": {
"args": [
{
"id": "urn:mcp:entity:Треугольник",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:eukleides:clir:pythagoras#orthogonion"
},
"truthStatus": "TRUE_ONLY"
},
"evidence": [],
"id": "urn:proof:query:mcp",
"kind": "query_evaluation",
"premises": [
"urn:proof:apply:OrthogonionProsTritei:7056bf2dc23ce7e03a854f4450285b51cc7ddbdca773bdba794502331272362a"
],
"sourceAnchors": []
}
],
"proofHash": "sha256:58abac9ccca23c56e925f2e137d82a1fea04d448d4982493d24fea9be374ac22",
"roots": [
"urn:proof:constraint:OrthogonionKaiAmblygonionAsymbata:5b3c3e00c9a668a258798c1ee3b3b07267f645534378f22f47fccf14436efa24",
"urn:proof:constraint:OrthogonionKaiOukOrthogonionAsymbata:6260bd8c1ecf8a49585d04d06414c6c5dc7e0bb851fb49b07666a6f3aba3a047",
"urn:proof:constraint:TrichotomiaPliris:f61efd2e9cb2fa92658918100a35130495ac0310b3993be1c50d4ed98fef2507",
"urn:proof:query:mcp"
]
},
"resultHash": "sha256:1d21e5ee9cd8d7e9e4bb9f4f6c830d182b6e0a3794cf73d251583e48216683fd",
"schemaVersion": "law.core.evaluation/0.2"
},
"evaluationStatus": "COMPUTED",
"issues": [],
"judgmentRequests": [],
"proofRef": "urn:proof:query:mcp",
"provenance": {
"acts": [
{
"contributed": true,
"fragmentCount": 6,
"fragments": [
"urn:grc:eukleides:clir:pythagoras#STO_I20",
"urn:grc:eukleides:clir:pythagoras#STO_I48"
],
"jurisdiction": "none",
"namespace": "urn:grc:eukleides:clir:pythagoras",
"package": "grc-euclid-pythagoras",
"title": "Теорема Пифагора и трихотомия треугольников: Начала Евклида I.20, I.47, I.48, II.12, II.13 и определение I.21 — вне юрисдикции государства — доктрина — EXECUTABLE 3 §33.1"
}
],
"caseHash": "sha256:178a653d98191baf51afcd1748824336b6a64df6d70e82cb6b04ba4e23dd9f42",
"codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
"jurisdiction": "вне юрисдикции государства",
"legalTime": "2026-08-31",
"mode": "audit",
"programHash": "sha256:65b5f45c073ff6ca6fa574d0f67dc377bc1fd63eb5fe6ce9b33a2f5354a825fb",
"resultHash": "sha256:1d21e5ee9cd8d7e9e4bb9f4f6c830d182b6e0a3794cf73d251583e48216683fd",
"rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
"timezone": "Asia/Qyzylorda"
},
"rulesApplied": [
"urn:grc:eukleides:clir:pythagoras#OrthogonionProsTritei",
"urn:grc:eukleides:clir:pythagoras#TrigononEstin"
],
"signature": {
"constants": {},
"parameters": [
{
"labels": [],
"name": "t",
"type": {
"name": "urn:grc:eukleides:clir:pythagoras#Trigonon"
}
}
],
"predicate": "urn:grc:eukleides:clir:pythagoras#orthogonion",
"schemaVersion": "law.answers.signature/0.1",
"types": {
"urn:grc:eukleides:clir:pythagoras#Trigonon": {
"kind": "entity",
"labels": [
{
"language": "grc",
"status": "official",
"text": "τρίγωνον"
},
{
"language": "ru",
"status": "unofficial",
"text": "треугольник — тройка сторон, о которой задан вопрос дела"
}
],
"namespace": "urn:grc:eukleides:clir:pythagoras",
"package": "grc.eukleides.pythagoras"
}
},
"vocab": {}
},
"vulnerableTo": [],
"whyNot": []
}Исполнение · JSON
{
"evaluationBytes": "{\"conflicts\":[],\"issues\":[],\"manifest\":{\"artifactHash\":\"sha256:02c9179fad3fa04683f7eed1356fe5b9b52b05590bfeb58f67981500df723e37\",\"calendarSnapshot\":\"\",\"caseHash\":\"sha256:178a653d98191baf51afcd1748824336b6a64df6d70e82cb6b04ba4e23dd9f42\",\"decisionTime\":\"2026-08-31T12:00:00+05:00\",\"evidenceSnapshotHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"externalSnapshots\":{},\"id\":\"urn:manifest:oracle-1\",\"interpretations\":[],\"knowledgeTime\":\"2026-08-31T12:00:00+05:00\",\"legalTime\":\"2026-08-31\",\"lockfileHash\":\"sha256:0000000000000000000000000000000000000000000000000000000000000000\",\"mode\":\"audit\",\"policies\":{},\"programHash\":\"sha256:65b5f45c073ff6ca6fa574d0f67dc377bc1fd63eb5fe6ce9b33a2f5354a825fb\",\"resolvedEditions\":{},\"semanticHash\":\"sha256:6edd6e33c5bb9cc0f4d41f5d713076f2456347be1d86fb7b39b6c8561c3dc3da\",\"semantics\":\"law.core/0.2\",\"theoryHash\":\"sha256:65b5f45c073ff6ca6fa574d0f67dc377bc1fd63eb5fe6ce9b33a2f5354a825fb\",\"timezone\":\"Asia/Qyzylorda\"},\"positions\":[],\"proofGraph\":{\"nodes\":[{\"attributes\":{\"assertion\":\"urn:mcp:case#fact-1\"},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Треугольник\",\"kind\":\"entity_ref\"},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Integer\"},\"value\":3},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Integer\"},\"value\":4},{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Integer\"},\"value\":5}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:grc:eukleides:clir:pythagoras#pleurai\"},\"evidence\":[],\"id\":\"urn:proof:assert:urn:mcp:case#fact-1\",\"kind\":\"assertion\",\"premises\":[],\"sourceAnchors\":[]},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Треугольник\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:grc:eukleides:clir:pythagoras#trigonon_estin\"},\"evidence\":[],\"id\":\"urn:proof:apply:TrigononEstin:aede226a089a3e3c6e4703def6ebb6193f6cc1a19a686f45cde294caf9255862\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:grc:eukleides:clir:pythagoras#TrigononEstin\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Треугольник\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Integer\"},\"value\":3},\"v2\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Integer\"},\"value\":4},\"v3\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Integer\"},\"value\":5}}},{\"attributes\":{},\"conclusion\":{\"args\":[{\"id\":\"urn:mcp:entity:Треугольник\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:grc:eukleides:clir:pythagoras#orthogonion\"},\"evidence\":[],\"id\":\"urn:proof:apply:OrthogonionProsTritei:7056bf2dc23ce7e03a854f4450285b51cc7ddbdca773bdba794502331272362a\",\"kind\":\"rule_application\",\"premises\":[\"urn:proof:apply:TrigononEstin:aede226a089a3e3c6e4703def6ebb6193f6cc1a19a686f45cde294caf9255862\",\"urn:proof:assert:urn:mcp:case#fact-1\"],\"rule\":\"urn:grc:eukleides:clir:pythagoras#OrthogonionProsTritei\",\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Треугольник\",\"kind\":\"entity_ref\"},\"v1\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Integer\"},\"value\":3},\"v2\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Integer\"},\"value\":4},\"v3\":{\"kind\":\"value\",\"type\":{\"name\":\"urn:law:std#Integer\"},\"value\":5}}},{\"attributes\":{},\"conclusion\":{\"constraint\":\"urn:grc:eukleides:clir:pythagoras#OrthogonionKaiAmblygonionAsymbata\",\"requirementStatus\":\"NEITHER\",\"status\":\"UNDETERMINED\",\"triggerStatus\":\"SATISFIED\"},\"evidence\":[],\"id\":\"urn:proof:constraint:OrthogonionKaiAmblygonionAsymbata:5b3c3e00c9a668a258798c1ee3b3b07267f645534378f22f47fccf14436efa24\",\"kind\":\"constraint_check\",\"premises\":[\"urn:proof:apply:OrthogonionProsTritei:7056bf2dc23ce7e03a854f4450285b51cc7ddbdca773bdba794502331272362a\"],\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Треугольник\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"constraint\":\"urn:grc:eukleides:clir:pythagoras#OrthogonionKaiOukOrthogonionAsymbata\",\"requirementStatus\":\"NEITHER\",\"status\":\"UNDETERMINED\",\"triggerStatus\":\"SATISFIED\"},\"evidence\":[],\"id\":\"urn:proof:constraint:OrthogonionKaiOukOrthogonionAsymbata:6260bd8c1ecf8a49585d04d06414c6c5dc7e0bb851fb49b07666a6f3aba3a047\",\"kind\":\"constraint_check\",\"premises\":[\"urn:proof:apply:OrthogonionProsTritei:7056bf2dc23ce7e03a854f4450285b51cc7ddbdca773bdba794502331272362a\"],\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Треугольник\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"constraint\":\"urn:grc:eukleides:clir:pythagoras#TrichotomiaPliris\",\"requirementStatus\":\"TRUE_ONLY\",\"status\":\"SATISFIED\",\"triggerStatus\":\"SATISFIED\"},\"evidence\":[],\"id\":\"urn:proof:constraint:TrichotomiaPliris:f61efd2e9cb2fa92658918100a35130495ac0310b3993be1c50d4ed98fef2507\",\"kind\":\"constraint_check\",\"premises\":[\"urn:proof:apply:OrthogonionProsTritei:7056bf2dc23ce7e03a854f4450285b51cc7ddbdca773bdba794502331272362a\",\"urn:proof:apply:TrigononEstin:aede226a089a3e3c6e4703def6ebb6193f6cc1a19a686f45cde294caf9255862\"],\"sourceAnchors\":[],\"substitution\":{\"v0\":{\"id\":\"urn:mcp:entity:Треугольник\",\"kind\":\"entity_ref\"}}},{\"attributes\":{},\"conclusion\":{\"literal\":{\"args\":[{\"id\":\"urn:mcp:entity:Треугольник\",\"kind\":\"entity_ref\"}],\"kind\":\"literal\",\"polarity\":\"positive\",\"predicate\":\"urn:grc:eukleides:clir:pythagoras#orthogonion\"},\"truthStatus\":\"TRUE_ONLY\"},\"evidence\":[],\"id\":\"urn:proof:query:mcp\",\"kind\":\"query_evaluation\",\"premises\":[\"urn:proof:apply:OrthogonionProsTritei:7056bf2dc23ce7e03a854f4450285b51cc7ddbdca773bdba794502331272362a\"],\"sourceAnchors\":[]}],\"proofHash\":\"sha256:58abac9ccca23c56e925f2e137d82a1fea04d448d4982493d24fea9be374ac22\",\"roots\":[\"urn:proof:constraint:OrthogonionKaiAmblygonionAsymbata:5b3c3e00c9a668a258798c1ee3b3b07267f645534378f22f47fccf14436efa24\",\"urn:proof:constraint:OrthogonionKaiOukOrthogonionAsymbata:6260bd8c1ecf8a49585d04d06414c6c5dc7e0bb851fb49b07666a6f3aba3a047\",\"urn:proof:constraint:TrichotomiaPliris:f61efd2e9cb2fa92658918100a35130495ac0310b3993be1c50d4ed98fef2507\",\"urn:proof:query:mcp\"]},\"resultHash\":\"sha256:1d21e5ee9cd8d7e9e4bb9f4f6c830d182b6e0a3794cf73d251583e48216683fd\",\"results\":[{\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:mcp\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatusSupports\":[],\"proof\":\"urn:proof:query:mcp\",\"query\":\"urn:query:mcp\",\"resultKind\":\"PROPOSITION\",\"sourceAnchors\":[],\"target\":\"urn:grc:eukleides:clir:pythagoras#orthogonion\",\"truthStatus\":\"TRUE_ONLY\"},{\"applicabilityStatus\":\"APPLICABLE\",\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:constraint:OrthogonionKaiAmblygonionAsymbata:91c71ac4051430d6\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[{\"description\":\"urn:grc:eukleides:clir:pythagoras#amblygonion: опора не установлена (§93.2)\",\"id\":\"urn:result:constraint:OrthogonionKaiAmblygonionAsymbata:91c71ac4051430d6:input:0\",\"kind\":\"fact\",\"relatedNode\":\"urn:grc:eukleides:clir:pythagoras#amblygonion\"}],\"normativeStatus\":\"UNDETERMINED\",\"normativeStatusSupports\":[],\"proof\":\"urn:proof:constraint:OrthogonionKaiAmblygonionAsymbata:5b3c3e00c9a668a258798c1ee3b3b07267f645534378f22f47fccf14436efa24\",\"query\":\"urn:query:mcp\",\"resultKind\":\"CONSTRAINT\",\"sourceAnchors\":[],\"target\":\"urn:grc:eukleides:clir:pythagoras#OrthogonionKaiAmblygonionAsymbata\",\"triggerStatus\":\"SATISFIED\",\"truthStatus\":\"NEITHER\"},{\"applicabilityStatus\":\"APPLICABLE\",\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:constraint:OrthogonionKaiOukOrthogonionAsymbata:c0492eacc65ddddb\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[{\"description\":\"urn:grc:eukleides:clir:pythagoras#ouk_orthogonion: опора не установлена (§93.2)\",\"id\":\"urn:result:constraint:OrthogonionKaiOukOrthogonionAsymbata:c0492eacc65ddddb:input:0\",\"kind\":\"fact\",\"relatedNode\":\"urn:grc:eukleides:clir:pythagoras#ouk_orthogonion\"}],\"normativeStatus\":\"UNDETERMINED\",\"normativeStatusSupports\":[],\"proof\":\"urn:proof:constraint:OrthogonionKaiOukOrthogonionAsymbata:6260bd8c1ecf8a49585d04d06414c6c5dc7e0bb851fb49b07666a6f3aba3a047\",\"query\":\"urn:query:mcp\",\"resultKind\":\"CONSTRAINT\",\"sourceAnchors\":[],\"target\":\"urn:grc:eukleides:clir:pythagoras#OrthogonionKaiOukOrthogonionAsymbata\",\"triggerStatus\":\"SATISFIED\",\"truthStatus\":\"NEITHER\"},{\"applicabilityStatus\":\"APPLICABLE\",\"conflicts\":[],\"evaluationStatus\":\"COMPUTED\",\"evidence\":[],\"id\":\"urn:result:constraint:TrichotomiaPliris:438065fa0d22a80e\",\"judgmentRequests\":[],\"manifest\":\"urn:manifest:oracle-1\",\"missingInputs\":[],\"normativeStatus\":\"SATISFIED\",\"normativeStatusSupports\":[],\"proof\":\"urn:proof:constraint:TrichotomiaPliris:f61efd2e9cb2fa92658918100a35130495ac0310b3993be1c50d4ed98fef2507\",\"query\":\"urn:query:mcp\",\"resultKind\":\"CONSTRAINT\",\"sourceAnchors\":[],\"target\":\"urn:grc:eukleides:clir:pythagoras#TrichotomiaPliris\",\"triggerStatus\":\"SATISFIED\",\"truthStatus\":\"TRUE_ONLY\"}],\"schemaVersion\":\"law.core.evaluation/0.2\"}",
"evaluationSha256": "sha256:1285a19320357a31546bd027b7bfaa3746a4bd8908ba2e7529464fe3ecd7e089",
"request": {
"case": {
"assertions": [
{
"contentHash": "sha256:0000000000000000000000000000000000000000000000000000000000000000",
"evidence": [],
"id": "urn:mcp:case#fact-1",
"kind": "assertion",
"literal": {
"args": [
{
"id": "urn:mcp:entity:Треугольник",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 3
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 4
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 5
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:eukleides:clir:pythagoras#pleurai"
},
"origin": "case_input",
"package": "urn:grc:eukleides:clir:pythagoras"
}
],
"context": {
"decisionTime": "2026-08-31T12:00:00+05:00",
"knowledgeTime": "2026-08-31T12:00:00+05:00",
"legalTime": "2026-08-31",
"timezone": "Asia/Qyzylorda"
},
"options": {
"selectedInterpretations": []
}
},
"ir": {
"irSha256": "sha256:3421eda7b8097caf79680b6de5b7152cfb789f300f4c66bb6d434debb6ec48c8",
"kind": "world_ref",
"nodeCount": 42,
"packages": [
{
"artifactHash": "sha256:02c9179fad3fa04683f7eed1356fe5b9b52b05590bfeb58f67981500df723e37",
"namespace": "urn:grc:eukleides:clir:pythagoras",
"package": "grc-euclid-pythagoras",
"semanticHash": "sha256:3fca1331204e68b6c992854a9757652caff8af48c63d48d1a39a0d17f27b84b4"
}
],
"programHash": "sha256:65b5f45c073ff6ca6fa574d0f67dc377bc1fd63eb5fe6ce9b33a2f5354a825fb"
},
"query": {
"kind": "truth",
"literal": {
"args": [
{
"id": "urn:mcp:entity:Треугольник",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:eukleides:clir:pythagoras#orthogonion"
},
"queryId": "urn:query:mcp"
},
"schemaVersion": "law.core.evaluation-request/0.2",
"semanticVersion": "0.2"
},
"requestCanonicalSha256": "sha256:b6610c9cd1f03ccbc07e320f3dd57c05f5f708cf0bb1f2c55430f9d60bad070a"
}Метаданные отображения
{
"schemaVersion": "law.answers.presentation/0.1",
"source": {
"requestCanonicalSha256": "sha256:b6610c9cd1f03ccbc07e320f3dd57c05f5f708cf0bb1f2c55430f9d60bad070a"
},
"steps": [
{
"assertionOrigin": "case_input",
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Треугольник",
"kind": "entity_ref"
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 3
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 4
},
{
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 5
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:eukleides:clir:pythagoras#pleurai"
},
"id": "urn:proof:assert:urn:mcp:case#fact-1",
"kind": "assertion",
"originStatus": "available",
"premises": [],
"trust": "case"
},
{
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Треугольник",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:eukleides:clir:pythagoras#trigonon_estin"
},
"head": {
"args": [
{
"kind": "var",
"var": "v0"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:eukleides:clir:pythagoras#trigonon_estin"
},
"id": "urn:proof:apply:TrigononEstin:aede226a089a3e3c6e4703def6ebb6193f6cc1a19a686f45cde294caf9255862",
"kind": "rule_application",
"originStatus": "available",
"premises": [
"urn:proof:assert:urn:mcp:case#fact-1"
],
"rule": "urn:grc:eukleides:clir:pythagoras#TrigononEstin",
"sourceAnchors": [
"urn:grc:eukleides:clir:pythagoras#STO_I20"
],
"strength": "strict",
"substitution": {
"v0": {
"id": "urn:mcp:entity:Треугольник",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 3
},
"v2": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 4
},
"v3": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 5
}
},
"trust": "engine",
"variables": [
{
"id": "v0",
"type": {
"name": "urn:grc:eukleides:clir:pythagoras#Trigonon"
}
},
{
"id": "v1",
"type": {
"name": "urn:law:std#Integer"
}
},
{
"id": "v2",
"type": {
"name": "urn:law:std#Integer"
}
},
{
"id": "v3",
"type": {
"name": "urn:law:std#Integer"
}
}
]
},
{
"conclusion": {
"args": [
{
"id": "urn:mcp:entity:Треугольник",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:eukleides:clir:pythagoras#orthogonion"
},
"head": {
"args": [
{
"kind": "var",
"var": "v0"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:eukleides:clir:pythagoras#orthogonion"
},
"id": "urn:proof:apply:OrthogonionProsTritei:7056bf2dc23ce7e03a854f4450285b51cc7ddbdca773bdba794502331272362a",
"kind": "rule_application",
"originStatus": "available",
"premises": [
"urn:proof:apply:TrigononEstin:aede226a089a3e3c6e4703def6ebb6193f6cc1a19a686f45cde294caf9255862",
"urn:proof:assert:urn:mcp:case#fact-1"
],
"rule": "urn:grc:eukleides:clir:pythagoras#OrthogonionProsTritei",
"sourceAnchors": [
"urn:grc:eukleides:clir:pythagoras#STO_I48"
],
"strength": "strict",
"substitution": {
"v0": {
"id": "urn:mcp:entity:Треугольник",
"kind": "entity_ref"
},
"v1": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 3
},
"v2": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 4
},
"v3": {
"kind": "value",
"type": {
"name": "urn:law:std#Integer"
},
"value": 5
}
},
"trust": "engine",
"variables": [
{
"id": "v0",
"type": {
"name": "urn:grc:eukleides:clir:pythagoras#Trigonon"
}
},
{
"id": "v1",
"type": {
"name": "urn:law:std#Integer"
}
},
{
"id": "v2",
"type": {
"name": "urn:law:std#Integer"
}
},
{
"id": "v3",
"type": {
"name": "urn:law:std#Integer"
}
}
]
},
{
"conclusion": {
"literal": {
"args": [
{
"id": "urn:mcp:entity:Треугольник",
"kind": "entity_ref"
}
],
"kind": "literal",
"polarity": "positive",
"predicate": "urn:grc:eukleides:clir:pythagoras#orthogonion"
},
"truthStatus": "TRUE_ONLY"
},
"id": "urn:proof:query:mcp",
"kind": "query_evaluation",
"originStatus": "available",
"premises": [
"urn:proof:apply:OrthogonionProsTritei:7056bf2dc23ce7e03a854f4450285b51cc7ddbdca773bdba794502331272362a"
],
"trust": "engine"
}
],
"symbols": [
{
"id": "urn:grc:eukleides:clir:pythagoras#OrthogonionKaiAmblygonionAsymbata",
"kind": "constraint",
"labels": [
{
"language": "grc",
"status": "unofficial",
"text": "ἀδύνατον τὸ αὐτὸ τρίγωνον ὀρθογώνιόν τε εἶναι καὶ ἀμβλυγώνιον"
},
{
"language": "ru",
"status": "unofficial",
"text": "инвариант §93.1: прямоугольный и тупоугольный — разные роды (определение I.21), и один треугольник не может быть обоими"
}
],
"package": "urn:grc:eukleides:clir:pythagoras"
},
{
"id": "urn:grc:eukleides:clir:pythagoras#OrthogonionKaiOukOrthogonionAsymbata",
"kind": "constraint",
"labels": [
{
"language": "grc",
"status": "unofficial",
"text": "ἀδύνατον τὸ αὐτὸ τρίγωνον ὀρθογώνιόν τε εἶναι καὶ οὐκ ὀρθογώνιον"
},
{
"language": "ru",
"status": "unofficial",
"text": "инвариант §93.1: треугольник не может быть одновременно прямоугольным по признаку I.48 и не прямоугольным по контрапозиции I.47"
}
],
"package": "urn:grc:eukleides:clir:pythagoras"
},
{
"id": "urn:grc:eukleides:clir:pythagoras#OrthogonionProsTritei",
"kind": "rule",
"labels": [
{
"language": "grc",
"status": "official",
"text": "Ἐὰν τριγώνου τὸ ἀπὸ μιᾶς τῶν πλευρῶν τετράγωνον ἴσον ᾖ τοῖς ἀπὸ τῶν λοιπῶν τοῦ τριγώνου δύο πλευρῶν τετραγώνοις, ἡ περιεχομένη γωνία ὑπὸ τῶν λοιπῶν τοῦ τριγώνου δύο πλευρῶν ὀρθή ἐστιν"
},
{
"language": "ru",
"status": "unofficial",
"text": "I.48, угол против третьей стороны: квадрат третьей равен сумме квадратов первых двух — треугольник прямоугольный"
}
],
"package": "urn:grc:eukleides:clir:pythagoras",
"strength": "strict"
},
{
"id": "urn:grc:eukleides:clir:pythagoras#TrichotomiaPliris",
"kind": "constraint",
"labels": [
{
"language": "grc",
"status": "unofficial",
"text": "πᾶν τρίγωνον ἢ ὀρθογώνιον ἢ ἀμβλυγώνιον ἢ ὀξυγώνιόν ἐστιν"
},
{
"language": "ru",
"status": "unofficial",
"text": "инвариант §93.1, ПОЛНОТА: всякий треугольник принадлежит одному из трёх родов — прямоугольному (I.48), тупоугольному (II.12) или остроугольному (II.13); четвёртого рода определение I.21 не знает"
}
],
"package": "urn:grc:eukleides:clir:pythagoras"
},
{
"id": "urn:grc:eukleides:clir:pythagoras#Trigonon",
"kind": "type_decl",
"labels": [
{
"language": "grc",
"status": "official",
"text": "τρίγωνον"
},
{
"language": "ru",
"status": "unofficial",
"text": "треугольник — тройка сторон, о которой задан вопрос дела"
}
],
"name": "Trigonon",
"package": "urn:grc:eukleides:clir:pythagoras"
},
{
"id": "urn:grc:eukleides:clir:pythagoras#TrigononEstin",
"kind": "rule",
"labels": [
{
"language": "grc",
"status": "official",
"text": "Παντὸς τριγώνου αἱ δύο πλευραὶ τῆς λοιπῆς μείζονές εἰσι πάντῃ μεταλαμβανόμεναι"
},
{
"language": "ru",
"status": "unofficial",
"text": "I.20: тройка составляет треугольник — каждые две стороны, взятые вместе, строго больше третьей"
}
],
"package": "urn:grc:eukleides:clir:pythagoras",
"strength": "strict"
},
{
"id": "urn:grc:eukleides:clir:pythagoras#amblygonion",
"kind": "symbol_decl",
"labels": [
{
"language": "grc",
"status": "unofficial",
"text": "ἀμβλυγώνιόν ἐστι τὸ τρίγωνον"
},
{
"language": "ru",
"status": "unofficial",
"text": "треугольник тупоугольный — при одной из трёх позиций квадрат на стороне против угла БОЛЬШЕ суммы квадратов двух других (II.12; определение I.21 — «имеющий тупой угол»)"
}
],
"name": "amblygonion",
"package": "urn:grc:eukleides:clir:pythagoras",
"parameters": [
{
"id": "urn:grc:eukleides:clir:pythagoras#amblygonion/arg/t",
"labels": [],
"name": "t",
"type": {
"name": "urn:grc:eukleides:clir:pythagoras#Trigonon"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:grc:eukleides:clir:pythagoras#orthogonion",
"kind": "symbol_decl",
"labels": [
{
"language": "grc",
"status": "unofficial",
"text": "ὀρθογώνιόν ἐστι τὸ τρίγωνον"
},
{
"language": "ru",
"status": "unofficial",
"text": "треугольник прямоугольный — пифагорово соотношение выполнено при одной из трёх позиций прямого угла (I.48)"
}
],
"name": "orthogonion",
"package": "urn:grc:eukleides:clir:pythagoras",
"parameters": [
{
"id": "urn:grc:eukleides:clir:pythagoras#orthogonion/arg/t",
"labels": [],
"name": "t",
"type": {
"name": "urn:grc:eukleides:clir:pythagoras#Trigonon"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:grc:eukleides:clir:pythagoras#ouk_orthogonion",
"kind": "symbol_decl",
"labels": [
{
"language": "grc",
"status": "unofficial",
"text": "οὐκ ὀρθογώνιόν ἐστι τὸ τρίγωνον"
},
{
"language": "ru",
"status": "unofficial",
"text": "треугольник не прямоугольный — пифагорово соотношение не выполнено ни при одной из трёх позиций угла (контрапозиция I.47)"
}
],
"name": "ouk_orthogonion",
"package": "urn:grc:eukleides:clir:pythagoras",
"parameters": [
{
"id": "urn:grc:eukleides:clir:pythagoras#ouk_orthogonion/arg/t",
"labels": [],
"name": "t",
"type": {
"name": "urn:grc:eukleides:clir:pythagoras#Trigonon"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:grc:eukleides:clir:pythagoras#pleurai",
"kind": "symbol_decl",
"labels": [
{
"language": "grc",
"status": "unofficial",
"text": "αἱ τρεῖς πλευραὶ τοῦ τριγώνου"
},
{
"language": "ru",
"status": "unofficial",
"text": "три стороны треугольника в порядке записи дела; единица длины у всех трёх одна и та же по построению записи — величины безразмерны (Integer), и вопрос пакета от неё не зависит"
}
],
"name": "pleurai",
"package": "urn:grc:eukleides:clir:pythagoras",
"parameters": [
{
"id": "urn:grc:eukleides:clir:pythagoras#pleurai/arg/t",
"labels": [],
"name": "t",
"type": {
"name": "urn:grc:eukleides:clir:pythagoras#Trigonon"
}
},
{
"id": "urn:grc:eukleides:clir:pythagoras#pleurai/arg/a",
"labels": [],
"name": "a",
"type": {
"name": "urn:law:std#Integer"
}
},
{
"id": "urn:grc:eukleides:clir:pythagoras#pleurai/arg/b",
"labels": [],
"name": "b",
"type": {
"name": "urn:law:std#Integer"
}
},
{
"id": "urn:grc:eukleides:clir:pythagoras#pleurai/arg/c",
"labels": [],
"name": "c",
"type": {
"name": "urn:law:std#Integer"
}
}
],
"symbolKind": "relation"
},
{
"id": "urn:grc:eukleides:clir:pythagoras#trigonon_estin",
"kind": "symbol_decl",
"labels": [
{
"language": "grc",
"status": "unofficial",
"text": "τρίγωνόν ἐστιν"
},
{
"language": "ru",
"status": "unofficial",
"text": "тройка сторон составляет треугольник (I.20 выполнено при любом сочетании двух сторон)"
}
],
"name": "trigonon_estin",
"package": "urn:grc:eukleides:clir:pythagoras",
"parameters": [
{
"id": "urn:grc:eukleides:clir:pythagoras#trigonon_estin/arg/t",
"labels": [],
"name": "t",
"type": {
"name": "urn:grc:eukleides:clir:pythagoras#Trigonon"
}
}
],
"symbolKind": "relation"
}
],
"tables": []
}JSON · расчёты, источники и точные данные
{
"acts": [
{
"contributed": true,
"fragmentCount": 6,
"fragments": [
"urn:grc:eukleides:clir:pythagoras#STO_I20",
"urn:grc:eukleides:clir:pythagoras#STO_I48"
],
"jurisdiction": "none",
"namespace": "urn:grc:eukleides:clir:pythagoras",
"package": "grc-euclid-pythagoras",
"title": "Теорема Пифагора и трихотомия треугольников: Начала Евклида I.20, I.47, I.48, II.12, II.13 и определение I.21 — вне юрисдикции государства — доктрина — EXECUTABLE 3 §33.1"
}
],
"caseHash": "sha256:178a653d98191baf51afcd1748824336b6a64df6d70e82cb6b04ba4e23dd9f42",
"codeHash": "sha256:9bcca6a33805c1c364ca1bc8e9d39d6a9c51ba44203c0406bafbf397b96be699",
"jurisdiction": "вне юрисдикции государства",
"legalTime": "2026-08-31",
"mode": "audit",
"programHash": "sha256:65b5f45c073ff6ca6fa574d0f67dc377bc1fd63eb5fe6ce9b33a2f5354a825fb",
"resultHash": "sha256:1d21e5ee9cd8d7e9e4bb9f4f6c830d182b6e0a3794cf73d251583e48216683fd",
"rustCodeHash": "sha256:d368cafc7162ed7a6563df5e5c943a57be26fa8aeb3179b530fe3bdd67fe9be4",
"timezone": "Asia/Qyzylorda"
}- evaluation SHA-256
- sha256:1285a19320357a31546bd027b7bfaa3746a4bd8908ba2e7529464fe3ecd7e089
Исходные данные · JSON
{
"args": [
"Треугольник"
],
"facts": [
{
"args": [
"Треугольник",
3,
4,
5
],
"predicate": "pleurai"
}
],
"kind": "truth",
"legalTime": "2026-08-31",
"package": "grc-euclid-pythagoras",
"predicate": "orthogonion",
"proof": true
}