معادلة تكعيبية

(تم التحويل من Cubic equation)
Graph of a cubic function with 3 real roots (where the curve crosses the horizontal axis—where y = 0) (and hence no complex roots). The case shown has two critical points. Here the function is ƒ(x) = (x3 + 3x2 − 6x − 8) / 4. There would be only one real root, and two complex roots, if the local minimum were above the x axis, or if the local maximum were below the x axis, or if there were no local minimum or maximum and the inflection point were off the x axis.

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

f(x)=ax3+bx2+cx+d,

where a is nonzero. In other words, a cubic function is defined by a polynomial of degree three.

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

ax3+bx2+cx+d=0.

Usually, the coefficients a, b, c, d are real numbers. However much of the theory of cubic equations for real coefficients applies to other types of coefficients (such as complex ones).[1]

Solving the cubic equation is equivalent to finding the particular value (or values) of x for which ƒ(x) = 0. There are various methods to solve cubic equations. The solutions of a cubic equation, also called roots of the cubic function, can always be found algebraically. (This is also true of a quadratic or quartic (fourth degree) equation, but no higher-degree equation, by the Abel–Ruffini theorem). The roots can also be found trigonometrically. Alternatively, one can find a numerical approximation of the roots in the field of the real or complex numbers such as by using root-finding algorithms like Newton's method.

التاريخ

Cubic equations were known to the ancient Babylonians, Greeks, Chinese, Indians, and Egyptians.[2][3][4] Babylonian (20th to 16th centuries BC) cuneiform tablets have been found with tables for calculating cubes and cube roots.[5][6] The Babylonians could have used the tables to solve cubic equations, but no evidence exists to confirm that they did.[7] 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.[8] 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,[9] 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.[3] In the 3rd century, the ancient Greek mathematician Diophantus found integer or rational solutions for some bivariate cubic equations (Diophantine equations).[4][10] Hippocrates, Menaechmus and Archimedes are believed to have come close to solving the problem of doubling the cube using intersecting conic sections,[9] 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 cones, but also discussed the conditions where the roots are 0, 1 or 2.[11]

Two-dimensional graph of a cubic, the polynomial ƒ(x) = 2x3 − 3x2 − 3x + 2.

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

In the 11th century, the Persian poet-mathematician, Omar Khayyám (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.[13][14] 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.[15][16]

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:[17]

x3+12x=6x2+35

In the 12th century, another Persian mathematician, Sharaf al-Dīn al-Tūsī (1135–1213), wrote the Al-Mu'adalat (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 developed the concepts of a derivative function and the maxima and minima of curves in order to solve cubic equations which may not have positive solutions.[18] He understood the importance of the discriminant of the cubic equation to find algebraic solutions to certain types of cubic equations.[19]

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, using the 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),[20] which differs from the correct value by only about three trillionths.

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 6 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.[21]

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 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]

النقاط الحرجة لدالة تكعيبية

الجذور، وturning points, stationary points، نقطة انقلاب وتقعر عديدة الحدود تكعيبية x³ - 3x² - 144x + 432 (الخط الأسود) ومشتقاته الأولى والثانية (الأحمر والأزرق).

The critical points of a cubic equation are those values of x where the slope of the cubic function is zero. They are found by setting derivative of the cubic equation equal to zero obtaining: f ′(x) = 3ax2 + 2bx + c = 0. The solutions of that equation are the critical points of the cubic equation and are given by: (using the quadratic formula)

x=b±b23ac3a.

If b2 − 3ac > 0, then the cubic function has a local maximum and a local minimum. If b2 − 3ac = 0, then the cubic's inflection point is the only critical point. If b2 − 3ac < 0, then there are no critical points. In the cases where b2 − 3ac ≤ 0, the cubic function is strictly monotonic.

جذور دالة تكعيبية

The general cubic equation has the form

ax3+bx2+cx+d=0(1)

with a0.

This section describes how the roots of such an equation may be computed. The coefficients a, b, c, d are generally assumed to be real numbers, but most of the results apply when they belong to any field of characteristic not 2 or 3.

