Que se puede calcular creo que lo intuía, no creo que el profesor haga el producto escalar mal, sólo faltaría. Sólo quiero entender cómo hacer esto bien, porque intenté hacerlo a la vieja usanza, usando el coseno, y como no tenía el ángulo pues no lo podía sacar.
Normalmente se estudia las dos formulas así tal cual, por definición las sueltan los profesores y listo, quizás lo que te interesa es ver como se deduce una formula a partir de la otra para demostrar que dan el mismo resultado. En este caso, mis conocimientos son parcos, ni siquiera tengo claro cual es la definición principal. Solo he visto o recuerdo un método de deducir una formula a partir de otra pero no tengo claro si es completamente válido y quizás tiene algún tipo de razonamiento circular. Lo hago para solo 2 dimensiones, para 3 se puede hacer igual y para más supongo que también pero a tanto no llego.
Partimos de las bases canónicas i,j y tenemos que como son ortonormales, usando la formula del coseno, sabemos sus productos escalares:
\( i \cdot j = j \cdot i = 0 \quad i \cdot i = j \cdot j = 1 \)
Ahora hay que usar dos propiedades (que supongo que por definición) tiene que cumplir el producto escalar, \( \lambda \) es un escalar, A y B serian vectores:
\( (\lambda A) \cdot B = \lambda (A \cdot B)= A \cdot (\lambda B) \)
\( (A + B) \cdot C = A \cdot C + B \cdot C \)
Ahora intentamos calcular el productor escalar de dos vectores:
\( A= (a,b) = ai + bj \)
\( C= (c,d) = ci + dj \)
\( A \cdot C = (ai+bj) \cdot (ci+dj) \)
En principio no sabemos como hacer el cálculo, pero aplicando las propiedades del producto escalar escritas antes se puede desarrollar la expresión:
\( (ai+bj) \cdot (ci+dj) \)
\( ai \cdot (ci+dj) + bj \cdot (ci+dj) \)
\( ai \cdot ci+ ai \cdot dj + bj \cdot ci+bj \cdot dj \)
\( ac(i \cdot i)+ ad(i \cdot j) + bc(j \cdot i) +bd(j \cdot j) \)
Ahora como conocemos el resultado del producto escalar de las bases canónicas:
\( ac(1)+ ad(0) + bc(0) +bd(1) \)
\( ac + bd \)
Con lo que llegamos a la formula analítica que nos interesaba:
\( A \cdot C = (a,b) \cdot (c,d) = ac + bd \)
Supongo que habrá alguna otra forma mejor y mas general de hacer esto. Quizás el_manco pueda explicar todo esto de una forma mas rigurosa.