Vâng , bạn có thể đơn giản hóa điều này. Đầu tiên, ngừng gọi chúng là vectơ. Họ là những điểm. Hãy gọi cho họ A, Bvà C.
Vì vậy, bạn muốn điều này:
dist(A, B) < dist(A, C)
Thay thế khoảng cách bằng khoảng cách bình phương, sau đó bằng các sản phẩm chấm (từ định nghĩa về độ dài Euclide . Thay thế ACbằng AB + BC(bây giờ đây là các vectơ thực). Mở rộng, đơn giản hóa, hệ số:
dist(A, B)² < dist(A, C)²
dot(AB, AB) < dot(AC, AC)
dot(AB, AB) < dot(AB + BC, AB + BC)
dot(AB, AB) < dot(AB, AB) + dot(BC, BC) + 2 dot(AB, BC)
0 < dot(BC, BC) + 2 dot(AB, BC)
0 < dot(BC + 2 AB, BC)
Bạn đây rồi:
dot(AB + AC, BC) > 0
Với ký hiệu vector của bạn:
dot(v2 - v1 + v3 - v1, v3 - v2) > 0
Đó là một vài bổ sung và một sản phẩm chấm thay vì hai sản phẩm chấm trước đó.