结构推理 证明力学量A（不显含t）的平均值对时间的二次微商为 H为Hamilton量。