ГЕОМЕТРИЯ Б29 (diff)

Сравнение версий v 2029 b / Geometry

Version1	Version2	Differences
52	52
53	53	1. //(неотрицательность)// Для любой фигуры Φ верно S(Φ)≥0.
54	54	2. //(аддитивность)// Если фигура Φ составлена из двух фигурок Φ₁ и Φ₂, то S(Φ)=S(Φ₁)+S(Φ₂).
55		3. ~~<li>~~//(равенство для равных фигур)// Если фигуры Φ₁ и Φ₂ таковы, что Φ₁=Φ₂, то S(Φ₁)=S(Φ₂).
56		4. //(нормированность)// Если Φ — квадрат 1Ч1, то S(Φ)=1.
	55	3. //(равенство для равных фигур)// Если фигуры Φ₁ и Φ₂ таковы, что Φ₁=Φ₂, то S(Φ₁)=S(Φ₂).
	56	4. //(нормированность)// Если Φ — квадрат 1×1, то S(Φ)=1.
57	57
58	58	Существуют много разных обобщений этого понятия, в том числе не обязанные следовать всем трём названным аксиомам. Мы ими сейчас заниматься не будем, а сосредоточимся на классическом определении. Отметим, что аксиома аддитивности обобщается на любое конечное число фигурок и часто применяется именно в таком виде. Площадь квадрата равна квадрату его стороны — для рациональной стороны мы доказали это непосредственно, для общего случая была задействована конструкция предельного перехода, то есть мы приблизили сторону квадрата рациональными числами с недостатком и с избытком, и показали, что площадь квадрата не может быть ни меньше, ни больше, чем квадрат стороны. В аудиторном задании были задачи на доказательство базовых формул площади:
59	59