设 是定义在 上的奇函数。若对任意实数 ,有 ,且当 时,,则 。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
反号平移迭代两次会产生一个可用周期。
先用它缩小输入,再把超出已知分支的输入用奇性反射回去;每次平移和反射都要同步记录函数值是否变号。
对任意实数 ,有 。所以
由于 ,有 。因此可代入已知解析式,得
说明反射后的自变量确在(0,1)内。周期关系和奇性还给 、,可据此检查平移时的负号。数值上最终输入约为0.6795,落在已知上升分支,函数值应为正而小于2。
求远处函数值只需得到一个能归约输入的周期,不必额外证明它是最小周期。对分支函数,应先完成输入定位再代解析式;把反周期误当同值周期会直接造成符号错误。
连续两次反号得到周期,选择整周期平移并反射即可落到给定区间,须跟踪两次负号。
已记下,谢谢!