§3.2 布洛赫函数的正交性与完备性