Jump to content

User:Ramzuiv/sandbox

From Wikipedia, the free encyclopedia
Graph of a cubic function with 3 real roots (where the curve crosses the horizontal axis—where y = 0). The case shown has two critical points. Here the function is f(x) = (x3 + 3x2 − 6x − 8)/4.

In algebra, a cubic function is a function of the form

in which a is nonzero.

Setting f(x) = 0 produces a cubic equation of the form

The solutions of this equation are called roots of the polynomial f(x). If all of the coefficients a, b, c, and d of the cubic equation are real numbers, then it has at least one real root (this is true for all odd-degree polynomials). All of the roots of the cubic equation can be found algebraically. (This is also true of quadratic (second-degree) or quartic (fourth-degree) equations, but not of higher-degree equations, by the Abel–Ruffini theorem.) The roots can also be found trigonometrically. Alternatively, numerical approximations of the roots can be found using root-finding algorithms such as Newton's method.

The coefficients do not need to be complex numbers. Much of what is covered below is valid for coefficients of any field with characteristic 0 or greater than 3. The solutions of the cubic equation do not necessarily belong to the same field as the coefficients. For example, some cubic equations with rational coefficients have roots that are non-rational (and even non-real) complex numbers.

History

[edit]

Cubic equations were known to the ancient Babylonians, Greeks, Chinese, Indians, and Egyptians.[1][2][3] Babylonian (20th to 16th centuries BC) cuneiform tablets have been found with tables for calculating cubes and cube roots.[4][5] The Babylonians could have used the tables to solve cubic equations, but no evidence exists to confirm that they did.[6] The problem of doubling the cube involves the simplest and oldest studied cubic equation, and one for which the ancient Egyptians did not believe a solution existed.[7] In the 5th century BC, Hippocrates reduced this problem to that of finding two mean proportionals between one line and another of twice its length, but could not solve this with a compass and straightedge construction,[8] a task which is now known to be impossible. Methods for solving cubic equations appear in The Nine Chapters on the Mathematical Art, a Chinese mathematical text compiled around the 2nd century BC and commented on by Liu Hui in the 3rd century.[2] In the 3rd century AD, the Greek mathematician Diophantus found integer or rational solutions for some bivariate cubic equations (Diophantine equations).[3][9] Hippocrates, Menaechmus and Archimedes are believed to have come close to solving the problem of doubling the cube using intersecting conic sections,[8] though historians such as Reviel Netz dispute whether the Greeks were thinking about cubic equations or just problems that can lead to cubic equations. Some others like T. L. Heath, who translated all Archimedes' works, disagree, putting forward evidence that Archimedes really solved cubic equations using intersections of two conics, but also discussed the conditions where the roots are 0, 1 or 2.[10]

Graph of the cubic function f(x) = 2x3 − 3x2 − 3x + 2 = (x + 1) (2x − 1) (x − 2)

In the 7th century, the Tang dynasty astronomer mathematician Wang Xiaotong in his mathematical treatise titled Jigu Suanjing systematically established and solved numerically 25 cubic equations of the form x3 + px2 + qx = N, 23 of them with p, q ≠ 0, and two of them with q = 0.[11]

In the 11th century, the Persian poet-mathematician, Omar Khayyam (1048–1131), made significant progress in the theory of cubic equations. In an early paper, he discovered that a cubic equation can have more than one solution and stated that it cannot be solved using compass and straightedge constructions. He also found a geometric solution.[12][13] In his later work, the Treatise on Demonstration of Problems of Algebra, he wrote a complete classification of cubic equations with general geometric solutions found by means of intersecting conic sections.[14][15]

In the 12th century, the Indian mathematician Bhaskara II attempted the solution of cubic equations without general success. However, he gave one example of a cubic equation: x3 + 12x = 6x2 + 35.[16] In the 12th century, another Persian mathematician, Sharaf al-Dīn al-Tūsī (1135–1213), wrote the Al-Muʿādalāt (Treatise on Equations), which dealt with eight types of cubic equations with positive solutions and five types of cubic equations which may not have positive solutions. He used what would later be known as the "Ruffini-Horner method" to numerically approximate the root of a cubic equation. He also used the concepts of maxima and minima of curves in order to solve cubic equations which may not have positive solutions.[17] He understood the importance of the discriminant of the cubic equation to find algebraic solutions to certain types of cubic equations.[18]

