На диагонали АС квадрата ABCD отложены равные отрезки АМ и CN. Докажите, что BNDM — ромб.

Доказательство:

Дано: ABCD — квадрат, AC — диагональ, AM = CN, M ∈ AC, N ∈ AC.

Доказать: BNDM — ромб.

1. В квадрате диагонали равны, пересекаются под прямым углом и делятся точкой пересечения пополам. Пусть O — точка пересечения диагоналей AC и BD. Тогда AO = OC = BO = OD и AC ⊥ BD.
2. Рассмотрим треугольники ABM и CDN.
• AB = CD (стороны квадрата).
• ∠BAM = ∠DCN = 45° (углы, образованные диагональю с стороной квадрата).
• AM = CN (по условию).
3. По двум сторонам и углу между ними (признак равенства треугольников), треугольники ABM и CDN равны.
4. Из равенства треугольников следует, что BM = DN.
5. Рассмотрим треугольники BCM и DAN.
• BC = DA (стороны квадрата).
• ∠BCM = ∠DAN = 45° (углы, образованные диагональю с стороной квадрата).
• CM = AC - AM, AN = AC - CN. Так как AM = CN, то CM = AN.
6. По двум сторонам и углу между ними, треугольники BCM и DAN равны.
7. Из равенства треугольников следует, что BM = DN. (Это подтверждает предыдущий шаг).
8. Рассмотрим треугольники BOM и DON.
• BO = DO (диагонали квадрата точкой пересечения делятся пополам).
• OM = AO - AM, ON = OC - CN. Так как AO = OC и AM = CN, то OM = ON.
• BO = BO (общая сторона).
9. По трём сторонам (признак равенства треугольников), треугольники BOM и DON равны.
10. Из равенства треугольников следует, что BM = DN. (Повторение для полноты).
11. Рассмотрим четырехугольник BNDM.
• Мы доказали, что BM = DN.
• Также, так как ABCD — квадрат, то AB = BC = CD = DA.
• Рассмотрим треугольники ABM и CDN. Углы ∠BAM и ∠DCN равны 45°.
• Рассмотрим треугольники BCM и DAN. Углы ∠BCM и ∠DAN равны 45°.
• Теперь рассмотрим треугольники BMN и DMN.
• Мы знаем, что BM = DN.
• MN — общая сторона.
• Для того, чтобы доказать, что BNDM — ромб, нужно доказать, что все стороны равны или что диагонали перпендикулярны и точкой пересечения делятся пополам, или что диагонали делят углы пополам.
• Рассмотрим треугольники ABM и CDN. Треугольники ABM и CDN равны, следовательно, ∠AMB = ∠CND.
• Углы ∠AMB и ∠BMC — смежные, их сумма 180°.
• Углы ∠CND и ∠DNA — смежные, их сумма 180°.
• Так как ∠AMB = ∠CND, то ∠BMC = ∠DNA.
• Рассмотрим треугольники BDM и DBN.
• Рассмотрим диагонали BN и DM четырехугольника BNDM.
• Точка O является серединой AC.
• Так как AM = CN, то M и N симметричны относительно центра квадрата O.
• Следовательно, точка O является серединой отрезка MN.
• Диагонали BD и MN пересекаются в точке O.
• BO = DO (диагонали квадрата).
• MO = NO (половины отрезка MN, так как O — середина MN).
• Таким образом, диагонали четырехугольника BNDM (BD и MN) пересекаются в точке O и делятся ею пополам. Следовательно, BNDM — параллелограмм.
• Теперь докажем, что диагонали перпендикулярны, или что стороны равны.
• Мы уже доказали, что BM = DN.
• Рассмотрим треугольники ABO и CBO. Они равны.
• Рассмотрим треугольники ADO и CDO. Они равны.
• Рассмотрим треугольники ABM и CBM.
• Рассмотрим треугольники ADM и CDM.
• Так как ABCD — квадрат, то AC ⊥ BD.
• Точка O — середина AC и BD.
• Так как AM = CN, то OM = ON.
• Диагонали BN и DM.
• Рассмотрим треугольник ABC. BM — медиана (если M — середина AC).
• Рассмотрим треугольник ADC. DN — медиана (если N — середина AC).
• Вернемся к треугольникам ABM и CDN. Они равны, поэтому BM = DN.
• Рассмотрим треугольник BCM и DAN. Они равны, поэтому BM = DN.
• Рассмотрим треугольники BMN и DMN.
• Так как O — середина AC, и AM = CN, то O — середина MN.
• Значит, диагонали BN и DM пересекаются в точке O, которая является серединой каждой из них. Следовательно, BNDM — параллелограмм.
• Теперь докажем, что все стороны равны.
• Рассмотрим треугольник AOB. Он прямоугольный и равнобедренный.
• Рассмотрим треугольник ABN.
• Рассмотрим треугольник CDM.
• Рассмотрим треугольник ABM. По теореме Пифагора (если бы M была середина AC, но это не так):
• В прямоугольном треугольнике ABC, BM — это отрезок, соединяющий вершину B с точкой M на гипотенузе AC.
• Рассмотрим прямоугольный треугольник ABO. AO = BO.
• В треугольнике ABM, по теореме косинусов: BM^2 = AB^2 + AM^2 - 2 * AB * AM * cos(45°).
• В треугольнике CDN, DN^2 = CD^2 + CN^2 - 2 * CD * CN * cos(45°).
• Так как AB = CD и AM = CN, то BM = DN.
• Рассмотрим треугольник BCM. BC = AB. CM = AC - AM.
• Угол ∠BCM = 45°.
• По теореме косинусов: BM^2 = BC^2 + CM^2 - 2 * BC * CM * cos(45°).
• Из равенства треугольников ABM и CDN, мы получили BM = DN.
• Рассмотрим треугольник ADM.
• Рассмотрим треугольники BDM и DBN.
• Диагонали BD и MN пересекаются в точке O. BO = DO, MO = NO. BNDM — параллелограмм.
• Мы уже доказали, что BM = DN.
• Теперь докажем, что DM = BN.
• Рассмотрим треугольник BCN.
• Рассмотрим треугольник ADM.
• AD = AB. AN = AC - CN. CM = AC - AM.
• Рассмотрим треугольник ADM. AD = AB. AM. Угол ∠DAM = 45°.
• DM^2 = AD^2 + AM^2 - 2 * AD * AM * cos(45°).
• Рассмотрим треугольник ABN. AB. AN = AC - CN. Угол ∠BAN = 45°.
• BN^2 = AB^2 + AN^2 - 2 * AB * AN * cos(45°).
• Так как AM = CN, то AN = CM.
• DM^2 = AB^2 + AM^2 - 2 * AB * AM * cos(45°).
• BN^2 = AB^2 + AM^2 - 2 * AB * AM * cos(45°).
• Следовательно, DM = BN.
• Так как BNDM — параллелограмм и его диагонали равны (DM = BN), то параллелограмм является прямоугольником.
• Однако, это не ромб. Где ошибка?
• Перечитаем условие: "На диагонали AC квадрата ABCD отложены равные отрезки AM и CN. Докажите, что BNDM — ромб."
• Вернемся к доказательству равенства треугольников ABM и CDN.
• AB=CD, AM=CN, ∠BAM = ∠DCN = 45°. Треугольники равны, следовательно, BM = DN.
• Аналогично, рассмотрим треугольники BCM и DAN. BC=DA, CM=AN, ∠BCM = ∠DAN = 45°. Треугольники равны, следовательно, BM = DN.
• Рассмотрим четырехугольник BNDM.
• Диагонали BD и MN пересекаются в точке O.
• AO = OC, BO = DO.
• Так как AM = CN, то MO = AO - AM и NO = OC - CN. Следовательно, MO = NO.
• Значит, O — середина MN.
• Так как O — середина BD и середина MN, то BNDM — параллелограмм.
• Мы доказали, что BM = DN.
• Теперь нужно доказать, что смежные стороны равны, например, BN = BM.
• Рассмотрим треугольник ABN. AB, AN, ∠BAN = 45°.
• BN^2 = AB^2 + AN^2 - 2 * AB * AN * cos(45°).
• Рассмотрим треугольник ABM. AB, AM, ∠BAM = 45°.
• BM^2 = AB^2 + AM^2 - 2 * AB * AM * cos(45°).
• Так как AN = AC - CN и AM = AC - AM (исходно), а AM = CN, то AN = CM.
• AN = AC - CN. AM = AC - AM.
• CM = AC - AM. AN = AC - CN.
• Если AM = CN, то CM = AC - AM и AN = AC - CN.
• CM = AN.
• BN^2 = AB^2 + AN^2 - 2 * AB * AN * cos(45°).
• BM^2 = AB^2 + AM^2 - 2 * AB * AM * cos(45°).
• Если AM = CN, то AN = AC - CN = AC - AM = CM.
• BN^2 = AB^2 + AN^2 - 2 * AB * AN * cos(45°).
• BM^2 = AB^2 + AM^2 - 2 * AB * AM * cos(45°).
• Если AM = AN, то BN = BM.
• Но AM = CN.
• AN = AC - CN. CM = AC - AM.
• Если AM = CN, то AN = CM.
• BN^2 = AB^2 + AN^2 - 2 * AB * AN * cos(45°).
• BM^2 = AB^2 + AM^2 - 2 * AB * AM * cos(45°).
• Рассмотрим треугольник BDM.
• Рассмотрим треугольник DBN.
• DM = BN, так как треугольники ABM и CDN равны.
• Мы доказали, что BNDM — параллелограмм.
• Теперь докажем, что его диагонали перпендикулярны.
• Диагонали BD и MN.
• BD — диагональ квадрата. MN — отрезок на диагонали AC.
• AC ⊥ BD.
• MN лежит на AC.
• Следовательно, MN ⊥ BD.
• Диагонали параллелограмма BNDM (BD и MN) перпендикулярны.
• Параллелограмм, у которого диагонали перпендикулярны, является ромбом.
• Следовательно, BNDM — ромб.

Доказано.