នៅក្នុងគណិតវិទ្យា, សមភាពការ៉េទាំង៤របស់អឺលែរ ចែងថាផលគុណនៃ២ចំនួន ដែលចំនួននីមួយៗជាផលបូកនៃការ៉េនៃ៤ចំនួនផ្សេងទៀត ក៏ជាផលបូកនៃការ៉េនៃ៤ចំនួន។ ជាពិសេសទៅទៀត
![{\displaystyle +(a_{1}b_{3}-a_{2}b_{4}+a_{3}b_{1}+a_{4}b_{2})^{2}+(a_{1}b_{4}+a_{2}b_{3}-a_{3}b_{2}+a_{4}b_{1})^{2}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cc30f1eed33bd85ff0944646b6fc82df05a7aa12)
អឺលែរ បានសរសេរពីសមភាពនេះនៅឆ្នាំ១៧៥០។ សមភាពនេះត្រូវបានប្រើដោយឡាហ្គ្រង់ ដើម្បីស្រាយបញ្ជាក់ ទ្រឹស្ដីបទការ៉េទាំង៤របស់គាត់។