I'm doing a bit of self study, but I'm uncomfortable with a certain idea. I want to show that $f(z)$ is analytic if and only if $\overline{f(\bar{z})}$ is analytic, and by analytic I mean differentiable at each point. Here $f$ is a complex valued function.

What I do is write $f(z)=u(x,y)+iv(x,y)$, where $u$ and $v$ are real functions of two variables. Then $\overline{f(\bar{z})}=u(x,-y)-iv(x,-y)$.

These two forms look very similar, in the sense the one function being differentiable should immediately imply the other is differentiable, since the only thing really changing might be a $-$ sign popping out due to the chain rule. 

How can I more rigorously express that $f(z)$ is analytic iff $\overline{f(\bar{z})}$ using this? Many thanks.

Define $g(z)=\overline{f(\overline z)}$.  Then note that $f(z)=\overline{g(\overline z)}$, so there is symmetry allowing only one implication to be shown directly.  Suppose that $f$ is analytic.  Then for all $z$, 

$$\begin{align*}g'(z)&=\lim\limits_{h\to 0}\frac{g(z+h)-g(z)}{h}\\
&=\lim\limits_{h\to 0}\frac{\overline{f(\overline{z+h})}-\overline{f(\overline z)}}{h}\\
&=\lim\limits_{h\to 0}\overline{\left( \frac{f(\overline z+\overline h)-f(\overline z)}{\overline h} \right)    }\\
&=\overline{\left( \lim\limits_{h\to 0}\frac{f(\overline z+\overline h)-f(\overline z)}{\overline h} \right)    }\\
&=\overline{f'(\overline z)}.
\end{align*}$$

That is, $g$ is differentiable, with $g'(z)=\overline{f'(\overline z)}$.  



Alternatively, as other answers have indicated, you could check that the Cauchy-Riemann equations hold for $g$ if they hold for $f$, with $f(x+iy)=u(x,y)+iv(x,y)$ and $g(x+iy)=u(x,-y)+i(-v(x,-y))$ as you indicated.



Another perhaps more conceptual way to think of this is that complex analytic maps are conformal (where their derivatives are nonzero), preserving orientation and angles.  Complex conjugation preserves angles but reverses orientation.  Reversing orientation twice gets you back where you started, so the result is that $g$ is conformal.  (I have given an idea here rather than anything close to a rigorous proof.)



Another approach is to look at power series expansions.  If $f$ has power series expansion in a neighborhood of $\overline{c}$, $\displaystyle{f(z)=\sum\limits_{k=0}^\infty a_k(z-\overline c)^k}$, then in a neighborhood of $c$, $g$ has the power series expansion $\displaystyle{g(z)=\sum\limits_{k=0}^\infty\overline{a_k}(z-c)^k}$.  That is, you just conjugate the coefficients and conjugate the base point for the expansion.  This shows that $g$ is analytic if $f$ is.
