展开 海森堡不等式数学形式