为什么实对称矩阵都能对角化?

为什么实对称矩阵都能对角化?
为什么实对称矩阵的k重特征值恰好能对应求得k个线性无关的正交的向量?为什么N个特征值对应于N个线性无关正交的特征向量?
实在不行的推荐一本书看看