易混 2023 年江西预赛 · P006723
两题都限制三角形的整数边,但整数性所依附的几何结构不同。本原直角三角形需要互素且奇偶相反的标准参数;倍角三角形则先由边角关系得到边长恒等式,再检查整数候选及三角形条件。不能把“整数边”当作同一种参数模板。
直角且本原的约束与给定倍角关系的约束,分别决定了不同的参数化入口。
已知三角形 的三边长均为正整数,若 ,且 ,则 的最小可能值是。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
由正弦定理和倍角公式把角条件化为边长恒等式,再用整除性和三角形不等式缩小整数范围。
按通常记号令 。由正弦定理及 ,
结合余弦定理可得
因此 。设 ,则 。由 得 ; 由三角形不等式 得
即 。故 或 ,相应的 为 或 。 两组都确实构成三角形;由 反代余弦定理可得 ,再由正弦定理得 。这里 , 排除了 ,故确有 。所以
对最小候选三边 ,余弦定理给出 ,从而 ,确有 。
三角形角的倍数关系常能借正弦定理、倍角公式转成边长的整式关系,随后使用整除和三角形不等式筛选。
把倍角条件化为a平方等于9(9+c),再用整除及三角形不等式压缩整数候选,并反向排除正弦同值的另一角支。
易混 2023 年江西预赛 · P006723
两题都限制三角形的整数边,但整数性所依附的几何结构不同。本原直角三角形需要互素且奇偶相反的标准参数;倍角三角形则先由边角关系得到边长恒等式,再检查整数候选及三角形条件。不能把“整数边”当作同一种参数模板。
直角且本原的约束与给定倍角关系的约束,分别决定了不同的参数化入口。
已记下,谢谢!