Более сложные теоремы тут приведены с доказательствами, может добавить?
Вот например у меня более 20ти лет назад получилось ее доказать, доказав последовательность из 4х лемм, каждая из которых довольно несложна:
1. Для любого прямоугольного треугольника с катетами на линиях сетки формула выполняется
2. Если есть 2 фигуры, для которых она выполняется, их внутренности не пересекаются, а пересечение их границ состоит из одного компонента связности и имеет более одной точки, то для их объединения формула выполняется
3. Если есть 2 фигуры, для которых она выполняется, внутренность одной является подмножеством внутренности другой, а пересечение их границ состоит из одного компонента связности и имеет более одной точки, то для их разности формула выполняется
4. Для любого треугольника формула выполняется
80.89.129.116 02:14, 21 мая 2015 (UTC)
- В статьях Википедии доказательства не нужны: это неформат для энциклопедии. Но, вероятно, есть смысл в отдельной страничке в Викиучебнике (лучше — в развитие какого-либо из имеющихся учебников), bezik° 05:08, 21 мая 2015 (UTC)