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

חוק ההגבלים העסקיים, חוק ההגירה (1924), חוק ההגירה והאזרחות (ארצות הברית), חוק ההגירה של 1924, חוק ההדדיות הריבועי, חוק ההחזרה, חוק ההידקקות, חוק ההסדר 1701, חוק ההסדרה, חוק ההסדרים