满足方程
的实数对 的个数为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
把 sin(xy) 暂当一个有界量,二次式的常数项与一次项系数暗示配平方。
补出的项可用正弦平方加余弦平方等于一消去,得到两个非负平方之和为零;两项只能同时为零,先锁定 x,再在给定半开区间内数 y。
先将二次式配成两个非负平方之和。将方程等价改写为
两个非负项同时为零,故 ,,从而 。 若 ,条件为 ;若 ,条件为 ,仍等价于 。 在 内,这个方程的全部解为
每个值均可分别配 ,代回两个平方项都为零。四个 均在原半开区间内且互异, 两端点没有遗漏,故实数对总数为 。
二次式配成两个非负平方后,必须同时为零,才能把连续未知量压缩成有限符号分支;两分支随后要在原半开角区间列尽所有解并逐对计数。
核心工具:作差后证明非负、反求全部合法输入并筛选
已记下,谢谢!