Notice that is also a vector space over the real numbers. The standard definition of a derivative of a function at for is that there exists some matrix such that the following equation holds:
such that:
This means that has a -linear approximation at . As vector spaces over , . But has the structure of an algebra, so what if we utilize that here?
We notice that multiplication on the left by a complex number is a -linear map . This means that we have a matrix representation of such a map. Let's figure out what that is, exactly. We know the first entry of the matrix will be . The second entry will be the same thing evaluated at , which yields . So the matrix representation of with respect to the standard basis of is:
One can show that all of these matrices represent multiplication by a complex number. This suggests that should be of the form above.
But we also know that has a special form. Namely, if , then
From these two observations, we have a sufficient condition to show complex differentiability.