The function is an odd function, passes through , and has the horizontal asymptote at both infinities. Its derivative is
It decreases for and increases for , with its lowest value and highest value . These features determine the graph of a function shown below.
For , the equation is the quadratic equation . The quadratic formula gives exactly two real equation roots:
The binomial series gives , hence the two requested asymptotic expansions are
Their product is exactly one. Both are positive, with ; there are no negative equation roots because for . At the two real equation roots coincide at one, and for there are none. In the stated limit , these two branches are therefore exhaustive.
Figure 1.
Two positive intersections of the rational function with a small positive level
. Original sketch of with the two real equation roots marked for . The curve also shows its negative lowest point and positive highest point. Details.
The quadratic formula gives two algebraic possibilities. To select one consistent holomorphic square root, set
where each factor is the principal square root. Both arguments lie in the upper half-plane, so neither crosses its branch cut. This choice satisfies and at large in the upper half-plane. The required inverse function is
For , , this gives , whose modulus exceeds one. As varies continuously in the upper half-plane, this root cannot cross , since that would make real. Hence the selected root always lies in the fluid region. The other root is its reciprocal and lies inside the unit disk. Simply writing the principal square root of would not specify this branch correctly throughout the upper half-plane.
Let satisfy and put . The exponential definition of the complex sine gives
The quadratic formula therefore gives . Taking the complex logarithm yields the multivalued complex inverse sine formula
The two quadratic roots have product , so neither is zero and their logarithms exist as multivalued quantities. If is one local inverse value, the complete set of values is and , with .
Branch qualification: the source's formula describes the branches of the complex inverse sine, not two interchangeable expressions for a single chosen inverse branch. At , the plus sign with the usual local choices gives , whereas the minus sign with gives . Thus both signs cannot simultaneously equal the principal inverse at zero. A principal complex inverse sine requires compatible square-root and logarithm branches, normalized to at zero and continued on the chosen cut domain.
For the given Möbius transformation, the fixed point equation is , hence
For the general Möbius transformation, its finite fixed points satisfy
With and nonzero discriminant, the quadratic formula gives the two distinct fixed points of a Möbius transformation:
The fixed-point equation for also gives . Therefore
Dividing yields the conjugation of a Möbius transformation with two distinct fixed points:
Neither factor in this quotient vanishes, since . The formula extends over the Riemann sphere, including the transformation's pole. For the special transformation and the ordering , .
Factor the equation as
For the nontrivial roots, the quadratic formula over residues gives
The supplied square root is , and . Therefore
Indeed , so is divisible by , and . The other nontrivial root is ; it satisfies . Together with , these are the three cube roots of minus one. The complex-number hint reflects the same quadratic factor: the two roots there are .
Write the complex number as . Since , the modulus of the complex exponential gives
This equals one precisely when . The quadratic formula shows that the imaginary part of either root is . Consequently the roots are real exactly at the two endpoints:
Both endpoints satisfy the condition. The repeated roots are respectively and ; their multiples by have exponentials on the unit circle.
The quadratic formula gives
so both roots of a polynomial have real part . Writing , the complex exponential function satisfies , and hence its modulus is . Therefore
Intersecting this condition with the allowed parameter interval gives the answer for either root:
The endpoint is included: the repeated root of a polynomial is , whose exponential has modulus .
The quadratic formula gives . For , write this as
Each root of a polynomial has modulus , since . As increases from to , the upper root traverses the upper unit semicircle from to , and the lower root traverses the lower semicircle in the opposite angular direction. At the roots coincide at ; at they coincide at . For intermediate they are complex conjugates.
Figure 1.
The conjugate roots travel along the two unit semicircles
. Arrows show increasing , with endpoints and and the midpoint pair . The figure is an original plot of the solution formula. Details.
The factor theorem supplies the factor . Polynomial division gives
The quadratic formula then gives the other two roots of a polynomial:
Put and . The denominator of the complex rational function becomes
The quadratic formula gives its two zeros, hence the two poles:
Their product is , so . To locate them one also needs to exclude the possibility of both lying on the unit circle. Here their moduli are explicit:
Both are simple poles: takes the nonzero values and at them. In particular their residues are and .
For the real integral, use the change of variables . As runs from to , this traverses the unit circle once counterclockwise, and
Thus . Only is enclosed. The residue theorem, or Cauchy integral formula after subtracting its simple-pole part, gives
The real denominator is positive because . As an independent check, write ; a period shift reduces the answer to the existing reciprocal affine sine integral.
Solving by the quadratic formula gives
For , . On the derivative is strictly positive, while on it is strictly negative. Thus the restrictions are strictly monotonic functions. Their endpoint values are
By continuity and strict monotonicity, each restriction maps its interval bijectively onto , with opposite orientations. The corresponding inverse functions are
Setting gives . A positive gives two distinct roots of a polynomial in the real numbers; zero gives a repeated root of a polynomial at ; a negative value gives a pair of complex conjugate roots of a polynomial. For the downward-opening example, the two roots of a polynomial are , approximately and .
The discriminant packages the same calculation, because
Since , the sign of determines which of the three cases occurs. This derives the quadratic formula by a polynomial identity, and explains its structure: first shift to , then take a square root. For the upward-opening example, gives the complex conjugate roots of a polynomial .
A solubility product constrains a product of thermodynamic activities; the available inventories determine which combinations of concentrations are possible. Their intersection determines the molar solubility. Consider an original, abstract AB solid, with the preceding one-to-one dissolution chemical equation. Stipulate , and at fixed temperature and pressure. Thus is dimensionless. These are chosen model parameters, not data for an identified material.
Initially, a completely dissociated soluble XB salt supplies B anions at molar concentration and X cations at the same molar concentration; A is absent. All three ions have unit electric charge magnitude. X remains a spectator ion, and only AB can form a solid. Assume constant volume, no additional chemical reactions, and negligible contributions from self-ionization of water. Dissolving AB raises both reacting-ion concentrations by the same :
Charge neutrality is satisfied: . Adding B alone without its accompanying cation would omit the initial electric charge balance.
In the plane of the two reacting-ion concentrations, this inventory constraint is the line . Saturation supplies the hyperbola for . Their positive intersection solves a quadratic equation:
The quadratic formula supplies two roots of a polynomial; only the positive one is a physical concentration. Uniqueness also follows because strictly increases for , starting at zero and growing without bound. The second expression, obtained by multiplying by the conjugate, avoids subtraction of nearly equal numbers at large .
Figure 1. . Original stipulated AB model with and unit activity coefficients. Intersections of the saturation hyperbola with inventory lines give the pure-water and common-ion chemical equilibrium compositions. The dashed projections read the intersection; these curves are calculated constraints, not measured data or a time evolution. Details.
For pure water, gives . For ,
Their product is , although neither concentration equals the pure-water value. This is the useful geometrical distinction: an inventory line and an equilibrium constant specify different constraints.
Check the solid inventory before imposing saturation. If the initially added AB has amount of substance in volume , the saturated branch requires for excess solid to remain. For example, choose and . In pure water, dissolves and the same amount of substance remains as solid. At , approximately dissolves, leaving as solid. In this model, an insufficient supply instead gives
If , all AB dissolves and the ion product is below the solubility product. At , the last solid disappears exactly at saturation.