Proposition 22.10.3. Let $(A, \text{d})$ be a differential graded algebra. The homotopy category $K(\text{Mod}_{(A, \text{d})})$ of differential graded $A$-modules with its natural translation functors and distinguished triangles is a triangulated category.

Proof. We know that $K(\text{Mod}_{(A, \text{d})})$ is a pre-triangulated category. Hence it suffices to prove TR4 and to prove it we can use Derived Categories, Lemma 13.4.14. Let $K \to L$ and $L \to M$ be composable morphisms of $K(\text{Mod}_{(A, \text{d})})$. By Lemma 22.7.5 we may assume that $K \to L$ and $L \to M$ are admissible monomorphisms. In this case the result follows from Lemma 22.10.2. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).