طبيعة الجذور

Every cubic equation (1) with real coefficients has at least one solution x among the real numbers; this is a consequence of the intermediate value theorem. We can distinguish several possible cases using the discriminant,

Δ=18abcd4b3d+b2c24ac327a2d2.

The following cases need to be considered: [23]

  • If Δ > 0, then the equation has three distinct real roots.
  • If Δ = 0, then the equation has a multiple root and all its roots are real.
  • If Δ < 0, then the equation has one real root and two nonreal complex conjugate roots.

For information about the location in the complex plane of the roots of a polynomial of any degree, including degree three, see Properties of polynomial roots and Routh–Hurwitz stability criterion

صيغة عامة للجذور

For the general cubic equation

ax3+bx2+cx+d=0

the general formula for the roots, in terms of the coefficients, is as follows:[24]

xk=13a(b+ukC+Δ0ukC),k{1,2,3}

where

u1=1,u2=1+i32,u3=1i32

are the three cube roots of unity, and where

C=Δ1+Δ124Δ0323. (see below for special cases)

with

Δ0=b23acΔ1=2b39abc+27a2d

and

Δ124Δ03=27a2Δ, where Δ is the discriminant discussed above.

In these formulae, and 3 denote any choice for the square or cube roots. Changing of choice for the square root amounts to exchanging x2 and x3. Changing of choice for the cube root amounts to circularly permuting the roots. Thus the freeness of choosing a determination of the square or cube roots corresponds exactly to the freeness for numbering the roots of the equation.

Four centuries ago, Gerolamo Cardano proposed a similar formula (see below), which still appears in many textbooks:

xk=13a(b+ukC+u¯kC¯)

where

C¯=Δ1Δ124Δ0323

and u¯k is the complex conjugate of uk (note that CC¯=Δ0).

However, this formula is applicable without further explanation only when a, b, c, d are real numbers and the operand of the square root, i.e., Δ124Δ03, is non-negative. When this operand is real and non-negative, the square root refers to the principal (positive) square root and the cube roots in the formula are to be interpreted as the real ones. Otherwise, there is no real square root and one can arbitrarily choose one of the imaginary square roots (the same one everywhere in the solution). For extracting the complex cube roots of the resulting complex expression, we have also to choose among three cube roots in each part of each solution, giving nine possible combinations of one of three cube roots for the first part of the expression and one of three for the second. The correct combination is such that the two cube roots chosen for the two terms in a given solution expression are complex conjugates of each other (whereby the two imaginary terms in each solution cancel out).

The next sections describe how these formulas may be obtained.

حالات خاصة

If Δ0 and Δ0=0, the sign of Δ124Δ03=Δ12 has to be chosen to have C0, that is one should define Δ12=Δ1, whichever is the sign of Δ1.

If Δ=0 and Δ0=0, the three roots are equal:

x1=x2=x3=b3a.

If Δ=0 and Δ00, the above expression for the roots is correct but misleading, hiding the fact that no radical is needed to represent the roots. In fact, in this case, there is a double root,

x1=x2=9adbc2Δ0,

and a simple root

x3=4abc9a2db3aΔ0.

الاختزال إلى تكعيبية مضغوطة

Dividing Equation (1) by a and substituting tb3a for x (the Tschirnhaus transformation) we get the equation

t3+pt+q=0(2)

where

p=3acb23a2q=2b39abc+27a2d27a3.

The left hand side of equation (2) is a monic trinomial called a depressed cubic.

Any formula for the roots of a depressed cubic may be transformed into a formula for the roots of Equation (1) by substituting the above values for p and q and using the relation x=tb3a.

Therefore, only Equation (2) is considered in the following.

طريقة كاردانو

الحلول يمكن العثور عليها بالطريقة التالية التي اكتشفها سكيپيونى دل فـِرّو و تارتاليا، ونشرها جرولامو كاردانو في 1545.[25]

This method applies to the depressed cubic

t3+pt+q=0.(2)

We introduce two variables u and v linked by the condition

u+v=t

and substitute this in the depressed cubic (2), giving

