FROM CARDAN'S PARADOX TO THE COMPLEX DOMAIN, Part I
by Jonathan Tennenbaum
Contrary to British-authored mythologies, the intense interest on the part of Greek geometers from Pythagoras to Eratosthenes, in so-called "unsolvable problems" of geometry, had nothing to do with an idle fascination in mathematical puzzles. At issue, in the investigation of such problems as doubling a cube, trisecting an arbitrary angle, constructing a regular 7-sided polygon etc. was nothing less than the notion of Natural Law, as a higher principle subsuming an ordered series of {sets of physical principles}, each embodying a higher per-capita power of Mankind over the Universe.
In fact, there is no absolute "unsolvability" of the above-mentioned and other problems, except relative to a given, fixed set of principles of construction such as the ruler-and-compass constructions of so-called Euclidean geometry. Archimedes, Nichomedes and Eratosthenes and others already developed a whole array of "solutions" based on introducing addition principles, embodied in higher-order curves, constructions in higher dimensionalities, and the use of various physical machanisms and instruments.
The issue was not, that a given problem were "unsolvable" in some absolute sense, but rather that: 1) it could not be solved in the terms in which it had been posed, i.e. in terms of a certain implicitly circumscribed set of principles; 2) it {could} be solved with the help of the discovery and introduction of one or more {new} principles, lying {outside} the given domain, but demonstrated to be physically valid; 3) that the arrays of principles, arising this way, are implicitly ordered by a notion of Man's increasing {power} over the Universe.
A simple illustration is the realization that a straight line, by and of itself, could never generate a surface. Nor could a surface ever transform itself into a solid. In both cases, a process of (rotational) extension is required, acting upon the line or the plane "from the outside", and which already embodies the principle of the higher domain. This realization was the basis for the classical differentiation of geometrical problems, between so-called linear, plane and solid species; and for the notion, that the lower-order domain is always derived from the higher one, and not vice-versa.
However, by the time of Plato the Greek geometers had already conclusively established, that the actual ordering of "powers" is {not} that of simple dimensionality in visual space. The former lies beyond the reach of visual geometry per se, but actually determines the characteristics of action as reflected in visual space.
For example, the problem of {trisecting} any given angle in a plane, only {appears} to be a "two-dimensional" or "plane" problem. In actuality, as demonstrated by Nichomedes and others, it belongs to the same domain of "power" as the doubling of a cube!
That relationship is the original focus of the following discussion. It is key to understanding, why attempts by Cardan and others in the 16th century an afterwards, to derive an algebraic formula for the solution of a arbitrary cubic equation, inevitably ran into a devastating anomaly in the emergence of so-called "impossible", "imaginary quantities". The second installment of this discussion, will examine Cardan's anomaly through the eyes of Abraham Kaester, setting the stage for Gauss' subsequent discovery of the complex domain.
Trisecting an Angle
Since the origin of all angles is rotation, we reference all constructions to a circle whose center (marked "O") is the vertex of the given angle, and whose radius is taken as "1". The angle itself corresponds to the circular arc of rotation between the two points P and Q on the circle, where the sides (rays) of the angle intersect the circle.
Nothing is simper in visual geometry, than to double, triple, or multiply a given angle a whole number of times. We have only to set our compass to PQ and mark off a succession of equal arcs on the corresponding circle, starting at Q. Relative to OP, the rays OR, OS, OT, joining the center O to the endpoints of those successive arcs, represent double, triple, quaduple etc. the original angle between OP and OQ.
But what about the {inversion} of that process: to {divide} a given angle into a whole number of equal parts? Bisecting an angle is easily accomplished with the aid of ruler and compass, but the problem of dividing an arbitrary angle into {3} equal parts, presents a whole different kettle of fish. Centuries of attempts to develop a general solution within the domain of the ruler-and-compass constructions of plane geometry, ended in failure. Why? Key to this is the species-relationship to the doubling of the cube, known to the Greek geometers around the time of Plato.
Evidently, dividing the angle into three or any other number of equal angles, is equivalent to dividing the corresponding {circular arc} into the same number of equal arcs.
Now, it is a relatively easy matter to divide a straight line segment (hypothetical "zero curvature") into three or any other number of equal segments, by ruler-and-compass constructions. Someone might, accordingly, attempt the following "solution" for trisecting a circular arc: First trisect the {chord} of the given arc; then {project} the division-points from the center onto the circular arc (see Figure 1a).
This attempt fails, for reasons Cusa and Leonardo emphasized in their discussions of the {distortion} introduced by any projection between a linear and curved surface. The projected images of the three equal segments on the chord onto the circle, are no longer equal as arcs.
Figure 1 |
Conversely, if we project the division-points of an already trisected arc onto the chord joining the arc's endpoints (by drawing radial lines from the circle's center to the division-points on the circular arc) we get an {unequal} division of the chord (see Figure 1b). Furthermore, the lengths of the resulting segments on the chord, taken in and of themselves, do not manifest any simple proportionality; rather -- as it turns out -- the attempt to express the convoluted relationships in algebraic form, inevitably leads to what are called "equations of the third (cubic) degree".
Turn that around in your mind. Might it not be the case, that the appearance of complicated combinatorial-algebraic relationships among ordinary "scalar" magnitudes (whole numbers, "real numbers" measuring the lengths of straight line segments etc.) reflects the fact, that we are dealing, not with self-evident realities, but rather with "shadows", cast from a higher physical-geometrical domain? Yes indeed, as Gauss demonstrated most conclusively in his work on biquadratic residues! The same principle underlies Gauss' "fundamental theorem of algebra", and its pre-history in the celebrated, centuries-long controversy over "imaginary numbers" appearing in the solution of the cubic equation.
That is where we are headed right now, along a trajectory defined by the ancient problem of trisecting a given angle.
Take a closer look, first, at the {inverse process} -- {tripling} an angle -- and at the lawful functional relationships, which are generated among selected "shadows" cast by that process.
To triple a given angle POQ, mark off points R and S from Q on the circle, such that the arcs QR and RS are equal to PQ. The rays OP, OQ, OR and OS are equally spaced, so that the angle between OR and OP is {double} that between OQ and OP, and the angle between OS and OP is {triple} the original angle.
For purposes of illustration it is best to represent P as the right-hand endpoint on the horizontal diameter of the circle. Rather than only considering a fixed angle, imagine the point Q as moving along the circle, starting at P (angle 0) and going around in a counterclockwise direction. Call the size of the angle POQ, "alpha". What happens to the points R and S, as the alpha grows?
Clearly, for alpha = 0 all three points Q, R, S coincide with the position P. As alpha grows, Q moves at a proportional rate along the circle, while R runs ahead at twice, S at three times that rate. When Q reaches 90 degrees, R will have reached the position opposite to P at 180 degrees, and S will be at 270 degrees (see Figure 2).
Figure 2 |
Next, investigate the lawful relationships among the "shadows" cast by that process under various sorts of projections.
The simplest and most characteristic case, is perpendicular projection onto the horizontal diameter (axis) of the circle (the line through O and P).
Denote by q, r, s the perpendicular projections of the points Q, R, S, respectively onto the horizontal axis (see Figure 3a).
Figure 3 |
Focus first on q. Imagine one end of a string is attached to Q on the circle (the latter oriented in a vertical plane), while the other end is attached to a lead bob, so that the string hangs vertically downward. Q's projection q is the point where that vertical crosses the horizontal axis through O and P. (This works when Q lies on the upper half of the circle; when Q is on the lower half, we have to project "upward" by extending the direction of the string until we reach the axis.) Note, that the motion of the point q is not uniform like that of Q; rather, q starts very slowly (Q near P), and then accelerates, reaching maximum speed as the angle alpha approaches 90 degrees, and then slowing down again as Q approachs the point opposite P on the left of the circle (180 degrees). At that point, q reverses direction and repeats the process in reverse, as Q runs back to P along the lower half of the circle, and so forth (see Figure 4).
Figure 4 |
This will be familiar to anyone who knows the so-called trigonometric functions (better termed "circular functions"); The position of the "shadow" point q relative to O, corresponds to the so-called {cosine} of the angle alpha; and q's motion has the form of a simple "harmonic" vibration whose frequency is the number of revolutions of the moving point Q around the circle, per unit time.
More entertaining, is to watch the {simultaneous} interrelated motions of q, r and s, as the latter two oscillate along the axis with frequencies {twice} and {three times} that of q! (see Figure 5).
Figure 5 |
Does there exist a mutual relationship among the positions of the three "shadows" q, r, s, taken by themselves, which remains valid and invariant throughout the process?
To answer that, "freeze" the motions for a moment, and pose the question again as follows: what direct relationships among q, r, and s flow from the circumstance, that the corresponding points on the circle -- Q, R and S -- were generated from P by rotation through the angles {alpha}, {2 x alpha} and {3 x alpha} respectively?
(For the purpose of illustration, it is best to take the case, where Q lies in the upper right-hand quadrant of the circle with the angle POQ less than 45 degrees. The other cases are essentially equivalent.)
Note the three {right triangles} OQq, ORr, OSs, each of which have hypotenus equal to unity (the radius of the circle), and whose angles at O are {alpha}, {2 x alpha} and {3 x alpha} respectively. How are those three triangles related? In effect, the successive rotations through the angle {alpha} on the circle, imply transformations of the triangle OQq into ORr and then into OSs. But generally speaking, the triangles are neither congruent, nor similar to each other in shape (see Figure 3a).
Noting the doubly and triply self-reflexive character of the action involved -- i.e. an action applied to itself, and then to the result of that -- it should occur to us, that the points R and S bear the same relationship to the axis OQ, as the points Q and R do to the axis OP.
This remark suggests that we consider the perpendicular projections or "shadows" of R and S on the axis OQ -- call these r' and s', respectively -- as well as the projections r and s on original axis OP (see Figure 3b [partial construction]).
Figure 3 |
Note, that the right triangles ORr' and OSs', arising from the new projection, are congruent to OQq and ORr respectively. In fact, the latter are carried into the former by exactly the same circular rotation through {alpha}, that carries Q into R and R into S. For the same reason, Or' = Oq and Os' = Or.
These observations now provide the key to unravelling the relationships between the "shadows" q, r and s.
The construction required is a bit laborious, but worth going through in detail, while keeping an eye out for the underlying bounding principle. For behind the following, nested chain of similarity relationships, lurks Gauss' complex domain.
Algebraic Equations Arise Through Projection of Rotational Action
The point of departure for unravelling these relationships is the first triangle, OQq, and in particular its base and height -- the segments Oq and Qq -- whose lengths we shall call X and Y, respectively (see Figure 3a). The two are linked to each other through Pythagorus' relationship: the sum of the squares of X and Y is the square of the radius of the circle, which we took as 1.
Now proceed as follows, concentrating first on q and r.
First project the point r', lying on the axis OQ, down onto the original axis OP, obtaining r''. This is, so to speak, "the shadow of a shadow" (see Figure 3b).
We can obtain the position of r'' quite easily, because the result of projecting from a straight line (in this case OQ) onto another straight line (OP) is to transform the distances along the line by a {constant factor}, as measured from the point of intersection of the two lines.
In our present case, we can determine the factor involved by comparing the length OQ, with the projected length Oq. OQ being of length 1 (Q lies on the circle), the factor is just the value of the length Oq, namely the quantity we have called X.
Since Or'' is the projection of Or', its length is X times that of Or'. The latter, as we already noted, is equal to Oq, whose length is X. So the length of Or'' is X times X, or {X squared}!
So much for r''. How do we get from there, to r? We have to compare the {direct} projection of R from the circle down to the axis OP -- which gives us r -- with the "double" projection, from R onto r' on OQ, and then from r' to r'' on OP.
The difference between the two arises from the fact, that the first step in the "double" projection occurs at an angle, which is "skewed" relative to the vertical direction of the other projection. I am talking about the angle betwen the vertical line Rr, and the segment Rr'. What is that angle? With a bit of reflection, you can see it is none other than {alpha}. For, Rr' is perpendicular to the line OQ, which itself is "rotated" by alpha relative to the horizontal line OP. (To put it a different way, the triangle ORr' is the result of rotating the triangle OQq around O by the angle alpha. In that process, the directionality of each of the triangle's sides is changed by the same amount.)
The result of the "skew" projection that generated r', is that its ensuring projection onto the horizontal axis will lie a certain distance to the right of the direct projection r. By how much?
Draw the perpendicular line segment from r' to the vertical line Rr, and let r* denote the endpoint of that segment. Then r'r* will be parallel, and equal in length, to the segment between r'' and r on the horizontal axis. (see Figure 3b)
Now observe that the triangle Rr'r* is {similar} to the original triangle OQq. Indeed: by construction Rr'r* has a right triangle at r*, while the angle at the vertex R, as we just saw, is alpha.
(Note also, that Rr'r* is rotated by 90 degrees relative to OQq. This, as we shall see later, reflects the action of the complex number "i", lurking in the background of this whole construction!)
The similarity means that the the sides of Rr'r* are proportional to the corresponding sides of OQq, by a common factor of proportionality. Comparing the hypotenuses of the two, note that the hypotenus of OQq -- the segment OQ -- has length 1; while the hypotenus of Rr'r* -- the segment Rr' -- is equal to Qq, the length of which we designated "Y". The ratio is thus 1:Y, i.e. the factor of proportionality is Y.
In the similarity relationship between the triangles Rr'r* and OQq, length we are looking for -- namely r'r* -- corresponds to the side Qq of the triangle OQq, which again has length Y. So, to get the length r'r*, apply factor of proportionality Y to length Y. The result is YY, {Y squared}!
To get from r'' to r, we thus have to move to the {left} by a distance {Y squared}. On the other hand, we found the length of Or'' to be {X squared}.
Our conclusion: {r is located at distance [X squared - Y squared] from O along the horizontal axis}.
Here X stands for the length Oq, Y for the length Qq. Remember, that X and Y are linked to each other, as we noted above, by Pythagorus' relationship XX + YY = 1 (Q lies on the unit circle). From this YY = 1 - XX, so that XX - YY = XX - (1 - XX) = 2XX - 1.
The result is to express the position of r {directly} as a function of q: The distance Or is equal to 2XX - 1, i.e. twice the {square} of the distance Oq, minus one.
Don't miss the remarkable implication: the process of {doubling} the angle, by self-reflexively applying the rotation to itself, results in a {quadratic} relationship -- i.e. one involving a {square} power -- among the scalar "shadows" generated by that process!
Note also certain "topological" features of the relationship of X to 2XX - 1, that reflect the different rates of motion of Q and R along the circle, as the angle alpha grows. (Remember, X measures the segment Oq, not alpha directly). For example, X = 1 corresponds to the case alpha = 0, when P, Q, and R coincide. Sure enough, for this value of X, 2XX - 1 is also equal to 1. On the other hand, X = 0 corresponds to the case where Q lies at the top of the circle (alpha is 90 degrees); in this case, 2XX-1 = -1 and, sure enough, R lies {opposite} to P, at an a angle of 2 x alpha = 180 degrees.
Those skillful in geometry, will find no great difficulty applying entirely analogous methods, to determine the position of the {third shadow}, s -- first in terms of r, and then in terms of q. It turns out that the distance Os is equal to 4XXX - 3X. Thus, {tripling} an angle results in {cubic} relationship among the corresponding "shadows" -- i.e. one involving the {third power} of X. Hence, by inversion, the implicit relationship between {trisecting an angle} and constructing the {cube root} of a given quantity, which is the general form of the classical problem of doubling a cube.
In the following installment we shall derive the cubic relationships for the trisection of an angle from an improved and simplified standpoint, and then turn to the celebrated paradox of "Cardan's formula", as seen through the eyes of Gauss' predecessor and teacher, Abraham Kaestner.
From Cardan's Paradox to the Complex Domain, Part II
by Jonathan Tennenbaum
"In this place it will please us to speak of the great advantages of opening up the fountain of Transcendental Magnitudes , and discovering the reasons, why certain problems are neither plane, nor solid, nor of any other degree, but surpass all algebraic equations." (Gottfried Wilhelm Leibniz, 1686).
We began the first installment of this series, by recalling the physical-geometrical "powers" investigated by the Greeks, and the unexpected emergence of higher "powers" in connection with what appeared to be a straightforward problem of plane geometry: to divide a given angle or circular arc into two, three or a larger number of equal parts. In the following discussion we shall nail down that relationship, in particular deriving the cubic equation corresponding to the trisection of a given angle, and thereby revealing the inseparable relationship with the doubling of a cube.
The same relationship will become clear, when we later examine the implications of the self-similar spiral, itself a reflection of Gauss's complex domain. On such a spiral, tripling a given angle of rotation, translates into taking the cube (third power) in terms of the corresponding ratio of radial distances. However, the self-similar spiral itself provides neither the means to trisect an arbitrary angle, nor to construct a cube of a given volume. However we shall see later, that both those ancient problems -- and countless others -- can easily be solved the using the higher principle or "power" embodied in the catenary .
The `Complex' Composition of Angles
In the last installment we found an algebraic relationship between the scalar "shadows" generated by the doubling of an angle, in terms of the corresponding arcs on a circle of unit radius. We identified the center of the circle as "O" and called the right-hand endpoint of a chosen diameter (taken as the horizontal) "P"; also, we denoted by Q and R the points on the circle, corresponding to the angles {alpha} and {2 x alpha}, respectively, measured as rotations around O relative to the horizontal ray OP. Finally, we denoted the perpendicular projections of Q and R onto the horizontal diameter q and r respectively.
Our analysis showed, that the distance Or is equal to twice the square of the distance Oq, minus one. In other words: the position of r relative to O is given by 2XX - 1, where X measures the corresponding position of q. (See discussion on the meaning of negative values of these parameters, toward the end of this installment.)
Now I want to take on the case of tripling the angle {alpha}!
Recalling last week's discussion, let S denote the point on the circle, corresponding to the angle {3 x alpha}, and let s be the projection of S onto the horizontal diameter. How is s related to q and r?
As a bit of reflection shows, the answer is already implied by what we did last time, to analyze the relationships for doubling an angle. Reworking the essential steps here again, if possible with an actual physical model or corresponding animated diagram as reference, should cause the principle involved to "leap out" at the reader (see Figure 6).
Figure 6 |
We started from the right triangle OQq, whose horizontal and vertical sides we called X and Y, respectively. We noted that the point R arises from Q, by rotating Q through the angle {alpha}. Applying that rotation to the whole triangle OQq, yields a congruent triangle ORr', where r' marks the perpendicular projection of R onto the axis OQ. At the same time, that rotation generates a new right triangle: ORr, whose third vertex r is the projection of R onto the original horizontal axis OP. Our analysis of the relationship of the triangles, showed that the horizontal side of the latter triangle, Or, had length equal to XX - YY. (Using Pythagorus' relation between X and Y, we found XX - YY to be equivalent to 2XX - 1.)
Now, to get the point S corresponding to tripling the original angle, it is enough to rotate R -- itself obtained by doubling the angle alpha -- through the same angle once again. Apply that rotation to the whole right triangle ORr. Observe, that the resulting relationships have essentially the same form as the earlier case, when we rotated the triangle OQq through {alpha}, to obtain the result of doubling the angle. The only difference is, that the angle of the triangle ORr at O is not {alpha}, but {2 x alpha}. But our earlier analysis did not really depend on any special assumptions concerning the shape of the right triangle being rotated, but only the angle of rotation itself ({alpha} and the parameters X and Y connected with alpha).
Accordingly, suppose we have an arbitrary right triangle ORr with hypotenus 1 (i.e. R lying on the given circle) and its side Or lying along the horizontal axis OP. Call its angle at O "{beta}", and the lengths of its horizontal and vertical sides "A" and "B" respectively (see Figure 7a).
Now rotate ORr by the angle {alpha} around O. The vertex R is carried to a point S, the which, relative to the original point P, corresponds to an angle of {alpha} + {beta}. Imagine a weighted string attached to R and hanging down vertically as the triangle ORr rotates. Observe how the angle, between that vertical and the triangle's side Rr, grows, as the rotation progresses; in fact, that angle will be equal to the angle of rotation itself (see Figure 7b).
Figure 7 |
After completing the rotation of the triangle ORr through the full angle {alpha}, R is carried to the point we called S, and r to a point s', corresponding to the projection of S onto the axis OQ. The vertical string attached to R (now at position S) hits the horizontal diameter at the point s, creating the new right triangle OSs (see Figure 8).
Figure 8 |
We can now unfold relationships entirely analogous to the ones we found for the doubling of the angle {alpha}, but which now apply to the generalized case of the sum {alpha} + {beta}. To wit:
Let s'' and s* be the perpendicular projections of s' onto the horizontal diameter and onto the vertical line Ss, respectively. As we noted in last week, the first projection changes lengths by a factor X; since the length of the segment Os' is the same as that of Or, which we called "A", the projection of Os' -- i.e. Os'' -- will have length X x A.
Observe, in addition, that in virtue of the process of rotation which generated an angle {alpha} between the vertical at S and the line Ss', the right triangle Ss''s* will be similar to the original triangle OQq. At the same time, the hypotenus of that triangle, Ss', is congruent to Rr, whose length we called "B". Since the original triangle's hypotenus is 1, the factor of proportionality must be B. As a result, the horizontal side s's**, which corresponds to the vertical side Qq of OQq, has length B x {length of Qq} = B x Y. On the other hand, that distance is the same as the gap between s and s'' on the horizontal axis. Since s'' lies to the right of s, we must subtract that distance from Os'' -- whose length we just found to be X x A) -- in order to obtain the length Os.
The result of this chain of relationships is: length Os = {X x A} - {Y x B} That was the horizontal side of the triangle OSs. With a little extra effort, we can also find its vertical side. The latter, Ss, is divided by s* into the two segments Ss* and s*s. The first of them, which coincides with the vertical side of the triangle Os's*, is proportional to the horizontal side of the original triangle OQq (length X), by factor of proportionality B. So, length of Ss* = B x X The second segment s*s, is parallel to and equal in length to the vertical segment s's''. Note, that the points O, s', s'' form a right triangle which is slightly smaller than, but similar to the original triangle OQq. The factor of proportionality is the hypothenus of the former triangle, namely Os', which is equal in length to Or = A. As a result, the length of the side s's''is A times the corresponding side of the original triangle, namely Qq = Y. So, length of s*s = length of s's'' = A x Y.
Putting these results together, we find: length of Ss = length Ss* + length s*s = {B x X} + {A x Y}. Summing up: the lengths of the horizontal and vertical sides of the right triangle, generated by the angle {alpha} + {beta}, are {X x A} - {Y x B} and {X x B} + {Y x A} respectively, where X,Y and A, B are the sides of the right triangles corresponding to {alpha} and {beta} (see Figure 7b).
Notice, that the horizontal and vertical sides of the triangle for the sum or composition of the two angles {alpha} and {beta}, each involve all of the four values X, Y, A and B. This "complex" interwining of parameters is merely the algebraic "shadow" of the physical process of combining two rotations .
The Cubic Equation for the Trisection of an Angle
At this point we can easily derive the relationships resulting from tripling an angle, and invert these to obtain the third degree algebraic equation corresponding to trisecting an arbitrary angle.
First, what happens when we apply our "composition formula" to doubling a given angle? In this case {beta} is the same as {alpha}, A = X, B = Y, and the horizontal and vertical sides of the triangle for {2 x alpha} come out as {X x X} - {Y x Y} and {X x Y} + {Y x X} respectively. The first one, XX - YY, we had before; and now we have 2XY as the second side.
Now take that triangle, and rotate it by alpha again. In this case {beta} is the double of {alpha}, and A = XX - YY, B = 2XY, as we just found. The result of the composition formula is now a bit more "hairy", but lawfully so. For our present purposes we only need the horizontal component, which expresses the position of the "shadow"-point s: {X x (XX - YY)} - {Y x (2XY)} = XXX - XYY - 2YXY = XXX - 3XYY. Recalling Pythagorus' relation XX + YY = 1, YY = 1 - XX, we can express the latter magnitude in terms of X alone: XXX - 3XYY = XXX - 3X(1 - XX) = XXX - 3X - 3XXX = 4XXX - 3X This is the result I announced at the end of last week's discussion. The position of the "shadow"-point s, resulting from tripling the angle {alpha}, is related to that of the point q, corresponding to {alpha}, as follows: The length Os is equal (in scalar magnitude) to 4 times the cube of Oq, minus three times Oq.
Thus, tripling an angle, is reflected in an essentially cubic or third-power algebraic relationship among the corresponding "shadows"!
Recall the relationships for doubling an angle, involved a square or second-power relationship among the shadows. Thus, the linear, plane and solid geometrical "powers" of Classical geometry, seem to be subsumed within the process of successive transformations of rotation by once, twice, three times an arbitrary angle.
But, what is to prevent us from applying the composition of rotations once again, to obtain analogous relationships for 4, 5 or any other whole-number multiple of an angle? Evidently, each time we apply the rotation {alpha} we increase by one the dimensionality or degree of the corresponding algebraic relationship in the domain of the "shadows". In this sense, the circular rotation subsumes and transcends all those algebraic dimensionalities. And by the way, didn't Nicolaus of Cusa refer to the circle as reflecting a higher principle, bounding the linear (algebraic) world of the regular polygons? The latter constitute, of course, special cases of the whole-number division and multiplication of angles.
But returning to our cubic relationship, two remarks are in order.
First, someone who has not been utterly brainwashed by high school or college algebra courses, might rightfully object to subtracting what appears to be a simple one-dimensional magnitude -- 3 times the length Oq, i.e. 3X -- from the cubic or three-dimensional magnitude 4XXX. Such a subtraction would be plainly absurd; evidently sort of error or foul play has occurred!
Looking a bit closer at what we did, however, reveals, that the multiplier "3" in the above expression does not signify a simple linear magnitude. Indeed, if you check back, you will find that this "3" originated from the "1" in Pythagorus' relationship XX + YY = 1. That 1, however, signifies the square of the hypotenus of the right triangle OQq, i.e. a two-dimensional magnitude . Thus, the magnitude "3X" is actually a magnitude of "cubic" or third order, while being at the same time proportional to X. (Much more could be said about this matter, under the rubric of the devastating fallacies arising from belief in the supposed self-evidence of "simple numbers".)
Secondly, we implicitly assumed, in our analysis of the relationships among q, r, and s, that the points Q, R, S all lay in the same, upper right quadrant of the circle; we also spoke of "lengths" always as positive magnitudes. Whereas, as the angle {alpha} grows, the points R and especially S, race ahead of Q, and can come to lie on opposite sides and different quadrants of the circle. In these cases, the layout of the triangles and projections, upon which our derivation depended, change (see Figure 4). At the same time, note that both 2XX-1 and 4XXX-3X can take on nominally negative values, as for example when X = 1/2. What is the significance of those negative values?
Gauss himself, as well as Lazard Carnot in his famous book on the "Geometry of Position", devoted careful attention to this question, which is closely related to the analysis situs origin, not only of the negative numbers, but also of the so-called "imaginary" numbers. The following should suffice to identify the essential point:
Real physical magnitudes -- as opposed to mathematical fictions -- are never "indifferent," but are invariably associated, at least implicitly, with a notion of directionality or orientation in the Universe. "Negative numbers" arise very simply, in connection with the notion of reversal of direction or orientation. Indeed, when for example the point "r" (corresponding to the angle {2 x alpha}) crosses over to the left of the midpoint O -- the which occurs at the moment {alpha} hits 45 degrees, and X becomes less than the corresponding value, namely 1/sqrt(2) -- the "length" Or reverses its direction. Exactly at that point, indeed, the value of 2XX-1 hits zero and becomes negative .
Thus, the so-called "rules" of algebraic operations with negative numbers, are no mere conventions or arbitrary inventions of so-called "pure mathematics"; on the contrary, they are determined by the geometrical characteristics of rotational action . When those characteristics are taken into account, and when the differentiation of positive and negative values for the "lengths" Oq, Or, Os etc. correspond to the distinction between "right and left" relative to the chosen origin O, then the expressions 2XX - 1 and 4XXX - 3X etc. turn out to be valid for all values of the angle {alpha}.
To explore these relationships, graph the cubic function represented by 4XXX - 3X. Note, that the horizontal coordinate X of the graph corresponds to the position of the point "q", whereas the vertical coordinate (with value 4XXX - 3X) corresponds to the position of the point "s". (Keep this separate from the representation of motion on the circle, to avoid confusion!) Imagine the overall form that curve must have, to represent the relative motions of q and s, as {alpha} increases. Next, explore the graph numerically, by calculating the value of 4XXX - 3X for a variety of values of X between -1 and 1, noting the points of reversal of direction and their significance in terms of the interrelation of Q, S and q, s.
So far we have been focussing on tripling a given angle. What about trisecting an angle? For that case, the point S is given, and we have to find the point Q, such that S is the result of tripling the rotation from P to Q. This is evidently equivalent to determining a value of X, such that 4XXX - 3X is equal to the length Os (taking account of +/- sign), where s is the projection of the given point S onto the horizontal diameter. For, once we have the value X, we know the position of Q's projection q on the diameter; then Q can be constructed as one of the two points of intersection of the perpendicular at q with the circle.
Thus, trisecting an arbitrary angle corresponds to solving the cubic equation 4XXX - 3X = c, where c (corresponding to the position of s on the axis) can assume any value between -1 and 1.
In terms of the graph of 4XXX - 3X, this means finding the intersection-point between that cubic curve, and a horizontal line at height "c" parallel to the X-axis. But, wait a minute! Given the "looping" form of the curve, there will be not just one, but in general three different points of intersection! What do they signify? How could there be more than one solution to trisecting an angle? And what about the doubling of a cube, which corresponds to the cubic equation XXX - 2 = 0? Could there exist three different cubes, having the same volume?
Part III takes us from the birth of "algebra" in the famous "Hisab al-jabr w'al maqalaba" of the 9th-Century Baghdad astronomer ibn Al-Khwarizmi, to Cardan's paradox and its discussion by Kaestner.
From Cardan's Paradox to the Complex Domain, Part III
by Jonathan Tennenbaum
As we have emphasized, the subject of Gauss' "Fundamental Theorem of Algebra" -- ostensibly the solution of algebraic equations of arbitrary degree -- goes back to very long before the emergence of what came to be known as "algebra", to the discussions emanating from the Pythagoreans and continued in the circles of Plato, on the general notion of physical magnitude . It is exactly that line of development, which culminated via Gauss' breakthroughs in Riemann's conception of magnitude as a self-developing multiply-extended manifold, where "extension" signifies the differential action of generation and integration of a new principle of physical action into the ongoing process.
The very nature of Riemannian physical action is such, that it generates an increasing density of discontinuities or other sorts of anomalies relative to any attempted formal representation "projection" of the action involved.
Look at algebra from this standpoint, and all fearful mysteries dissolve into pure fun. That's what we shall pursue now, in examining the devastating anomalies which developed within algebra itself in connection with the celebrated "Cardan's rule" for the solution of cubic equations, and which was played a central role in the disputes which culminated to Gauss' 1799 refutation of Euler and Lagrange on the so-called "imaginary numbers" and the heredity defects of formal-algebraic method.
The origin of "algebra"
According to available accounts, the term "algebra" derives from the Arabic word "al-jabr", signifying "completion" or "healing". The term became current through a famous Arabic mathematical treatise, the "Hisab al-jabr w'al maqalaba", composed by the astronomer and mathematician Abu Ja'far Muhammad ibn Al-Khwarizmi (approx. 780-850). Al-Khwarizmi worked together with Al-Kindi and others at the "House of Wisdom" in Bagdad, founded by the son of Harun al-Rashid as a center of learning. There, alongside original investigations and writings, classical Greek scientific manuscripts were collected and translated into Arabic. The "Hisab al-jabr w'al maqalaba", later became widely used in Europe in Latin translation, transmitting the Indian (decimal) system of arithmetic and now-familiar methods for the rearrangement and solution of equations, which Al-Khwarizmi called "completion" (al-jabr) and "balancing" (al-muqabala).
Of particular historical influence was Al-Khwarizmi's method of solving quadratic equations, such as XX + 10X = 39 . He did not express this with letters, as later became commonplace, but posed the problem instead this way: "a square plus ten of its roots is 39 units. Find such a square."
How? Draw any square to represent, in hypothetical manner, the square we are looking for, with unknown side ("root") X. Then "ten of those roots", constitutes corresponds to a rectangular area with sides 10 and X. Added together the square and rectangular areas are supposed to give a total area of "39"; but there is no evident way to combine the two areas, in such a way, that the value of the square will be evident. Al-Khwarizmi proposes the following "remedy" (al-jabr!):
Divide the rectangle into 4 equal rectangles, by cutting the it parallel to the "X" side, into 4 rectangles of sides X and 10/4 (= 5/2, or 2 1/2). Now, arrange these four rectangles alongside the four sides of the square XX (you have to draw this to follow the argument!). The resulting figure is nearly a square -- all that is missing, is four "corners"! "Fix" the defect by adding four squares, each 5/2 by 5/2. The result is a single, bigger square, whose sides are 5/2 + X + 5/2 = X + 10/2 = X + 5. The area of the big square will be the SQUARE of X + 5. On the other hand, the area of each of the four supplementary squares, is (5/2)(5/2) = 25/4, so the total area supplied was 4 time 25/4, i.e. 25.
Adding that same amount to the right side of the original equation, Al-Khwarizmi finds: the area of the big square, namely {X + 5 SQUARED} is 39 + the added area of the four "corners", i.e. 39 + 25 = 64. Thus the square of X + 5 is 64, and thus X + 5 and X = 8 - 5 = 3. In fact, we can easily verfiy that the value X = 3 does indeed solve the equation XX + 10X = 39. The square Al-Khwarizmi demanded is the 3 x 3 square of area 9.
Some people may recognize in Al-Khwarizmi's method for "completing the square" the origin of the famous formula for the solution of a general quadratic equation, which students are mechanically drilled in, without ever encountering the simple geometrical idea behind it.
(Indeed, a typical feature of the sadistic "New Math" educational reforms, pushed through in the 1960s, was to systematically suppress the geometrical underpinning of algebra. This included obfuscating the commonplace "rules" for what Abraham Kaestner called "Buchstabenrechnung" -- calculation with letters representing unknown or hypothetical magnitudes --, the which became a prominent technical feature of the development of algebra in the 15th century and afterwards. Consider, for example the formula (A + B) x (C + D) = AC + AD + BC + BD.
The "New Math" typically presents this as a deduction from the so-called "associative law" of addition and multiplication. But the origin of the formula is geometrical : it simply describes the division of the rectangular area with sides A+B and C+D, by corresponding perpendiculars to those sides, drawn at the points that divide them into lengths A,B and C,D respectively. The result is four rectangles of sides A,C; A,D; B,C and B,D respectively. Similarly, the equation:
(A + B) squared = A squared + 2AB + B squared describes the special case of the division of a square of side A+B into two squares, with sides A and B respectively, and two rectangles with sides A,B. There do arise some interesting subtleties and paradoxes, when the magnitudes involved take on negative, imaginary or some other species of values, and are no longer assumed to be simple lengths, as we shall discuss below. But by depriving students of even the simplest, visual-geometrical image of these relationships, the perpetrators of the "New Math" fraud also blocked the pathway to the deeper physical principles that underlie both algebra and the geometry of visual space. In fact, Bertrand Russell's "New Math" represents nothing but a revival of the worst features of Euler and Lagrange's formalist method -- exactly the method Gauss refuted in his first paper on the "Fundamental Theorem of Algebra"!)
Applied to a general quadratic equation of the form
XX + BX + C = 0 where B and C represent any arbitrary choice of parameters, Al-Khwarizmi's approach yields the following result. First, we make XX + BX into a square, by adding B/2 squared = BB/4, exactly as we did for the particular case of XX + 10X above. The general case takes the form:
XX + BX + BB/4 = (X + B/2) squared
Accordingly, add BB/4 to both sides of the quadratic equation, and apply "al muqabala" -- the art of "balancing" or shifting the components of an equation between the sides, in order to "box in" the value of the unknown X. To wit:
XX + BX + C = 0
XX + BX + (BB/4) + C = BB/4
(X + B/2) squared + C = BB/4
(X + B/2) squared = BB/4 - C
X + B/2 = square root of ( BB/4 - C )
X = - B/2 + SQRT( BB/4 - C )
The last in this chain of relationships is essentially nothing but the famous formula for the solution to the general quadratic equation XX + BX + C = 0 (see footnote), and the precursor to Cardan's attempted solution to the general cubic equation.
Al-Khwarizmi's quadratic species
But, beware the algebraicist's sleight-of-hand! A number of subtleties and paradoxes lie buried beneath the apparently routine procedure we just went through, to "solve" the quadratic equation.
Al-Khwarizmi distinguished between at least four different species of "quadratic" problems. For example:
1) XX + 10X = 2
2) XX = 10X + 2
3) XX + 2 = 10X
4) XX + 10X + 2 = 0 each representing a distinct sort of geometrical relationship.
In the first case, we seek "a square which, when combined with the rectangle whose sides are the square's root and 10, respectively, gives a total area of 2". We discussed a problem of this sort already above (with 39 instead of 2).
In the second case we seek "a square whose area is 2 units more than the area of the rectangle whose sides are the square's root and 10, respectively." At first glance it might not be clear at all, from the geometrical picture, how to apply the method of "completing the square". On the other hand, changing the "balance" by shifting the rectangle 10X to the other side of the equation, we can put it in a form apparently similar to the first case. In fact, from the standpoint of determining the unknown X, XX = 10X + 2 is equivalent to XX - 10X = 2.
Compared with Al-Khwarizmi's construction for the first case, we run into a significant difference: this time we have to take away the area of the rectangle 10X from the square, rather than adding it. After cutting the rectangle into four equal subrectangles with sides 10/4 and X and trying to fit them in an analogous way into the square XX -- in order to "take them away" -- we find that they overlap at the corners (make the drawing, to see what I am getting at!) Thus, taking away the four areas from the square would mean to remove each of the four corners twice . But how can one "take away" an area twice, from the same place? After we have removed it once, it is gone ; and to remove the same area again would mean taking something from nothing !
Al-Kharizmi scrupulously avoided such "impossible" operations. In fact, if you add in four extra little squares of sides 10/4, one at a time, at the appropriate moments, interspersed between removing the four rectangles one at a time, you can circumvent the difficulty. The result of a suitably ordered sequence of adding the four square areas and taking away the four rectangles is a smaller square, whose side is X - 10/2 = X - 5. From this point on, the solution proceeds entirely analogously to the first case.
The third case is more tangled-up still, if we hold to a simplistic visual-geometrical conception. Indeed, when we try to rearrange the equation XX + 2 = 10X in order to be able to "complete the square", we get XX - 10X = - 2.
The equation demands, explicitly, that we take away a bigger area from a smaller , to get a negative area -- clearly an "impossible" proposition! Here again, the difficulty can be circumvented by adding the four squares (10/4 x 10/4) to both sides of the original equation, before proceeding further.
The fourth case, XX + 10X + 2 is truly "impossible" in Al- Khwarizmi's sense. Areas are by their very nature positive magnitudes . The sum of a square (XX) and a rectangle (10X) cannot be less than zero. Hence XX + 10X + 2 cannot be less than 2, and certainly never equal to zero.
All of this indicates quite clearly, that, to the extent the famous "general formula" for the solution of a quadratic equation XX + BX + C = 0 is valid at all, it must presuppose the existence of a different domain , distinct from that of simple visual geometry, but coherent with the latter.
Kaestner on "negational magnitudes"
At first glance, that domain is distinguished by the introduction of negative numbers , which have no self-evident interpretation in terms of lengths, areas and volumes, and were long branded as "impossible" for the indicated reasons. In fact, this issue was first fully cleared up by Gauss himself, in the context of his conceptualization of the physical principle underlying the "imaginary numbers".
In his 1758 "Anfangsgrnde der Mathematik", which was a standard reference for the teaching of mathematics at the time Gauss began his studies at the Carolineum in Braunschweig, Abraham Kaestner introduced negative numbers in the following manner:
"Opposing magnitudes are magnitudes of the sort, that arise through consideration of such conditions, in which one magnitude reduces another -- for example assets and liabilities, forward and backward motion, etc. One of the magnitudes, whichever one chooses, is called positive or affirmative; the opposite is called negative or negational."
Kaestner proceeds to develop the arithmetic of such "opposing magnitudes" as a new domain subsuming simple "positive" magnitudes together with their "opposites". Keastner demonstrates, among other things, why the product of two "negational magnitudes" must necessarily yield a "positive magnitude". For example, multiplying by -1 transforms a magnitude into its opposite, so that (-1) x 2 is the opposite of 2, i.e. -2; while (-1) x (-2) is the opposite of the opposite of 2, i.e. 2 itself. As Kaestner emphasizes, these relationships apply only to such magnitudes, as admit of a unique opposite , as for example in the case of forward and backward motion along a pathway.
Relative to such a domain of "opposing magnitudes" -- as typified by the so-called "real number line" -- Al-Khwarizmi's four species of equations can all be subsumed under a common form. Indeed, in the new domain the species 1) - 4) above are equivalent to:
1) XX + 10X - 2 = 0
2) XX - 10X - 2 = 0
3) XX - 10X + 2 = 0
4) XX + 10X + 2 = 0 respectively, all of which fall under the form XX + BX + C = 0, where B and C can take on both positive and negative values. At first glance, it would seem that the formula derived above, namely X = - B/2 + SQRT( BB/4 - C ) indeed provides a general solution to the quadratic equation, subsuming each of the four cases distinguished by Al-Khwarizmi. The operations he regarded as "impossible" or absurd from the standpoint of lengths, areas and volumes -- such as "subtracting a larger from a smaller" -- have a perfectly determinate meaning in the domain of forward and backward motion along a line. For example, subtracting a forward motion of 5 from a forward motion of 2, results in a backward motion of 3, i.e. -3, and so forth. The chain of relationships, by which we derived the general solution to the quadratic equation XX + BX + C, are valid irrespective of the values of B and C.
In particular, the general formula provides a solution to the equation XX + 10X + 2 = 0, which Al Khwarizmi regarded as "impossible": X = -10/2 + SQRT( 100/4 - 2) = - 5 + SQRT (23) = (approx) -2.0416848, a negative magnitude.
The fallacy of closure
Have we invented a "perfect system"? A closed domain in which the algebraicist, sitting in a room with no windows, can solve all problems at the blackboard, without any need to heed the real universe outside?
On the contrary! In fact, our derivation of the "general solution" glossed over an even more devastating paradox, than the emergence of the negative numbers which Al-Khwarizmi and many of his successors treated as "impossible". Look back at the next-to-last step in the "general solution":
(X + B/2) squared = BB/4 - C
X + B/2 = square root of ( BB/4 - C )
Contrary to common misconceptions, the algebraic expression, "square root of," constitutes a question , not an answer ! We are asked to find a magnitude, whose square is the given magnitude. Just because the algebraicist has invented a formal symbol in place of answering the question, does not make it any less a question! Although there exists a simple ruler-and-compass construction for determining the square root of any positive quantity, the analogous problem for cube roots leads, as we indicated in the preceeding installments, beyond the limits of ruler-and-compass geometry.
What, however, if the magnitude, whose square root is demanded, turns out to be negative ? According to Kaestner's argument, the required square root could be neither negative nor positive. For, the square of a positive quantity is naturally positive, while result of multiplying a negative magnitude by itself, for the reasons Kaestner indicated, is likewise positive. Thus, extracting the square root of a negative magnitude is "impossible" in the domain of the so-called "real numbers".
On the other hand, our formula for the solution of the general quadratic equation, demands that we find the square root of BB/4 - C. What if the latter magnitude were to turn out to be negative -- as for example in the case, where B and C are both equal to 2, and BB/4 - C = 4/4 - 2 = -1 ? Apparently, to solve the equation XX + 2X + 2 = 0, we would have to determine the value of SQRT( -1) !
To get a notion of the problem involved, explore the values of XX + 2X + 2 for a variety of positive and negative values of X. The values turn out all to be positive, with a minimum value of 1, reached for X = -1. In fact, plotting XX + 2X + 2 (on the "Y-axis") against the value of X (on the "X-axis"), yields a parabola lying entirely in the positive region above the X-axis; whereas XX + 2X + 2 = 0 would imply a crossing of the X-axis by the corresponding curve, which evidently never occurs.
Another "impossible" problem
A useful, related sort of case was discussed by Cardan and his associates in the context of their attempt to grapple with "imaginary numbers".
Consider for example the following simple geometrical problem: "Given a line segment of length 2, divide the segment into two subsegments of lengths X and W, such that the product of their lengths is equal to 2."
A bit of reflection shows, that the task is "impossible"! If we divide the segment exactly in half, then the two segments will each have length 1, and the product will be 1, not 2. If, on the other hand, if the division is not equal, then one of the two segments (X for example) will be shorter than 1, and so XW will be less than W, which in turn cannot be longer than the total length 2.
The paradox becomes even clearer, when we look at the proposed problem in terms of a division of the square of side 2, implied by any given division of the sides into subsegments of lengths X and W. Drawing perpendiculars at the points of division, the square is divided into the two squares XX, WW plus two X-by-W rectangles. The total area of the original square is 2x2 = 4. If, on the other hand, we demand that XW = 2, then the sum of the two rectangles would already be 4, and would thus completely fill up the square! But then there would be no room left inside for the smaller squares XX and WW -- unless, by some extraordinary circumstance, the two areas XX and WW were somehow to cancel out , i.e. XX + WW = 0 or WW = - XX. But since the areas of squares are always positive, the latter is clearly impossible .
This "impossible" geometrical problem leads directly to a quadratic equation. In fact, we can restate the problem in algebraic form as a combination of two simultaneous equations:
X + W = 2 and XW = 2
The first equation implies W = X - 2, and consequently
XW = X x (2 - X) = 2X - XX.
In terms of X, the requirement that XW = 2 now becomes 2X - XX = 2 or, by "rebalancing" the equation: XX - 2X + 2 = 0.
Again, graphing the values of XX - 2X + 2 yields a parabolic curve lying entirely above the X-axis; the minimum value, reached at X = 1, is 1. On the other hand, if we apply our "general formula" for the solution of the quadratic equation to this case, we obtain the paradoxical value X = 1 + SQRT ( -1 ).
At this point, the formal algebraicist, like Euler and Lagrange, might seek refuge in the following comforting thought:
"After all, doesn't the appearance of the "impossible" square roots of negative magnitudes in the formula for the solution of a quadratic equation, coincide with the case, where the equation has no real solution? Our formula gives a solution in exactly those cases, in which a solution really exists. 'Imaginary' magnitudes like SQRT( - 1) mean nothing, but merely signal the impossibility of solving the corresponding equation. So, our algebraic world is closed and perfect."
If that's what you think, you are in for a rather unpleasant surprise! Just wait for the next installment, on Cardan's formula. Notes:
The solution to the quadratic equation XX + BX + C = 0 is commonly presented in a slightly different, but entirely equivalent form: X = ( -B + SQRT( BB - 4C ) ) / 2 .
In the case of the equation AXX + BX + C = 0, in which the square term appears multipled by an arbitrary coefficient A, the solution takes the form: X = ( -B + SQRT( BB - 4AC ) ) / 2A.
Both formulae are simply alternative manifestations of the principle of "completing the square", and add nothing of substance to the above discussion.