求证:tan(x/2+派/4)+tan(x/2-派/4)=2tanx