劉維爾定理

設為常數域為的微分域。對於，假設方程 (即，) 有解，其中是的基本擴充套件，具有相同的常數 field 。則存在 , , ..., 和常數 , ..., 使得

換句話說，使得

另請參閱

更多嘗試

Geddes, K. O.; Czapor, S. R.; 和 Labahn, G. "劉維爾定理。" 計算機代數演算法 第 12.4 節。阿姆斯特丹，荷蘭：Kluwer，第 523-529 頁，1992 年。