Предложение I.43 · Теорема
Во всяком параллелограмме дополнения параллелограммов, расположенных около диагонали, равны между собой.
Перетаскивайте точки, обведённые красным. Чертёж меняется, а каждый шаг доказательства остаётся верным.
- Пусть ABCD — параллелограмм, AC — его диаметр; около AC пусть будут параллелограммы EH, FG, а BK, KD — так называемые дополнения. Утверждается, что дополнение BK равно дополнению KD. (Попробуйте перетащить A, B, D или K.)
- Так как ABCD — параллелограмм, а AC — его диаметр, треугольник ABC равен треугольнику ACD.Предложение I.34Предложение I.34: В параллелограммах противоположные стороны и углы равны между собой, и диагональ рассекает их пополам.
- Далее, так как EH — параллелограмм, а AK — его диаметр, треугольник AEK равен треугольнику AHK.Предложение I.34Предложение I.34: В параллелограммах противоположные стороны и углы равны между собой, и диагональ рассекает их пополам.
- По той же причине и треугольник KFC равен треугольнику KGC.Предложение I.34Предложение I.34: В параллелограммах противоположные стороны и углы равны между собой, и диагональ рассекает их пополам.
- Отнимем от равных треугольников ABC, ACD равные части AEK, KGC и AHK, KFC; тогда остающееся дополнение BK равно остающемуся дополнению KD.Аксиома 3Аксиома 3: И если от равных отнимаются равные, то остатки будут равны.
Что и требовалось доказать.