The Stacks project

Proof. The functor $D(v) : D(\mathcal{A}) \to D(\mathcal{A}/\mathcal{B})$ is essentially surjective by Lemma 13.17.2. For an object $X$ of $D(\mathcal{A})$ the adjunction mapping $c_ X : uvX \to X$ maps to an isomorphism in $D(\mathcal{A}/\mathcal{B})$ because $vuv \cong v$ by the assumption that $vu \cong \text{id}$. Thus in a distinguished triangle $(uvX, X, Z, c_ X, g, h)$ the object $Z$ is an object of $D_\mathcal {B}(\mathcal{A})$ as we see by looking at the long exact cohomology sequence. Hence $c_ X$ is an element of the multiplicative system used to define the quotient category $D(\mathcal{A})/D_\mathcal {B}(\mathcal{A})$. Thus $uvX \cong X$ in $D(\mathcal{A})/D_\mathcal {B}(\mathcal{A})$. For $X, Y \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{A}))$ the map

is bijective because $u$ gives an inverse (by the remarks above). $\square$