連続関数f(x)は，任意の実数x，yに対してf(x＋y)−f(x−y)＝2f(−x)sinyを満たしている。f(x)は微分可能であることを示せ。