《几何原本》在其第一卷中记载了这样一个命题：“在任意三角形中，大边对大角．”