u3+v3+(3uv+p)(u+v)+q=0(3).

At this point Cardano imposed a second condition for the variables u and v:

3uv+p=0.

As the first parenthesis vanishes in (3), we get u3+v3=q and u3v3=p3/27. The combination of these two equations leads to a quadratic equation (since they are the sum and the product of u3 and v3 ). Thus u3 and v3 are the two roots of the following quadratic equation:

z2+qzp327=0.

At this point, Cardano, who did not know complex numbers, supposed that the roots of this equation were real, that is that q24+p327>0.

Solving this equation and using the fact that u and v may be exchanged, we find

u3=q2q24+p327 and v3=q2+q24+p327.

As these expressions are real, their cube roots are well-defined and, like Cardano, we get

t1=u+v=q2q24+p3273+q2+q24+p327.3

Given the assumption that q24+p327>0, Equation (2) also has two complex roots. These are obtained by considering the complex cube roots appearing in the above formula; the fact uv is real implies that one is obtained by multiplying the first of the above cube roots by 12+i32 and the second by 12i32, and vice versa for the other one.

If q24+p327 is not necessarily positive, we have to choose a cube root of u3. As there is no direct way to choose the corresponding cube root of v3, one has to use the relation v=p3u, which gives

u=q2q24+p3273(4)

and

t=up3u.

Note that the sign of the square root does not affect the resulting t, because changing it amounts to exchanging u and v. We have chosen the minus sign to have u0 when p=0 and q0, in order to avoid a division by zero. With this choice, the above expression for t always works, except when p=q=0, where the second term becomes 0/0. In this case there is a triple root t=0.

Note also that in several cases the solutions are expressed with fewer square or cube roots

If p=q=0 then we have the triple real root
t=0.
If p=0 and q0 then
u=q3 and v=0
and the three roots are the three cube roots of q.
If p0 and q=0 then
u=p3andv=p3,
in which case the three roots are
t=u+v=0,t=ω1up3ω1u=p,t=uω1ω1p3u=p,
where
ω1=ei2π3=12+32i.
Finally if 4p3+27q2=0 and p0, there are a double root and an isolated root which may be expressed rationally in terms of p and q, but these expressions may not be immediately deduced from the general expression of the roots:
t1=t2=3q2pandt3=3qp.

To pass from these roots of t in Equation (2) to the general formulas for roots of x in Equation (1), subtract b3a and replace p and q by their expressions in terms of a,b,c,d.


التفسير الهندسي للجذور

ثلاث جذور حقيقية

For the cubic x3+bx2+cx+d=0 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][26] When the cubic is written in depressed form t3+pt+q=0, as shown above, the solution can be expressed as

tk=2p3cos(13arccos(3q2p3p)k2π3)fork=0,1,2.

Here arccos(3q2p3p) is an angle in the unit circle; taking 13 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 2p3 corrects for scale.

For the non-depressed case x3+bx2+cx+d=0 (shown in the accompanying graph), the depressed case as indicated previously is obtained by defining t such that x=tb3 so t=x+b3. 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.

جذر حقيقي وجذران معقدان

في المستوى الكارتيزي
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 = tanORH = 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,[27][28][29] 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.

في المستوى المعقد

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.

حل عمر الخيام

Omar Khayyám's geometric solution of a cubic equation, for the case a=2, b=16, giving the root 2. The fact that the vertical line intersects the x-axis at the center of the circle is specific to this particular example

As shown in this graph, to solve the third-degree equation x3+a2x=b where b>0, Omar Khayyám constructed the parabola y=x2/a, the circle which has as a diameter the line segment [0,b/a2] of the positive x-axis, and a vertical line through the point above the x-axis, where the circle and parabola intersect. The solution is given by the length of the horizontal line segment from the origin to the intersection of the vertical line and the x-axis.

A simple modern proof of the method is the following: multiplying by x the equation, and regrouping the terms gives

x4a2=x(ba2x).

The left-hand side is the value of y2 on the parabola. The equation of the circle being y2+x(xba2)=0, the right hand side is the value of y2 on the circle.

تطبيقات

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.

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.

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

