Problem statement:

Show that the following recursive description provides a Hadamard matrix of each dimension m=2^k, k=0,1,2,...:

H_0=[1]
H_{k+1}=\left[\begin{array}[pos]{cc}<br />
    H_k & H_k \\<br />
    H_k & -H_k \\<br />
\end{array}\right]

------------------------------------------------------------------------
Attempt:
The transpose of a Hadamard matrix is equal to its inverse times a constant factor.
H_{k+1}H_{k+1}^T\left[\begin{array}[pos]{cc}<br />
    H_k & H_k \\<br />
    H_k & -H_k \\<br />
\end{array}\right] \left[\begin{array}[pos]{cc}<br />
    H_k & H_k \\<br />
    H_k & -H_k \\<br />
\end{array}\right]^T=2\left[\begin{array}[pos]{cc}<br />
    H_k^2 & 0 \\<br />
     0       & H_k^2 \\<br />
\end{array}\right]

H_k^2=2^kI_{2^k}

H_{k+1}H_{k+1}^T=2^{k+1} \left[\begin{array}[pos]{cc}<br />
    I_{2^k} & 0 \\<br />
     0       & I_{2^k} \\<br />
\end{array}\right]
---------------------------------------------------------------------

I've not heard of Hadamard matrices before, funky stuff.
Hope someone has the time to look over my work and tell me if it's getting warmer or if it's really cold
Thanks!