
 
  
  
 By transforming the problem into one which the rich theory of complex variables can be applied, some important gains can be made. It is also possible to proceed by solving the coupled real valued PDE's (48) and (49) by a tedious and tricky ``ladder'' approach. The result is a power series in latitude and longitude that unfortunately converges too slowly for practical use at high latitudes.
The route from here on is to transform by change of variable the PDE's into the Cauchy-Riemann equations. This shows that the mapping function is in fact, (in terms of the new variable), an analytic complex valued function. All that remains therefore is to find any analytic function that satisfies the boundary constraints.
If a complex valued function  satisfies the Cauchy-Riemann equations in a region and the partial
derivatives are continous in that region, then R is analytic in that region. [Spiegel p63]
 satisfies the Cauchy-Riemann equations in a region and the partial
derivatives are continous in that region, then R is analytic in that region. [Spiegel p63]
The Cauchy-Riemann equations are... 

Notice first that the basic PDE's (48) and (49) of the Gauss-Conform projection look very similar to the Cauchy-Riemann equations, but are multiplied by an additional term.
However one can transform, by change of variables, the basic PDE's so that they DO
satisfy the Cauchy-Riemann equations. Define  such that...
 such that... 

Then the basic PDE's in terms of  become exactly the Cauchy-Riemann equations. Thus R is an analytic
function of
 become exactly the Cauchy-Riemann equations. Thus R is an analytic
function of  .
. 
All we need to do is choose a function R, which is analytic function in the region we are interested, that satisfies the boundary condition.
Now our boundary condition constraints are  and
 and  . Where L is the distance along the central
meridian from the equator. Which translates to
. Where L is the distance along the central
meridian from the equator. Which translates to  .
. 
First define the complex generalization of  ...
... 

Where l is complex and the integral sign denotes complex integration. Then from a theorem
on page 97 of [Spiegel] we know that  is analytic in the same region as the integrand.
 is analytic in the same region as the integrand. 
We also know that the inverse function, which I will denote by t( l) and
define implicitly by  ,
is analytic in the same region as
,
is analytic in the same region as  except where the derivative of
 except where the derivative of  is zero.
 is zero. 
Now define the complex generalisation of L from (55) as
follows... 

As above, the integral is analytic. We know that t(l) is analytic, thus from
the chain rule for complex differentiation we know that L(l) is analytic as it is a
composite of two analytic functions. 
So choose 

We can check that this satisfies the boundary conditions... 

And here, in the choice of R, is I suspect is the real reason for slightly strange South African LO coordinate system. The reason the LO X coordinate pointed South was to spare the early surveyor the effort and philosophical pain of having to multiply by the square root of minus one in two places.

 
  
 