1) Составляем уравнения всех сторон четырёхугольника по общему виду уравнеия
прямой, проходящей через две точки:
![\frac{x-x_1}{x_2-x_1}=\frac{y-y_1}{y_2-y_1} \frac{x-x_1}{x_2-x_1}=\frac{y-y_1}{y_2-y_1}](https://tex.z-dn.net/?f=%5Cfrac%7Bx-x_1%7D%7Bx_2-x_1%7D%3D%5Cfrac%7By-y_1%7D%7By_2-y_1%7D)
AB: ![\frac{x-1}{-2-1}=\frac{y-5}{2-5}\ \ \ \frac{x}{-3}=\frac{y-5}{-3}\ \ \ y=x+4 \frac{x-1}{-2-1}=\frac{y-5}{2-5}\ \ \ \frac{x}{-3}=\frac{y-5}{-3}\ \ \ y=x+4](https://tex.z-dn.net/?f=%5Cfrac%7Bx-1%7D%7B-2-1%7D%3D%5Cfrac%7By-5%7D%7B2-5%7D%5C+%5C+%5C+%5Cfrac%7Bx%7D%7B-3%7D%3D%5Cfrac%7By-5%7D%7B-3%7D%5C+%5C+%5C+y%3Dx%2B4)
CD: ![\frac{x-0}{3-0}=\frac{y-0}{3-0}\ \ \ \frac{x}{3}=\frac{y}{3}\ \ \ y=x \frac{x-0}{3-0}=\frac{y-0}{3-0}\ \ \ \frac{x}{3}=\frac{y}{3}\ \ \ y=x](https://tex.z-dn.net/?f=%5Cfrac%7Bx-0%7D%7B3-0%7D%3D%5Cfrac%7By-0%7D%7B3-0%7D%5C+%5C+%5C+%5Cfrac%7Bx%7D%7B3%7D%3D%5Cfrac%7By%7D%7B3%7D%5C+%5C+%5C+y%3Dx)
BC: ![\frac{x+2}{0+2}=\frac{y-2}{0-2}\ \ \ \frac{x+2}{2}=\frac{y-2}{-2}\ \ \ y=-x \frac{x+2}{0+2}=\frac{y-2}{0-2}\ \ \ \frac{x+2}{2}=\frac{y-2}{-2}\ \ \ y=-x](https://tex.z-dn.net/?f=%5Cfrac%7Bx%2B2%7D%7B0%2B2%7D%3D%5Cfrac%7By-2%7D%7B0-2%7D%5C+%5C+%5C+%5Cfrac%7Bx%2B2%7D%7B2%7D%3D%5Cfrac%7By-2%7D%7B-2%7D%5C+%5C+%5C+y%3D-x)
AD: ![\frac{x-1}{3-1}=\frac{y-5}{3-5}\ \ \ \frac{x-1}{2}=\frac{y-5}{-2}\ \ \ x-1=5-y\ \ \ y=-x+6 \frac{x-1}{3-1}=\frac{y-5}{3-5}\ \ \ \frac{x-1}{2}=\frac{y-5}{-2}\ \ \ x-1=5-y\ \ \ y=-x+6](https://tex.z-dn.net/?f=%5Cfrac%7Bx-1%7D%7B3-1%7D%3D%5Cfrac%7By-5%7D%7B3-5%7D%5C+%5C+%5C+%5Cfrac%7Bx-1%7D%7B2%7D%3D%5Cfrac%7By-5%7D%7B-2%7D%5C+%5C+%5C+x-1%3D5-y%5C+%5C+%5C+y%3D-x%2B6)
Условием параллельности двух прямых вида:
![y=a_1x+b_1\\y=a_2x+b_2 y=a_1x+b_1\\y=a_2x+b_2](https://tex.z-dn.net/?f=y%3Da_1x%2Bb_1%5C%5Cy%3Da_2x%2Bb_2)
является равенство: ![a_1=a_2 a_1=a_2](https://tex.z-dn.net/?f=a_1%3Da_2)
Проверяем на параллельность прямые AB и CD:
,
значит AB||CD
Проверяем на параллельность прямые BC и AD:
![BC\ \ y=-x\\AD\ \ y=-x+6\ \ \ \ \ \ a_1=a_2=-1 BC\ \ y=-x\\AD\ \ y=-x+6\ \ \ \ \ \ a_1=a_2=-1](https://tex.z-dn.net/?f=BC%5C+%5C+y%3D-x%5C%5CAD%5C+%5C+y%3D-x%2B6%5C+%5C+%5C+%5C+%5C+%5C+a_1%3Da_2%3D-1)
значит BC||AD
Стороны четырёхугольника параллельны, значит он является параллелограммом.
2) Чтобы доказать, что ABCD - прямоугольник, достаточно доказать, что CD
перпендикулярна ВС.
Условием перпендикулярности двух прямых вида:
![y=a_1x+b_1\\y=a_2x+b_2 y=a_1x+b_1\\y=a_2x+b_2](https://tex.z-dn.net/?f=y%3Da_1x%2Bb_1%5C%5Cy%3Da_2x%2Bb_2)
является равенство: ![a_1\cdot a_2=-1 a_1\cdot a_2=-1](https://tex.z-dn.net/?f=a_1%5Ccdot+a_2%3D-1)
![CD\ \ y=x\\BC\ \ y=-x\ \ \ \ \ \ a_1\cdot a_2=-1 CD\ \ y=x\\BC\ \ y=-x\ \ \ \ \ \ a_1\cdot a_2=-1](https://tex.z-dn.net/?f=CD%5C+%5C+y%3Dx%5C%5CBC%5C+%5C+y%3D-x%5C+%5C+%5C+%5C+%5C+%5C+a_1%5Ccdot+a_2%3D-1)
Значит CD перпендикулярна ВС, то есть ABCD-прямоугольник