$a$を正の数とする．このとき，次の関係式をみたす関数$f(x)$を求めよ． \[ f(x)=\int_0^{\frac{\pi}{a}} f(t) \cos (at-2ax) \, dt+1 \]