已知 的三边长分别为 ,且满足
是否存在边长均为整数的 ?若存在,求出三边长;若不存在,说明理由。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
先按最短边给出可证明的上界,再把剩下两边化为固定因数积,最后用严格三角不等式筛选。
若有边长为一,右侧为零而左侧正,不可能。排序为 后,原式等价于
时后两因子都小于一,乘积小于一半; 时乘积至少 ,也不可能。因此只需 。 当 时,整理得 。因 且 ,只有正因子对给出 ;前两对不满足 ,只保留 。 当 时,得 ,给出 ;前者违反 ,后者合法。 所以存在,全部边长组为
两组各满足严格三角不等式,且 ,。 时两因子同负只能有 ,积为一而非12;零因子也不可能,所以因数分类没有漏负支。
整数三角形方程要将整数方程与几何可行性分开:先定有限候选,再核正边和严格三角条件。
需用最短边建立停止界,分层因数化后还要以严格三角不等式排除整数伪候选。
已记下,谢谢!