Can any improvements be made to my proof that "$\sqrt{3} $ is irrational"? Suppose, for contradiction that $\sqrt{3}$ is rational. Then there exists $a,b \in \mathbb{Z}$ such that $$\frac{a}{b}= \sqrt{3},$$
where $a/b$ is in its simplest form. Then the above equation implies $$a^2=3b^2.$$ If $b$ is even, then $a$ is even, which is a contradiction since $a/b$ is therefore not in its simplest form. 
Now, consider $b$ to be odd, then a is odd. Then for $m,n \in \mathbb{Z}$, we have $$(2m+1)^2=3(2n+1)^2\\ 4m^2+4m+1=12n^2+12n+3\\
2(2m^2+2m)=2(6n^2+6n+1)\\2(m^2+m)=2(3n^2+3n)+1.$$
The LHS is even since $m^2+m \in \mathbb{Z}$ and the RHS is odd since $ 3n^2+3n\in \mathbb{Z}$. This is a contradiction, and we therefore conclude that $\sqrt{3}$ is irrational.

Your proof looks correct to me. Instead of doing the algebra at the end, you could reduce the equation $a^2 = 3b^2$ modulo $4$. If $a$ and $b$ are both odd, then $$a^2 \equiv 1 \mod 4,$$
and 
\begin{align*}
b^2 &\equiv 1\mod 4\\
3b^2 &\equiv 3\mod 4,
\end{align*}
contradiction.
Another approach is to note that in the prime factorization of $a^2 = 3b^2$, the power of $3$ dividing the left hand side is even, while the power of $3$ dividing the right hand side is odd. 
