函数 ()在
上单调递增,且在这个区间上的最大值是 ,那么 。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
从相位0开始的正弦若在整个区间递增,相位终点不能越过第一个峰值。
因此由终点最大值反求相位时,只保留递增支。
相位区间为 。要使正弦在整段递增,必须 ;若越过 ,峰值右侧会出现递减。最大值因此在右端取得,有 。在允许的相位段 内,唯一解为 ,故 。
该频率的相位区间为 ,正弦确实递增,终点函数值为 。另一个常见候选相位 会使区间跨峰,并在内部达到2,与原最大值及单调性均矛盾。
用单调区间反求频率时,长度限制先筛相位支,再用端点值反求参数,最后验证整个区间而非只验终点。
由从零相位开始的整段递增性限制频率支,再用右端最大值反求参数并验证充分性。
已记下,谢谢!