Для доказательства того, что четырехугольник ABCD является трапецией, необходимо показать, что две его стороны параллельны, а две другие - не параллельны.
Для начала выразим векторы AB и CD через вектор BC:
AB = a + 2b + 4a + b = 5a + 3b
CD = -5a - 3d - (-4a - b) = -a - 3(d - b)
Если векторы AB и CD параллельны, то их координаты должны быть пропорциональны (т.е. отношение каждой координаты одного вектора должно быть равно отношению соответствующей координаты другого вектора).
Из пропорциональности координат векторов следует, что:
5a + 3b = lambda * (-a - 3(d - b))
a(5 + lambda) = -3(lambda * d + (3 - lambda) * b)
b(3 - 3lambda) = d(3lambda - 3)
Чтобы векторы AB и CD были параллельны, необходимо, чтобы выполнялось хотя бы одно из следующих условий: