Mathematics for Applied Sciences (Osnabrück 2023-2024)/Part I/Lecture 4/latex
\setcounter{section}{4}
\subtitle {Operations}
We consider the mathematical operations addition and multiplication, within the real numbers, as mappings
\mathdisp {\R \times \R \longrightarrow \R} { , }
so we assign to each pair
\mathrelationchaindisplay
{\relationchain
{ (x,y)
}
{ \in} { \R \times \R
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
the real number \mathl{x+y}{}
\extrabracket {and $x\cdot y$ respectively} {} {.}
Such a mapping is called an operation.
\inputdefinition
{ }
{
An \definitionword {operation}{}
\extrabracket {or \definitionword {binary operation}{}} {} {}
$\circ$ on a set $M$ is a
mapping
\mathdisp {\circ \colon M\times M \longrightarrow M
}
The domain of an operation is thus the product set of $M$ with itself, and the range is also $M$. Addition, multiplication and subtraction \extrabracket {on $\Z$, on $\Q$, or on $\R$} {} {} are operations. On \mathcor {} {\Q} {and} {\R} {,} the division is not an operation, since it is not defined in case the second component equals $0$. However, the division is an operation on \mathl{\R \setminus \{0\}}{.}
\subtitle {Axioms}
In mathematics, we encounter many structures which occur again and again. E.g., the rational numbers and the real numbers share many common properties, but they also differ in regard with certain other properties. This observation is the fundament for the \keyword {axiomatic approach to mathematics} {.} In this approach, one puts several structural properties which appear in a certain context consistently into a new concept. The goal of this is to infer in a logical way further properties from basic properties. The argumentation does then not take place on the level of specific familiar examples like the real numbers, but on the level of the properties themselves in a logical-deductive manner. The gain of this method is that one has to do the mathematical conclusions only once on the abstract level of the properties, and these conclusions hold then for all models which fulfill the basic properties. At the same time, one recognizes logical dependencies and hierarchies between the properties. Basic properties of mathematical structures are called \keyword {axioms} {.}
In the axiomatic approach, the properties (their principles and rules) are in the center. Mathematical objects which obey these rules are then examples or models for these concepts. In particular, one chooses properties which, on one hand, are easy to formulate, and which, on the other hand, allow strong conclusions. The advantages of this approach are the following items. \auflistungsieben{The mathematical objects are based on a set-theoretical-logical foundation, there is no need to rely on intuitive assumptions. }{It is always clear which argumentation to establish a certain property is allowed: only the logical deduction of the property from the axioms. }{Fundamental properties are stressed and get an important place. One develops a hierarchy between fundamental properties and deduced properties. }{Structural similarities become visible, which are not visible from an intuitive standpoint. }{Many statements which can be deduced from an axiomatic system do not need the complete axiomatic system, only some part of it. Therefore, it is possible to group the axioms into smaller units. If one can deduce the statement from a subset of the axioms, the statement is then true for every mathematical object which fulfils only this subset. }{By giving \quotationshort{counter-examples}{} one can show that certain properties do not follow from certain other properties. }{This approach is economically efficient as it avoids the repetition of conclusions. } As disadvantages, one can consider the following items. \auflistungdrei{huge conceptual effort. }{Abstract, sometimes formal and counter-intuitive procedure. }{Seemingly \quotationshort{trivial properties}{} need a justification if they are not explicitly listed in the axiomatic system. }
\subtitle {Fields}
We are going to describe the properties of the real numbers within an axiomatic framework. The axioms for the real numbers fall into three kinds: algebraic axioms, axioms for the ordering and the completeness axiom. The algebraic axioms are put together in the concept of a field. By algebraic properties, we mean properties which refer to the operations of computations, like addition, subtraction, multiplication and division. These operations assign to two elements of a given set $M$ \extrabracket {like the set of real numbers} {} {} another element of this set, they are binary operations. The following definition uses only two operations, namely addition and multiplication, subtraction and division will be treated as derived operations.
\inputdefinition
{ }
{
A set $K$ is called a \definitionword {field}{} if there are two
binary operations
\extrabracket {called addition and multiplication} {} {}
\mathdisp {+: K \times K \longrightarrow K \text{ and } \cdot: K \times K \longrightarrow K} { }
and two different elements
\mathrelationchain
{\relationchain
{0,1
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
that fulfill the following properties.
\enumerationthree {Axioms for the addition:
\enumerationfour {Associative law:
\mathrelationchain
{\relationchain
{ (a + b) + c
}
{ = }{ a + (b + c)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
holds for all
\mathrelationchain
{\relationchain
{ a,b,c
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {Commutative law:
\mathrelationchain
{\relationchain
{a+b
}
{ = }{b+a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
holds for all
\mathrelationchain
{\relationchain
{a,b
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {$0$ is the neutral element of the addition, i.e.,
\mathrelationchain
{\relationchain
{a+0
}
{ = }{a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
holds for all
\mathrelationchain
{\relationchain
{a
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {Existence of the negative: For every
\mathrelationchain
{\relationchain
{a
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
there exists an element
\mathrelationchain
{\relationchain
{b
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
with
\mathrelationchain
{\relationchain
{a+b
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
} {Axioms of the multiplication:
\enumerationfour {Associative law:
\mathrelationchain
{\relationchain
{ (a \cdot b) \cdot c
}
{ = }{ a \cdot (b \cdot c)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
holds for all
\mathrelationchain
{\relationchain
{ a,b,c
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {Commutative law:
\mathrelationchain
{\relationchain
{ a \cdot b
}
{ = }{b \cdot a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
holds for all
\mathrelationchain
{\relationchain
{ a,b
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {$1$ is the neutral element for the multiplication, i.e.,
\mathrelationchain
{\relationchain
{ a \cdot 1
}
{ = }{ a
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
holds for all
\mathrelationchain
{\relationchain
{ a
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {Existence of the inverse: For every
\mathrelationchain
{\relationchain
{ a
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
with
\mathrelationchain
{\relationchain
{a
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
there exists an element
\mathrelationchain
{\relationchain
{ c
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
such that
\mathrelationchain
{\relationchain
{a \cdot c
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
} {Distributive law:
\mathrelationchain
{\relationchain
{a \cdot (b+c)
}
{ = }{ (a \cdot b) + (a \cdot c)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
holds for all
\mathrelationchain
{\relationchain
{ a,b,c
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
It is known from school that all these axioms hold for the real numbers \extrabracket {and for the rational numbers} {} {} together with the natural operations.
In a field, we use the convention that multiplication connects stronger than addition. Hence, we write \mathl{a \cdot b + c \cdot d}{} instead of \mathl{(a \cdot b) +( c \cdot d)}{.} To further simplify the notation, the product sign is usually omitted. The special elements \mathcor {} {0} {and} {1} {} in a field are called (the) \keyword {zero} {} and (the) \keyword {one} {.} By definition, they have to be different.
For us, the most important examples for a field are the field of rational numbers, the field of real numbers and the field of complex numbers \extrabracket {to be introduced later} {} {.}
\inputfaktbeweis
{Field/Uniqueness of negative and inverse element/Fact}
{Lemma}
{}
{
Suppose $K$ is a
field.
Then for every element
\mathrelationchain
{\relationchain
{x
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
the element $y$ fulfilling
\mathrelationchain
{\relationchain
{x+y
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
is uniquely determined. For
\mathrelationchain
{\relationchain
{x
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
the element $z$ fulfilling
\mathrelationchain
{\relationchain
{xz
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
is also uniquely determined.
}
{
Let $x$ be given and suppose that
\mathcor {} {y} {and} {y'} {}
are elements fulfilling
\mathrelationchain
{\relationchain
{ x+y
}
{ = }{0
}
{ = }{x+y'
}
{ }{
}
{ }{
}
}
{}{}{.}
Then
\mathrelationchaindisplay
{\relationchain
{y
}
{ =} {y+0
}
{ =} {y+(x+y')
}
{ =} {(y+x)+y'
}
{ =} {(x+y)+y'
}
}
{
\relationchainextension
{ =} {0+y'
}
{ =} {y'
}
{ } {}
{ } {}
}{}{,}
which means altogether
\mathrelationchain
{\relationchain
{y
}
{ = }{y'
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
For the second part see
Exercise 4.3
.
\inputexample{}
{
We are trying to find the
structure of a field
on the set \mathl{\{0,1\}}{.} If $0$ is supposed to be the neutral element of the addition and $1$ the neutral element of the multiplication, then everything is already determined: The equation
\mathrelationchain
{\relationchain
{1+1
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
must hold since $1$ has an inverse element with respect to the addition, and since
\mathrelationchain
{\relationchain
{0 \cdot 0
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
holds, due to
Lemma 5.5
(1).
Hence, the operation tables look like
%Data for following table
\renewcommand{\leadrowzero}{ $+$ }
\renewcommand{\leadrowone}{ $0$ }
\renewcommand{\leadrowtwo}{ $1$ }
\renewcommand{\leadrowthree}{ }
\renewcommand{\leadrowfour}{ }
\renewcommand{\leadrowfive}{ }
\renewcommand{\leadrowsix}{ }
\renewcommand{\leadrowseven}{ }
\renewcommand{\leadroweight}{ }
\renewcommand{\leadrownine}{ }
\renewcommand{\leadrowten}{ }
\renewcommand{\leadroweleven}{ }
\renewcommand{\leadrowtwelve}{ }
\renewcommand{\leadcolumnzero}{ }
\renewcommand{\leadcolumnone}{ $0$ }
\renewcommand{\leadcolumntwo}{ $1$ }
\renewcommand{\leadcolumnthree}{ }
\renewcommand{\leadcolumnfour}{ }
\renewcommand{\leadcolumnfive}{ }
\renewcommand{\leadcolumnsix}{ }
\renewcommand{\leadcolumnseven}{ }
\renewcommand{\leadcolumneight}{ }
\renewcommand{\leadcolumnnine}{ }
\renewcommand{\leadcolumnten}{ }
\renewcommand{\leadcolumneleven}{ }
\renewcommand{\leadcolumntwelve}{ }
\renewcommand{\leadcolumnthirteen}{ }
\renewcommand{\leadcolumnfourteen}{ }
\renewcommand{\leadcolumnfifteen}{ }
\renewcommand{\leadcolumnsixteen}{ }
\renewcommand{\leadcolumnseventeen}{ }
\renewcommand{\leadcolumneightteen}{ }
\renewcommand{\leadcolumnnineteen}{ }
\renewcommand{\leadcolumntwenty}{ }
\renewcommand{\aonexone}{ 0 }
\renewcommand{\aonextwo}{ 1 }
\renewcommand{\aonexthree}{ }
\renewcommand{\aonexfour}{ }
\renewcommand{\aonexfive}{ }
\renewcommand{\aonexsix}{ }
\renewcommand{\aonexseven}{ }
\renewcommand{\aonexeight}{ }
\renewcommand{\aonexnine}{ }
\renewcommand{\aonexten}{ }
\renewcommand{\aonexeleven}{ }
\renewcommand{\aonextwelve}{ }
\renewcommand{\atwoxone}{ 1 }
\renewcommand{\atwoxtwo}{ 0 }
\renewcommand{\atwoxthree}{ }
\renewcommand{\atwoxfour}{ }
\renewcommand{\atwoxfive}{ }
\renewcommand{\atwoxsix}{ }
\renewcommand{\atwoxseven}{ }
\renewcommand{\atwoxeight}{ }
\renewcommand{\atwoxnine}{ }
\renewcommand{\atwoxten}{ }
\renewcommand{\atwoxeleven}{ }
\renewcommand{\atwoxtwelve}{ }
\renewcommand{\athreexone}{ }
\renewcommand{\athreextwo}{ }
\renewcommand{\athreexthree}{ }
\renewcommand{\athreexfour}{ }
\renewcommand{\athreexfive}{ }
\renewcommand{\athreexsix}{ }
\renewcommand{\athreexseven}{ }
\renewcommand{\athreexeight}{ }
\renewcommand{\athreexnine}{ }
\renewcommand{\athreexten}{ }
\renewcommand{\athreexeleven}{ }
\renewcommand{\athreextwelve}{ }
\renewcommand{\afourxone}{ }
\renewcommand{\afourxtwo}{ }
\renewcommand{\afourxthree}{ }
\renewcommand{\afourxfour}{ }
\renewcommand{\afourxfive}{ }
\renewcommand{\afourxsix}{ }
\renewcommand{\afourxseven}{ }
\renewcommand{\afourxeight}{ }
\renewcommand{\afourxnine}{ }
\renewcommand{\afourxten}{ }
\renewcommand{\afourxeleven}{ }
\renewcommand{\afourxtwelve}{ }
\renewcommand{\afivexone}{ }
\renewcommand{\afivextwo}{ }
\renewcommand{\afivexthree}{ }
\renewcommand{\afivexfour}{ }
\renewcommand{\afivexfive}{ }
\renewcommand{\afivexsix}{ }
\renewcommand{\afivexseven}{ }
\renewcommand{\afivexeight}{ }
\renewcommand{\afivexnine}{ }
\renewcommand{\afivexten}{ }
\renewcommand{\afivexeleven}{ }
\renewcommand{\afivextwelve}{ }
\renewcommand{\asixxone}{ }
\renewcommand{\asixxtwo}{ }
\renewcommand{\asixxthree}{ }
\renewcommand{\asixxfour}{ }
\renewcommand{\asixxfive}{ }
\renewcommand{\asixxsix}{ }
\renewcommand{\asixxseven}{ }
\renewcommand{\asixxeight}{ }
\renewcommand{\asixxnine}{ }
\renewcommand{\asixxten}{ }
\renewcommand{\asixxeleven}{ }
\renewcommand{\asixxtwelve}{ }
\renewcommand{\asevenxone}{ }
\renewcommand{\asevenxtwo}{ }
\renewcommand{\asevenxthree}{ }
\renewcommand{\asevenxfour}{ }
\renewcommand{\asevenxfive}{ }
\renewcommand{\asevenxsix}{ }
\renewcommand{\asevenxseven}{ }
\renewcommand{\asevenxeight}{ }
\renewcommand{\asevenxnine}{ }
\renewcommand{\asevenxten}{ }
\renewcommand{\asevenxeleven}{ }
\renewcommand{\asevenxtwelve}{ }
\renewcommand{\aeightxone}{ }
\renewcommand{\aeightxtwo}{ }
\renewcommand{\aeightxthree}{ }
\renewcommand{\aeightxfour}{ }
\renewcommand{\aeightxfive}{ }
\renewcommand{\aeightxsix}{ }
\renewcommand{\aeightxseven}{ }
\renewcommand{\aeightxeight}{ }
\renewcommand{\aeightxnine}{ }
\renewcommand{\aeightxten}{ }
\renewcommand{\aeightxeleven}{ }
\renewcommand{\aeightxtwelve}{ }
\renewcommand{\aninexone}{ }
\renewcommand{\aninextwo}{ }
\renewcommand{\aninexthree}{ }
\renewcommand{\aninexfour}{ }
\renewcommand{\aninexfive}{ }
\renewcommand{\aninexsix}{ }
\renewcommand{\aninexseven}{ }
\renewcommand{\aninexeight}{ }
\renewcommand{\aninexnine}{ }
\renewcommand{\aninexten}{ }
\renewcommand{\aninexeleven}{ }
\renewcommand{\aninextwelve}{ }
\renewcommand{\atenxone}{ }
\renewcommand{\atenxtwo}{ }
\renewcommand{\atenxthree}{ }
\renewcommand{\atenxfour}{ }
\renewcommand{\atenxfive}{ }
\renewcommand{\atenxsix}{ }
\renewcommand{\atenxseven}{ }
\renewcommand{\atenxeight}{ }
\renewcommand{\atenxnine}{ }
\renewcommand{\atenxten}{ }
\renewcommand{\atenxeleven}{ }
\renewcommand{\atenxtwelve}{ }
\renewcommand{\aelevenxone}{ }
\renewcommand{\aelevenxtwo}{ }
\renewcommand{\aelevenxthree}{ }
\renewcommand{\aelevenxfour}{ }
\renewcommand{\aelevenxfive}{ }
\renewcommand{\aelevenxsix}{ }
\renewcommand{\aelevenxseven}{ }
\renewcommand{\aelevenxeight}{ }
\renewcommand{\aelevenxnine}{ }
\renewcommand{\aelevenxten}{ }
\renewcommand{\aelevenxeleven}{ }
\renewcommand{\aelevenxtwelve}{ }
\renewcommand{\atwelvexone}{ }
\renewcommand{\atwelvextwo}{ }
\renewcommand{\atwelvexthree}{ }
\renewcommand{\atwelvexfour}{ }
\renewcommand{\atwelvexfive}{ }
\renewcommand{\atwelvexsix}{ }
\renewcommand{\atwelvexseven}{ }
\renewcommand{\atwelvexeight}{ }
\renewcommand{\atwelvexnine}{ }
\renewcommand{\atwelvexten}{ }
\renewcommand{\atwelvexeleven}{ }
\renewcommand{\atwelvextwelve}{ }
\renewcommand{\athirteenxone}{ }
\renewcommand{\athirteenxtwo}{ }
\renewcommand{\athirteenxthree}{ }
\renewcommand{\athirteenxfour}{ }
\renewcommand{\athirteenxfive}{ }
\renewcommand{\athirteenxsix}{ }
\renewcommand{\athirteenxseven}{ }
\renewcommand{\athirteenxeight}{ }
\renewcommand{\athirteenxnine}{ }
\renewcommand{\athirteenxten}{ }
\renewcommand{\athirteenxeleven}{ }
\renewcommand{\athirteenxtwelve}{ }
\renewcommand{\afourteenxone}{ }
\renewcommand{\afourteenxtwo}{ }
\renewcommand{\afourteenxthree}{ }
\renewcommand{\afourteenxfour}{ }
\renewcommand{\afourteenxfive}{ }
\renewcommand{\afourteenxsix}{ }
\renewcommand{\afourteenxseven}{ }
\renewcommand{\afourteenxeight}{ }
\renewcommand{\afourteenxnine}{ }
\renewcommand{\afourteenxten}{ }
\renewcommand{\afourteenxeleven}{ }
\renewcommand{\afourteenxtwelve}{ }
\renewcommand{\afifteenxone}{ }
\renewcommand{\afifteenxtwo}{ }
\renewcommand{\afifteenxthree}{ }
\renewcommand{\afifteenxfour}{ }
\renewcommand{\afifteenxfive}{ }
\renewcommand{\afifteenxsix}{ }
\renewcommand{\afifteenxseven}{ }
\renewcommand{\afifteenxeight}{ }
\renewcommand{\afifteenxnine}{ }
\renewcommand{\afifteenxten}{ }
\renewcommand{\afifteenxeleven}{ }
\renewcommand{\afifteenxtwelve}{ }
\renewcommand{\asixteenxone}{ }
\renewcommand{\asixteenxtwo}{ }
\renewcommand{\asixteenxthree}{ }
\renewcommand{\asixteenxfour}{ }
\renewcommand{\asixteenxfive}{ }
\renewcommand{\asixteenxsix}{ }
\renewcommand{\asixteenxseven}{ }
\renewcommand{\asixteenxeight}{ }
\renewcommand{\asixteenxnine}{ }
\renewcommand{\asixteenxten}{ }
\renewcommand{\asixteenxeleven}{ }
\renewcommand{\asixteenxtwelve}{ }
\renewcommand{\aseventeenxone}{ }
\renewcommand{\aseventeenxtwo}{ }
\renewcommand{\aseventeenxthree}{ }
\renewcommand{\aseventeenxfour}{ }
\renewcommand{\aseventeenxfive}{ }
\renewcommand{\aseventeenxsix}{ }
\renewcommand{\aseventeenxseven}{ }
\renewcommand{\aseventeenxeight}{ }
\renewcommand{\aseventeenxnine}{ }
\renewcommand{\aseventeenxten}{ }
\renewcommand{\aseventeenxeleven}{ }
\renewcommand{\aseventeenxtwelve}{ }
\renewcommand{\aeightteenxone}{ }
\renewcommand{\aeightteenxtwo}{ }
\renewcommand{\aeightteenxthree}{ }
\renewcommand{\aeightteenxfour}{ }
\renewcommand{\aeightteenxfive}{ }
\renewcommand{\aeightteenxsix}{ }
\renewcommand{\aeightteenxseven}{ }
\renewcommand{\aeightteenxeight}{ }
\renewcommand{\aeightteenxnine}{ }
\renewcommand{\aeightteenxten}{ }
\renewcommand{\aeightteenxeleven}{ }
\renewcommand{\aeightteenxtwelve}{ }
\tableleadtwoxtwo
and %Data for following table
\renewcommand{\leadrowzero}{ $\cdot$ }
\renewcommand{\leadrowone}{ $0$ }
\renewcommand{\leadrowtwo}{ $1$ }
\renewcommand{\leadrowthree}{ }
\renewcommand{\leadrowfour}{ }
\renewcommand{\leadrowfive}{ }
\renewcommand{\leadrowsix}{ }
\renewcommand{\leadrowseven}{ }
\renewcommand{\leadroweight}{ }
\renewcommand{\leadrownine}{ }
\renewcommand{\leadrowten}{ }
\renewcommand{\leadroweleven}{ }
\renewcommand{\leadrowtwelve}{ }
\renewcommand{\leadcolumnzero}{ }
\renewcommand{\leadcolumnone}{ $0$ }
\renewcommand{\leadcolumntwo}{ $1$ }
\renewcommand{\leadcolumnthree}{ }
\renewcommand{\leadcolumnfour}{ }
\renewcommand{\leadcolumnfive}{ }
\renewcommand{\leadcolumnsix}{ }
\renewcommand{\leadcolumnseven}{ }
\renewcommand{\leadcolumneight}{ }
\renewcommand{\leadcolumnnine}{ }
\renewcommand{\leadcolumnten}{ }
\renewcommand{\leadcolumneleven}{ }
\renewcommand{\leadcolumntwelve}{ }
\renewcommand{\leadcolumnthirteen}{ }
\renewcommand{\leadcolumnfourteen}{ }
\renewcommand{\leadcolumnfifteen}{ }
\renewcommand{\leadcolumnsixteen}{ }
\renewcommand{\leadcolumnseventeen}{ }
\renewcommand{\leadcolumneightteen}{ }
\renewcommand{\leadcolumnnineteen}{ }
\renewcommand{\leadcolumntwenty}{ }
\renewcommand{\aonexone}{ 0 }
\renewcommand{\aonextwo}{ 0 }
\renewcommand{\aonexthree}{ }
\renewcommand{\aonexfour}{ }
\renewcommand{\aonexfive}{ }
\renewcommand{\aonexsix}{ }
\renewcommand{\aonexseven}{ }
\renewcommand{\aonexeight}{ }
\renewcommand{\aonexnine}{ }
\renewcommand{\aonexten}{ }
\renewcommand{\aonexeleven}{ }
\renewcommand{\aonextwelve}{ }
\renewcommand{\atwoxone}{ 0 }
\renewcommand{\atwoxtwo}{ 1 }
\renewcommand{\atwoxthree}{ }
\renewcommand{\atwoxfour}{ }
\renewcommand{\atwoxfive}{ }
\renewcommand{\atwoxsix}{ }
\renewcommand{\atwoxseven}{ }
\renewcommand{\atwoxeight}{ }
\renewcommand{\atwoxnine}{ }
\renewcommand{\atwoxten}{ }
\renewcommand{\atwoxeleven}{ }
\renewcommand{\atwoxtwelve}{ }
\renewcommand{\athreexone}{ }
\renewcommand{\athreextwo}{ }
\renewcommand{\athreexthree}{ }
\renewcommand{\athreexfour}{ }
\renewcommand{\athreexfive}{ }
\renewcommand{\athreexsix}{ }
\renewcommand{\athreexseven}{ }
\renewcommand{\athreexeight}{ }
\renewcommand{\athreexnine}{ }
\renewcommand{\athreexten}{ }
\renewcommand{\athreexeleven}{ }
\renewcommand{\athreextwelve}{ }
\renewcommand{\afourxone}{ }
\renewcommand{\afourxtwo}{ }
\renewcommand{\afourxthree}{ }
\renewcommand{\afourxfour}{ }
\renewcommand{\afourxfive}{ }
\renewcommand{\afourxsix}{ }
\renewcommand{\afourxseven}{ }
\renewcommand{\afourxeight}{ }
\renewcommand{\afourxnine}{ }
\renewcommand{\afourxten}{ }
\renewcommand{\afourxeleven}{ }
\renewcommand{\afourxtwelve}{ }
\renewcommand{\afivexone}{ }
\renewcommand{\afivextwo}{ }
\renewcommand{\afivexthree}{ }
\renewcommand{\afivexfour}{ }
\renewcommand{\afivexfive}{ }
\renewcommand{\afivexsix}{ }
\renewcommand{\afivexseven}{ }
\renewcommand{\afivexeight}{ }
\renewcommand{\afivexnine}{ }
\renewcommand{\afivexten}{ }
\renewcommand{\afivexeleven}{ }
\renewcommand{\afivextwelve}{ }
\renewcommand{\asixxone}{ }
\renewcommand{\asixxtwo}{ }
\renewcommand{\asixxthree}{ }
\renewcommand{\asixxfour}{ }
\renewcommand{\asixxfive}{ }
\renewcommand{\asixxsix}{ }
\renewcommand{\asixxseven}{ }
\renewcommand{\asixxeight}{ }
\renewcommand{\asixxnine}{ }
\renewcommand{\asixxten}{ }
\renewcommand{\asixxeleven}{ }
\renewcommand{\asixxtwelve}{ }
\renewcommand{\asevenxone}{ }
\renewcommand{\asevenxtwo}{ }
\renewcommand{\asevenxthree}{ }
\renewcommand{\asevenxfour}{ }
\renewcommand{\asevenxfive}{ }
\renewcommand{\asevenxsix}{ }
\renewcommand{\asevenxseven}{ }
\renewcommand{\asevenxeight}{ }
\renewcommand{\asevenxnine}{ }
\renewcommand{\asevenxten}{ }
\renewcommand{\asevenxeleven}{ }
\renewcommand{\asevenxtwelve}{ }
\renewcommand{\aeightxone}{ }
\renewcommand{\aeightxtwo}{ }
\renewcommand{\aeightxthree}{ }
\renewcommand{\aeightxfour}{ }
\renewcommand{\aeightxfive}{ }
\renewcommand{\aeightxsix}{ }
\renewcommand{\aeightxseven}{ }
\renewcommand{\aeightxeight}{ }
\renewcommand{\aeightxnine}{ }
\renewcommand{\aeightxten}{ }
\renewcommand{\aeightxeleven}{ }
\renewcommand{\aeightxtwelve}{ }
\renewcommand{\aninexone}{ }
\renewcommand{\aninextwo}{ }
\renewcommand{\aninexthree}{ }
\renewcommand{\aninexfour}{ }
\renewcommand{\aninexfive}{ }
\renewcommand{\aninexsix}{ }
\renewcommand{\aninexseven}{ }
\renewcommand{\aninexeight}{ }
\renewcommand{\aninexnine}{ }
\renewcommand{\aninexten}{ }
\renewcommand{\aninexeleven}{ }
\renewcommand{\aninextwelve}{ }
\renewcommand{\atenxone}{ }
\renewcommand{\atenxtwo}{ }
\renewcommand{\atenxthree}{ }
\renewcommand{\atenxfour}{ }
\renewcommand{\atenxfive}{ }
\renewcommand{\atenxsix}{ }
\renewcommand{\atenxseven}{ }
\renewcommand{\atenxeight}{ }
\renewcommand{\atenxnine}{ }
\renewcommand{\atenxten}{ }
\renewcommand{\atenxeleven}{ }
\renewcommand{\atenxtwelve}{ }
\renewcommand{\aelevenxone}{ }
\renewcommand{\aelevenxtwo}{ }
\renewcommand{\aelevenxthree}{ }
\renewcommand{\aelevenxfour}{ }
\renewcommand{\aelevenxfive}{ }
\renewcommand{\aelevenxsix}{ }
\renewcommand{\aelevenxseven}{ }
\renewcommand{\aelevenxeight}{ }
\renewcommand{\aelevenxnine}{ }
\renewcommand{\aelevenxten}{ }
\renewcommand{\aelevenxeleven}{ }
\renewcommand{\aelevenxtwelve}{ }
\renewcommand{\atwelvexone}{ }
\renewcommand{\atwelvextwo}{ }
\renewcommand{\atwelvexthree}{ }
\renewcommand{\atwelvexfour}{ }
\renewcommand{\atwelvexfive}{ }
\renewcommand{\atwelvexsix}{ }
\renewcommand{\atwelvexseven}{ }
\renewcommand{\atwelvexeight}{ }
\renewcommand{\atwelvexnine}{ }
\renewcommand{\atwelvexten}{ }
\renewcommand{\atwelvexeleven}{ }
\renewcommand{\atwelvextwelve}{ }
\renewcommand{\athirteenxone}{ }
\renewcommand{\athirteenxtwo}{ }
\renewcommand{\athirteenxthree}{ }
\renewcommand{\athirteenxfour}{ }
\renewcommand{\athirteenxfive}{ }
\renewcommand{\athirteenxsix}{ }
\renewcommand{\athirteenxseven}{ }
\renewcommand{\athirteenxeight}{ }
\renewcommand{\athirteenxnine}{ }
\renewcommand{\athirteenxten}{ }
\renewcommand{\athirteenxeleven}{ }
\renewcommand{\athirteenxtwelve}{ }
\renewcommand{\afourteenxone}{ }
\renewcommand{\afourteenxtwo}{ }
\renewcommand{\afourteenxthree}{ }
\renewcommand{\afourteenxfour}{ }
\renewcommand{\afourteenxfive}{ }
\renewcommand{\afourteenxsix}{ }
\renewcommand{\afourteenxseven}{ }
\renewcommand{\afourteenxeight}{ }
\renewcommand{\afourteenxnine}{ }
\renewcommand{\afourteenxten}{ }
\renewcommand{\afourteenxeleven}{ }
\renewcommand{\afourteenxtwelve}{ }
\renewcommand{\afifteenxone}{ }
\renewcommand{\afifteenxtwo}{ }
\renewcommand{\afifteenxthree}{ }
\renewcommand{\afifteenxfour}{ }
\renewcommand{\afifteenxfive}{ }
\renewcommand{\afifteenxsix}{ }
\renewcommand{\afifteenxseven}{ }
\renewcommand{\afifteenxeight}{ }
\renewcommand{\afifteenxnine}{ }
\renewcommand{\afifteenxten}{ }
\renewcommand{\afifteenxeleven}{ }
\renewcommand{\afifteenxtwelve}{ }
\renewcommand{\asixteenxone}{ }
\renewcommand{\asixteenxtwo}{ }
\renewcommand{\asixteenxthree}{ }
\renewcommand{\asixteenxfour}{ }
\renewcommand{\asixteenxfive}{ }
\renewcommand{\asixteenxsix}{ }
\renewcommand{\asixteenxseven}{ }
\renewcommand{\asixteenxeight}{ }
\renewcommand{\asixteenxnine}{ }
\renewcommand{\asixteenxten}{ }
\renewcommand{\asixteenxeleven}{ }
\renewcommand{\asixteenxtwelve}{ }
\renewcommand{\aseventeenxone}{ }
\renewcommand{\aseventeenxtwo}{ }
\renewcommand{\aseventeenxthree}{ }
\renewcommand{\aseventeenxfour}{ }
\renewcommand{\aseventeenxfive}{ }
\renewcommand{\aseventeenxsix}{ }
\renewcommand{\aseventeenxseven}{ }
\renewcommand{\aseventeenxeight}{ }
\renewcommand{\aseventeenxnine}{ }
\renewcommand{\aseventeenxten}{ }
\renewcommand{\aseventeenxeleven}{ }
\renewcommand{\aseventeenxtwelve}{ }
\renewcommand{\aeightteenxone}{ }
\renewcommand{\aeightteenxtwo}{ }
\renewcommand{\aeightteenxthree}{ }
\renewcommand{\aeightteenxfour}{ }
\renewcommand{\aeightteenxfive}{ }
\renewcommand{\aeightteenxsix}{ }
\renewcommand{\aeightteenxseven}{ }
\renewcommand{\aeightteenxeight}{ }
\renewcommand{\aeightteenxnine}{ }
\renewcommand{\aeightteenxten}{ }
\renewcommand{\aeightteenxeleven}{ }
\renewcommand{\aeightteenxtwelve}{ }
\tableleadtwoxtwo
With some tedious computations, one can check that this is indeed a field.
}
\inputfaktbeweis
{Field/Basic properties/Fact}
{Lemma}
{}
{
\factsituation {Let $K$ be a
field,
and let \mathl{a,b,c,a_1 , \ldots , a_r, b_1 , \ldots , b_s}{} denote elements from $K$.}
\factsegue {Then the following statements hold.}
\factconclusion {\enumerationsix {
\mathrelationchain
{\relationchain
{a0
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
(\keyword {annulation rule} {}).
} {
\mathrelationchaindisplay
{\relationchain
{ (-a)b
}
{ =} { -ab
}
{ =} { a(-b)
}
{ } {
}
{ } {
}
}
{}{}{}
(\keyword {rules for sign} {}).
} {
\mathrelationchaindisplay
{\relationchain
{ (-a)(-b)
}
{ =} {ab
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
} {
\mathrelationchaindisplay
{\relationchain
{ a(b-c)
}
{ =} { ab-ac
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
} {From
\mathrelationchain
{\relationchain
{a \cdot b
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
one can deduce
\mathrelationchain
{\relationchain
{a
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
or
\mathrelationchain
{\relationchain
{b
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
} {
\mathrelationchain
{\relationchain
{ { \left( \sum_{i = 1}^r a_i \right) } { \left( \sum_{k = 1}^s b_k \right) }
}
{ = }{ \sum_{ 1 \leq i \leq r,\, 1 \leq k \leq s } a_ib_k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
(\keyword {general law of distributivity} {}).
}}
\factextra {}
}
{
\enumerationsix {We have
\mathrelationchain
{\relationchain
{a0
}
{ = }{a(0+0)
}
{ = }{a0+a0
}
{ }{}
{ }{}
}
{}{}{.}
Subtracting $a0$
(meaning addition with the negative of $a0$)
on both sides gives the claim.
} {See
Exercise 4.4
.
} {See
Exercise 4.4
.
} {See
Exercise 4.4
.
} {We prove this by contradiction, so we assume that
\mathcor {} {a} {and} {b} {}
are both not $0$. Then there exist inverse elements
\mathcor {} {a^{-1}} {and} {b^{-1}} {}
and hence
\mathrelationchain
{\relationchain
{ (ab) { \left( b^{-1} a^{-1} \right) }
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
On the other hand, we have
\mathrelationchain
{\relationchain
{ ab
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
by the premise and so the annulation rule gives
\mathrelationchaindisplay
{\relationchain
{ (ab) { \left( b^{-1}a^{-1} \right) }
}
{ =} { 0 { \left( b^{-1}a^{-1} \right) }
}
{ =} { 0
}
{ } {
}
{ } {
}
}
{}{}{,}
hence
\mathrelationchain
{\relationchain
{ 0
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
which contradicts the field properties.
} {This follows with a double induction, see
exercise *****.
}
\subtitle {Proof by contradiction}
We have just given a proof by contradiction, we want to illustrate this method by further examples.
We give two classical examples for a proof by contradiction.
\inputfactproof
{Square root/2/Irrational/Fact}
{Theorem}
{}
{
\factsituation {}
\factconclusion {There does not exist a rational number such that its square equals $2$.}
\factextra {This means that the real number $\sqrt{2}$ is irrational.}
}
{
We make the assumption that there exists some rational number whose square equals $2$, and we have to derive a contradiction from this. Our assumption means the existence of
\mathrelationchaindisplay
{\relationchain
{x
}
{ \in} { \Q
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
fulfilling the property
\mathrelationchaindisplay
{\relationchain
{x^2
}
{ =} {2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
A rational number can be written as a fraction, where numerator and denominator are integers. Hence, the rational number $x$ has the form
\mathrelationchaindisplay
{\relationchain
{ x
}
{ =} { { \frac{ a }{ b } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Moreover, we can suppose that this fraction has been reduced to its lowest terms, so that the greatest common divisor of
\mathcor {} {a} {and} {b} {}
is $1$. In fact it is enough to suppose that at least one of
\mathcor {} {a} {and} {b} {}
are odd (if both are even we can divide both by $2$ until one gets odd). The property
\mathrelationchaindisplay
{\relationchain
{x^2
}
{ =} { 2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
means then
\mathrelationchaindisplay
{\relationchain
{x^2
}
{ =} { { \left( { \frac{ a }{ b } } \right) }^2
}
{ =} { { \frac{ a^2 }{ b^2 } }
}
{ =} { 2
}
{ } {
}
}
{}{}{.}
Multiplication by $b^2$ yields
\mathrelationchaindisplay
{\relationchain
{ 2 b^2
}
{ =} { a^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
(this is an equation in $\Z$ and even in $\N$). This equation means that $a^2$ is even, since $a^2$ is a multiple of $2$. This implies that $a$ itself is even, because the square of an odd number is again odd. Therefore, we can write
\mathrelationchaindisplay
{\relationchain
{a
}
{ =} {2c
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
with an integer $c$. Putting this into the equation, we deduce
\mathrelationchaindisplay
{\relationchain
{ 2 b^2
}
{ =} { (2c)^2
}
{ =} { 2^2 c^2
}
{ } {
}
{ } {
}
}
{}{}{.}
Dividing both sides by $2$ we obtain
\mathrelationchaindisplay
{\relationchain
{ b^2
}
{ =} { 2 c^2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Hence, also $b^2$ is even and so $b$ is even. But this is a contradiction, as
\mathcor {} {a} {and} {b} {}
are not both even.
The following theorem is called \keyword {Theorem of Euclid} {.}
\inputfactproof
{Prime numbers/Infinity/Fact}
{Theorem}
{}
{
\factsituation {}
\factconclusion {There exist infinitely many prime numbers.}
\factextra {}
}
{
We assume that the set of all prime numbers is finite, say \mathl{\{p_1,p_2 , \ldots , p_r\}}{} is a complete list of all prime numbers. We consider the number
\mathrelationchaindisplay
{\relationchain
{N
}
{ =} {p_1\cdot p_2\cdot p_3 \cdots p_r + 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
This number can not be divided by any of the prime numbers $p_i$, since the reminder of $N$ by division through $p_i$ is always $1$. Hence, the prime factors of $N$, which exist due to
Theorem 2.6
,
are not contained in the given set. This is a contradiction.
\subtitle {The binomial theorem}
\inputdefinition
{ }
{
For a natural number $n$, one puts
\mathrelationchaindisplay
{\relationchain
{n!
}
{ \defeq} { n(n-1)(n-2) \cdots 3 \cdot 2 \cdot 1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
}
We put
\mathrelationchain
{\relationchain
{0!
}
{ = }{1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\inputdefinition
{ }
{
Let
\mathcor {} {k} {and} {n} {}
denote natural numbers with
\mathrelationchain
{\relationchain
{k
}
{ \leq }{n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Then
\mathrelationchaindisplay
{\relationchain
{ \binom { n } { k }
}
{ \defeq} { { \frac{ n ! }{ k ! ( n - k)! } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
}
One can write this fraction also as
\mathdisp {{ \frac{ n(n-1)(n-2) \cdots (n-k+2)(n-k+1) }{ k(k-1) (k-2) \cdots 2 \cdot 1 } }} { , }
because th factors from \mathl{(n-k)!}{} are also in $n!$. In this representation, we have the same number of factors in the numerator and in the denominator. Sometimes it is useful to allow also negative $k$ or
\mathrelationchain
{\relationchain
{k
}
{ > }{n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and define in these cases the binomial coefficients to be $0$.
From the very definition, it is not immediately clear that the binomial coefficients are natural numbers. This follows from the following relationship.
\image{ \begin{center}
\includegraphics[width=5.5cm]{\imageinclude {Pascal_triangle.svg} }
\end{center}
\imagetext {The \keyword {triangle of the binomial coefficients} {} was known in India and Persia around 1000,} }
\imagelicense { Pascal triangle.svg } {} {Kazukiokumura} {Commons} {CC-by-sa 3.0} {}
\image{ \begin{center}
\includegraphics[width=5.5cm]{\imageinclude {Yanghui_triangle.gif} }
\end{center}
\imagetext {in China it is called \keyword {triangle of Yanghui} {}
(after Yang Hui (about 1238-1298)),} }
\imagelicense { Yanghui triangle.gif } {} {Noe} {Commons} {PD} {}
\image{ \begin{center}
\includegraphics[width=5.5cm]{\imageinclude {TrianguloPascal.jpg} }
\end{center}
\imagetext {in Europe it is called the \keyword {triangle of Pascal} {} (after Blaise Pascal (1623-1662)).} }
\imagelicense { TrianguloPascal.jpg } {} {Drini} {Commons} {PD} {}
\inputfactproof
{Binomial coefficient/Sum in Pascal triangle/Fact}
{Lemma}
{}
{
\factsituation {The
binomial coefficients}
\factconclusion {fulfill the recursive relationship
\mathrelationchaindisplay
{\relationchain
{ \binom { n+1 } { k }
}
{ =} { \binom { n } { k } + \binom { n } { k-1 }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\factextra {}
{See Exercise 4.13 .}
The following formula brings addition and multiplication together in some sense.
\inputfactproof
{Field/Binomi/Fact}
{Theorem}
{}
{
\factsituation {}
\factcondition {Let \mathl{a,b}{} be elements of a
field
and let $n$ denote a natural number.}
\factconclusion {Then
\mathdisp {( a + b )^{ n } = \sum_{ k=0 }^{ n } \binom { n } { k } a^{ k } b^{ n - k }} { }
holds.}
\factextra {}
}
{
We do induction over $n$. For
\mathrelationchain
{\relationchain
{n
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
we have on one hand
\mathrelationchain
{\relationchain
{ (a+b)^0
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and on the other hand
\mathrelationchain
{\relationchain
{a^0b^0
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
as well. Suppose now that the statement is true for $n$. Then
\mathrelationchainalign
{\relationchainalign
{ (a+b)^{n+1}
}
{ =} { (a+b) (a+b)^n
}
{ =} { (a+b) { \left( \sum_{ k=0 } ^{ n } \binom { n } { k } a^{k} b^{n - k} \right) }
}
{ =} { a { \left( \sum_{ k = 0 }^{ n } \binom { n } { k } a^{k} b^{n - k} \right) } + b { \left( \sum_{ k = 0 } ^{ n } \binom { n } { k } a^{k} b^{n - k} \right) }
}
{ =} { \sum_{ k =0 } ^{ n } \binom { n } { k } a^{k+1} b^{n - k} + \sum_{ k= 0 } ^{ n } \binom { n } { k } a^{k} b^{n - k+1}
}
}
{
\relationchainextensionalign
{ =} { \sum_{ k = 1 } ^{ n+1 } \binom { n } { k-1 } a^{k} b^{n - k+1} + \sum_{ k = 0 } ^{ n+1 } \binom { n } { k } a^{k} b^{n - k+1}
}
{ =} { \sum_{ k= 1 } ^{ n+1 } { \left( \binom { n } { k-1 } + \binom { n } { k } \right) } a^{k} b^{n+1 - k} + b^{n+1}
}
{ =} { \sum_{ k= 1 } ^{ n +1} \binom { n+1 } { k } a^{k} b^{n+1 - k} + b^{n+1}
}
{ =} { \sum_{ k= 0 } ^{ n +1} \binom { n+1 } { k } a^{k} b^{n+1 - k}
}
}
{}{.}
\inputremark {}
{
For the binomial coefficient
\mathdisp {\binom { n } { k }} { }
there is an important interpretation. It describes the number of subsets with exactly $k$ elements inside a set with $n$ elements. For example, within a set with $49$ elements there are exactly
\mathrelationchaindisplay
{\relationchain
{ \binom { 49 } { 6 }
}
{ =} { { \frac{ 49 \cdot 48 \cdot 47 \cdot 46 \cdot 45 \cdot 44 }{ 6 \cdot 5 \cdot 4 \cdot 3 \cdot2\cdot 1 } }
}
{ =} { 13 983 816
}
{ } {
}
{ } {
}
}
{}{}{}
subsets with $6$ elements. The inverse of this number is the probability to get at the lotto all six numbers right.
}
\image{ \begin{center}
\includegraphics[width=5.5cm]{\imageinclude {A_plus_b_au_carre.svg} }
\end{center}
\imagetext {} }
\imagelicense { A plus b au carre.svg } {} {Alkarex} {Commons} {} {}
\image{ \begin{center}
\includegraphics[width=5.5cm]{\imageinclude {Binomio_al_cubo.svg} }
\end{center}
\imagetext {} }
\imagelicense { Binomio al cubo.svg } {Drini} {} {Commons} {} {}