全域数学本源动量公式求导展开规范符号版作者乖乖数学成文日期2026年05月08日