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
, B
và 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ế AC
bằ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 đó.