Avresti anche potuto normalizzare il vettore normale dell'iperpiano per ottenere il versore normale corrispondente, poi spostarti di "a * versore" e ricavare ancora una volta il valore di a corrispondente alla proiezione sul piano (che e' sempre quello per cui il risultato dell'operazione e' 0).
Di fatto utilizzi il vettore "come versore", cioe' per essere sicuro di muoverti lungo la normale all'iperpiano, poi pero' che sia un vettore o un versore non ti interessa, perche' siccome hai la "a" li' davanti, il modulo dello spostamento e' la tua incognita e quindi se sviluppi correttamente l'espressione lo spostamento effettivo sempre quello e'.
Es.
Forma generale:
(P + S) * [-1, -1, -1] + 1 = 0
Usando il vettore:
(P + a*[-1, -1, -1]) * [-1, -1, -1] + 1 = 0
a * |[-1, -1, -1]|^2 = 5
a * 3 = 5
a = 5 / 3
S = [-5 / 3, -5 / 3, -5 / 3]
Usando il versore:
(P + a*[-sqrt(3) / 3, -sqrt(3) / 3, -sqrt(3) / 3]) * [-1, -1, -1] + 1 = 0
a * [-sqrt(3) / 3, -sqrt(3) / 3, -sqrt(3) / 3] * [-1, -1, -1] = 5
a * sqrt(3) = 5
a = sqrt(3) * 5 / 3
S = sqrt(3) * 5 / 3 * [-sqrt(3) / 3, -sqrt(3) / 3, -sqrt(3) / 3]
S = [-5 / 3, -5 / 3, -5 / 3]
Quindi come vedi il risultato finale e' identico ma devi fare un passaggio extra, cioe' normalizzare il vettore.
Credo sia stato chiarito, ma in ogni caso ...
La relazione
(P + a * v) * v + b = 0
serve a trovare il punto P' = P + a * v, che e' la proiezione del punto P sull'iperpiano A di equazione v * x + b = 0
La "proiezione" puo' essere definita semplicemente "il punto di A piu' vicino a P".
Si dimostra che il punto P' che rispetta tale definizione deve essere dato dalla relazione di sopra.
Infatti prendiamo un altro punto P'' appartenente ad A.
Possiamo scrivere
P'' = P' + h
Dove h e' un generico vettore.
P'' appartiene ad A, quindi
(P' + h) * v + b = 0
(P' * v + b) + h * v = 0
P' appartiene ad A per ipotesi, quindi
(P' * v + b) = 0
h * v = 0
Valutiamo ora la distanza tra P'' e P.
P'' - P = a * v + h
Dunque:
|P'' - P|^2 = (a * v + h)^2 = a^2 * |v|^2 + |h|^2 + 2 * a * v * h
h * v = 0
|P'' - P|^2 = a^2 * |v|^2 + |h|^2
E poiche'
|P' - P|^2 = a^2 * |v|^2
Si ha infine
|P'' - P|^2 > |P' - P|^2