If you do not find what you're looking for, you can use more accurate words.
تعزى الصيغة السابقة إلى هيرو السكندري، ويمكن الحصول على برهانها في كتابه (ميتريكا) الذي كتبه حوالى 60 بعد الميلاد.
توجد صيغة أخرى مكافئة لصيغة هيرو:
اكتشفت هذه الصيغة من قبل الصينيين بشكل مستقل عن الإغريق ونشرها قين جيوشاو في 1247 ميلادية.