由最小作用量到量子化条件