Apostol question on alternative definition of dot product The problem says:

Suppose we define the dot product by $A\cdot B = \sum_{k=1}^n |a_kb_k|$. Which of the following properties hold with this new defition? Does the Cauchy-Schwarz inequality still hold?
(a) Commutativity: $A\cdot B = B\cdot A$
(b) Distributivity: $A\cdot (B+C) = A\cdot B + A\cdot C$
(c) Homogeneity: $c(A\cdot B) = (cA)\cdot B = A\cdot(cB)$
(d) Positivity: $A\cdot A > 0$ if $A\neq O$
(e) $A\cdot A = O$ if $A = O$.
Note that $A,B,C \in V_n$ and $c$ is a scalar.

The properties (a), (d), and (e) still hold.
Distributivity does not hold due to the triangle inequality. Observe that
\begin{align*}
A\cdot (B+C) &= \sum_{k=1}^n |a_k(b_k+c_k)| \\
 &= \sum_{k=1}^n |a_kb_k+a_kc_k| \\
 &\leq \sum_{k=1}^n \left(|a_kb_k| + |a_kc_k|\right) \\
 &= \sum_{k=1}^n |a_kb_k| + \sum_{k=1}^n |a_kc_k| \\
 &= A\cdot B + A\cdot C \ .
\end{align*}
We can see that equality will not hold for all $A,B,$ and $C$.
The homogeneity property does not hold due to the absolute value signs. Assume $c<0$. Then
\begin{align*}
(cA)\cdot B &= \sum_{k=1}^n |(ca_k)b_k| \\
 &= |c|\sum_{k=1}^n |a_kb_k| \\
 &\neq c\sum_{k=1}^n |a_kb_k| \\
 &= c(A\cdot B) \ .
\end{align*}
The back of the book states that only (b) does not hold. I fail to see how (c) could hold. Is this a typo or am I incorrect? I can prove the Cauchy-Schwarz inequality if (c) does hold, but I don't think Cauchy-Schwarz holds in the case that (c) does not.
EDIT: Actually, since homogeneity holds for $c\geq 0$, I am inclined to believe that Cauchy-Schwarz does hold (also since I can't find a counter-example). But I am having difficulty proving it since distributivity does not hold. Any hints?
EDIT2: I found that Cauchy-Schwarz does hold. I put my proof as an answer. I appreciate any critiquing of it.
 A: This proves that the Cauchy-Schwarz inequality holds for the new dot product definition:
The result is trivial if either $A$ or $B$ is $O$. Assume $A,B\neq O$.
Let $A',B'\in V_n$ such that $a'_i = |a_i|$ and $b'_i = |b_i|$ for each $i=1,2,...,n$. Let $\theta'$ be the angle between $A'$ and $B'$. Since $A'\cdot B' = \sum_{k=1}^n |a'_kb'_k| = \sum_{k=1}^n a'_kb'_k$, we have
$$
A'\cdot B' = ||A'||\,||B'||\,\cos\theta'.
$$
But notice that $A'\cdot B' = A\cdot B$, $||A'|| = ||A||$, and $||B'|| = ||B||$. Therefore
$$
A\cdot B = ||A||\,||B||\,\cos\theta',
$$
which implies that
$$
A\cdot B = |A\cdot B| \leq ||A||\,||B||
$$
since $\theta \in \left[ 0, \frac{\pi}{2} \right]$. Thus the Cauchy-Schwarz inequality holds. Equality holds if and only if $\cos\theta'=1$. That is, if and only if $A'||B'$. 
Equality does not hold iff $A||B$, since $A'||B'$ does not imply $ A||B$.
A: The Cauchy-Schwarz Inequality does hold.
Define $A^+ = ( |a_1| , |a_2| , \dots |a_n| )$.
Then our dot product $A \cdot_n B$ is the same as $A^+ \cdot_o B^+$ with the old dot product.  Also, the norm for the new and old dot products are equal, since $\sum |a_i a_i| = \sum a_i a_i$.
Since the (original) Cauchy Schwarz inequality holds for $\cdot_o$:
\begin{align*}
A \cdot_n B &= A^+ \cdot_o B^+ \\
&\le \Vert A^+ \Vert \Vert B^+ \Vert \\
&= \Vert A \Vert \Vert B \Vert
\end{align*}
Equality holds iff $B^+ = k A^+$, which is a weaker condition than $B = kA$.  In $\mathbb R^2$, equality holds for $A = ( 1,1 )$ and $B = ( 1,-1)$.
