α<β.
連続な定数関数ではない関数f(x)が任意のx∈ℝで,
f(α-x)=f(α+x),
f(β-x)=f(β+x)
を満たすとき

f(x)の最小の周期はβ-α
⇔任意のx∈ℝでf(γ-x)=f(γ+x)となるようなα<γ<βを満たす実数γは存在しない

は正しいんか？？？