Evet , basitleştirebilirsiniz. İlk olarak, onlara vektör demeyi bırakın. Onlar puan. Onları diyelim A
, B
ve C
.
Yani, bunu istiyorsun:
dist(A, B) < dist(A, C)
Mesafeler ile değiştirin mesafeler tanımından (o nokta ürünleriyle, kare Öklit uzunluğu değiştirin. AC
İle AB + BC
artık bu gerçek vektörler vardır) (, faktör, Expand basitleştirmek.:
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)
İşte buradasın:
dot(AB + AC, BC) > 0
Vektör gösterimi ile:
dot(v2 - v1 + v3 - v1, v3 - v2) > 0
Bu, önceki iki nokta ürünü yerine birkaç ekleme ve bir nokta ürünü.