Для доказательства того, что ABCD - прямоугольник, нужно показать, что противоположные стороны параллельны и длины смежных сторон равны.
Проверим параллельность сторон AB и CD. Для этого вычислим коэффициенты наклона прямых AB и CD. Коэффициент наклона прямой через точки (x1, y1) и (x2, y2) вычисляется по формуле k = (y2 - y1) / (x2 - x1).
Для AB: k(AB) = (5 - 1) / (3 - 4) = 4 / -1 = -4
Для CD: k(CD) = (0 - 4) / (0 - (-1)) = -4 / 1 = -4
Таким образом, коэффициенты наклона равны, что означает, что стороны AB и CD параллельны.
Проверим параллельность сторон BC и AD. Аналогично вычислим коэффициенты наклона прямых BC и AD.
Для BC: k(BC) = (4 - 5) / (-1 - 3) = -1 / -4 = 1/4
Для AD: k(AD) = (0 - 1) / (0 - 4) = -1 / -4 = 1/4
Коэффициенты наклона равны, что означает, что стороны BC и AD параллельны.
Длины смежных сторон:
AB = √((3 - 4)^2 + (5 - 1)^2) = √((-1)^2 + 4^2) = √(1 + 16) = √17
BC = √((-1 - 0)^2 + (4 - 5)^2) = √(1 + 1) = √2
CD = √((0 - 0)^2 + (0 - 4)^2) = √(0 + 16) = √16 = 4
AD = √((0 - 4)^2 + (0 - 1)^2) = √(16 + 1) = √17
Таким образом, мы видим, что противоположные стороны параллельны (AB || CD, BC || AD) и длины смежных сторон равны (AB = CD, BC = AD). Следовательно, ABCD - прямоугольник.