Hawking's area theorem states that the total event horizon area of a black hole system cannot decrease over time in classical general relativity.أثبت ستيفن هوكينغ هذه المبرهنة عام 1971، معتمدًا على النسبية العامة وافتراض عدم قدرة المادة على انتهاك شروط الطاقة. مساحة أفق الحدث A = 16π G² M² / c⁴ (لثقب أسود غير دوار كتلته M) يمكنها فقط أن تزداد، ΔA ≥ 0. وهذا التشابه المذهل مع القانون الثاني للديناميكا الحرارية أدى لاحقًا إلى فكرة إنتروبية الثقوب السوداء وألهم بيكنشتاين.
صاغ ستيفن هوكينغ المبرهنة عام 1971 مستخدمًا طرق الهندسة التفاضلية الشاملة. وقبل ذلك، افترض جيكوب بيكنشتاين، متأثرًا بالتشابه مع الديناميكا الحرارية، أن مساحة الأفق تتناسب مع الإنتروبية، وانتقد هوكينغ هذه الفكرة في البداية، لكنه لاحقًا وحدها مع مبرهنته واكتشف إشعاع هوكينغ.
تُطبق المبرهنة في فيزياء الثقوب السوداء الفلكية: فهي تقيد النتائج الممكنة لتصادماتها (تمكن من التنبؤ بالحد الأدنى لكتلة الثقب النهائي) وتعمل كأساس للحسابات في النسبية العددية. تظل المبرهنة الكلاسيكية صحيحة طالما لم تؤخذ التأثيرات الكمومية بعين الاعتبار؛ ومع إشعاع هوكينغ يمكن أن تتناقص المساحة، وعندها تعمم إلى قانون ثانٍ معمم - مجموع إنتروبية الأفق والمادة لا يتناقص.
تحدد أنه عند اندماج ثقبين أسودين، يكون الثقب الناتج أكبر، وعند سقوط مادة فيه تزداد مساحة سطحه - ويُستخدم هذا في الحسابات ضمن علم فلك الموجات الثقالية.
لا تمنع المبرهنة الثقب الأسود من 'الضمور': فيمكنه أن يتبخر عبر إشعاع هوكينغ، لكن مساحة الأفق لا تتناقص شكليًا بفضل التأثيرات الكمومية - إذ تتسرب الإنتروبية مع الإشعاع.
| S | متغير | Entropy of the black hole — الإنتروبيا joule per kelvin |
| A | متغير | Area of the event horizon — مساحة square metre |
| k | ثابت | Boltzmann constant — ثابت بولتزمان = 1.380649e-23 joule per kelvin |
| c | ثابت | Speed of light in vacuum — سرعة الضوء = 299792458 metre per second |
| G | ثابت | Newtonian gravitational constant — ثابت الجاذبية = 6.67430e-11 cubic metre per kilogram per second squared |
| ħ | ثابت | Reduced Planck constant — ثابت بلانك المخفض = 1.054571817e-34 joule second |








