בתורת המספרים, משפט ההדדיות הריבועית הוא משפט בחשבון מודולרי המספק תנאים לפתירות של משוואות ריבועיות מודולו מספרים ראשוניים. המשפט למעשה מקשר בין היכולת לפתור שתי משוואות מודולריות ריבועיות. הוא נוסח לראשונה בידי אוילר ולז'נדר (שהוכיח אותו למקרים פרטיים), אך היה זה גאוס שהוכיח אותו במלואו לראשונה, בשנת 1796. למשפט יש ניסוחים רבים, אך הקביעה הסטנדרטית ביותר שלו היא כדלהלן: מתוך ויקיפדיה

משפט הדגימה, משפט הדגימה של נייקוויסט, משפט הדגימה של נייקוויסט⁻שאנון, משפט הדגימה של שאנון⁻נייקוויסט, משפט הדיברגנץ, משפט ההדחה של אנדרו ג'ונסון, משפט ההדחה של דונלד טראמפ, משפט ההדחה של נשיא ארצות הברית אנדרו ג'ונסון, משפט ההחלקה, משפט ההיטל המרכזי