The plastic number, 1.3247... , is the sole real solution of the cubic equation x3=x+1.

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 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.

انظر أيضاً

الهامش

  1. ^ Exceptions include fields of characteristic 2 and 3.
  2. ^ British Museum BM 85200
  3. ^ أ ب 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.
  4. ^ أ ب Van der Waerden, Geometry and Algebra of Ancient Civilizations, chapter 4, Zurich 1983 ISBN 0-387-12159-5
  5. ^ Cooke, Roger (8 November 2012). The History of Mathematics. John Wiley & Sons. p. 63. ISBN 978-1-118-46029-0.
  6. ^ Nemet-Nejat, Karen Rhea (1998). Daily Life in Ancient Mesopotamia. Greenwood Publishing Group. p. 306. ISBN 978-0-313-29497-6.
  7. ^ Cooke, Roger (2008). Classical Algebra: Its Nature, Origins, and Uses. John Wiley & Sons. p. 64. ISBN 978-0-470-27797-3.
  8. ^ Guilbeau (1930, p. 8) states that "the Egyptians considered the solution impossible, but the Greeks came nearer to a solution."
  9. ^ أ ب Guilbeau (1930, pp. 8–9)
  10. ^ 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.
  11. ^ Archimedes (October 8, 2007). The works of Archimedes. Translation by T. L. Heath. Rough Draft Printing. ISBN 978-1603860512.
  12. ^ 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 
  13. ^ A paper of Omar Khayyam, Scripta Math. 26 (1963), pages 323–337
  14. ^ 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).
  15. ^ 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."
  16. ^ 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."
  17. ^ Datta and Singh, History of Hindu Mathematics, p. 76,Equation of Higher Degree; Bharattya Kala Prakashan, Delhi, India 2004 ISBN 81-86050-86-8
  18. ^ O'Connor, John J.; Robertson, Edmund F., "Sharaf al-Din al-Muzaffar al-Tusi", MacTutor History of Mathematics archive, University of St Andrews .
  19. ^ Berggren, J. L. (1990), "Innovation and Tradition in Sharaf al-Din al-Tusi's Muadalat", Journal of the American Oriental Society 110 (2): 304–309, doi:10.2307/604533 
  20. ^ R. N. Knott and the Plus Team (November 4, 2013), "The life and numbers of Fibonacci", Plus Magazine, http://pass.maths.org.uk/issue3/fibonacci/index.html 
  21. ^ Katz, Victor (2004). A History of Mathematics. Boston: Addison Wesley. p. 220. ISBN 9780321016188.
  22. ^ أ ب خطأ استشهاد: وسم <ref> غير صحيح؛ لا نص تم توفيره للمراجع المسماة Nickalls
  23. ^ Irving, Ronald S. (2004), Integers, polynomials, and rings, Springer-Verlag New York, Inc., ISBN 0-387-40397-3, http://books.google.com/?id=B4k6ltaxm5YC , Chapter 10 ex 10.14.4 and 10.17.4, pp. 154–156
  24. ^ Press, William H.; Vetterling, William T. (1992). Numerical Recipes in Fortran 77: The Art of Scientific Computing. Cambridge University Press. p. 179. ISBN 0-521-43064-X., Extract of page 179
  25. ^ Jacobson 2009, p. 210
  26. ^ Nickalls, R. W. D. (November 1993), "A new approach to solving the cubic: Cardan's solution revealed", The Mathematical Gazette 77 (480): 354–359, doi:10.2307/3619777, ISSN 0025-5572, http://www.nickalls.org/dick/papers/maths/cubic1993.pdf  See esp. Fig. 2.
  27. ^ 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 
  28. ^ Barr, C. F. (1918), "Discussions: Relating to the Graph of a Cubic Equation Having Complex Roots", American Mathematical Monthly 25: 268, doi:10.2307/2972885 
  29. ^ Barr, C. F. (1917), "Some Properties of Polynomial Curves.", Annals of Mathematics 19: 157, doi:10.2307/1967772 

مراجع

وصلات خارجية

قالب:Polynomials