مهندس أيرلندى يكتشف المعادلة الهندسية لبناء الهرم الأكبر