In his book Flos, Leonardo de Pisa, also known as Fibonacci (1170–1250), was able to closely approximate the positive solution to the cubic equation x3 + 2x2 + 10x = 20. Writing in Babylonian numerals he gave the result as 1,22,7,42,33,4,40 (equivalent to 1 + 22/60 + 7/602 + 42/603 + 33/604 + 4/605 + 40/606), which has a relative error of about 10−9.[19]

In the early 16th century, the Italian mathematician Scipione del Ferro (1465–1526) found a method for solving a class of cubic equations, namely those of the form x3 + mx = n. In fact, all cubic equations can be reduced to this form if we allow m and n to be negative, but negative numbers were not known to him at that time. Del Ferro kept his achievement secret until just before his death, when he told his student Antonio Fiore about it.

Niccolò Fontana Tartaglia

In 1530, Niccolò Tartaglia (1500–1557) received two problems in cubic equations from Zuanne da Coi and announced that he could solve them. He was soon challenged by Fiore, which led to a famous contest between the two. Each contestant had to put up a certain amount of money and to propose a number of problems for his rival to solve. Whoever solved more problems within 30 days would get all the money. Tartaglia received questions in the form x3 + mx = n, for which he had worked out a general method. Fiore received questions in the form x3 + mx2 = n, which proved to be too difficult for him to solve, and Tartaglia won the contest.

Later, Tartaglia was persuaded by Gerolamo Cardano (1501–1576) to reveal his secret for solving cubic equations. In 1539, Tartaglia did so only on the condition that Cardano would never reveal it and that if he did write a book about cubics, he would give Tartaglia time to publish. Some years later, Cardano learned about Ferro's prior work and published Ferro's method in his book Ars Magna in 1545, meaning Cardano gave Tartaglia six years to publish his results (with credit given to Tartaglia for an independent solution). Cardano's promise with Tartaglia stated that he not publish Tartaglia's work, and Cardano felt he was publishing del Ferro's, so as to get around the promise. Nevertheless, this led to a challenge to Cardano by Tartaglia, which Cardano denied. The challenge was eventually accepted by Cardano's student Lodovico Ferrari (1522–1565). Ferrari did better than Tartaglia in the competition, and Tartaglia lost both his prestige and income.[20]

Cardano noticed that Tartaglia's method sometimes required him to extract the square root of a negative number. He even included a calculation with these complex numbers in Ars Magna, but he did not really understand it. Rafael Bombelli studied this issue in detail[21] and is therefore often considered as the discoverer of complex numbers.

François Viète (1540–1603) independently derived the trigonometric solution for the cubic with three real roots, and René Descartes (1596–1650) extended the work of Viète.[22]

Critical points and inflection point of a cubic function

[edit]
The roots, stationary points, inflection point and concavity of a cubic polynomial x3 − 6x2 + 9x − 4 (solid black curve) and its first (dashed red) and second (dotted orange) derivatives.

The critical points of a function are those values of x where the slope of the function is zero. The critical points of a cubic function f defined by f(x) = ax3 + bx2 + cx + d, occur at values of x such that the derivative of the cubic function is zero:

The solutions of that equation are the critical points of the cubic equation and are given, using the quadratic formula, by

The expression inside the square root,

determines what type of critical points the function has. If Δ0 > 0, then the cubic function has a local maximum and a local minimum. If Δ0 = 0, then the cubic's inflection point is the only critical point. If Δ0 < 0, then there are no critical points. In cases where Δ0 ≤ 0, the cubic function is strictly monotonic. The adjacent diagram is an example of the case where Δ0 > 0. The other two cases do not have the local maximum or the local minimum but still have an inflection point.

The value of Δ0 also plays an important role in determining the nature of the roots of the cubic equation and in the calculation of those roots; see below.

The inflection point of a function is where that function changes concavity. The inflection point of our cubic function occurs at:

a value that is also important in solving the cubic equation. The cubic function has point symmetry about its inflection point.

