しかし連続性だけしか仮定しない証明も>>541にあるし
連続性を仮定しないなら条件

f(x+y) + f(x-y) = 2f(x)

は線形写像なら全て満足するけどℝは加法群としてはℚを非可算無限個直和したものなので非自明な線形写像は無限にあるからこの条件は一次式であるための十分条件でないのも確実
終わりやね