>>972
多分できるとは思うけど『あるQ-線形独立な実数a,b』にあたる部分がn≧3でどうなるかは注意が必要だと思う

少なくともn=3で『あるQ-線形独立な実数a,b,c』としてしまうと同値ではなくなってしまう
（それぞれ1,π,1+πを周期に持つ３つの関数の和をfとするとおそらく下が必ずしも真にならない）

自分もそこは考えてる所だから、もし何か見つかったら問題として出す等はご自由に