All of the above assumes that the coefficients are real as well as the variable x.

General solution to the cubic equation with real coefficients

[edit]

There are several formulas for solving the cubic equation, the most famous of which is Cardano's Equation, which states that the solution for a depressed cubic (where the component is reduced away) is:

However, there are several other solutions, which make use of algebra, trigonometry, and/or geometry to arrive at the roots of the cubic function, listed at cubic formula.

Nature of the roots in the case of real coefficients

[edit]

Algebraic nature of the roots

[edit]

Every cubic equation (1), ax3 + bx2 + cx +d = 0, with real coefficients and a ≠ 0, has three solutions (some of which may equal each other if they are real, and two of which may be complex non-real numbers) and at least one real solution r1, this last assertion being a consequence of the intermediate value theorem. If xr1 is factored out of the cubic polynomial, what remains is a quadratic polynomial whose roots r2 and r3 are roots of the cubic; by the quadratic formula, these roots are either both real (giving a total of three real roots for the cubic) or are complex conjugates, in which case the cubic has one real and two non-real roots.

It was explained above how to use the sign of the discriminant in order to distinguish between these cases. In fact,

(3)

because a straightforward computation shows that

and, by Vieta's formulas, the right hand side of this equality is equal to

The equality (3) shows that Δ = 0 if and only if the equation has a multiple root. This cannot possibly be the case when r2 and r3 are non-real complex numbers, because the fact that r1 is real assures that r1 is different from r2 and from r3 and, on the other hand, the fact that r2 and r3 are non-real and that each of them is the conjugate of the other one assures that r2r3.

If r2 and r3 are non-real, then

Since this is the product of a non-zero real number by i, its square is a real number less than 0 and therefore Δ < 0. Finally, if the numbers r1, r2, and r3 are three distinct real numbers, then the product (r1r2)(r1r3)(r2r3) is a non-zero real number, and so Δ > 0.

Geometric interpretation of the roots

[edit]

Three real roots

[edit]
For the cubic (1) with three real roots, the roots are the projection on the x-axis of the vertices A, B, and C of an equilateral triangle. The center of the triangle has the same abscissa as the inflection point.

Viète's trigonometric expression of the roots in the three-real-roots case lends itself to a geometric interpretation in terms of a circle.[22][23] When the cubic is written in depressed form (2), t3 + pt + q = 0, as shown above, the solution can be expressed as

Here is an angle in the unit circle; taking 1/3 of that angle corresponds to taking a cube root of a complex number; adding k2π/3 for k = 1, 2 finds the other cube roots; and multiplying the cosines of these resulting angles by corrects for scale.

For the non-depressed case (1) (shown in the accompanying graph), the depressed case as indicated previously is obtained by defining t such that x = tb/3a so t = x + b/3a. Graphically this corresponds to simply shifting the graph horizontally when changing between the variables t and x, without changing the angle relationships. This shift moves the point of inflection and the centre of the circle onto the y-axis. Consequently, the roots of the equation in t sum to zero.

One real and two complex roots

[edit]
In the Cartesian plane
[edit]
The slope of line RA is twice that of RH. Denoting the complex roots of the cubic as g ± hi, g = OM (negative here) and h = tan ORH = slope of line RH = BE = DA.

If a cubic is plotted in the Cartesian plane, the real root can be seen graphically as the horizontal intercept of the curve. But further,[24][25][26] if the complex conjugate roots are written as g ± hi then g is the abscissa (the positive or negative horizontal distance from the origin) of the tangency point of a line that is tangent to the cubic curve and intersects the horizontal axis at the same place as does the cubic curve; and h is the square root of the tangent of the angle between this line and the horizontal axis.

In the complex plane
[edit]

With one real and two complex roots, the three roots can be represented as points in the complex plane, as can the two roots of the cubic's derivative. There is an interesting geometrical relationship among all these roots.

