Cramer's theorem (algebraic curves)

Cramer's theorem (algebraic curves) In matematica, Cramer's theorem on algebraic curves gives the necessary and sufficient number of points in the real plane falling on an algebraic curve to uniquely determine the curve in non-degenerate cases. This number is {stile di visualizzazione {frac {n(n+3)}{2}},} where n is the degree of the curve. The theorem is due to Gabriel Cramer, in chi l'ha pubblicato 1750.[1] Per esempio, a line (di grado 1) è determinato da 2 distinct points on it: one and only one line goes through those two points. Allo stesso modo, a non-degenerate conic (polynomial equation in x and y with the sum of their powers in any term not exceeding 2, hence with degree 2) è determinato in modo univoco da 5 points in general position (no three of which are on a straight line).

The intuition of the conic case is this: Suppose the given points fall on, specifically, an ellipse. Then five pieces of information are necessary and sufficient to identify the ellipse—the horizontal location of the ellipse's center, the vertical location of the center, the major axis (the length of the longest chord), the minor axis (the length of the shortest chord through the center, perpendicular to the major axis), and the ellipse's rotational orientation (the extent to which the major axis departs from the horizontal). Five points in general position suffice to provide these five pieces of information, while four points do not.

Contenuti 1 Derivation of the formula 2 Degenerate cases 3 Restricted cases 4 Guarda anche 5 References Derivation of the formula The number of distinct terms (including those with a zero coefficient) in an n-th degree equation in two variables is (n + 1)(n + 2) / 2. This is because the n-th degree terms are {stile di visualizzazione x^{n},,x^{n-1}si^{1},,punti ,,si^{n},} numbering n + 1 in total; il (n - 1) degree terms are {stile di visualizzazione x^{n-1},,x^{n-2}si^{1},,punti ,,si^{n-1},} numbering n in total; and so on through the first degree terms {stile di visualizzazione x} e {stile di visualizzazione y,} numbering 2 in total, and the single zero degree term (la costante). The sum of these is (n + 1) + n + (n - 1) + ... + 2 + 1 = (n + 1)(n + 2) / 2 termini, each with its own coefficient. Tuttavia, one of these coefficients is redundant in determining the curve, because we can always divide through the polynomial equation by any one of the coefficients, giving an equivalent equation with one coefficient fixed at 1, e quindi [(n + 1)(n + 2) / 2] − 1 = n(n + 3) / 2 remaining coefficients.

Per esempio, a fourth degree equation has the general form {stile di visualizzazione x^{4}+c_{1}x^{3}y+c_{2}x^{2}si^{2}+c_{3}xy^{3}+c_{4}si^{4}+c_{5}x^{3}+c_{6}x^{2}y+c_{7}xy^{2}+c_{8}si^{3}+c_{9}x^{2}+c_{10}xy+c_{11}si^{2}+c_{12}x+c_{13}y+c_{14}=0,} insieme a 4(4+3)/2 = 14 coefficienti.

Determining an algebraic curve through a set of points consists of determining values for these coefficients in the algebraic equation such that each of the points satisfies the equation. Given n(n + 3) / 2 punti (xi, yi), each of these points can be used to create a separate equation by substituting it into the general polynomial equation of degree n, giving n(n + 3) / 2 equations linear in the n(n + 3) / 2 unknown coefficients. If this system is non-degenerate in the sense of having a non-zero determinant, the unknown coefficients are uniquely determined and hence the polynomial equation and its curve are uniquely determined. More than this number of points would be redundant, and fewer would be insufficient to solve the system of equations uniquely for the coefficients.

Degenerate cases An example of a degenerate case, in which n(n + 3) / 2 points on the curve are not sufficient to determine the curve uniquely, was provided by Cramer as part of Cramer's paradox. Let the degree be n = 3, and let nine points be all combinations of x = –1, 0, 1 and y = –1, 0, 1. More than one cubic contains all of these points, namely all cubics of equation {stile di visualizzazione a(x^{3}-X)+b(si^{3}-y)=0.} Thus these points do not determine a unique cubic, even though there are n(n + 3) / 2 = 9 di loro. Più generalmente, there are infinitely many cubics that pass through the nine intersection points of two cubics (Bézout's theorem implies that two cubics have, in generale, nine intersection points) Allo stesso modo, for the conic case of n = 2, if three of five given points all fall on the same straight line, they may not uniquely determine the curve.

Restricted cases If the curve is required to be in a particular sub-category of n-th degree polynomial equations, then fewer than n(n + 3) / 2 points may be necessary and sufficient to determine a unique curve. Per esempio, the generic circle is given by the equation {stile di visualizzazione (x-a)^{2}+(y-b)^{2}=r^{2}} where the center is located at (un, b) and the radius is r. Equivalentemente, by expanding the squared terms, the generic equation is {stile di visualizzazione x^{2}-2ax+y^{2}-2by=k,} dove {displaystyle k=r^{2}-un^{2}-b^{2}.} Two restrictions have been imposed here compared to the general conic case of n = 2: the coefficient of the term in xy is restricted to equal 0, and the coefficient of y2 is restricted to equal the coefficient of x2. Thus instead of five points being needed, solo 5 – 2 = 3 are needed, coinciding with the 3 parameters a, b, K (equivalently a, b, r) that need to be identified.

See also Five points determine a conic References ^ * Introduction à l'analyse des lignes courbes algébriques at Google Books. Geneva: Frères Cramer & Cl. Philibert, 1750. Categorie: AlgebraAnalytic geometry

Se vuoi conoscere altri articoli simili a Cramer's theorem (algebraic curves) puoi visitare la categoria Algebra.

lascia un commento

L'indirizzo email non verrà pubblicato.

Vai su

Utilizziamo cookie propri e di terze parti per migliorare l'esperienza dell'utente Maggiori informazioni