Обсуждение:Формула Пика

Более сложные теоремы тут приведены с доказательствами, может добавить?

Вот например у меня более 20ти лет назад получилось ее доказать, доказав последовательность из 4х лемм, каждая из которых довольно несложна:

1. Для любого прямоугольного треугольника с катетами на линиях сетки формула выполняется

2. Если есть 2 фигуры, для которых она выполняется, их внутренности не пересекаются, а пересечение их границ состоит из одного компонента связности и имеет более одной точки, то для их объединения формула выполняется

3. Если есть 2 фигуры, для которых она выполняется, внутренность одной является подмножеством внутренности другой, а пересечение их границ состоит из одного компонента связности и имеет более одной точки, то для их разности формула выполняется

4. Для любого треугольника формула выполняется

80.89.129.116 02:14, 21 мая 2015 (UTC)

• В статьях Википедии доказательства не нужны: это неформат для энциклопедии. Но, вероятно, есть смысл в отдельной страничке в Викиучебнике (лучше — в развитие какого-либо из имеющихся учебников), bezik° 05:08, 21 мая 2015 (UTC)