1. (2022八下·大同期末) 公元前500年，古希腊毕达哥拉斯（Pythagoras）学派的弟子希帕索斯（Hippasus）发现了一个惊人的事实：边长为1的正方形的对角线的长度是不可公度的，即不能表示成两个整数之比．这个发现是基于一个表述直角三角形三条边长之间关系的定理，请问这个定理被称为（  ）