# Let $a_1, a_2, a_3, b_1, b_2, b_3 \in \mathbb{R}.$ Then $(a_1b_1+a_2b_2+a_3b_3)^2 \leq ({a_1^2}+{a_2^2}+{a_3^2})({b_1^2}+{b_2^2}+{b_3^2})$.

My professor gave me a hint to subtract one side from both sides and do some algebra so you can group together and combine to make positive numbers.

I am stuck, can anyone help me figure out where to go from here, please? I got

We will prove this directly. We will start with $$(a_1b_1+a_2b_2+a_3b_3)^2 \leq ({a_1^2}+{a_2^2}+{a_3^2})({b_1^2}+{b_2^2}+{b_3^2})$$ and add the additive inverse of $$(a_1b_1+a_2b_2+a_3b_3)^2$$ to both sides to get $$0 \leq ({a_1^2}+{a_2^2}+{a_3^2})({b_1^2}+{b_2^2}+{b_3^2})-(a_1b_1+a_2b_2+a_3b_3)^2$$. We will then expand $$({a_1^2}+{a_2^2}+{a_3^2})({b_1^2}+{b_2^2}+{b_3^2})$$ to get $$0 \leq ({a_1^2b_1^2}+{a_1^2b_2^2}+{a_1^2b_3^2}+{a_2^2b_1^2}+{a_2^2b_2^2}+{a_2^2b_3^2}+{a_3^2b_1^2}+{a_3^2b_2^2}+{a_3^2b_3^2})-(a_1b_1+a_2b_2+a_3b_3)^2$$.We will now expand (a_1b_1+a_2b_2+a_3b_3)^2 to get $$0 \leq ({a_1^2b_1^2}+{a_1^2b_2^2}+{a_1^2b_3^2}+{a_2^2b_1^2}+{a_2^2b_2^2}+{a_2^2b_3^2}+{a_3^2b_1^2}+{a_3^2b_2^2}+{a_3^2b_3^2})-(a_1^2b_1^2+2a_1a_2b_1b_2+2a_1a_3b_2b_3+a_2^2b_2^2+2a_2a_3b_2b_3+a_3^2b_3^2)$$.

Now I do not know how to make this into a positive number so I am stuck. I know that I will have to write the proof backwards once it is completed because you cannot start with what you are trying to prove.

I feel like I might be straying away from the right path, can anyone guide me, please?

$$0 \leq ({a_1^2b_1^2}+{a_1^2b_2^2}+{a_1^2b_3^2}+{a_2^2b_1^2}+{a_2^2b_2^2}+{a_2^2b_3^2}+{a_3^2b_1^2}+{a_3^2b_2^2}+{a_3^2b_3^2})-(a_1^2b_1^2+2a_1a_2b_1b_2+2a_1a_3b_{\color{red}1}b_3+a_2^2b_2^2+2a_2a_3b_2b_3+a_3^2b_3^2)$$ $$0 \leq {a_1^2b_2^2}+{a_1^2b_3^2}+{a_2^2b_1^2}+{a_2^2b_3^2}+{a_3^2b_1^2}+{a_3^2b_2^2}-2a_1a_2b_1b_2-2a_1a_3b_1b_3-2a_2a_3b_2b_3$$ $$0 \leq ({a_1^2b_2^2}-2a_1a_2b_1b_2+{a_2^2b_1^2})+({a_1^2b_3^2}-2a_1a_3b_1b_3+{a_3^2b_1^2})+({a_2^2b_3^2}-2a_2a_3b_2b_3+{a_3^2b_2^2})$$ $$0 \leq (a_1b_2-a_2b_1)^2+(a_1b_3-a_3b_1)^2+(a_2b_3-a_3b_2)^2$$
The basic inequality for proving Cauchy-Schwarz is a form of the AM-GM: \begin{align} xy &=\frac12\left(x^2+y^2-(x-y)^2\right)\\ &\le\frac12\left(x^2+y^2\right)\tag1 \end{align} We start by assuming that $$\sum\limits_{k=1}^na_k^2=\sum\limits_{k=1}^nb_k^2=1$$ (i.e. divide $$a$$ by $$|a|$$ and $$b$$ by $$|b|$$). Then \begin{align} \sum_{k=1}^na_kb_k &\le\frac12\sum_{k=1}^n\left(a_k^2+b_k^2\right)\\ &=1\\ &=\left(\sum_{k=1}^na_k^2\right)^{1/2}\left(\sum_{k=1}^nb_k^2\right)^{1/2}\tag2 \end{align} Inequality $$(2)$$ is in a form that be scaled in each of $$a$$ and $$b$$ (i.e. undo the scaling that was done above), so we can lift the restriction that $$\sum\limits_{k=1}^na_k^2=\sum\limits_{k=1}^nb_k^2=1$$.