A density bound for triangle-free $4$-critical graphs

Benjamin Moore, Evelyne Smith-Roberge

We prove that every triangle-free $4$-critical graph $G$ satisfies $e(G)\ge \frac{5v(G)+2}{3}$. This result gives a unified proof that triangle-free planar graphs are $3$-coloura…