ทฤษฎีบทพีทาโกรัสเป็นสูตรทางคณิตศาสตร์ที่ใช้เพื่อค้นหาด้านที่หายไปของสามเหลี่ยมมุมฉากและได้รับเป็น:
ซึ่งสามารถจัดใหม่เพื่อให้ทั้ง:
ด้านข้าง
เมื่อค้นหาด้านตรงข้ามมุมฉากสมการจะส่งผลให้เกิดการเพิ่มด้านข้างและเมื่อค้นหาด้านอื่น ๆ สมการจะส่งผลให้เกิดการลบด้านข้าง