Misplaced Pages

#623376

197-401: An ellipse has a simple algebraic solution for its area, but for its perimeter (also known as circumference ), integration is required to obtain an exact solution. Analytically , the equation of a standard ellipse centered at the origin with width 2 a {\displaystyle 2a} and height 2 b {\displaystyle 2b} is: x 2

394-454: A a 2 − x 2 = ± ( a 2 − x 2 ) ( 1 − e 2 ) . {\displaystyle y=\pm {\frac {b}{a}}{\sqrt {a^{2}-x^{2}}}=\pm {\sqrt {\left(a^{2}-x^{2}\right)\left(1-e^{2}\right)}}.} The width and height parameters a , b {\displaystyle a,\;b} are called

591-437: A {\displaystyle \left|\left|PF_{2}\right|-\left|PF_{1}\right|\right|=2a} can be viewed in a different way (see diagram): If c 2 {\displaystyle c_{2}} is the circle with midpoint F 2 {\displaystyle F_{2}} and radius 2 a {\displaystyle 2a} , then the distance of a point P {\displaystyle P} of

788-563: A {\displaystyle a} to object b {\displaystyle b} , and another morphism from object b {\displaystyle b} to object c {\displaystyle c} , then there must also exist one from object a {\displaystyle a} to object c {\displaystyle c} . Composition of morphisms is required to be associative, and there must be an "identity morphism" for every object. Categories are widely used in contemporary mathematics since they provide

985-496: A {\displaystyle a} to the center. The distance c {\displaystyle c} of the foci to the center is called the focal distance or linear eccentricity . The quotient c a {\displaystyle {\tfrac {c}{a}}} is the eccentricity e {\displaystyle e} . The equation | | P F 2 | − | P F 1 | | = 2

1182-403: A {\displaystyle a} , b {\displaystyle b} , and c {\displaystyle c} are usually used for constants and coefficients . The expression 5 x + 3 {\displaystyle 5x+3} is an algebraic expression created by multiplying the number 5 with the variable x {\displaystyle x} and adding

1379-394: A ) 2 a 2 − y 2 b 2 = 1 , {\displaystyle {\frac {(x+a)^{2}}{a^{2}}}-{\frac {y^{2}}{b^{2}}}=1\,,} which is the equation of a hyperbola with center ( − a , 0 ) {\displaystyle (-a,0)} , the x -axis as major axis and the major/minor semi axis

1576-457: A 2 x 2 − b 2 {\displaystyle y^{2}={\tfrac {b^{2}}{a^{2}}}x^{2}-b^{2}} satisfy the equation | P F 1 | 2 − c 2 a 2 | P l 1 | 2 = 0   . {\displaystyle |PF_{1}|^{2}-{\frac {c^{2}}{a^{2}}}|Pl_{1}|^{2}=0\ .} The second case

1773-423: A 2 − y 2 b 2 = 1 {\displaystyle {\tfrac {x^{2}}{a^{2}}}-{\tfrac {y^{2}}{b^{2}}}=1} one uses the pencils at the vertices V 1 , V 2 {\displaystyle V_{1},V_{2}} . Let P = ( x 0 , y 0 ) {\displaystyle P=(x_{0},y_{0})} be

1970-391: A 2 = 1 {\displaystyle {\tfrac {x^{2}-y^{2}}{a^{2}}}=1} (whose semi-axes are equal) has the new equation 2 ξ η a 2 = 1 {\displaystyle {\tfrac {2\xi \eta }{a^{2}}}=1} . Solving for η {\displaystyle \eta } yields η =

2167-528: A 2 x 1 b 2 ) {\displaystyle {\begin{pmatrix}-y_{1}a^{2}&x_{1}b^{2}\end{pmatrix}}} is a tangent vector at point ( x 1 , y 1 ) {\displaystyle (x_{1},\,y_{1})} , which proves the vector equation. If ( x 1 , y 1 ) {\displaystyle (x_{1},y_{1})} and ( u , v ) {\displaystyle (u,v)} are two points of

SECTION 10

#1732837655624