The points in the complex plane representing the three roots serve as the vertices of an isosceles triangle. (The triangle is isosceles because one root is on the horizontal (real) axis and the other two roots, being complex conjugates, appear symmetrically above and below the real axis.) Marden's theorem says that the points representing the roots of the derivative of the cubic are the foci of the Steiner inellipse of the triangle—the unique ellipse that is tangent to the triangle at the midpoints of its sides. If the angle at the vertex on the real axis is less than π/3 then the major axis of the ellipse lies on the real axis, as do its foci and hence the roots of the derivative. If that angle is greater than π/3, the major axis is vertical and its foci, the roots of the derivative, are complex conjugates. And if that angle is π/3, the triangle is equilateral, the Steiner inellipse is simply the triangle's incircle, its foci coincide with each other at the incenter, which lies on the real axis, and hence the derivative has duplicate real roots.

Galois groups of irreducible cubics

[edit]

The Galois group of an irreducible separable polynomial of degree n is a transitive subgroup of Sn. In particular, the Galois group of an irreducible separable cubic is a transitive subgroup of S3 and there are only two such subgroups: S3 and A3. There is a simple way of determining the Galois group of a concrete irreducible cubic f(x) over a field k: it is A3 if the discriminant of the cubic is the square of an element of k and S3 otherwise. Indeed, if Δ is not the square of an element of k, then k[Δ] is an extension of degree 2 of k. On the other hand, if r1, r2, and r3 are the roots of f(x), then, since the equality (3) holds, that is, since Δ = (a2(r1r2)(r1r3)(r2r3))2, k[Δ] ⊂ k[r1, r2, r3], and so, by the multiplicativity formula for degrees, the degree of k[r1, r2, r3] over k (that is, the order of the Galois group of f(x)) must be a multiple of the degree of k[Δ], which is 2. Therefore, it must be an even number, and so the Galois group can only be S3.

On the other hand, if Δ is the square of an element of k, then, again by the equality (3), we have (r1r2)(r1r3)(r2r3) ∈ k. Therefore, if σ belongs to the Galois group of f(x), then σ maps (r1r2)(r1r3)(r2r3) into itself. But then σ cannot act on the set {r1, r2, r3} as the transposition that exchanges r1 and r2 and leaves r3 fixed, because then σ would map (r1r2)(r1r3)(r2r3) into −(r1r2)(r1r3)(r2r3). So, in this case, the Galois group of f(x) is not S3 and therefore it must be A3.

It is clear from this criterion that, if we are working over the field Q, the Galois group of most irreducible cubic polynomials is S3. An example of an irreducible cubic polynomial with rational coefficients whose Galois group is A3 is p(x) = x3 − 3x − 1, whose discriminant is 81 = 92. The polynomial p(x) is used in the standard proof of the impossibility of trisecting arbitrary angles using straightedge and compass only.

Collinearities

[edit]
The points P1, P2, and P3 (in blue) are collinear and belong to the graph of x3 + 3/2x25/2x + 5/4. The points T1, T2, and T3 (in red) are the intersections of the (dotted) tangent lines to the graph at these points with the graph itself. They are collinear too.

The tangent lines to a cubic at three collinear points intercept the cubic again at collinear points.[27] This can be seen as follows. If the cubic is defined by f(x) = ax3 + bx2 + cx + d and if α is a real number, then the tangent to the graph of f at the point (α, f(α)) is the line

{(x, f(α) + (xα)f ′(α)) : xR}.

So, the intersection point between this line and the graph of f can be obtained solving the equation f(x) = f(α) + (xα)f ′(α). This is a cubic equation, but it is clear that α is a root, and in fact a double root, since the line is tangent to the graph. The remaining root is b/a − 2α. So, the other intersection point between the tangent line and the graph of f is the point

Therefore, if P is a point of the graph of f, the other intersection point between the tangent line at P and the graph is the point A(P), where A is the map defined by

Since A is an affine map, if P1, P2, and P3 are collinear, then so are the points A(P1), A(P2), and A(P3).

Symmetry

[edit]

The graph of a cubic function has 180° rotational or point symmetry about its inflection point. The inflection point of a general cubic polynomial,

occurs at a point (x0, f(x0)) such that f ′′(x0) = 0. Since f ′′(x) = 6ax + 2b, the inflection point is (−b/3a, 2b3/27a2bc/3a + d ). Translating the function so that the inflection point is at the origin, one obtains the function fT defined by:

As all terms are odd powers of x, fT (−x) = −fT (x) proving that all cubic functions are rotationally symmetrical about their inflection points.[28]

Applications

[edit]

Cubic equations arise in various other contexts.

Marden's theorem states that the foci of the Steiner inellipse of any triangle can be found by using the cubic function whose roots are the coordinates in the complex plane of the triangle's three vertices. The roots of the first derivative of this cubic are the complex coordinates of those foci.

The area of a regular heptagon can be expressed in terms of the roots of a cubic. Further, the ratios of the long diagonal to the side, the side to the short diagonal, and the negative of the short diagonal to the long diagonal all satisfy a particular cubic equation. In addition, the ratio of the inradius to the circumradius of a heptagonal triangle is one of the solutions of a cubic equation. The values of trigonometric functions of angles related to satisfy cubic equations.

Given the cosine (or other trigonometric function) of an arbitrary angle, the cosine of one-third of that angle is one of the roots of a cubic.

The solution of the general quartic equation relies on the solution of its resolvent cubic.

The eigenvalues of a 3×3 matrix are the roots of a cubic polynomial which is the characteristic polynomial of the matrix.

The characteristic equation of a third-order linear difference equation or differential equation is a cubic equation.

In analytical chemistry, the Charlot equation, which can be used to find the pH of buffer solutions, can be solved using a cubic equation.

In chemical engineering and thermodynamics, cubic equations of state are used to model the PVT (pressure, volume, temperature) behavior of substances.

Kinematic equations involving changing rates of acceleration are cubic.

The speed of seismic Rayleigh waves is a solution of the Rayleigh wave cubic equation.

See also

[edit]

Notes

