Vtyjkyuk

Let $mathcalA$ be an abelian category and $textCh_*(mathcalA)$ the category of chain complexes $A_bullet$ of objects in $mathcalA$. We let $$H_i(A_bullet):=textCoker(textim_d_i+1to textker(d_i)).$$
Why is the functor $H_i:textCh_*(mathcalA)tomathcalA$ an additive functor? Where additive means that $textHom(A_bullet,B_bullet)to textHom(H_i(A_bullet),H_i(B_bullet))$ is a group homomorphism.

I've drawn many diagrams, but can't get a hold of how to show this. I've seen that being left or right exact would imply this, but can't determine if either of those properties hold.

There are many way to prove this statements some more elegant than others but since you have tried to work out the proof by diagram chasing I assume you are looking for a solution by hand.

You have to prove that for every pair of morphisms
$$f,g in textCh_*(mathcal A)[A_bullet,B_bullet]$$
the following equality holds
$$H_i(f+g) = H_i(f)+H_i(g) .$$

By definition $H_i(f+g) colon H_i(A_bullet) to H_i(B_bullet)$ is the unique morphism that makes commute the following diagram:
$$requireAMScdbeginCD
operatornameimd_i+1^A @>>> ker d_i^A @>>> H_i(A) \
@Vf+gVV @VVf+gV @VVH_i(f+g)V \
operatornameimd_i+1^B @>>> ker d_i^B @>>> H_i(B)
endCD$$
where the vertical arrows are the obvious ones.

So to prove the above mentioned equality you just need to prove the commutativity of the square
$$beginCD
ker d_i^A @>pi_i^A>> H_i(A) \
@Vf+gVV @VVH_i(f)+H_i(g)V \
ker d_i^B @>>pi_i^B> H_i(B)
endCD$$
i.e. that the equality
$$pi_i^B circ (f+g) = (H_i(f)+H_i(g))circ pi_i^A$$
holds (where $pi_i^X colon ker d_i^X to H_i(X)$ is the cokernel of the inclusion $operatornameim d_i+1^X to ker d_i^X$).

The said equality follows from the fact that
$$pi_i^B circ f=H_i(f)circpi_i^A,$$
$$pi_i^B circ g=H_i(g)circpi_i^A,$$
and bilinearity of composition:
$$beginalign*
pi_i^B circ (f+g) &= (pi_i^B circ f)+(pi_i^B circ g) \
&= (H_i(f)circpi_i^A)+(H_i(g)circpi_i^A) \
&= (H_i(f)+H_i(g))circpi_i^A
endalign*$$

From this your claim follows.

Hope this helps.