2364-621: A 2 + y 1 v b 2 ) + s 2 ( u 2 a 2 + v 2 b 2 ) = 0   . {\displaystyle {\frac {\left(x_{1}+su\right)^{2}}{a^{2}}}+{\frac {\left(y_{1}+sv\right)^{2}}{b^{2}}}=1\ \quad \Longrightarrow \quad 2s\left({\frac {x_{1}u}{a^{2}}}+{\frac {y_{1}v}{b^{2}}}\right)+s^{2}\left({\frac {u^{2}}{a^{2}}}+{\frac {v^{2}}{b^{2}}}\right)=0\ .} There are then cases: Using (1) one finds that ( − y 1

2561-549: A 2 + y 2 b 2 = 1. {\displaystyle {\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}=1.} Assuming a ≥ b {\displaystyle a\geq b} , the foci are ( ± c , 0 ) {\displaystyle (\pm c,0)} for c = a 2 − b 2 {\textstyle c={\sqrt {a^{2}-b^{2}}}} . The standard parametric equation is: ( x , y ) = (

2758-481: A 2 / 2 ξ   . {\displaystyle \eta ={\tfrac {a^{2}/2}{\xi }}\ .} Thus, in an xy -coordinate system the graph of a function f : x ↦ A x , A > 0 , {\displaystyle f:x\mapsto {\tfrac {A}{x}},\;A>0\;,} with equation y = A x , A > 0 , {\displaystyle y={\frac {A}{x}}\;,A>0\;,}

2955-466: A 2 b 2 . {\displaystyle {\begin{aligned}A&=a^{2}\sin ^{2}\theta +b^{2}\cos ^{2}\theta &B&=2\left(b^{2}-a^{2}\right)\sin \theta \cos \theta \\[1ex]C&=a^{2}\cos ^{2}\theta +b^{2}\sin ^{2}\theta &D&=-2Ax_{\circ }-By_{\circ }\\[1ex]E&=-Bx_{\circ }-2Cy_{\circ }&F&=Ax_{\circ }^{2}+Bx_{\circ }y_{\circ }+Cy_{\circ }^{2}-a^{2}b^{2}.\end{aligned}}} These expressions can be derived from

3152-542: A 2 cos 2 ⁡ θ + b 2 sin 2 ⁡ θ D = − 2 A x ∘ − B y ∘ E = − B x ∘ − 2 C y ∘ F = A x ∘ 2 + B x ∘ y ∘ + C y ∘ 2 −

3349-746: A 2 x 2 + . . . + a n x n = b {\displaystyle a_{1}x_{1}+a_{2}x_{2}+...+a_{n}x_{n}=b} where a 1 {\displaystyle a_{1}} , a 2 {\displaystyle a_{2}} , ..., a n {\displaystyle a_{n}} and b {\displaystyle b} are constants. Examples are x 1 − 7 x 2 + 3 x 3 = 0 {\displaystyle x_{1}-7x_{2}+3x_{3}=0} and 1 4 x − y = 4 {\textstyle {\frac {1}{4}}x-y=4} . A system of linear equations

3546-462: A 2 − b 2 {\displaystyle c={\sqrt {a^{2}-b^{2}}}} . The eccentricity can be expressed as: e = c a = 1 − ( b a ) 2 , {\displaystyle e={\frac {c}{a}}={\sqrt {1-\left({\frac {b}{a}}\right)^{2}}},} assuming a > b . {\displaystyle a>b.} An ellipse with equal axes (

3743-429: A ∘ a − 1 = a − 1 ∘ a = e {\displaystyle a\circ a^{-1}=a^{-1}\circ a=e} . Every algebraic structure that fulfills these requirements is a group. For example, ⟨ Z , + ⟩ {\displaystyle \langle \mathbb {Z} ,+\rangle } is a group formed by the set of integers together with

3940-433: A ∘ b ) ∘ c {\displaystyle (a\circ b)\circ c} is the same as a ∘ ( b ∘ c ) {\displaystyle a\circ (b\circ c)} for all elements. An operation has an identity element or a neutral element if one element e exists that does not change the value of any other element, i.e., if a ∘ e = e ∘

4137-425: A ≥ b > 0   . {\displaystyle a\geq b>0\ .} In principle, the canonical ellipse equation x 2 a 2 + y 2 b 2 = 1 {\displaystyle {\tfrac {x^{2}}{a^{2}}}+{\tfrac {y^{2}}{b^{2}}}=1} may have a < b {\displaystyle a<b} (and hence

SECTION 20

#1732837655624

4334-402: A + c a . {\displaystyle (b+c)a=ba+ca.} Moreover, multiplication is associative and has an identity element generally denoted as 1 . Multiplication needs not to be commutative; if it is commutative, one has a commutative ring . The ring of integers ( Z {\displaystyle \mathbb {Z} } ) is one of the simplest commutative rings. A field

4531-458: A + e x {\displaystyle a+ex} and a − e x {\displaystyle a-ex} . It follows from the equation that the ellipse is symmetric with respect to the coordinate axes and hence with respect to the origin. Throughout this article, the semi-major and semi-minor axes are denoted a {\displaystyle a} and b {\displaystyle b} , respectively, i.e.

4728-490: A , 0 ) . {\textstyle [1:0]\mapsto (-a,\,0).} Rational representations of conic sections are commonly used in computer-aided design (see Bezier curve ). Algebra Algebra is the branch of mathematics that studies certain abstract systems , known as algebraic structures , and the manipulation of statements within those systems. It is a generalization of arithmetic that introduces variables and algebraic operations other than

4925-400: A , b {\displaystyle a,b} so that e 2 − 1 = b 2 a 2 ,  and    p = b 2 a {\displaystyle e^{2}-1={\tfrac {b^{2}}{a^{2}}},{\text{ and }}\ p={\tfrac {b^{2}}{a}}} , and then the equation above becomes ( x +

5122-468: A , b {\displaystyle a,b} . Because of c ⋅ a 2 c = a 2 {\displaystyle c\cdot {\tfrac {a^{2}}{c}}=a^{2}} point L 1 {\displaystyle L_{1}} of directrix l 1 {\displaystyle l_{1}} (see diagram) and focus F 1 {\displaystyle F_{1}} are inverse with respect to

5319-404: A , b , p , c , e {\displaystyle a,b,p,c,e} remain unchanged. The two lines at distance d = a 2 c {\textstyle d={\frac {a^{2}}{c}}} from the center and parallel to the minor axis are called directrices of the hyperbola (see diagram). For an arbitrary point P {\displaystyle P} of

5516-437: A = a {\displaystyle a\circ e=e\circ a=a} . An operation has inverse elements if for any element a {\displaystyle a} there exists a reciprocal element a − 1 {\displaystyle a^{-1}} that undoes a {\displaystyle a} . If an element operates on its inverse then the result is the neutral element e , expressed formally as

5713-595: A = b {\displaystyle a=b} ) has zero eccentricity, and is a circle. The length of the chord through one focus, perpendicular to the major axis, is called the latus rectum . One half of it is the semi-latus rectum ℓ {\displaystyle \ell } . A calculation shows: ℓ = b 2 a = a ( 1 − e 2 ) . {\displaystyle \ell ={\frac {b^{2}}{a}}=a\left(1-e^{2}\right).} The semi-latus rectum ℓ {\displaystyle \ell }

5910-429: A cos ⁡ ( t ) , b sin ⁡ ( t ) ) for 0 ≤ t ≤ 2 π . {\displaystyle (x,y)=(a\cos(t),b\sin(t))\quad {\text{for}}\quad 0\leq t\leq 2\pi .} Ellipses are the closed type of conic section : a plane curve tracing the intersection of a cone with a plane (see figure). Ellipses have many similarities with

6107-652: A Lie algebra or an associative algebra . The word algebra comes from the Arabic term الجبر ( al-jabr ), which originally referred to the surgical treatment of bonesetting . In the 9th century, the term received a mathematical meaning when the Persian mathematician Muhammad ibn Musa al-Khwarizmi employed it to describe a method of solving equations and used it in the title of a treatise on algebra, al-Kitāb al-Mukhtaṣar fī Ḥisāb al-Jabr wal-Muqābalah [ The Compendious Book on Calculation by Completion and Balancing ] which

Ellipse - Misplaced Pages Continue

6304-445: A hyperbola is a type of smooth curve lying in a plane , defined by its geometric properties or by equations for which it is the solution set. A hyperbola has two pieces, called connected components or branches, that are mirror images of each other and resemble two infinite bows . The hyperbola is one of the three kinds of conic section , formed by the intersection of a plane and a double cone . (The other conic sections are

6501-599: A parabola and if e < 1 {\displaystyle e<1} an ellipse .) Let F = ( f , 0 ) ,   e > 0 {\displaystyle F=(f,0),\ e>0} and assume ( 0 , 0 ) {\displaystyle (0,0)} is a point on the curve. The directrix l {\displaystyle l} has equation x = − f e {\displaystyle x=-{\tfrac {f}{e}}} . With P = ( x , y ) {\displaystyle P=(x,y)} ,

6698-509: A hyperbola in this section gives a parametric representation of an arbitrary hyperbola, even in space, if one allows f → 0 , f → 1 , f → 2 {\displaystyle {\vec {f}}\!_{0},{\vec {f}}\!_{1},{\vec {f}}\!_{2}} to be vectors in space. Because the unit hyperbola x 2 − y 2 = 1 {\displaystyle x^{2}-y^{2}=1}

6895-456: A hyperbola uses affine transformations : An affine transformation of the Euclidean plane has the form x → → f → 0 + A x → {\displaystyle {\vec {x}}\to {\vec {f}}_{0}+A{\vec {x}}} , where A {\displaystyle A} is a regular matrix (its determinant

7092-461: A key turning point in the history of algebra and consider what came before it as the prehistory of algebra because it lacked the abstract nature based on symbolic manipulation. In the 17th and 18th centuries, many attempts were made to find general solutions to polynomials of degree five and higher. All of them failed. At the end of the 18th century, the German mathematician Carl Friedrich Gauss proved

7289-467: A large part of linear algebra. A vector space is an algebraic structure formed by a set with an addition that makes it an abelian group and a scalar multiplication that is compatible with addition (see vector space for details). A linear map is a function between vector spaces that is compatible with addition and scalar multiplication. In the case of finite-dimensional vector spaces , vectors and linear maps can be represented by matrices. It follows that

7486-472: A point of the hyperbola and A = ( a , y 0 ) , B = ( x 0 , 0 ) {\displaystyle A=(a,y_{0}),B=(x_{0},0)} . The line segment B P ¯ {\displaystyle {\overline {BP}}} is divided into n equally-spaced segments and this division is projected parallel with the diagonal A B {\displaystyle AB} as direction onto

7683-522: A point on an ellipse and x → = ( x 1 y 1 ) + s ( u v ) {\textstyle {\vec {x}}={\begin{pmatrix}x_{1}\\y_{1}\end{pmatrix}}+s{\begin{pmatrix}u\\v\end{pmatrix}}} be the equation of any line g {\displaystyle g} containing ( x 1 , y 1 ) {\displaystyle (x_{1},\,y_{1})} . Inserting

7880-412: A positive degree can be factorized into linear polynomials. This theorem was proved at the beginning of the 19th century, but this does not close the problem since the theorem does not provide any way for computing the solutions. Linear algebra starts with the study systems of linear equations . An equation is linear if it can be expressed in the form a 1 x 1 +

8077-428: A second-degree polynomial equation of the form a x 2 + b x + c = 0 {\displaystyle ax^{2}+bx+c=0} is given by the quadratic formula x = − b ± b 2 − 4 a c   2 a . {\displaystyle x={\frac {-b\pm {\sqrt {b^{2}-4ac\ }}}{2a}}.} Solutions for

Ellipse - Misplaced Pages Continue

8274-447: A similar way, if one knows the value of one variable one may be able to use it to determine the value of other variables. Algebraic equations can be interpreted geometrically to describe spatial figures in the form of a graph . To do so, the different variables in the equation are understood as coordinates and the values that solve the equation are interpreted as points of a graph. For example, if x {\displaystyle x}

8471-435: A statement formed by comparing two expressions, saying that they are equal. This can be expressed using the equals sign ( = {\displaystyle =} ), as in 5 x 2 + 6 x = 3 y + 4 {\displaystyle 5x^{2}+6x=3y+4} . Inequations involve a different type of comparison, saying that the two sides are different. This can be expressed using symbols such as

8668-527: A unifying framework to describe and analyze many fundamental mathematical concepts. For example, sets can be described with the category of sets , and any group can be regarded as the morphisms of a category with just one object. The origin of algebra lies in attempts to solve mathematical problems involving arithmetic calculations and unknown quantities. These developments happened in the ancient period in Babylonia , Egypt , Greece , China , and India . One of

8865-2597: A vertex the tangent is perpendicular to the major axis of the hyperbola one gets the parameter t 0 {\displaystyle t_{0}} of a vertex from the equation p → ′ ( t ) ⋅ ( p → ( t ) − f → 0 ) = ( f → 1 sinh ⁡ t + f → 2 cosh ⁡ t ) ⋅ ( f → 1 cosh ⁡ t + f → 2 sinh ⁡ t ) = 0 {\displaystyle {\vec {p}}'(t)\cdot \left({\vec {p}}(t)-{\vec {f}}_{0}\right)=\left({\vec {f}}_{1}\sinh t+{\vec {f}}_{2}\cosh t\right)\cdot \left({\vec {f}}_{1}\cosh t+{\vec {f}}_{2}\sinh t\right)=0} and hence from coth ⁡ ( 2 t 0 ) = − f → 1 2 + f → 2 2 2 f → 1 ⋅ f → 2   , {\displaystyle \coth(2t_{0})=-{\tfrac {{\vec {f}}_{1}^{\,2}+{\vec {f}}_{2}^{\,2}}{2{\vec {f}}_{1}\cdot {\vec {f}}_{2}}}\ ,} which yields t 0 = 1 4 ln ⁡ ( f → 1 − f → 2 ) 2 ( f → 1 + f → 2 ) 2 . {\displaystyle t_{0}={\tfrac {1}{4}}\ln {\tfrac {\left({\vec {f}}_{1}-{\vec {f}}_{2}\right)^{2}}{\left({\vec {f}}_{1}+{\vec {f}}_{2}\right)^{2}}}.} The formulae cosh 2 ⁡ x + sinh 2 ⁡ x = cosh ⁡ 2 x {\displaystyle \cosh ^{2}x+\sinh ^{2}x=\cosh 2x} , 2 sinh ⁡ x cosh ⁡ x = sinh ⁡ 2 x {\displaystyle 2\sinh x\cosh x=\sinh 2x} , and arcoth ⁡ x = 1 2 ln ⁡ x + 1 x − 1 {\displaystyle \operatorname {arcoth} x={\tfrac {1}{2}}\ln {\tfrac {x+1}{x-1}}} were used. The two vertices of

9062-400: A whole is zero if and only if one of its factors is zero, i.e., if x {\displaystyle x} is either −2 or 5. Before the 19th century, much of algebra was devoted to polynomial equations , that is equations obtained by equating a polynomial to zero. The first attempts for solving polynomial equations was to express the solutions in terms of n th roots . The solution of

9259-397: Is a commutative group under addition: the addition of the ring is associative, commutative, and has an identity element and inverse elements. The multiplication is associative and distributive with respect to addition; that is, a ( b + c ) = a b + a c {\displaystyle a(b+c)=ab+ac} and ( b + c ) a = b

9456-426: Is a rectangular hyperbola entirely in the first and third quadrants with A rotation of the original hyperbola by − 45 ∘ {\displaystyle -45^{\circ }} results in a rectangular hyperbola entirely in the second and fourth quadrants, with the same asymptotes, center, semi-latus rectum, radius of curvature at the vertices, linear eccentricity, and eccentricity as for

9653-438: Is a commutative ring such that ⁠ 1 ≠ 0 {\displaystyle 1\neq 0} ⁠ and each nonzero element has a multiplicative inverse . The ring of integers does not form a field because it lacks multiplicative inverses. For example, the multiplicative inverse of 7 {\displaystyle 7} is 1 7 {\displaystyle {\tfrac {1}{7}}} , which

9850-452: Is a constant. This constant ratio is the above-mentioned eccentricity: e = c a = 1 − b 2 a 2 . {\displaystyle e={\frac {c}{a}}={\sqrt {1-{\frac {b^{2}}{a^{2}}}}}.} Ellipses are common in physics , astronomy and engineering . For example, the orbit of each planet in the Solar System

10047-475: Is a function from the underlying set of one algebraic structure to the underlying set of another algebraic structure that preserves certain structural characteristics. If the two algebraic structures use binary operations and have the form ⟨ A , ∘ ⟩ {\displaystyle \langle A,\circ \rangle } and ⟨ B , ⋆ ⟩ {\displaystyle \langle B,\star \rangle } then

SECTION 50

#1732837655624

10244-504: Is a method used to simplify polynomials, making it easier to analyze them and determine the values for which they evaluate to zero . Factorization consists in rewriting a polynomial as a product of several factors. For example, the polynomial x 2 − 3 x − 10 {\displaystyle x^{2}-3x-10} can be factorized as ( x + 2 ) ( x − 5 ) {\displaystyle (x+2)(x-5)} . The polynomial as

10441-402: Is a point of the hyperbola. The tangent vector is p → ′ ( t ) = f → 1 − f → 2 1 t 2 . {\displaystyle {\vec {p}}'(t)={\vec {f}}_{1}-{\vec {f}}_{2}{\tfrac {1}{t^{2}}}.} At a vertex the tangent is perpendicular to

10638-487: Is a polynomial with one term while two- and three-term polynomials are called binomials and trinomials. The degree of a polynomial is the maximal value (among its terms) of the sum of the exponents of the variables (4 in the above example). Polynomials of degree one are called linear polynomials . Linear algebra studies systems of linear polynomials. A polynomial is said to be univariate or multivariate , depending on whether it uses one or more variables. Factorization

10835-941: Is a set of linear equations for which one is interested in common solutions. Matrices are rectangular arrays of values that have been originally introduced for having a compact and synthetic notation for systems of linear equations For example, the system of equations 9 x 1 + 3 x 2 − 13 x 3 = 0 2.3 x 1 + 7 x 3 = 9 − 5 x 1 − 17 x 2 = − 3 {\displaystyle {\begin{aligned}9x_{1}+3x_{2}-13x_{3}&=0\\2.3x_{1}+7x_{3}&=9\\-5x_{1}-17x_{2}&=-3\end{aligned}}} can be written as A X = B , {\displaystyle AX=B,} where A , B {\displaystyle A,B} and C {\displaystyle C} are

11032-830: Is affinely equivalent to the hyperbola y = 1 / x {\displaystyle y=1/x} , an arbitrary hyperbola can be considered as the affine image (see previous section) of the hyperbola y = 1 / x {\displaystyle y=1/x\,} : x → = p → ( t ) = f → 0 + f → 1 t + f → 2 1 t , t ≠ 0 . {\displaystyle {\vec {x}}={\vec {p}}(t)={\vec {f}}_{0}+{\vec {f}}_{1}t+{\vec {f}}_{2}{\tfrac {1}{t}},\quad t\neq 0\,.} M : f → 0 {\displaystyle M:{\vec {f}}_{0}}

11229-468: Is also the simplest Lissajous figure formed when the horizontal and vertical motions are sinusoids with the same frequency: a similar effect leads to elliptical polarization of light in optics . The name, ἔλλειψις ( élleipsis , "omission"), was given by Apollonius of Perga in his Conics . An ellipse can be defined geometrically as a set or locus of points in the Euclidean plane: The midpoint C {\displaystyle C} of

11426-414: Is an expression consisting of one or more terms that are added or subtracted from each other, like x 4 + 3 x y 2 + 5 x 3 − 1 {\displaystyle x^{4}+3xy^{2}+5x^{3}-1} . Each term is either a constant, a variable, or a product of a constant and variables. Each variable can be raised to a positive-integer power. A monomial

11623-629: Is applied to one side of an equation also needs to be done to the other side. For example, if one subtracts 5 from the left side of an equation one also needs to subtract 5 from the right side to balance both sides. The goal of these steps is usually to isolate the variable one is interested in on one side, a process known as solving the equation for that variable. For example, the equation x − 7 = 4 {\displaystyle x-7=4} can be solved for x {\displaystyle x} by adding 7 to both sides, which isolates x {\displaystyle x} on

11820-559: Is approximately an ellipse with the Sun at one focus point (more precisely, the focus is the barycenter of the Sun–planet pair). The same is true for moons orbiting planets and all other systems of two astronomical bodies. The shapes of planets and stars are often well described by ellipsoids . A circle viewed from a side angle looks like an ellipse: that is, the ellipse is the image of a circle under parallel or perspective projection . The ellipse

12017-438: Is at the center of symmetry of the hyperbola, which can be thought of as the mirror point about which each branch reflects to form the other branch. In the case of the curve y ( x ) = 1 / x {\displaystyle y(x)=1/x} the asymptotes are the two coordinate axes . Hyperbolas share many of the ellipses' analytical properties such as eccentricity , focus , and directrix . Typically

SECTION 60

#1732837655624

12214-416: Is called the circular directrix (related to focus F 2 {\displaystyle F_{2}} ) of the hyperbola. In order to get the left branch of the hyperbola, one has to use the circular directrix related to F 1 {\displaystyle F_{1}} . This property should not be confused with the definition of a hyperbola with help of a directrix (line) below. If

12411-447: Is equal to the radius of curvature at the vertices (see section curvature ). An arbitrary line g {\displaystyle g} intersects an ellipse at 0, 1, or 2 points, respectively called an exterior line , tangent and secant . Through any point of an ellipse there is a unique tangent. The tangent at a point ( x 1 , y 1 ) {\displaystyle (x_{1},\,y_{1})} of

12608-423: Is equivalent to t 0 = ± 1 {\displaystyle t_{0}=\pm 1} and f → 0 ± ( f → 1 + f → 2 ) {\displaystyle {\vec {f}}_{0}\pm ({\vec {f}}_{1}+{\vec {f}}_{2})} are the vertices of the hyperbola. The following properties of

12805-473: Is included as a special type of ellipse. The equation | P F 2 | + | P F 1 | = 2 a {\displaystyle \left|PF_{2}\right|+\left|PF_{1}\right|=2a} can be viewed in a different way (see figure): c 2 {\displaystyle c_{2}} is called the circular directrix (related to focus F 2 {\displaystyle F_{2}} ) of

13002-549: Is mapped onto the hyperbola x → = p → ( t ) = f → 0 ± f → 1 cosh ⁡ t + f → 2 sinh ⁡ t   . {\displaystyle {\vec {x}}={\vec {p}}(t)={\vec {f}}_{0}\pm {\vec {f}}_{1}\cosh t+{\vec {f}}_{2}\sinh t\ .} f → 0 {\displaystyle {\vec {f}}_{0}}

13199-408: Is no solution since they never intersect. If two equations are not independent then they describe the same line, meaning that every solution of one equation is also a solution of the other equation. These relations make it possible to seek solutions graphically by plotting the equations and determining where they intersect. The same principles also apply to systems of equations with more variables, with

13396-570: Is not Euclidean ). The word "hyperbola" derives from the Greek ὑπερβολή , meaning "over-thrown" or "excessive", from which the English term hyperbole also derives. Hyperbolae were discovered by Menaechmus in his investigations of the problem of doubling the cube , but were then called sections of obtuse cones. The term hyperbola is believed to have been coined by Apollonius of Perga ( c.  262  – c.  190 BC ) in his definitive work on

13593-611: Is not 0) and f → 0 {\displaystyle {\vec {f}}_{0}} is an arbitrary vector. If f → 1 , f → 2 {\displaystyle {\vec {f}}_{1},{\vec {f}}_{2}} are the column vectors of the matrix A {\displaystyle A} , the unit hyperbola ( ± cosh ⁡ ( t ) , sinh ⁡ ( t ) ) , t ∈ R , {\displaystyle (\pm \cosh(t),\sinh(t)),t\in \mathbb {R} ,}

13790-482: Is not an integer. The rational numbers , the real numbers , and the complex numbers each form a field with the operations of addition and multiplication. Ring theory is the study of rings, exploring concepts such as subrings , quotient rings , polynomial rings , and ideals as well as theorems such as Hilbert's basis theorem . Field theory is concerned with fields, examining field extensions , algebraic closures , and finite fields . Galois theory explores

13987-479: Is proven analogously. The inverse statement is also true and can be used to define a hyperbola (in a manner similar to the definition of a parabola): For any point F {\displaystyle F} (focus), any line l {\displaystyle l} (directrix) not through F {\displaystyle F} and any real number e {\displaystyle e} with e > 1 {\displaystyle e>1}

14184-400: Is set to zero in the equation y = 0.5 x − 1 {\displaystyle y=0.5x-1} , then y {\displaystyle y} must be −1 for the equation to be true. This means that the ( x , y ) {\displaystyle (x,y)} -pair ( 0 , − 1 ) {\displaystyle (0,-1)} is part of

14381-403: Is the identity matrix . Then, multiplying on the left both members of the above matrix equation by A − 1 , {\displaystyle A^{-1},} one gets the solution of the system of linear equations as X = A − 1 B . {\displaystyle X=A^{-1}B.} Methods of solving systems of linear equations range from

14578-625: Is the 2-argument arctangent function. Using trigonometric functions , a parametric representation of the standard ellipse x 2 a 2 + y 2 b 2 = 1 {\displaystyle {\tfrac {x^{2}}{a^{2}}}+{\tfrac {y^{2}}{b^{2}}}=1} is: ( x , y ) = ( a cos ⁡ t , b sin ⁡ t ) ,   0 ≤ t < 2 π . {\displaystyle (x,\,y)=(a\cos t,\,b\sin t),\ 0\leq t<2\pi \,.} The parameter t (called

14775-414: Is the application of group theory to analyze graphs and symmetries. The insights of algebra are also relevant to calculus, which uses mathematical expressions to examine rates of change and accumulation . It relies on algebra, for instance, to understand how these expressions can be transformed and what role variables play in them. Algebraic logic employs the methods of algebra to describe and analyze

14972-423: Is the branch of mathematics that studies algebraic structures and the operations they use. An algebraic structure is a non-empty set of mathematical objects , such as the integers , together with algebraic operations defined on that set, like addition and multiplication . Algebra explores the laws, general characteristics, and types of algebraic structures. Within certain algebraic structures, it examines

15169-425: Is the case because the sum of two even numbers is again an even number. But the set of odd integers together with addition is not a subalgebra because it is not closed: adding two odd numbers produces an even number, which is not part of the chosen subset. Universal algebra is the study of algebraic structures in general. As part of its general perspective, it is not concerned with the specific elements that make up

15366-397: Is the center of the hyperbola, the vectors f → 1 , f → 2 {\displaystyle {\vec {f}}_{1},{\vec {f}}_{2}} have the directions of the asymptotes and f → 1 + f → 2 {\displaystyle {\vec {f}}_{1}+{\vec {f}}_{2}}

15563-744: Is the center, f → 0 + f → 1 {\displaystyle {\vec {f}}_{0}+{\vec {f}}_{1}} a point of the hyperbola and f → 2 {\displaystyle {\vec {f}}_{2}} a tangent vector at this point. In general the vectors f → 1 , f → 2 {\displaystyle {\vec {f}}_{1},{\vec {f}}_{2}} are not perpendicular. That means, in general f → 0 ± f → 1 {\displaystyle {\vec {f}}_{0}\pm {\vec {f}}_{1}} are not

15760-442: Is the equation of an ellipse ( e < 1 {\displaystyle e<1} ) or a parabola ( e = 1 {\displaystyle e=1} ) or a hyperbola ( e > 1 {\displaystyle e>1} ). All of these non-degenerate conics have, in common, the origin as a vertex (see diagram). If e > 1 {\displaystyle e>1} , introduce new parameters

15957-545: Is the intersection of the asymptote with its perpendicular through F 1 {\displaystyle F_{1}} (see diagram). The intersection of an upright double cone by a plane not through the vertex with slope greater than the slope of the lines on the cone is a hyperbola (see diagram: red curve). In order to prove the defining property of a hyperbola (see above) one uses two Dandelin spheres d 1 , d 2 {\displaystyle d_{1},d_{2}} , which are spheres that touch

16154-412: Is the perpendicular to line F 1 F 2 ¯ {\displaystyle {\overline {F_{1}F_{2}}}} through point E 1 {\displaystyle E_{1}} . Alternative construction of E 1 {\displaystyle E_{1}} : Calculation shows, that point E 1 {\displaystyle E_{1}}

16351-421: Is the process of applying algebraic methods and principles to other branches of mathematics , such as geometry , topology , number theory , and calculus . It happens by employing symbols in the form of variables to express mathematical insights on a more general level, allowing mathematicians to develop formal models describing how objects interact and relate to each other. One application, found in geometry,

16548-886: Is the solution of the equation ( y − y 1 ) ( x − x 1 ) ( x − x 2 ) ( y − y 2 ) = ( y 3 − y 1 ) ( x 3 − x 1 ) ( x 3 − x 2 ) ( y 3 − y 2 ) {\displaystyle {\frac {({\color {red}y}-y_{1})}{({\color {green}x}-x_{1})}}{\frac {({\color {green}x}-x_{2})}{({\color {red}y}-y_{2})}}={\frac {(y_{3}-y_{1})}{(x_{3}-x_{1})}}{\frac {(x_{3}-x_{2})}{(y_{3}-y_{2})}}} for y {\displaystyle {\color {red}y}} . Another definition of

16745-472: Is the study of numerical operations and investigates how numbers are combined and transformed using the arithmetic operations of addition , subtraction , multiplication , division , exponentiation , extraction of roots , and logarithm . For example, the operation of addition combines two numbers, called the addends, into a third number, called the sum, as in 2 + 5 = 7 {\displaystyle 2+5=7} . Elementary algebra relies on

16942-718: Is the use of algebraic statements to describe geometric figures. For example, the equation y = 3 x − 7 {\displaystyle y=3x-7} describes a line in two-dimensional space while the equation x 2 + y 2 + z 2 = 1 {\displaystyle x^{2}+y^{2}+z^{2}=1} corresponds to a sphere in three-dimensional space. Of special interest to algebraic geometry are algebraic varieties , which are solutions to systems of polynomial equations that can be used to describe more complex geometric figures. Algebraic reasoning can also solve geometric problems. For example, one can determine whether and where

17139-466: Is true for all elements of the underlying set. For example, commutativity is a universal equation that states that a ∘ b {\displaystyle a\circ b} is identical to b ∘ a {\displaystyle b\circ a} for all elements. A variety is a class of all algebraic structures that satisfy certain identities. For example, if two algebraic structures satisfy commutativity then they are both part of

17336-446: Is true if x {\displaystyle x} is either 2 or −2 and false otherwise. Equations with variables can be divided into identity equations and conditional equations. Identity equations are true for all values that can be assigned to the variables, such as the equation 2 x + 5 x = 7 x {\displaystyle 2x+5x=7x} . Conditional equations are only true for some values. For example,

17533-804: The eccentric anomaly in astronomy) is not the angle of ( x ( t ) , y ( t ) ) {\displaystyle (x(t),y(t))} with the x -axis, but has a geometric meaning due to Philippe de La Hire (see § Drawing ellipses below). With the substitution u = tan ⁡ ( t 2 ) {\textstyle u=\tan \left({\frac {t}{2}}\right)} and trigonometric formulae one obtains cos ⁡ t = 1 − u 2 1 + u 2   , sin ⁡ t = 2 u 1 + u 2 {\displaystyle \cos t={\frac {1-u^{2}}{1+u^{2}}}\ ,\quad \sin t={\frac {2u}{1+u^{2}}}} and

17730-394: The circle inversion at circle x 2 + y 2 = a 2 {\displaystyle x^{2}+y^{2}=a^{2}} (in diagram green). Hence point E 1 {\displaystyle E_{1}} can be constructed using the theorem of Thales (not shown in the diagram). The directrix l 1 {\displaystyle l_{1}}

17927-503: The conic sections , the Conics . The names of the other two general conic sections, the ellipse and the parabola , derive from the corresponding Greek words for "deficient" and "applied"; all three names are borrowed from earlier Pythagorean terminology which referred to a comparison of the side of rectangles of fixed area with a given line segment. The rectangle could be "applied" to the segment (meaning, have an equal length), be shorter than

18124-786: The degenerate cases from the non-degenerate case, let ∆ be the determinant Δ = | A 1 2 B 1 2 D 1 2 B C 1 2 E 1 2 D 1 2 E F | = A C F + 1 4 B D E − 1 4 ( A E 2 + C D 2 + F B 2 ) . {\displaystyle \Delta ={\begin{vmatrix}A&{\frac {1}{2}}B&{\frac {1}{2}}D\\{\frac {1}{2}}B&C&{\frac {1}{2}}E\\{\frac {1}{2}}D&{\frac {1}{2}}E&F\end{vmatrix}}=ACF+{\tfrac {1}{4}}BDE-{\tfrac {1}{4}}(AE^{2}+CD^{2}+FB^{2}).} Then

18321-547: The difference of two squares method and later in Euclid's Elements . In the 3rd century CE, Diophantus provided a detailed treatment of how to solve algebraic equations in a series of books called Arithmetica . He was the first to experiment with symbolic notation to express polynomials. Diophantus's work influenced Arab development of algebra with many of his methods reflected in the concepts and techniques used in medieval Arabic algebra. In ancient China, The Nine Chapters on

18518-452: The foci of the hyperbola. The definition of a hyperbola by its foci and its circular directrices (see above) can be used for drawing an arc of it with help of pins, a string and a ruler: The following method to construct single points of a hyperbola relies on the Steiner generation of a non degenerate conic section : For the generation of points of the hyperbola x 2

18715-525: The fundamental theorem of algebra , which describes the existence of zeros of polynomials of any degree without providing a general solution. At the beginning of the 19th century, the Italian mathematician Paolo Ruffini and the Norwegian mathematician Niels Henrik Abel were able to show that no general solution exists for polynomials of degree five and higher. In response to and shortly after their findings,

18912-602: The fundamental theorem of finite abelian groups and the Feit–Thompson theorem . The latter was a key early step in one of the most important mathematical achievements of the 20th century: the collaborative effort, taking up more than 10,000 journal pages and mostly published between 1960 and 2004, that culminated in a complete classification of finite simple groups . A ring is an algebraic structure with two operations that work similarly to addition and multiplication of numbers and are named and generally denoted similarly. A ring

19109-461: The less-than sign ( < {\displaystyle <} ), the greater-than sign ( > {\displaystyle >} ), and the inequality sign ( ≠ {\displaystyle \neq } ). Unlike other expressions, statements can be true or false and their truth value usually depends on the values of the variables. For example, the statement x 2 = 4 {\displaystyle x^{2}=4}

19306-443: The parabola and the ellipse . A circle is a special case of an ellipse.) If the plane intersects both halves of the double cone but does not pass through the apex of the cones, then the conic is a hyperbola. Besides being a conic section, a hyperbola can arise as the locus of points whose difference of distances to two fixed foci is constant, as a curve for each point of which the rays to two fixed foci are reflections across

19503-490: The radicals by suitable squarings and using b 2 = a 2 − c 2 {\displaystyle b^{2}=a^{2}-c^{2}} (see diagram) produces the standard equation of the ellipse: x 2 a 2 + y 2 b 2 = 1 , {\displaystyle {\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}=1,} or, solved for y : y = ± b

19700-557: The rational parametric equation of an ellipse { x ( u ) = a 1 − u 2 1 + u 2 y ( u ) = b 2 u 1 + u 2 − ∞ < u < ∞ {\displaystyle {\begin{cases}x(u)=a\,{\dfrac {1-u^{2}}{1+u^{2}}}\\[10mu]y(u)=b\,{\dfrac {2u}{1+u^{2}}}\\[10mu]-\infty <u<\infty \end{cases}}} which covers any point of

19897-423: The semi-major and semi-minor axes . The top and bottom points V 3 = ( 0 , b ) , V 4 = ( 0 , − b ) {\displaystyle V_{3}=(0,\,b),\;V_{4}=(0,\,-b)} are the co-vertices . The distances from a point ( x , y ) {\displaystyle (x,\,y)} on the ellipse to the left and right foci are

20094-421: The tangent line at that point, or as the solution of certain bivariate quadratic equations such as the reciprocal relationship x y = 1. {\displaystyle xy=1.} In practical applications, a hyperbola can arise as the path followed by the shadow of the tip of a sundial 's gnomon , the shape of an open orbit such as that of a celestial object exceeding the escape velocity of

20291-646: The x - and y -axes. In analytic geometry , the ellipse is defined as a quadric : the set of points ( x , y ) {\displaystyle (x,\,y)} of the Cartesian plane that, in non-degenerate cases, satisfy the implicit equation A x 2 + B x y + C y 2 + D x + E y + F = 0 {\displaystyle Ax^{2}+Bxy+Cy^{2}+Dx+Ey+F=0} provided B 2 − 4 A C < 0. {\displaystyle B^{2}-4AC<0.} To distinguish

20488-628: The xy -coordinate system is rotated about the origin by the angle + 45 ∘ {\displaystyle +45^{\circ }} and new coordinates ξ , η {\displaystyle \xi ,\eta } are assigned, then x = ξ + η 2 , y = − ξ + η 2 {\displaystyle x={\tfrac {\xi +\eta }{\sqrt {2}}},\;y={\tfrac {-\xi +\eta }{\sqrt {2}}}} . The rectangular hyperbola x 2 − y 2

20685-653: The 12th century further refined Brahmagupta's methods and concepts. In 1247, the Chinese mathematician Qin Jiushao wrote the Mathematical Treatise in Nine Sections , which includes an algorithm for the numerical evaluation of polynomials , including polynomials of higher degrees. The Italian mathematician Fibonacci brought al-Khwarizmi's ideas and techniques to Europe in books including his Liber Abaci . In 1545,

20882-426: The 16th and 17th centuries, when a rigorous symbolic formalism was developed. In the mid-19th century, the scope of algebra broadened beyond a theory of equations to cover diverse types of algebraic operations and structures. Algebra is relevant to many branches of mathematics, such as geometry, topology , number theory , and calculus , and other fields of inquiry, like logic and the empirical sciences . Algebra

21079-528: The 1930s, the American mathematician Garrett Birkhoff expanded these ideas and developed many of the foundational concepts of this field. The invention of universal algebra led to the emergence of various new areas focused on the algebraization of mathematics—that is, the application of algebraic methods to other branches of mathematics. Topological algebra arose in the early 20th century, studying algebraic structures such as topological groups and Lie groups . In

21276-464: The 1940s and 50s, homological algebra emerged, employing algebraic techniques to study homology . Around the same time, category theory was developed and has since played a key role in the foundations of mathematics . Other developments were the formulation of model theory and the study of free algebras . The influence of algebra is wide-reaching, both within mathematics and in its applications to other fields. The algebraization of mathematics

21473-402: The 9th century and the Persian mathematician Omar Khayyam in the 11th and 12th centuries. In India, Brahmagupta investigated how to solve quadratic equations and systems of equations with several variables in the 7th century CE. Among his innovations were the use of zero and negative numbers in algebraic equations. The Indian mathematicians Mahāvīra in the 9th century and Bhāskara II in

21670-481: The French mathematician Évariste Galois developed what came later to be known as Galois theory , which offered a more in-depth analysis of the solutions of polynomials while also laying the foundation of group theory . Mathematicians soon realized the relevance of group theory to other fields and applied it to disciplines like geometry and number theory. Starting in the mid-19th century, interest in algebra shifted from

21867-548: The German mathematicians David Hilbert , Ernst Steinitz , and Emmy Noether as well as the Austrian mathematician Emil Artin . They researched different forms of algebraic structures and categorized them based on their underlying axioms into types, like groups, rings, and fields. The idea of the even more general approach associated with universal algebra was conceived by the English mathematician Alfred North Whitehead in his 1898 book A Treatise on Universal Algebra . Starting in

22064-592: The Italian polymath Gerolamo Cardano published his book Ars Magna , which covered many topics in algebra, discussed imaginary numbers , and was the first to present general methods for solving cubic and quartic equations . In the 16th and 17th centuries, the French mathematicians François Viète and René Descartes introduced letters and symbols to denote variables and operations, making it possible to express equations in an abstract and concise manner. Their predecessors had relied on verbal descriptions of problems and solutions. Some historians see this development as

22261-561: The Mathematical Art , a book composed over the period spanning from the 10th century BCE to the 2nd century CE, explored various techniques for solving algebraic equations, including the use of matrix-like constructs. There is no unanimity as to whether these early developments are part of algebra or only precursors. They offered solutions to algebraic problems but did not conceive them in an abstract and general manner, focusing instead on specific cases and applications. This changed with

22458-454: The Persian mathematician al-Khwarizmi , who published his The Compendious Book on Calculation by Completion and Balancing in 825 CE. It presents the first detailed treatment of general methods that can be used to manipulate linear and quadratic equations by "reducing" and "balancing" both sides. Other influential contributions to algebra came from the Arab mathematician Thābit ibn Qurra also in

22655-401: The addition of numbers. While elementary algebra and linear algebra work within the confines of particular algebraic structures, abstract algebra takes a more general approach that compares how algebraic structures differ from each other and what types of algebraic structures there are, such as groups , rings , and fields . The key difference between these types of algebraic structures lies in

22852-1060: The canonical equation X 2 a 2 + Y 2 b 2 = 1 {\displaystyle {\frac {X^{2}}{a^{2}}}+{\frac {Y^{2}}{b^{2}}}=1} by a Euclidean transformation of the coordinates ( X , Y ) {\displaystyle (X,\,Y)} : X = ( x − x ∘ ) cos ⁡ θ + ( y − y ∘ ) sin ⁡ θ , Y = − ( x − x ∘ ) sin ⁡ θ + ( y − y ∘ ) cos ⁡ θ . {\displaystyle {\begin{aligned}X&=\left(x-x_{\circ }\right)\cos \theta +\left(y-y_{\circ }\right)\sin \theta ,\\Y&=-\left(x-x_{\circ }\right)\sin \theta +\left(y-y_{\circ }\right)\cos \theta .\end{aligned}}} Conversely,

23049-1384: The canonical form parameters can be obtained from the general-form coefficients by the equations: a , b = − 2 ( A E 2 + C D 2 − B D E + ( B 2 − 4 A C ) F ) ( ( A + C ) ± ( A − C ) 2 + B 2 ) B 2 − 4 A C , x ∘ = 2 C D − B E B 2 − 4 A C , y ∘ = 2 A E − B D B 2 − 4 A C , θ = 1 2 atan2 ⁡ ( − B , C − A ) , {\displaystyle {\begin{aligned}a,b&={\frac {-{\sqrt {2{\big (}AE^{2}+CD^{2}-BDE+(B^{2}-4AC)F{\big )}{\big (}(A+C)\pm {\sqrt {(A-C)^{2}+B^{2}}}{\big )}}}}{B^{2}-4AC}},\\x_{\circ }&={\frac {2CD-BE}{B^{2}-4AC}},\\[5mu]y_{\circ }&={\frac {2AE-BD}{B^{2}-4AC}},\\[5mu]\theta &={\tfrac {1}{2}}\operatorname {atan2} (-B,\,C-A),\end{aligned}}} where atan2

23246-479: The case of + 45 ∘ {\displaystyle +45^{\circ }} rotation, with equation y = − A x ,     A > 0 , {\displaystyle y=-{\frac {A}{x}}\;,~~A>0\;,} Shifting the hyperbola with equation y = A x ,   A ≠ 0   , {\displaystyle y={\frac {A}{x}},\ A\neq 0\ ,} so that

23443-399: The center. The distance c {\displaystyle c} of the foci to the center is called the focal distance or linear eccentricity. The quotient e = c a {\displaystyle e={\tfrac {c}{a}}} is the eccentricity . The case F 1 = F 2 {\displaystyle F_{1}=F_{2}} yields a circle and

23640-443: The characteristics of algebraic structures in general. The term "algebra" is sometimes used in a more narrow sense to refer only to elementary algebra or only to abstract algebra. When used as a countable noun , an algebra is a specific type of algebraic structure that involves a vector space equipped with a certain type of binary operation . Depending on the context, "algebra" can also refer to other algebraic structures, like

23837-441: The cone along circles c 1 {\displaystyle c_{1}} , c 2 {\displaystyle c_{2}} and the intersecting (hyperbola) plane at points F 1 {\displaystyle F_{1}} and F 2 {\displaystyle F_{2}} . It turns out: F 1 , F 2 {\displaystyle F_{1},F_{2}} are

24034-469: The correspondence can be made with nothing more than a change of sign in some term. Many other mathematical objects have their origin in the hyperbola, such as hyperbolic paraboloids (saddle surfaces), hyperboloids ("wastebaskets"), hyperbolic geometry ( Lobachevsky 's celebrated non-Euclidean geometry ), hyperbolic functions (sinh, cosh, tanh, etc.), and gyrovector spaces (a geometry proposed for use in both relativity and quantum mechanics which

24231-416: The corresponding variety. Category theory examines how mathematical objects are related to each other using the concept of categories . A category is a collection of objects together with a collection of so-called morphisms or "arrows" between those objects. These two collections must satisfy certain conditions. For example, morphisms can be joined, or composed : if there exists a morphism from object

24428-593: The degrees 3 and 4 are given by the cubic and quartic formulas. There are no general solutions for higher degrees, as proven in the 19th century by the so-called Abel–Ruffini theorem . Even when general solutions do not exist, approximate solutions can be found by numerical tools like the Newton–Raphson method . The fundamental theorem of algebra asserts that every univariate polynomial equation of positive degree with real or complex coefficients has at least one complex solution. Consequently, every polynomial of

24625-455: The difference being that the equations do not describe lines but higher dimensional figures. For instance, equations with three variables correspond to planes in three-dimensional space , and the points where all planes intersect solve the system of equations. Abstract algebra, also called modern algebra, is the study of algebraic structures . An algebraic structure is a framework for understanding operations on mathematical objects , like

24822-469: The distributive property. For statements with several variables, substitution is a common technique to replace one variable with an equivalent expression that does not use this variable. For example, if one knows that y = 3 x {\displaystyle y=3x} then one can simplify the expression 7 x y {\displaystyle 7xy} to arrive at 21 x 2 {\displaystyle 21x^{2}} . In

25019-496: The earliest documents on algebraic problems is the Rhind Mathematical Papyrus from ancient Egypt, which was written around 1650 BCE. It discusses solutions to linear equations , as expressed in problems like "A quantity; its fourth is added to it. It becomes fifteen. What is the quantity?" Babylonian clay tablets from around the same time explain methods to solve linear and quadratic polynomial equations , such as

25216-403: The elements of the two algebraic structures. This implies that every element of the first algebraic structure is mapped to one unique element in the second structure without any unmapped elements in the second structure. Another tool of comparison is the relation between an algebraic structure and its subalgebra . The algebraic structure and its subalgebra use the same operations, which follow

25413-456: The ellipse x 2 a 2 + y 2 b 2 = 1 {\displaystyle {\tfrac {x^{2}}{a^{2}}}+{\tfrac {y^{2}}{b^{2}}}=1} except the left vertex ( − a , 0 ) {\displaystyle (-a,\,0)} . For u ∈ [ 0 , 1 ] , {\displaystyle u\in [0,\,1],} this formula represents

25610-479: The ellipse x 2 a 2 + y 2 b 2 = 1 {\displaystyle {\tfrac {x^{2}}{a^{2}}}+{\tfrac {y^{2}}{b^{2}}}=1} has the coordinate equation: x 1 a 2 x + y 1 b 2 y = 1. {\displaystyle {\frac {x_{1}}{a^{2}}}x+{\frac {y_{1}}{b^{2}}}y=1.} A vector parametric equation of

25807-618: The ellipse is a non-degenerate real ellipse if and only if C∆ < 0. If C∆ > 0, we have an imaginary ellipse, and if ∆ = 0, we have a point ellipse. The general equation's coefficients can be obtained from known semi-major axis a {\displaystyle a} , semi-minor axis b {\displaystyle b} , center coordinates ( x ∘ , y ∘ ) {\displaystyle \left(x_{\circ },\,y_{\circ }\right)} , and rotation angle θ {\displaystyle \theta } (the angle from

26004-427: The ellipse such that x 1 u a 2 + y 1 v b 2 = 0 {\textstyle {\frac {x_{1}u}{a^{2}}}+{\tfrac {y_{1}v}{b^{2}}}=0} , then the points lie on two conjugate diameters (see below ). (If a = b {\displaystyle a=b} , the ellipse is a circle and "conjugate" means "orthogonal".) If

26201-418: The ellipse would be taller than it is wide). This form can be converted to the standard form by transposing the variable names x {\displaystyle x} and y {\displaystyle y} and the parameter names a {\displaystyle a} and b . {\displaystyle b.} This is the distance from the center to a focus: c =

26398-543: The ellipse, the x -axis is the major axis, and: For an arbitrary point ( x , y ) {\displaystyle (x,y)} the distance to the focus ( c , 0 ) {\displaystyle (c,0)} is ( x − c ) 2 + y 2 {\textstyle {\sqrt {(x-c)^{2}+y^{2}}}} and to the other focus ( x + c ) 2 + y 2 {\textstyle {\sqrt {(x+c)^{2}+y^{2}}}} . Hence

26595-462: The ellipse. This property should not be confused with the definition of an ellipse using a directrix line below. Using Dandelin spheres , one can prove that any section of a cone with a plane is an ellipse, assuming the plane does not contain the apex and has slope less than that of the lines on the cone. The standard form of an ellipse in Cartesian coordinates assumes that the origin is the center of

26792-404: The equation x + 4 = 9 {\displaystyle x+4=9} is only true if x {\displaystyle x} is 5. The main goal of elementary algebra is to determine the values for which a statement is true. This can be achieved by transforming and manipulating statements according to certain rules. A key principle guiding this process is that whatever operation

26989-612: The existence of loops or holes in them. Number theory is concerned with the properties of and relations between integers. Algebraic number theory applies algebraic methods and principles to this field of inquiry. Examples are the use of algebraic expressions to describe general laws, like Fermat's Last Theorem , and of algebraic structures to analyze the behavior of numbers, such as the ring of integers . The related field of combinatorics uses algebraic techniques to solve problems related to counting, arrangement, and combination of discrete objects. An example in algebraic combinatorics

27186-1226: The following statement is true: The four points are on a hyperbola with equation y = a x − b + c {\displaystyle y={\tfrac {a}{x-b}}+c} if and only if the angles at P 3 {\displaystyle P_{3}} and P 4 {\displaystyle P_{4}} are equal in the sense of the measurement above. That means if ( y 4 − y 1 ) ( x 4 − x 1 ) ( x 4 − x 2 ) ( y 4 − y 2 ) = ( y 3 − y 1 ) ( x 3 − x 1 ) ( x 3 − x 2 ) ( y 3 − y 2 ) {\displaystyle {\frac {(y_{4}-y_{1})}{(x_{4}-x_{1})}}{\frac {(x_{4}-x_{2})}{(y_{4}-y_{2})}}={\frac {(y_{3}-y_{1})}{(x_{3}-x_{1})}}{\frac {(x_{3}-x_{2})}{(y_{3}-y_{2})}}} The proof can be derived by straightforward calculation. If

27383-429: The form of variables in addition to numbers. A higher level of abstraction is found in abstract algebra , which is not limited to a particular domain and examines algebraic structures such as groups and rings . It extends beyond typical arithmetic operations by also covering other types of operations. Universal algebra is still more abstract in that it is not interested in specific algebraic structures but investigates

27580-438: The function h : A → B {\displaystyle h:A\to B} is a homomorphism if it fulfills the following requirement: h ( x ∘ y ) = h ( x ) ⋆ h ( y ) {\displaystyle h(x\circ y)=h(x)\star h(y)} . The existence of a homomorphism reveals that the operation ⋆ {\displaystyle \star } in

27777-413: The graph of the equation. The ( x , y ) {\displaystyle (x,y)} -pair ( 0 , 7 ) {\displaystyle (0,7)} , by contrast, does not solve the equation and is therefore not part of the graph. The graph encompasses the totality of ( x , y ) {\displaystyle (x,y)} -pairs that solve the equation. A polynomial

27974-399: The hyperbola are f → 0 ± ( f → 1 cosh ⁡ t 0 + f → 2 sinh ⁡ t 0 ) . {\displaystyle {\vec {f}}_{0}\pm \left({\vec {f}}_{1}\cosh t_{0}+{\vec {f}}_{2}\sinh t_{0}\right).} Solving

28171-505: The hyperbola the quotient of the distance to one focus and to the corresponding directrix (see diagram) is equal to the eccentricity: | P F 1 | | P l 1 | = | P F 2 | | P l 2 | = e = c a . {\displaystyle {\frac {|PF_{1}|}{|Pl_{1}|}}={\frac {|PF_{2}|}{|Pl_{2}|}}=e={\frac {c}{a}}\,.} The proof for

28368-495: The introductory, like substitution and elimination, to more advanced techniques using matrices, such as Cramer's rule , the Gaussian elimination , and LU decomposition . Some systems of equations are inconsistent , meaning that no solutions exist because the equations contradict each other. Consistent systems have either one unique solution or an infinite number of solutions. The study of vector spaces and linear maps form

28565-607: The left side and results in the equation x = 11 {\displaystyle x=11} . There are many other techniques used to solve equations. Simplification is employed to replace a complicated expression with an equivalent simpler one. For example, the expression 7 x − 3 x {\displaystyle 7x-3x} can be replaced with the expression 4 x {\displaystyle 4x} since 7 x − 3 x = ( 7 − 3 ) x = 4 x {\displaystyle 7x-3x=(7-3)x=4x} by

28762-620: The line described by y = x + 1 {\displaystyle y=x+1} intersects with the circle described by x 2 + y 2 = 25 {\displaystyle x^{2}+y^{2}=25} by solving the system of equations made up of these two equations. Topology studies the properties of geometric figures or topological spaces that are preserved under operations of continuous deformation . Algebraic topology relies on algebraic theories such as group theory to classify topological spaces. For example, homotopy groups classify topological spaces based on

28959-580: The line segment A P ¯ {\displaystyle {\overline {AP}}} (see diagram). The parallel projection is part of the projective mapping between the pencils at V 1 {\displaystyle V_{1}} and V 2 {\displaystyle V_{2}} needed. The intersection points of any two related lines S 1 A i {\displaystyle S_{1}A_{i}} and S 2 B i {\displaystyle S_{2}B_{i}} are points of

29156-420: The line segment joining the foci is called the center of the ellipse. The line through the foci is called the major axis , and the line perpendicular to it through the center is the minor axis . The major axis intersects the ellipse at two vertices V 1 , V 2 {\displaystyle V_{1},V_{2}} , which have distance a {\displaystyle a} to

29353-558: The line's equation into the ellipse equation and respecting x 1 2 a 2 + y 1 2 b 2 = 1 {\textstyle {\frac {x_{1}^{2}}{a^{2}}}+{\frac {y_{1}^{2}}{b^{2}}}=1} yields: ( x 1 + s u ) 2 a 2 + ( y 1 + s v ) 2 b 2 = 1   ⟹ 2 s ( x 1 u

29550-426: The linear map to the basis vectors. Systems of equations can be interpreted as geometric figures. For systems with two variables, each equation represents a line in two-dimensional space . The point where the two lines intersect is the solution of the full system because this is the only point that solves both the first and the second equation. For inconsistent systems, the two lines run parallel, meaning that there

29747-472: The lowercase letters x {\displaystyle x} , y {\displaystyle y} , and z {\displaystyle z} represent variables. In some cases, subscripts are added to distinguish variables, as in x 1 {\displaystyle x_{1}} , x 2 {\displaystyle x_{2}} , and x 3 {\displaystyle x_{3}} . The lowercase letters

29944-982: The major axis. Hence p → ′ ( t ) ⋅ ( p → ( t ) − f → 0 ) = ( f → 1 − f → 2 1 t 2 ) ⋅ ( f → 1 t + f → 2 1 t ) = f → 1 2 t − f → 2 2 1 t 3 = 0 {\displaystyle {\vec {p}}'(t)\cdot \left({\vec {p}}(t)-{\vec {f}}_{0}\right)=\left({\vec {f}}_{1}-{\vec {f}}_{2}{\tfrac {1}{t^{2}}}\right)\cdot \left({\vec {f}}_{1}t+{\vec {f}}_{2}{\tfrac {1}{t}}\right)={\vec {f}}_{1}^{2}t-{\vec {f}}_{2}^{2}{\tfrac {1}{t^{3}}}=0} and

30141-647: The matrices A = [ 9 3 − 13 2.3 0 7 − 5 − 17 0 ] , X = [ x 1 x 2 x 3 ] , B = [ 0 9 − 3 ] . {\displaystyle A={\begin{bmatrix}9&3&-13\\2.3&0&7\\-5&-17&0\end{bmatrix}},\quad X={\begin{bmatrix}x_{1}\\x_{2}\\x_{3}\end{bmatrix}},\quad B={\begin{bmatrix}0\\9\\-3\end{bmatrix}}.} Under some conditions on

30338-475: The method of completing the square . Many of these insights found their way to the ancient Greeks. Starting in the 6th century BCE, their main interest was geometry rather than algebra, but they employed algebraic methods to solve geometric problems. For example, they studied geometric figures while taking their lengths and areas as unknown quantities to be determined, as exemplified in Pythagoras ' formulation of

30535-411: The nearest gravitational body, or the scattering trajectory of a subatomic particle , among others. Each branch of the hyperbola has two arms which become straighter (lower curvature) further out from the center of the hyperbola. Diagonally opposite arms, one from each branch, tend in the limit to a common line, called the asymptote of those two arms. So there are two asymptotes, whose intersection

30732-513: The new center is ( c 0 , d 0 ) {\displaystyle (c_{0},d_{0})} , yields the new equation y = A x − c 0 + d 0 , {\displaystyle y={\frac {A}{x-c_{0}}}+d_{0}\;,} and the new asymptotes are x = c 0 {\displaystyle x=c_{0}} and y = d 0 {\displaystyle y=d_{0}} . The shape parameters

30929-399: The number 3 to the result. Other examples of algebraic expressions are 32 x y z {\displaystyle 32xyz} and 64 x 1 2 + 7 x 2 − c {\displaystyle 64x_{1}^{2}+7x_{2}-c} . Some algebraic expressions take the form of statements that relate two expressions to one another. An equation is

31126-539: The number of operations they use and the laws they follow . Universal algebra and category theory provide general frameworks to investigate abstract patterns that characterize different classes of algebraic structures. Algebraic methods were first studied in the ancient period to solve specific problems in fields like geometry . Subsequent mathematicians examined general techniques to solve equations independent of their specific applications. They described equations and their solutions using words and abbreviations until

31323-470: The number of operations they use and the laws they obey. In mathematics education , abstract algebra refers to an advanced undergraduate course that mathematics majors take after completing courses in linear algebra. On a formal level, an algebraic structure is a set of mathematical objects, called the underlying set, together with one or several operations. Abstract algebra is primarily interested in binary operations , which take any two objects from

31520-511: The number of rows and columns, matrices can be added , multiplied , and sometimes inverted . All methods for solving linear systems may be expressed as matrix manipulations using these operations. For example, solving the above system consists of computing an inverted matrix A − 1 {\displaystyle A^{-1}} such that A − 1 A = I , {\displaystyle A^{-1}A=I,} where I {\displaystyle I}

31717-436: The numbers with variables, it is possible to express a general law that applies to any possible combination of numbers, like the commutative property of multiplication , which is expressed in the equation a × b = b × a {\displaystyle a\times b=b\times a} . Algebraic expressions are formed by using arithmetic operations to combine variables and numbers. By convention,

31914-425: The operation of addition. The neutral element is 0 and the inverse element of any number a {\displaystyle a} is − a {\displaystyle -a} . The natural numbers with addition, by contrast, do not form a group since they contain only positive integers and therefore lack inverse elements. Group theory examines the nature of groups, with basic theorems such as

32111-432: The operations are not restricted to regular arithmetic operations. For instance, the underlying set of the symmetry group of a geometric object is made up of geometric transformations , such as rotations , under which the object remains unchanged . Its binary operation is function composition , which takes two transformations as input and has the transformation resulting from applying the first transformation followed by

32308-412: The other two forms of conic sections, parabolas and hyperbolas , both of which are open and unbounded . An angled cross section of a right circular cylinder is also an ellipse. An ellipse may also be defined in terms of one focal point and a line outside the ellipse called the directrix : for all points on the ellipse, the ratio between the distance to the focus and the distance to the directrix

32505-590: The pair F 1 , l 1 {\displaystyle F_{1},l_{1}} follows from the fact that | P F 1 | 2 = ( x − c ) 2 + y 2 ,   | P l 1 | 2 = ( x − a 2 c ) 2 {\displaystyle |PF_{1}|^{2}=(x-c)^{2}+y^{2},\ |Pl_{1}|^{2}=\left(x-{\tfrac {a^{2}}{c}}\right)^{2}} and y 2 = b 2

32702-737: The parameter [ u : v ] {\displaystyle [u:v]} is considered to be a point on the real projective line P ( R ) {\textstyle \mathbf {P} (\mathbf {R} )} , then the corresponding rational parametrization is [ u : v ] ↦ ( a v 2 − u 2 v 2 + u 2 , b 2 u v v 2 + u 2 ) . {\displaystyle [u:v]\mapsto \left(a{\frac {v^{2}-u^{2}}{v^{2}+u^{2}}},b{\frac {2uv}{v^{2}+u^{2}}}\right).} Then [ 1 : 0 ] ↦ ( −

32899-531: The parameter of a vertex is t 0 = ± f → 2 2 f → 1 2 4 . {\displaystyle t_{0}=\pm {\sqrt[{4}]{\frac {{\vec {f}}_{2}^{2}}{{\vec {f}}_{1}^{2}}}}.} | f → 1 | = | f → 2 | {\displaystyle \left|{\vec {f}}\!_{1}\right|=\left|{\vec {f}}\!_{2}\right|}

33096-1195: The parametric representation for cosh ⁡ t , sinh ⁡ t {\displaystyle \cosh t,\sinh t} by Cramer's rule and using cosh 2 ⁡ t − sinh 2 ⁡ t − 1 = 0 {\displaystyle \;\cosh ^{2}t-\sinh ^{2}t-1=0\;} , one gets the implicit representation det ( x → − f → 0 , f → 2 ) 2 − det ( f → 1 , x → − f → 0 ) 2 − det ( f → 1 , f → 2 ) 2 = 0. {\displaystyle \det \left({\vec {x}}\!-\!{\vec {f}}\!_{0},{\vec {f}}\!_{2}\right)^{2}-\det \left({\vec {f}}\!_{1},{\vec {x}}\!-\!{\vec {f}}\!_{0}\right)^{2}-\det \left({\vec {f}}\!_{1},{\vec {f}}\!_{2}\right)^{2}=0.} The definition of

33293-399: The point ( x , y ) {\displaystyle (x,\,y)} is on the ellipse whenever: ( x − c ) 2 + y 2 + ( x + c ) 2 + y 2 = 2 a   . {\displaystyle {\sqrt {(x-c)^{2}+y^{2}}}+{\sqrt {(x+c)^{2}+y^{2}}}=2a\ .} Removing

33490-709: The points are on a hyperbola, one can assume the hyperbola's equation is y = a / x {\displaystyle y=a/x} . A consequence of the inscribed angle theorem for hyperbolas is the 3-point-form of a hyperbola's equation  —  The equation of the hyperbola determined by 3 points P i = ( x i , y i ) ,   i = 1 , 2 , 3 ,   x i ≠ x k , y i ≠ y k , i ≠ k {\displaystyle P_{i}=(x_{i},y_{i}),\ i=1,2,3,\ x_{i}\neq x_{k},y_{i}\neq y_{k},i\neq k}

33687-429: The positive horizontal axis to the ellipse's major axis) using the formulae: A = a 2 sin 2 ⁡ θ + b 2 cos 2 ⁡ θ B = 2 ( b 2 − a 2 ) sin ⁡ θ cos ⁡ θ C =

33884-513: The relation | P F | 2 = e 2 | P l | 2 {\displaystyle |PF|^{2}=e^{2}|Pl|^{2}} produces the equations The substitution p = f ( 1 + e ) {\displaystyle p=f(1+e)} yields x 2 ( e 2 − 1 ) + 2 p x − y 2 = 0. {\displaystyle x^{2}(e^{2}-1)+2px-y^{2}=0.} This

34081-449: The relation between field theory and group theory, relying on the fundamental theorem of Galois theory . Besides groups, rings, and fields, there are many other algebraic structures studied by algebra. They include magmas , semigroups , monoids , abelian groups , commutative rings , modules , lattices , vector spaces , algebras over a field , and associative and non-associative algebras . They differ from each other in regard to

34278-393: The right branch to the circle c 2 {\displaystyle c_{2}} equals the distance to the focus F 1 {\displaystyle F_{1}} : | P F 1 | = | P c 2 | . {\displaystyle |PF_{1}|=|Pc_{2}|.} c 2 {\displaystyle c_{2}}

34475-432: The right upper quarter of the ellipse moving counter-clockwise with increasing u . {\displaystyle u.} The left vertex is the limit lim u → ± ∞ ( x ( u ) , y ( u ) ) = ( − a , 0 ) . {\textstyle \lim _{u\to \pm \infty }(x(u),\,y(u))=(-a,\,0)\;.} Alternately, if

34672-430: The same axioms. The only difference is that the underlying set of the subalgebra is a subset of the underlying set of the algebraic structure. All operations in the subalgebra are required to be closed in its underlying set, meaning that they only produce elements that belong to this set. For example, the set of even integers together with addition is a subalgebra of the full set of integers together with addition. This

34869-543: The same operations while allowing variables in addition to regular numbers. Variables are symbols for unspecified or unknown quantities. They make it possible to state relationships for which one does not know the exact values and to express general laws that are true, independent of which numbers are used. For example, the equation 2 × 3 = 3 × 2 {\displaystyle 2\times 3=3\times 2} belongs to arithmetic and expresses an equality only for these specific numbers. By replacing

35066-401: The second algebraic structure plays the same role as the operation ∘ {\displaystyle \circ } does in the first algebraic structure. Isomorphisms are a special type of homomorphism that indicates a high degree of similarity between two algebraic structures. An isomorphism is a bijective homomorphism, meaning that it establishes a one-to-one relationship between

35263-442: The second as its output. Abstract algebra classifies algebraic structures based on the laws or axioms that its operations obey and the number of operations it uses. One of the most basic types is a group, which has one operation and requires that this operation is associative and has an identity element and inverse elements . An operation is associative if the order of several applications does not matter, i.e., if (

35460-477: The segment or exceed the segment. A hyperbola can be defined geometrically as a set of points ( locus of points ) in the Euclidean plane: The midpoint M {\displaystyle M} of the line segment joining the foci is called the center of the hyperbola. The line through the foci is called the major axis . It contains the vertices V 1 , V 2 {\displaystyle V_{1},V_{2}} , which have distance

35657-474: The set of points (locus of points), for which the quotient of the distances to the point and to the line is e {\displaystyle e} H = { P | | P F | | P l | = e } {\displaystyle H=\left\{P\,{\Biggr |}\,{\frac {|PF|}{|Pl|}}=e\right\}} is a hyperbola. (The choice e = 1 {\displaystyle e=1} yields

35854-749: The shape parameters a , b , c {\displaystyle a,b,c} uses the inscribed angle theorem for hyperbolas: Analogous to the inscribed angle theorem for circles one gets the Inscribed angle theorem for hyperbolas  —  For four points P i = ( x i , y i ) ,   i = 1 , 2 , 3 , 4 ,   x i ≠ x k , y i ≠ y k , i ≠ k {\displaystyle P_{i}=(x_{i},y_{i}),\ i=1,2,3,4,\ x_{i}\neq x_{k},y_{i}\neq y_{k},i\neq k} (see diagram)

36051-542: The standard arithmetic operations such as addition and multiplication . Elementary algebra is the main form of algebra taught in school and examines mathematical statements using variables for unspecified values. It seeks to determine for which values the statements are true. To do so, it uses different methods of transforming equations to isolate variables. Linear algebra is a closely related field that investigates linear equations and combinations of them called systems of linear equations . It provides methods to find

36248-618: The standard ellipse is shifted to have center ( x ∘ , y ∘ ) {\displaystyle \left(x_{\circ },\,y_{\circ }\right)} , its equation is ( x − x ∘ ) 2 a 2 + ( y − y ∘ ) 2 b 2 = 1   . {\displaystyle {\frac {\left(x-x_{\circ }\right)^{2}}{a^{2}}}+{\frac {\left(y-y_{\circ }\right)^{2}}{b^{2}}}=1\ .} The axes are still parallel to

36445-412: The structures and patterns that underlie logical reasoning , exploring both the relevant mathematical structures themselves and their application to concrete problems of logic. It includes the study of Boolean algebra to describe propositional logic as well as the formulation and analysis of algebraic structures corresponding to more complex systems of logic . Hyperbola In mathematics ,

36642-410: The study of diverse types of algebraic operations and structures together with their underlying axioms , the laws they follow. Elementary algebra, also called school algebra, college algebra, and classical algebra, is the oldest and most basic form of algebra. It is a generalization of arithmetic that relies on variables and examines how mathematical statements may be transformed. Arithmetic

36839-485: The study of polynomials associated with elementary algebra towards a more general inquiry into algebraic structures, marking the emergence of abstract algebra . This approach explored the axiomatic basis of arbitrary algebraic operations. The invention of new algebraic systems based on different operations and elements accompanied this development, such as Boolean algebra , vector algebra , and matrix algebra . Influential early developments in abstract algebra were made by

37036-606: The tangent is: x → = ( x 1 y 1 ) + s ( − y 1 a 2 x 1 b 2 ) , s ∈ R . {\displaystyle {\vec {x}}={\begin{pmatrix}x_{1}\\y_{1}\end{pmatrix}}+s\left({\begin{array}{r}-y_{1}a^{2}\\x_{1}b^{2}\end{array}}\right),\quad s\in \mathbb {R} .} Proof: Let ( x 1 , y 1 ) {\displaystyle (x_{1},\,y_{1})} be

37233-406: The theories of matrices and finite-dimensional vector spaces are essentially the same. In particular, vector spaces provide a third way for expressing and manipulating systems of linear equations. From this perspective, a matrix is a representation of a linear map: if one chooses a particular basis to describe the vectors being transformed, then the entries in the matrix give the results of applying

37430-413: The types of objects they describe and the requirements that their operations fulfill. Many are related to each other in that a basic structure can be turned into a more advanced structure by adding additional requirements. For example, a magma becomes a semigroup if its operation is associative. Homomorphisms are tools to examine structural features by comparing two algebraic structures. A homomorphism

37627-510: The underlying set as inputs and map them to another object from this set as output. For example, the algebraic structure ⟨ N , + ⟩ {\displaystyle \langle \mathbb {N} ,+\rangle } has the natural numbers ( N {\displaystyle \mathbb {N} } ) as the underlying set and addition ( + {\displaystyle +} ) as its binary operation. The underlying set can contain mathematical objects other than numbers and

37824-400: The underlying sets and considers operations with more than two inputs, such as ternary operations . It provides a framework for investigating what structural features different algebraic structures have in common. One of those structural features concerns the identities that are true in different algebraic structures. In this context, an identity is a universal equation or an equation that

38021-603: The uniquely defined hyperbola. Remarks: A hyperbola with equation y = a x − b + c ,   a ≠ 0 {\displaystyle y={\tfrac {a}{x-b}}+c,\ a\neq 0} is uniquely determined by three points ( x 1 , y 1 ) , ( x 2 , y 2 ) , ( x 3 , y 3 ) {\displaystyle (x_{1},y_{1}),\;(x_{2},y_{2}),\;(x_{3},y_{3})} with different x - and y -coordinates. A simple way to determine

38218-516: The use of variables in equations and how to manipulate these equations. Algebra is often understood as a generalization of arithmetic . Arithmetic studies operations like addition, subtraction , multiplication, and division , in a particular domain of numbers, such as the real numbers. Elementary algebra constitutes the first level of abstraction. Like arithmetic, it restricts itself to specific types of numbers and operations. It generalizes these operations by allowing indefinite quantities in

38415-533: The values that solve all equations in the system at the same time, and to study the set of these solutions. Abstract algebra studies algebraic structures, which consist of a set of mathematical objects together with one or several operations defined on that set. It is a generalization of elementary and linear algebra, since it allows mathematical objects other than numbers and non-arithmetic operations. It distinguishes between different types of algebraic structures, such as groups , rings , and fields , based on

38612-714: The vertices of the hyperbola. But f → 1 ± f → 2 {\displaystyle {\vec {f}}_{1}\pm {\vec {f}}_{2}} point into the directions of the asymptotes. The tangent vector at point p → ( t ) {\displaystyle {\vec {p}}(t)} is p → ′ ( t ) = f → 1 sinh ⁡ t + f → 2 cosh ⁡ t   . {\displaystyle {\vec {p}}'(t)={\vec {f}}_{1}\sinh t+{\vec {f}}_{2}\cosh t\ .} Because at

38809-403: Was translated into Latin as Liber Algebrae et Almucabola . The word entered the English language in the 16th century from Italian , Spanish , and medieval Latin . Initially, its meaning was restricted to the theory of equations , that is, to the art of manipulating polynomial equations in view of solving them. This changed in the 19th century when the scope of algebra broadened to cover

#623376