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

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