Observa que si ordenas factores en los términos del desarrollo señalado (1.25) queda:
A x B = (Ax*Bx)(ixi) + (Ax*By)(ixj) + (Ax*Bz)(ixk) +
+ (Ay*Bx)(jxi) + (Ay*By)(jxj) + (Ay*Bz)(jxk) +
+ (Az*Bx)(kxi) + (Az*By)(kxj) + (Az*Bz)(kxk).
Luego, observa en la primera línea de la figura, que tienes: ixi = O, jxj = O, kxk = O, por lo que cancelas los términos remarcados, porque son nulos y la expresión queda:
A x B = (Ax*By)(ixj) + (Ax*Bz)(ixk) +
+ (Ay*Bx)(jxi) + (Ay*Bz)(jxk) +
+ (Az*Bx)(kxi) + (Az*By)(kxj).
Luego, observa las igualdades determinadas por los dos primeros miembros de las desigualdades dobles señaladas (1.24):
ixj = -jxi, multiplicas por -1 en ambos miembros, y queda: -ixj = jxi (1),
jxk = -kxj, multiplicas por -1 en ambos miembros, y queda: -jxk = kxj (2),
ixk = -kxi (3).
Luego, sustituyes las expresiones que tienes en los primeros miembros de las igualdades señaladas (1) (2) (3), cada una en el factor vectorial remarcado que le corresponde, y queda:
A x B = (Ax*By)(ixj) + (Ax*Bz)(-kxi) +
+ (Ay*Bx)(-ixj) + (Ay*Bz)(jxk) +
+ (Az*Bx)(kxi) + (Az*By)(-jxk).
Resuelves signos en los términos con factores vectoriales remarcados, y queda:
A x B = (Ax*By)(ixj) - (Ax*Bz)(kxi) +
- (Ay*Bx)(ixj) + (Ay*Bz)(jxk) +
+ (Az*Bx)(kxi) - (Az*By)(jxk).
Ordenas términos, y queda:
A x B = (Ay*Bz)(jxk) - (Az*By)(jxk) + (Az*Bx)(kxi) - (Ax*Bz)(kxi) + (Ax*By)(ixj) - (Ay*Bx)(ixj).
Extraes factores comunes vectoriales por grupos de dos términos, y queda:
A x B = (Ay*Bz - Az*By)(jxk) + (Az*Bx - Ax*Bz)(kxi) + (Ax*By - Ay*Bx)(ixj).
Sustituyes las expresiones vectoriales remarcadas por sus correspondientes equivalentes que tienes en los terceros miembros de las desigualdades dobles señaladas (1.24), y queda:
A x B = (Ay*Bz - Az*By)(i) + (Az*Bx - Ax*Bz)(j) + (Ax*By - Ay*Bx)(k).
Espero haberte ayudado.