[edit]
  1. ^ Høyrup, Jens (1992), "The Babylonian Cellar Text BM 85200 + VAT 6599 Retranslation and Analysis", Amphora: Festschrift for Hans Wussing on the Occasion of his 65th Birthday, Birkhäuser, pp. 315–358, doi:10.1007/978-3-0348-8599-7_16, ISBN 978-3-0348-8599-7
  2. ^ a b Crossley, John; W.-C. Lun, Anthony (1999). The Nine Chapters on the Mathematical Art: Companion and Commentary. Oxford University Press. p. 176. ISBN 978-0-19-853936-0.
  3. ^ a b Van der Waerden, Geometry and Algebra of Ancient Civilizations, chapter 4, Zurich 1983 ISBN 0-387-12159-5
  4. ^ Cooke, Roger (8 November 2012). The History of Mathematics. John Wiley & Sons. p. 63. ISBN 978-1-118-46029-0.
  5. ^ Nemet-Nejat, Karen Rhea (1998). Daily Life in Ancient Mesopotamia. Greenwood Publishing Group. p. 306. ISBN 978-0-313-29497-6.
  6. ^ Cooke, Roger (2008). Classical Algebra: Its Nature, Origins, and Uses. John Wiley & Sons. p. 64. ISBN 978-0-470-27797-3.
  7. ^ Guilbeau (1930, p. 8) states that "the Egyptians considered the solution impossible, but the Greeks came nearer to a solution."
  8. ^ a b Guilbeau (1930, pp. 8–9)
  9. ^ Heath, Thomas L. (April 30, 2009). Diophantus of Alexandria: A Study in the History of Greek Algebra. Martino Pub. pp. 87–91. ISBN 978-1578987542.
  10. ^ Archimedes (October 8, 2007). The works of Archimedes. Translation by T. L. Heath. Rough Draft Printing. ISBN 978-1603860512.
  11. ^ Mikami, Yoshio (1974) [1913], "Chapter 8 Wang Hsiao-Tung and Cubic Equations", The Development of Mathematics in China and Japan (2nd ed.), New York: Chelsea Publishing Co., pp. 53–56, ISBN 978-0-8284-0149-4
  12. ^ A paper of Omar Khayyam, Scripta Math. 26 (1963), pages 323–337
  13. ^ In O'Connor, John J.; Robertson, Edmund F., "Omar Khayyam", MacTutor History of Mathematics Archive, University of St Andrews one may read This problem in turn led Khayyam to solve the cubic equation x3 + 200x = 20x2 + 2000 and he found a positive root of this cubic by considering the intersection of a rectangular hyperbola and a circle. An approximate numerical solution was then found by interpolation in trigonometric tables. The then in the last assertion is erroneous and should, at least, be replaced by also. The geometric construction was perfectly suitable for Omar Khayyam, as it occurs for solving a problem of geometric construction. At the end of his article he says only that, for this geometrical problem, if approximations are sufficient, then a simpler solution may be obtained by consulting trigonometric tables. Textually: If the seeker is satisfied with an estimate, it is up to him to look into the table of chords of Almagest, or the table of sines and versed sines of Mothmed Observatory. This is followed by a short description of this alternate method (seven lines).
  14. ^ J. J. O'Connor and E. F. Robertson (1999), Omar Khayyam, MacTutor History of Mathematics archive, states, "Khayyam himself seems to have been the first to conceive a general theory of cubic equations."
  15. ^ Guilbeau (1930, p. 9) states, "Omar Al Hay of Chorassan, about 1079 AD did most to elevate to a method the solution of the algebraic equations by intersecting conics."
  16. ^ Datta, Bibhutibhushan; Singh, Avadhesh Narayan (2004), "Equation of Higher Degree", History of Hindu Mathematics: A Source Book, vol. 2, Delhi, India: Bharattya Kala Prakashan, p. 76, ISBN 81-86050-86-8
  17. ^ O'Connor, John J.; Robertson, Edmund F., "Sharaf al-Din al-Muzaffar al-Tusi", MacTutor History of Mathematics Archive, University of St Andrews
  18. ^ Berggren, J. L. (1990), "Innovation and Tradition in Sharaf al-Dīn al-Ṭūsī's Muʿādalāt", Journal of the American Oriental Society, 110 (2): 304–309, doi:10.2307/604533, JSTOR 604533
  19. ^ O'Connor, John J.; Robertson, Edmund F., "Fibonacci", MacTutor History of Mathematics Archive, University of St Andrews
  20. ^ Katz, Victor (2004). A History of Mathematics. Boston: Addison Wesley. p. 220. ISBN 9780321016188.
  21. ^ La Nave, Federica; Mazur, Barry (2002), "Reading Bombelli", The Mathematical Intelligencer, 24 (1): 12–21, doi:10.1007/BF03025306
  22. ^ a b Nickalls, R. W. D. (July 2006), "Viète, Descartes and the cubic equation" (PDF), Mathematical Gazette, 90: 203–208
  23. ^ Nickalls, R. W. D. (November 1993), "A new approach to solving the cubic: Cardan's solution revealed" (PDF), The Mathematical Gazette, 77 (480): 354–359, doi:10.2307/3619777, ISSN 0025-5572, JSTOR 3619777 See esp. Fig. 2.
  24. ^ Henriquez, Garcia (June–July 1935), "The graphical interpretation of the complex roots of cubic equations", American Mathematical Monthly, 42 (6): 383–384, doi:10.2307/2301359
  25. ^ Barr, C. F. (1918), "Discussions: Relating to the Graph of a Cubic Equation Having Complex Roots", American Mathematical Monthly, 25 (6): 268-269, doi:10.2307/2972885
  26. ^ Irwin, Frank; Wright, H. N. (1917), "Some Properties of Polynomial Curves.", Annals of Mathematics, 19 (2): 152-158, doi:10.2307/1967772
  27. ^ Whitworth, William Allen (1866), "Equations of the third degree", Trilinear Coordinates and Other Methods of Modern Analytical Geometry of Two Dimensions, Cambridge: Deighton, Bell, and Co., p. 425, retrieved June 17, 2016
  28. ^ de Villiers, Michael (2004), "All cubic polynomials are point symmetric" (PDF), Learning & Teaching Mathematics, 1: 12–15, retrieved 14 December 2015

References

[edit]
  • Guilbeau, Lucye (1930), "The History of the Solution of the Cubic Equation", Mathematics News Letter, 5 (4): 8–12, doi:10.2307/3027812, JSTOR 3027812

Further reading

[edit]
[edit]


Category:Elementary algebra Category:Equations Category:Polynomial functions