Any Hyperkähler manifold has 3 complex structures $I_{1}, I_{2}, I_{3}$. Assume that there is an additional complex structure $J$. Can this be written as $J = aI_{1} + bI_{2} + cI_{3}$, where $(a,b,c) \in S^{2} \subset \mathbb{R}^{3}$? Hope the question is not too trivial :).

Assume $J$ is compatible with $g$ so that $J^\dagger = J$. Then $J$ is a linear combination of $I_i$ as above if and only if $J I_i + I_i J = 2 a_i \mathbf{1}$, where $\mathbf{1}$ is the identity endomorphism and $a_i$ are real numbers satisfying $a_1^2 + a_2^2 + a_3^2 = 1$. Proof: Necessity is obvious, since if $J = a_1 I_1 + a_2 I_2 + a_3 I_3$ then $I_i J + J I_i = 2a_i \mathbf{1}$ directly from the quaternion relations. Conversely, suppose that $J I_i + I_i J = 2 a_i \mathbf{1}$, with $\mathbf{a} \in S^2$. Set $K = a_1 I_1 + a_2 I_2 + a_3 I_3$. Then $K^2 = \mathbf{1}$ and: \begin{align} (JK)^2 &= (J  \sum a_i I_i)(J  \sum a_i I_i) \\\ &= J^2  \sum a_i (I_i J + J I_i) + K^2 \\\ &= \mathbf{1} + 2 \sum a_i^2 \mathbf{1}  \mathbf{1} \\\ &= \mathbf{1} + 2 \mathbf{1}  \mathbf{1} = 0. \end{align} So $JK$ is nilpotent. On the other hand, $JK$ is skew adjoint, so in fact it must be identically zero, i.e. $J = K$. 


This is really just a comment but it doesn't quite fit so I'll make it an answer. It seems worth commenting on the difference between the infinitesimal and local/global versions of this question. Let's say we're in real dimension $4n$. Infinitesimally, i.e., on the tangent space at any point, orthogonal complex structures compatible with the orientation are parameterised by $SO(4n)/U(2n)$ (where the compatibility with orientation is to require the Pfaffian be positive). Since $\dim(SO(4n)/U(2n)) = 2n(2n1) > 2$ for $n > 1$ it is clear that the property in the question fails infinitesimally for $n > 1$. The claim could thus only hold locally (or indeed globally) if the condition of being integrable somehow miraculously restricted to the hyperkahler $S^2 \subset SO(4n)/U(n)$ at each point, which is false. The easiest counter examples are any complex structure on $\mathbb{H}^n$ not in the standard hyperkahler family as in Paul Reynolds's very helpful comment. In dimension $4$ things are slightly more interesting since $SO(4)/U(2) \simeq S^2$ so infinitesmally in 4 dimensions all the relevant complex structures are a linear combination of any hyperkahler triple. However the coefficients $a_i$ are not constant in general. To settle the matter we must therefore exhibit an integrable complex structure for which $a_i$ are nonconstant. I confess I cannot think of a trivial example off the top of my head but at first glance this paper appears to discuss the matter, at least locally. (Certainly they exist.) 

