Consider an antisymmetric matrix $A=\begin{pmatrix} 0 & -1\\ 1 & 0 \end{pmatrix}$ and an arbitrary vector $v= \begin{pmatrix} a \\ b \end{pmatrix}$. It follows that $(A v)^T v = -ab+ab =0$.
My question: Can this be proved in general that $(Av)^Tv=0$, for arbitrary dimensions (and form) of $A$ (and hence $v$)?
Yes, since $A^T=-A$ for all $v\in V$ $\langle Av,v \rangle=0$
Proof:
Note that $\langle u,v\rangle=u^Tv$
$A^T=-A \Rightarrow \langle v,AV\rangle= v^TAv=-v^TA^Tv$
$\langle -Av,v\rangle=-v^TA^Tv \Rightarrow\langle -Av,v \rangle=\langle Av,v \rangle$
$\langle -Av,v \rangle=\langle Av,v \rangle \Rightarrow 2\langle Av,v\rangle =0$
$2\langle Av,v\rangle =0 \Rightarrow \langle Av,v\rangle=0 $
$\langle Av,v\rangle=0 \Rightarrow (Av)^Tv=0$