במתמטיקה, ובפרט בקומבינטוריקה ותורת המספרים האנליטית, נוסחת ההיפוך של מביוס היא נוסחה המקשרת בין שתי פונקציות אריתמטיות כאשר אחת מהן מנוסחת כסכום ערכי הפונקציה השנייה על המחלקים של מספר טבעי.
הנוסחה הוכחה לראשונה על ידי אוגוסט פרדיננד מביוס בשנת 1832[1].
בערך זה נשתמש בסימון המקובל לקבוצת המספרים הטבעיים
ונגדירה ללא המספר 0 (כלומר, המספרים הטבעיים יחלו מהמספר 1).
באופן דומה נסמן ב-
את קבוצת המספרים המרוכבים, כמקובל.
בהינתן זוג מספרים טבעיים
, נאמר כי
מחלק את
ונסמן
אם ורק אם קיים
כלשהו כך ש-
.
הפונקציה האריתמטית
נקראת פונקציית מביוס והיא מוגדרת כך שלכל
:
הפונקציה האריתמטית
נקראת פונקציית היחידה והיא מוגדרת כך שלכל
:
לבסוף, לכל זוג פונקציות אריתמטיות
מגדירים את קונבולוציית דיריכלה שלהן
כך שלכל
:
יהי שתי פונקציות אריתמטיות
. אזי, שני התנאים הבאים שקולים:[2]
- לכל
מתקיים ש-
- לכל
מתקיים ש-
מגדירים את הפונקציה האריתמטית
כך שלכל
מתקיים ש-
.
יהי שתי פונקציות אריתמטיות
. אזי, התנאים הבאים שקולים:


תחת קונבולוציית דיריכלה, פונקציית היחידה
משמשת כאיבר יחידה. כלומר, לכל פונקציה אריתמטית
מתקיים ש-
.
בנוסף, ניתן להוכיח כי
ו-
הן איברים הופכיים תחת קונבולוציית דיריכלה, כלומר -
[3].
מכל זה ניתן להראות כי:
מ.ש.ל.
- לכל
מתקיים ש-
, כאשר
היא פונקציית אוילר, לכן לפי נוסחת ההיפוך של מביוס
.
- לכל
מתקיים ש-
, כאשר
היא פונקציית ז'ורדן מסדר
, לכן לפי נוסחת ההיפוך של מביוס
.
- לכל
מתקיים ש-
, כאשר
היא פונקציית פון מנגולדט, לכן לפי נוסחת ההיפוך של מביוס
.
- לכל
מתקיים ש-
, כאשר
היא פונקציית ליוביל, לכן לפי נוסחת ההיפוך של מביוס
.
בהינתן זוג פונקציות
המתאפסות בקטע הפתוח
ופונקציה אריתמטית כפלית לחלוטין
, שני התנאים הבאים שקולים:[4]


- ^ August Ferdinand Möbius, Über eine besondere Art von Umkehrung der Reihen, Journal für die reine und angewandte Mathematik, 1832, עמ' 105-123
- ^ Eric W. Weisstein, Möbius Inversion Formula, mathworld.wolfram.com (באנגלית)
- ^ Eric W. Weisstein, Möbius Function, mathworld.wolfram.com (באנגלית)
- ^ Tom M. Apostol, Introduction to Analytic Number Theory, Undergraduate Texts in Mathematics, 1976 doi: 10.1007/978-1-4757-5579-4