Ya , Anda dapat menyederhanakan ini. Pertama, berhentilah menyebut mereka vektor. Mereka adalah poin. Sebut saja mereka A
, B
dan C
.
Jadi, Anda menginginkan ini:
dist(A, B) < dist(A, C)
Ganti jarak dengan jarak kuadrat, lalu dengan produk titik (dari definisi panjang Euclidean . Ganti AC
dengan AB + BC
(sekarang ini adalah vektor nyata). Perluas, sederhanakan, faktor:
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)
Anda disana:
dot(AB + AC, BC) > 0
Dengan notasi vektor Anda:
dot(v2 - v1 + v3 - v1, v3 - v2) > 0
Itu adalah beberapa tambahan dan satu titik produk daripada dua produk titik sebelumnya.