Mathematics
Mathematics
to Touch
Tbilisi 2018
1
The book is a collection of Mathematical texts in English for Mathematics
Faculty and also consists of Biographies of Foreign and Geogian famous
mathematicians; Funny stories and humor; Expressions of the famous
mathematicians and public figures; Mathematical symbols and signs; The
Greek Alphabet; The list of the most frequently used mathematical terms
and short English-Georgian maths dictionary.
2
Contents
1. What is Mathematics and Why Do We Learn it? -5
2. The Evolution of Mathematical Thought - 8
3. The History of Mathematics - 17
4. Fields of Mathematics - 23
5. Some Facts On the Development of the Number System - 24
6. Abacus -27
7. Arithmetics – “The Queen of Mathematics”
(The father of Arithmetics) - 38
8. The Whole Numbers (Operations on them) - 39
9. Fractions (Operations on them) - 44
10. Decimal Fractions (Operations on them) -42
11. Quotients With Repeated Decimals -52
12. Formulas -58
13. Addition, Subtraction, Multiplication and Division of Positive and Negative
Numbers , Products and Powers - 62
14. The Construction and Use of Graphs - 68
15. The History of Algebra (The Fathers of Algebra) - 75
16. The Hystory of Geometry (The Father of Geometry) - 86
17. Types of Geometry - 90
18. Solids, Surfaces, Lines, Points, Theorems, Vertical and Horizontal Lines and
Planes - 96
19. Comparing the Three Systems of Geometry -101
20. The History Of Trigonometry (The Father of Trigonometry) – 102
21. The History of Numbers Theory (The Father of Numbers Theory) -107
22. Mathematical Theorems -111
23. Natural Numbers - 112
24. Rational and Irrational Numbers - 113
25. Real Numbers - 114
3
26. Complex Numbers -116
27. What is Random Numbers -117
28. Elements and sets - 119
What is this mathematics which many people are talking about today?
Is it counting? Is it adding, subtracting, multiplying and dividing? Is it
drawing figures and measuring them? I it a language which uses symbols?
The answers are all “no”. Mathematics has all of these things. But it is very
much more than all of them. Mathematics is as old as civilization itself. By the
Neolithic Period, as life became settled and villages began to appear, writing and
counting became increasingly useful. With counting, the history of mathematics
began.
Mathematics is a special way of thinking. We start with some things that
we know are true, and by thinking the right way, we show how these things give
us the only right result an the finish. It teaches us how to find the answers to the
5
puzzles.
We all know that it is easy to do a puzzle if someone has told you the
answers before. That is just a test of memory. But you can tell yourself a
mathematician if and only if you know that you can solve puzzles that you have
not studied before.
Mathematics is a branch of science. It is a higher-level language. It makes
people think. All scientific knowledge is based on mathematics.
We are living in a world which is changing very fast. There are many new
things in life like atomic submarines, jet planes, space rockets, new medicines,
and new electronic machines and so on. It is interesting that most of these new
things have something to do with mathematics and mathematicians.
Without mathematics and mathematicians we would not have many of
these new things and the world would be able to go on as it is today.
Mathematics is used to make better telephone systems airplanes, textiles,
petroleum goods and many other sings. The reason way we use mathematics in
so many different places is to do with the way mathematical reasoning makes it
possible to find the answer too many kinds of difficult problems.
Every day the world needs more and more mathematicians. In industry,
business and government, Mathematicians are used to find the answers too many
difficult kinds of problems. They are also used to help other workers to do their
jobs, and to work machines like electronic tools.
Many people who are not mathematicians use a lot of mathematics every
day. This is very true for engineers and scientists. Every day they need to know
more and more advances mathematics. Every new airplane, motor car or
electronic machine needs more advances mathematics than before.
It is important for everyone to know about mathematics and to understand
how much mathematics has to do with their lives.
Many people study mathematics for fun in the same way that many people
like music, painting pictures or playing football.
6
Briefly, mathematics study problems and use results to find new things and
new ways of doing things, to make our lives better.
Every day mathematicians are finding new things about mathematics. And
every year mathematicians write thousands of papers on the new things they
have found. One person can not read so many papers. So on person knows
everything there is to know about mathematics. As a result if you understand
how mathematics works and how to think in a mathematical way, then you will
understand and enjoy much better the world in which you live today.
7
writing it down.
Answer the problem. Draw a diagram if necessary and don’t leave
anything important out of the working. Use the correct symbols.
Because your mathematics is in English, try to think in English. Do not try
to translate each question into Georgian first.
The names of the men who pioneered in mathematics, are lost in the same
ancient mists that obscure all of mankind’s early history. There are no records of
the cavemen who, eons ego, first conceived the idea of counting. Millennia went
by Hundreds of generations rose from and sank back into the earth before the
spoken number evolved into a written one. At first the notation system consisted
simply of pictures of each object being counted. Even the early Egyptians used
pictures of objects to show “how many”. Numbers could not yet be thought of
apart from the objects or pictures thereof being counted. Number was not a
separate entity.
With the rise of personal property mathematics took a giant stride forward.
Numbers now had an entity of their own, completely divorces from the things
being counted. This abstraction of numbers was the beginning of mathematics,
for men could now deal with numbers or symbols rather than actual objects.
Addition and subtraction could be carried out without physically increasing or
diminishing a quantity of objects.
Still the number systems were not perfect. The same symbol was often used
for more than one number. Multiplication and division required hours to perform
and could only be done by experts.
But history could not wait for the number system to be perfected.
Mathematics advanced in spite of its poor notation – and advanced brilliantly
with an achievement that five thousand years later is still one of the wonders of
8
the world.
This near miracle was the building of the great pyramids of Egypt. More
than memorials to dead kings, they are monuments of mathematical triumph, the
angles at the bases of the pyramids had to be exactly 900 or the sides would not
meet at one point at the top. Each side had to slope inward at the same rate. Each
stone had to be places precisely. The temple of Amon-Ra was built so that on
the longest day of the year the setting sun shines directly through the building,
from the front door to the back wall. It was all done with crude measuring
devices by men whose number system was so clumsy that a simple problem in
multiplication required the services of a professional mathematician.
The Egyptians are among the first known peoples to utilize the basic rules
of geometry. On the American hemisphere, the Mayans made a start, too, as
evidenced by their remarkable temples; but their civilization fell without their
discoveries ever entering the mainstream of man’s learning. Credit must go
instead to the Egyptians for taking the first crude steps with such glorious
results. The Egyptians were impelled to learn something about geometry, not
from intellectual curiosity, but for practical reasons. Every year the Nile
overflowed, wiping out landmarks and boundaries. In order to restore the
boundaries, the Egyptians had to learn to measure the land. Therefore, they
turned to Geometry.
Geometry never achieved the status of a science with the Egyptians. That
the Egyptians did not go further in mathematics is not surprising. A highly
religious people, their lives were oriented toward death rather than life. They
built their tombs and their ships for the dead, nothing mattered in the present
life, certainly not mathematics. Furthermore, the only educated people were the
priests, who kept all learning to themselves. Once they figured out how to tell
from the position of the stars when the Nile would overflow, they dropped their
study of astronomy. Nor did they make any effort to pass along their knowledge
to others, for it was to the priests’ benefit to keep the people ignorant and
9
depended on them. Learning, as a result, never flourished.
Meanwhile, the Babylonians in their valley between the Tigris and
Euphrates rivers were making similar strides in mathematics. They turned their
knowledge of geometry to improving their present life. The Hanging Gardens of
Babylon – also a wonder of the ancient world – could be enjoyed by King
Nebuchadnezzar here and now, while the Egyptian pharaons had to wait until
they died to use the pyramids. The greatest structures in Babylon were not tombs
but palaces and public buildings.
The Babylonians were great farmers and traders, and their financial
dealings meant that they needed – and developed – a facility in computing
numbers. As early as 4.000 B.C. they had a basic arithmetic and soon were
solving simple algebraic equations. By the time Babylonia was at its high,
around 600 B.C., her mathematicians were attempting to prove theorems in
geometry. Whatever they did in offering proofs, however, has not survived and
there is little evidence that they went very far in that direction.
Here the door of history closes on Egypt and Babylonia. Two great
civilizations slowly fell into decay. The greatest was yet to come: Greece.. Its
Golden Age lasted but three centuries. Yet there have never been three centuries
like them in the whole history of mankind. From a few Greek cities – actually
small towns by today’s standards – came the most spectacular intellectual
achievements imaginable, achievements that laid the artistic, scientific and
political foundations for all of Western civilization. Such modern-sounding
ideas as atomic physics, democracy, communism – all date back to ancient
Greece. In her three golden centuries, from the beginning to the end, when the
entire citizen population of the Greek city – states was less than the present-day
population of New-York or London, in other words, a relative handful of people,
in a short span of years reshaped the whole path of human thought – and two
thousand years later we are still on the same path.
The Greeks had started with an almost barren world and formed from it
10
geometry. They had laid the foundations and set the standards for all of sciences.
They had completely mastered geometry and make a start in trigonometry.
In Europe very little of importance to mathematic had occurred since
Archimedes. Geometry had not developed beyond the state in which the late
Alexandrians had left it. Alexandria had had one last burst of splendor when her
mathematicians measured the earth’s diameter and the distance from the Earch
to the Moon. But it would be another century to come for the significant
additions to be made.
The Roman Empire was growing like a weed, choking out the Hellenistic
cities and with them the Greek thirst for knowledge. When Caesar invaded
Egypt, he set fire to the ships in the Harbor of Alexandria. The Fire got out of
control, spread to the library and burned half a million manuscripts – the
repository of all ancient knowledge. What the flames missed the Moslems looted
seven centuries later, scattering the heritage of Greece to the four winds.
The practical-minded Roman Empire flourished for five centuries; it added
almost nothing to mathematics. When Rome fell, her ruin was as great as her
glory had been. Capitolium was described as the former sacred ground,
disfigured with thorns; the path of victory – obliterated by vines; benches of the
senators – concealed by a dunghill; the forum of the Roman people – enclosed
for the cultivation of pot-herbs or thrown open for swine and buffaloes; The
public and private buildings that had been founded for eternity, lie naked and
broken, like the limbs of a mighty giant. That was the state of Rome, and the rest
of Europe was Romeat large. Only in the East – in Turkey and India – was there
intellectual light. Constantinople preserved Greek learning but added little to it.
In India, three of the greatest strides in the development of mathematics
were being made: Our present number system was created, wherein only ten
digits, including zero, could easily and clearly express any number desired. It is
impossible to estimate the importance of this invention. Without it, mathematics
could have progressed no further. The second development was the extension of
11
the number field to include negative numbers. The third was the invention of
algebra. Symbols were invented to indicate the different operations.
During the ninth and tenth centuries, the mathematics of India spread to
Arabia, where it was developed even further. One of the most famous Arabian
mathematicians was Omar Khayyam, Known to the Western world as the author
of “The Robaiyat”. Omar Khayyam not only absorbed all that India had to teach
but added something of his own. He began to use of graphs to combine algebra
and geometry and may even have worked with the binomial theorem, thus
anticipating Descartes and Newton by several centuries.
Meanwhile, Europe was still in the Dark Ages. Algebra and Arabic
numbers were introduces to Italy in 1202 by Leonardo Fibonacci, an eminent
Pisan scholar. Everywhere the resistance against using the new number system
was great. In some places Arabic numbers were actually banned by law. Slowly,
however, Roman numerals gave way to Arabic ones, except in places where
rapid calculating did not matter, such as on monuments, buildings, watch faces,
where they persist event today.
It was not until the fourteenth and fifteenth centuries that the Renaissance
butterfly, brilliantly colored and alive, really began to emerge from the dull, dark
cocoon in which she had been sleeping for almost a thousand years. Arab
learning took root and began to be taught in the new universities. Greek
mathematicians began migrating to Europe from Constantinople, driven by
poverty and the invading Turks, who finally captured the city in 1453. With the
rise of commerce and the need for bookkeeping and accounting, interest in
numbers grew.
Whereas geometry had been good for sublime minds unconcerned with
worldly affairs, algebra was the bead and butter of the marketplace. It had
developed from accounting and grown up without a plan or structure, without
axioms and populates. Yet it worked, and men kept adding new things to it
without even feeling the need of a logical foundation. Geometry might be
12
compared to the well-brought-up, disciplined child whose formal manners
delight. Algebra, on the other hand, grew up in a household where the parent
were too busy making a living to administer discipline or teach manners. Not
until the nineteenth century did anyone notice or care that algebra lacked the
polish and style of the more aristocratic geometry.
The Renaissance burst in Italy and then spread to the rest of the continent,
breathing new life into art, science, commerce. Vigorous, brilliant, ambitious,
worldly men replaced the illiterate serfs of the Middle Ages whose main concern
had been the salvation of their souls. With the Renaissance, men’s eyes turned
earthward; explores risked their lives for gold; alchemists brewed “elixirs of
life”, tried to turn metals into gold…
A new world had been born, a Renaissance world, a world of science, a
world that came out of the womb of medieval darkness and into the light of the
modern age. Like all births, this one was accompanied by pain. Savonarola, an
Italian ascetic, had been burned because he refused to help in the birth of this
new world; Bruno, a hundred years later, had been burned and Galileo thrown
into prison because they would help. All over Europe Inquisitions had been set
up to try to keep the old order. All over Europe schools and universities, new
religious groups had been set up to effect the change. Europe had been reformed.
The Counter-Reformation came into full bloom and those who tried to serve
both the princes and the popes, the kings and the cardinals, found themselves in
trouble. In England Henry VIII made himself sovereign of both church and state,
thus solving this problem in his country.
The eighteenth century was still an age when no man could consider
himself educated without a knowledge of mathematics, for on mathematics all
knowledge was based. Its methods set the standard and became the model for
every other branch of learning; everything – any idea or fact – could be summed
up mathematically. Leibniz had even started a grand scheme whereby all ideas
were to be reduced to symbols, which could then be handled in the same way as
13
algebraic symbols. This scheme, he believed, would rid the world of wars, for
all disputes and differences could be settled peacefully and fairly by symbols.
Today an artificial language capable of expressing detailed ideas is being
developed for use by electronic computers and a whole branch of modern
mathematics, symbolic logic, has been erected on the ruins of Leibniz’s scheme.
Mathematics is the broad, autonomous field of study. From the Greeks to
modern Europe, mathematics steadily grew from a small sapling into a great tree
with its some major branches – geometry, algebra, analysis, number theory;
smaller branches sprouted from the main limbs, and it seemed that the tree could
grow indefinitely. Mathematical thinking had been grafted on to almost every
other body of knowledge in some cases successfully, in others with less
promising results. Although the real might of mathematics lay in its applications
to the physical sciences – chemistry, physics, etc. – the social sciences, too,
adopted its methods. politics, economics, sociology, psychology, all grew up
under the tutelage of mathematics.
In the new world, a nation had been founded on principles that were
mathematical in origin. The Declarationd independence was inspired by the
philosophy of John Locke who in turn got his ideas about political philosophy
from mathematicians. What Newton had done for physical science, he attempted
to do for social science. Starting with a few axioms or postulates, namely, that
Man is created free and equal with certain inalienable rights, Locke erected a
whole political system. The Founding Fathers, in turn, adopted this philosophy
as the basis of their new government. In Economics, Adam Smith borrowed
freely from mathematical thinking to produce a magnificently logical economic
system.
The mathematical tree with its method of rigorous, logical thinking seemed
to provide the answer to all men’s problems, in the social as well as in the
physical and natural sciences.
Science, once thought to be absolute truth, was forced in the eighteenth
14
century to retreat to a position where it claimed to be only a technique for
finding highly probable truth. With the rise of non-Euclidean geometry,
geometry also was forced to retreat from its lofty citadel of absolute truth to a
lower level where it took its place as only one step in a process of discovering
probable truth. And as geometry went, so went the rest of mathematics, It is not
God who geometrizes, as Plato said, or arithmetizes, as Jacob said, But man.
Mathematics is no longer an absolute truth; there is no objective reality,
mathematics is only a very useful took – and like any other tool is man-made.
The world does not necessarily fit our mathematics. On the contrary, we fit our
mathematics to the world, observing and testing to determine which
mathematics to use under different circumstances in order to have the world as
we see it, to conform to some type of mathematical order. Mathematicians do
not suppose that the mathematics chosen is a perfect fit. Nor do they make the
old mistake of supposing that the mathematical model resembles or mirrors the
real world. It was the Greeks who first conceived of the world as being made in
a mathematical mold – a conception that is still held by most people. Some
mathematician now, after two millennia, have come to realize that such a view is
as erroneous as imagining that men were made with two legs so that they would
be able to wear trousers. Despite the marvels of application, mathematics is not
claimed to be the same as reality. It is simply a marvelous mental brew.
Mathematics is a tool capable of carving many models, the best of which is
then selected to describe or picture observed facts. But the facts – or the reality
behind the facts – and the model do not necessarily correspond exactly – or even
at all. As long as the modelgives good results, however, it can be called true or
at least highly probable.
“Modern mathematicians are divided into two camps, the intuitionists and
the formalists. The intuitionist is not a person who depends on intuition in
solving problems; he is extremely rigorous and rejects much that a formalist
would accept; he maintains that it is impossible to erect a rigorous, complete,
15
logical and self-contained mathematical system, that a rigorous casual
description of nature is impossible, that eventually we reach the point where we
must appeal to intuition as a basis for the axioms. The formalist, on the other
hand, maintains that mathematics can be made into a formal, logical system that
depends only on logic and a consistent set of axioms. A formalist is more liberal
than an intuitionist in his interpretation of what constitutes a valid proof; they
have faith in a rational system” (Hardy).
For centuries men visualized the conventional plane when confronted with
Euclid’s definition and based their whole geometry on this unwarranted picture.
But geometry is not based on pictures. It is based on logic. Diagrams are nothing
but schematic renderings of abstract relationships and have no bearing on the
validity of the relationships themselves.
Non-Euclidean revolution tried to topple mathematics from the throne of
Truth. The revolution had been brewing even before the days of Euler. It was
now complete. If science and mathematics rest ultimately on unprovable and
possible erroneous axioms, why should men have faith in the truth of these
axioms? IT was two Germans, Gauss and Riemann, and two men schooled by
Germans, Lobachevsky and Bolyai, who had pioneered non-Euclidean geometry
and thus had brought the scientific crisis to a head. It was also the German
mathematicians – Weierstrass, Dedekind and Cantor – who made the greatest
strides in salvaging and rebuilding mathematics.
Within mathematics, the effect of non-Euclidean geometry was to discredit
the old idea that mathematical truth is the same as objective, absolute reality.
Men now began to realize that there are many mathematical systems – all
equally true – built on different sets of postulates and axioms. The axioms may
differ, but the rules of logic are the same for each system. Mathematics can be
viewed, according to David Hilbert, one of the greatest mathematicians of the
twentieth century, as simply a meaningless game with no connection at all with
the real world. But how can it be that “meaningless” truths can be so useful? Is it
16
mere coincidence that conic sections describe the orbits of planets; that
imaginary numbers describe alternating currents; that the classic Fibonacci
series describes the arrangement of scales on a pine cone and seeds in a sun-
flower; that geometric progressions describe whorls of a see-shell! Is it mere
coincidence that reason is so useful in probing reality? No one knows.
17
THE HISTORY OF MATHEMATICS
The names of the men who pioneered in mathematics are lost in the ancient
midsts. There are no records of the cavemen who, first conceived the idea of
counting: 1, 2, 3, 4 – many. At first the notation system consisted simply of
pictures of each object being counted-three bisons painted on a cave wall
recorded the number of animals a hunter had killed. Even the early Egyptians
used pictures of objects to show “how many”. Number was not a separate entity.
With the rise of personal property domestic animals, lands… mathematics took a
giant stride forward. Instead of using several sets of symbols, one for cows,
another for wheat, one set was used for all objects and the symbols were given
names: one, two, three, etc. Numbers now had an entity of their own. This
abstraction of numbers was the beginning of Maths. For men could now deal
with numbers or symbols rather than actual objects. Addition and subtraction
could be carried out without physically increasing or diminishing a quantity of
objects. Still the number system were not perfect. The same symbol was often
used for more than one number. Multiplication and division required hours to
perform and could only be done by experts.
But history could not wait for the number system to be perfected.
Mathematics advanced in spite of its poor notation – and advanced brilliantly
with an achievement that five thousand years later is still one of the wonders of
the world. More than memorials to dead kings, the great pyramids in Egypt are
monuments of mathematical triumph. The angels at the basis of the pyramids
had to be exactly 900 or the sides would not meet at one point at the top. Each
18
side had to slope inward at the same rate. Each stone had to be placed precisely.
The temple of Amon-Ra at Kernak was built so that on the longest day of the
year the setting sun shines directly through the building from the front door to
the back wall. The Egyptians were impelled to learn something about geometry,
not from intellectual curiosity but for practical reasons. Every year the Nile
overflowed, wiping out landmarks and bounderies. In order to restore the
bounderies, the Egyptians had to learn to measure the land. Therefore, they
turned to geometry. The very word in Greek and Latin means “to measure”
(metrein and metric) “the earth” (ge and geo).
Geometry never achieved the status of a science with the Egyptians. It
never was anything more than a collections of rules and rough measurements;
the circumference of a circle, for instance, was calculated to be (4/3) 4 of the
diameter. That the Egyptians did not go further in mathematics is not surprising.
A highly religious people their lives were oriented toward death rather than life.
They built tombs and ships for the dead – everything was derected toward the
life hereafter nothing mattered in the present one, certainly not mathematics.
Furthermore: the only educated people were the priests who kept all learning to
themselves. Only they had figured out how to tell from the position of the stars
when the Nile would overflow, they dropped there study of astronomy. Nor did
they make any effort to pass along their knowledge to others, for the priests
wanted to keep the people ignorant and dependent on them.
Meanwhile, the Babylonians between the Tigris and Euphrates rivers were
making similar strides in mathematics. They turned their knowledge of
geometry to improving their present life. The hanging Gardens of Babylon –
also a wonder of the ancient world – could be enjoyed by King Nebuchadnezzar
here and now, while the Egyptian pharaons had to wait until they died to use the
pyramids. The greatest structures in Babylon were not tombs but palaces and
public buildings. The Babylonians were great farmers and traders, and their
financial dealings meant that they needed – and developed – a facility in
19
computting numbers. Is early as 4.000 B.C. they had a basic arithemetic and
soon were solving simple algebraic equations. By the time Babylonia was at its
height, around 600 B.C., her mathematicians were trying to prove theorems in
geometry. The Greeks are often given credit for being the first to construct
proofs, but recent discoveries point to the Babylonians as the true originators.
Here the door of history closes on Egypt and Babylonia. Two great civilizations
slowly fell into decey. The greatest was yet to come: Greece. Its Golden Age
lasted but three centuries. Yet there have never been three centuries like them in
the whole history of mankind. From a few Greek cities actually small towns by
today’s standards –came the most intellectual achievements imaginable,
achievements that laid the artistic, scientific and political foundations for all of
Western civilization. Such modern – Sounding ideas as atomic physics,
democracy, and communism all date back to ancient Greece. In her three golden
centuries the entire citizen population of the Greek city – states was less than the
present – day population of New York or London. In other words, a handful of
people in a short span of years reshaped the whole path of human thought – and
two thousand years later we are still on the same path. The speciality of the
Greeks was mathematics and it is here that individual men (Pytagoras, Euclid,
Archimedes) begin the be identifiable on the mathematical scene. The Greeks
had laid foundations and set the standards for all of science. They had
completely mastered geometry and made a start in trigonometry. Archimedes
pointed the way to calculas or analysis, but there was no one to follow.
Archimedes had developed the subject to the point where no further advances
could be made without algebra and analytic geometry. History had to wait
seventeen centuries for the next major step.
1. mists - ბინდი
21
ARCHIMEDES (287-212 B.C.) THE FATHER
OF MATHEMATICS
23
Fields of Mathematics
24
SOME FACTS ON THE DEVELOPMENT OF THE NUMBER
SYSTEM
Our present number system has not always been so fully developed as it is
today. The number system is closely connected with early prehistoric man and
with the most recent discoveries in atomic science.
But there was a time when man did not know how to count. The origin of
number and counting is hidden behind countless prehistoric ages. No one
knows when counting first began. Before man learned to count, he probably
used names or signs for each person or thing. It is believed that the early
shepherds would call their sheep by name in order to determine if any of them
were missing. Counting represents a very important milestone in the progress
of civilization. Of course, there were no number names at first; so counterswere
used. For counters man used sticks, pebbles, his fingers, and in some instances,
his toes also. In fact, the word calculus comes from the Latin, meaning pebble;
our numerals are called digits from the Latin, meaning finger.
The early shepherd probably learned that, instead of calling his sheep by
name, he could lay aside a pebble for each sheep as he led them to the corral for
the night and thus learned if any one of them had been lost.
Only about 300 years ago a great mathematician and philosopher. Rene
Descartes (1596 - 1650) represented number pairs by points. This creation
made possible the great advance in science and mathematics during the
eighteenth century. In 1642 one of the greatest minds of all time Isaac Newton
was born (1642 - 1727). Newton was one of the inventors of the calculus which
25
is now studied bv college students who are seriously interested in mathematics
or physical science.
Our number-system uses only the symbols 0, 1, 2 ... 9; it has base ten and
positional notation. Thus any integer can be expressed with these symbols in
various, combinations and arrangements. The base of our system is ten. Ten is
probably the base because we have ten fingers and the" fingers were used in the
early stages of counting.
One of the significiant input to Math was the The introduction of “zero”
was the father of Arithmetic Brahmagupta (Indian mathematician – 598 A.D.).
Invention of zero and our number system is one of the greatest achievements of
the human race, without which the progress of science, industry, and commerce
could be impossible. This new system was introduced in Europe by the Arabs,
or Moslems, at about the beginning of the tenth century. These new numbers
were used, and finally, after about five centuries, the decimal system won the
battle.
Archimedes არქიმედე
Babylonians ბაბილონელები
calculus აღრიცხვა
Chinese ჩინელები
Copernicus კოპერნიკი
counting თვლა
Hindus ინდუსები
Galileo გალილეი
It is believed დასაშვებია
milestone ეტაპი
point წერტილი
by point წერტილებით
Sumerians შუმერები
HINDU FIGURES
Abacus
"Abaci" and "Abacuses" redirect here. For the Turkish surname, see Abacı. For
the medieval book, see Liber Abaci.
28
Calculating-Table by Gregor Reisch: Margarita Philosophica, 1503. The
woodcut shows Arithmeticainstructing an algorist and an abacist (inaccurately
represented as Boethiusand Pythagoras). There was keen competition between
the two from the introduction of the Algebra into Europe in the 12th century
until its triumph in the 16th.
The abacus (plural abaci or abacuses), also called a counting frame, is a
calculating tool that was in use in Europe, China and Russia, centuries before
the adoption of the written Hindu–Arabic numeral system. The exact origin of
the abacus is still unknown. Today, abaci are often constructed as
a bamboo frame with beads sliding on wires, but originally they were beans or
stones moved in grooves in sand or on tablets of wood, stone, or metal.
Abaci come in different designs. Some designs, like the bead frame consisting of
beads divided into tens, are used mainly to teach arithmetic, although they
remain popular in the post-Soviet states as a tool. Other designs, such as the
Japanese soroban, have been used for practical calculations even involving
several digits. For any particular abacus design, there usually are numerous
different methods to perform a certain type of calculation, which may include
basic operations like addition and multiplication, or even more complex ones,
such as calculating square roots. Some of these methods may work with non-
natural numbers (numbers such as 1.5 and 3⁄4).
Although today many use calculators and computers instead of abaci to
calculate, abaci still remain in common use in some countries. Merchants,
traders and clerks in some parts of Eastern Europe, Russia, China and Africa use
abaci, and they are still used to teach arithmetic to children. Some people who
are unable to use a calculator because of visual impairment may use an abacus.
The use of the word abacus dates before 1387 AD, when a Middle English work
borrowed the word from Latin to describe a sandboard abacus. The Latin word
29
came from Greek ἄβαξ abax which means something without base, and
improperly, any piece of rectangular board or plank. Alternatively, without
reference to ancient texts on etymology, it has been suggested that it means "a
square tablet strewn with dust", or "drawing-board covered with dust (for the use
of mathematics)" (the exact shape of the Latin perhaps reflects the genitive
form of the Greek word, ἄβακoς abakos). Whereas the table strewn with dust
definition is popular, there are those that do not place credence in this at all and
in fact state that it is not proven. Greek ἄβαξ itself is probably a borrowing of
a Northwest Semitic, perhaps Phoenician, word akin to Hebrew ʾābāq ()אבק,
"dust" (or in post-Biblical sense meaning "sand used as a writing surface").
The preferred plural of abacus is a subject of disagreement, with both abacuses
and abaci in use. The user of an abacus is called an abacist.
History
Mesopotamian
The period 2700–2300 BC saw the first appearance of the Sumerian abacus, a
table of successive columns which delimited the successive orders of magnitude
of their sexagesimal number system. Some scholars point to a character from
the Babylonian cuneiform which may have been derived from a representation
of the abacus. It is the belief of Old Babylonian scholars such as Carruccio that
Old Babylonians "may have used the abacus for the operations
of addition and subtraction; however, this primitive device proved difficult to
use for more complex calculations".
Egyptian
The use of the abacus in Ancient Egypt is mentioned by the Greek
historian Herodotus, who writes that the Egyptians manipulated the pebbles
from right to left, opposite in direction to the Greek left-to-right method.
Archaeologists have found ancient disks of various sizes that are thought to have
been used as counters. However, wall depictions of this instrument have not
been discovered.
Persian
During the Achaemenid Empire, around 600 BC the Persians first began to use
the abacus. Under the Parthian, Sassanian and Iranian empires, scholars
concentrated on exchanging knowledge and inventions with the countries
around them – India, China, and the Roman Empire, when it is thought to have
been exported to other countries.
Greek
An early photograph of the Salamis Tablet, 1899. The original is marble and is
held by the National Museum of Epigraphy, in Athens.
30
The earliest archaeological evidence for the use of the Greek abacus dates to the
5th century BC. Also Demosthenes (384 BC–322 BC) talked of the need to use
pebbles for calculations too difficult for your head. A play by Alexisfrom the 4th
century BC mentions an abacus and pebbles for accounting, and
both Diogenes and Polybius mention men that sometimes stood for more and
sometimes for less, like the pebbles on an abacus. The Greek abacus was a table
of wood or marble, pre-set with small counters in wood or metal for
mathematical calculations. This Greek abacus saw use in Achaemenid Persia,
the Etruscan civilization, Ancient Rome and, until the French Revolution, the
Western Christian world.
A tablet found on the Greek island Salamis in 1846 AD (the Salamis Tablet),
dates back to 300 BC, making it the oldest counting board discovered so far. It is
a slab of white marble 149 cm (59 in) long, 75 cm (30 in) wide, and 4.5 cm
(2 in) thick, on which are 5 groups of markings. In the center of the tablet is a set
of 5 parallel lines equally divided by a vertical line, capped with a semicircle at
the intersection of the bottom-most horizontal line and the single vertical line.
Below these lines is a wide space with a horizontal crack dividing it. Below this
crack is another group of eleven parallel lines, again divided into two sections
by a line perpendicular to them, but with the semicircle at the top of the
intersection; the third, sixth and ninth of these lines are marked with a cross
where they intersect with the vertical line. Also from this time frame the Darius
Vase was unearthed in 1851. It was covered with pictures including a "treasurer"
holding a wax tablet in one hand while manipulating counters on a table with the
other.
Chinese
Main article: Suanpan
Abacus
Chinese 算盤
31
The earliest known written documentation of the Chinese abacus dates to the
2nd century BC.
The Chinese abacus, known as the suanpan (算盤, lit. "counting tray"), is
typically 20 cm (8 in) tall and comes in various widths depending on the
operator. It usually has more than seven rods. There are two beads on each rod
in the upper deck and five beads each in the bottom. The beads are usually
rounded and made of a hardwood. The beads are counted by moving them up or
down towards the beam; beads moved toward the beam are counted, while those
moved away from it are not. The suanpan can be reset to the starting position
instantly by a quick movement along the horizontal axis to spin all the beads
away from the horizontal beam at the center.
Suanpan can be used for functions other than counting. Unlike the simple
counting board used in elementary schools, very efficient suanpan techniques
have been developed to do multiplication, division, addition, subtraction, square
rootand cube root operations at high speed. There are currently schools teaching
students how to use it.
In the long scroll Along the River During the Qingming Festival painted
by Zhang Zeduan during the Song dynasty (960–1297), a suanpan is clearly
visible beside an account book and doctor's prescriptions on the counter of
an apothecary's (Feibao).
The similarity of the Roman abacus to the Chinese one suggests that one could
have inspired the other, as there is some evidence of a trade relationship between
the Roman Empire and China. However, no direct connection can be
demonstrated, and the similarity of the abaci may be coincidental, both
ultimately arising from counting with five fingers per hand. Where the Roman
model (like most modern Korean and Japanese) has 4 plus 1 bead per decimal
place, the standard suanpan has 5 plus 2. (Incidentally, this allows use with
a hexadecimal numeral system, which was used for traditional Chinese measures
of weight.) Instead of running on wires as in the Chinese, Korean, and Japanese
models, the beads of Roman model run in grooves, presumably making
arithmetic calculations much slower.
Another possible source of the suanpan is Chinese counting rods, which
operated with a decimal system but lacked the concept of zero as a place holder.
The zero was probably introduced to the Chinese in the Tang dynasty (618–907)
when travel in the Indian Ocean and the Middle East would have provided direct
contact with India, allowing them to acquire the concept of zero and the decimal
point from Indian merchants and mathematicians.
Roman
Main article: Roman abacus
32
Copy of a Roman abacus
The normal method of calculation in ancient Rome, as in Greece, was by
moving counters on a smooth table. Originally pebbles (calculi) were used.
Later, and in medieval Europe, jetons were manufactured. Marked lines
indicated units, fives, tens etc. as in the Roman numeral system. This system of
'counter casting' continued into the late Roman empire and in medieval Europe,
and persisted in limited use into the nineteenth century. Due to Pope Sylvester
II's reintroduction of the abacus with modifications, it became widely used in
Europe once again during the 11th century This abacus used beads on wires,
unlike the traditional Roman counting boards, which meant the abacus could be
used much faster.
Writing in the 1st century BC, Horace refers to the wax abacus, a board covered
with a thin layer of black wax on which columns and figures were inscribed
using a stylus.
One example of archaeological evidence of the Roman abacus, shown here in
reconstruction, dates to the 1st century AD. It has eight long grooves containing
up to five beads in each and eight shorter grooves having either one or no beads
in each. The groove marked I indicates units, X tens, and so on up to millions.
The beads in the shorter grooves denote fives –five units, five tens etc.,
essentially in a bi-quinary coded decimal system, related to the Roman
numerals. The short grooves on the right may have been used for marking
Roman "ounces" (i.e. fractions).
Indian
The decimal number system invented in India replaced the abacus in Western
Europe.
The Abhidharmakośabhāṣya of Vasubandhu (316-396), a Sanskrit work on
Buddhist philosophy, says that the second-century CE
philosopher Vasumitra said that "placing a wick (Sanskrit vartikā) on the
number one (ekāṅka) means it is a one, while placing the wick on the number
hundred means it is called a hundred, and on the number one thousand means it
is a thousand". It is unclear exactly what this arrangement may have been.
Around the 5th century, Indian clerks were already finding new ways of
33
recording the contents of the Abacus. Hindu texts used the term śūnya (zero) to
indicate the empty column on the abacus.
Japanese
Main article: Soroban
Japanese soroban
In Japanese, the abacus is called soroban (算盤, そろばん, lit. "Counting tray"),
imported from China in the 14th century. It was probably in use by the working
class a century or more before the ruling class started, as the class structure did
not allow for devices used by the lower class to be adopted or used by the ruling
class. The 1/4 abacus, which is suited to decimal calculation, appeared circa
1930, and became widespread as the Japanese abandoned hexadecimal weight
calculation which was still common in China. The abacus is still manufactured
in Japan today even with the proliferation, practicality, and affordability of
pocket electronic calculators. The use of the soroban is still taught in
Japanese primary schools as part of mathematics, primarily as an aid to faster
mental calculation. Using visual imagery of a soroban, one can arrive at the
answer in the same time as, or even faster than, is possible with a physical
instrument.
Korean
The Chinese abacus migrated from China to Korea around 1400 AD. Koreans
call it jupan (주판), supan (수판) or jusan (주산).
Native American
35
George I. Sanchez, "Arithmetic in Maya", Austin-Texas, 1961 found another
base 5, base 4 abacus in the Yucatán Peninsula that also computed calendar data.
This was a finger abacus, on one hand 0, 1, 2, 3, and 4 were used; and on the
other hand 0, 1, 2 and 3 were used. Note the use of zero at the beginning and end
of the two cycles. Sanchez worked with Sylvanus Morley, a noted Mayanist.
The quipu of the Incas was a system of colored knotted cords used to record
numerical data, like advanced tally sticks – but not used to perform calculations.
Calculations were carried out using a yupana (Quechua for "counting tool"; see
figure) which was still in use after the conquest of Peru. The working principle
of a yupana is unknown, but in 2001 an explanation of the mathematical basis of
these instruments was proposed by Italian mathematician Nicolino De Pasquale.
By comparing the form of several yupanas, researchers found that calculations
were based using the Fibonacci sequence 1, 1, 2, 3, 5 and powers of 10, 20 and
40 as place values for the different fields in the instrument. Using the Fibonacci
sequence would keep the number of grains within any one field at a minimum.
Russian
Russian abacus
The Russian abacus, the schoty (счёты), usually has a single slanted deck, with
ten beads on each wire (except one wire, usually positioned near the user, with
four beads for quarter-ruble fractions). Older models have another 4-bead wire
for quarter-kopeks, which were minted until 1916. The Russian abacus is often
used vertically, with wires from left to right in the manner of a book. The wires
are usually bowed to bulge upward in the center, to keep the beads pinned to
either of the two sides. It is cleared when all the beads are moved to the right.
During manipulation, beads are moved to the left. For easy viewing, the middle
2 beads on each wire (the 5th and 6th bead) usually are of a different color from
the other eight beads. Likewise, the left bead of the thousands wire (and the
million wire, if present) may have a different color.
As a simple, cheap and reliable device, the Russian abacus was in use in all
shops and markets throughout the former Soviet Union, and the usage of it was
36
taught in most schools until the 1990s. Even the 1874 invention of mechanical
calculator, Odhner arithmometer, had not replaced them in Russia and likewise
the mass production of Felix arithmometers since 1924 did not significantly
reduce their use in the Soviet Union. The Russian abacus began to lose
popularity only after the mass production of microcalculators had started in the
Soviet Union in 1974. Today it is regarded as an archaism and replaced by the
handheld calculator.
The Russian abacus was brought to France around 1820 by the
mathematician Jean-Victor Poncelet, who served in Napoleon's army and had
been a prisoner of war in Russia. The abacus had fallen out of use in western
Europe in the 16th century with the rise of decimal notation
and algorismic methods. To Poncelet's French contemporaries, it was something
new. Poncelet used it, not for any applied purpose, but as a teaching and
demonstration aid. The Turks and the Armenian people also used abaci similar
to the Russian schoty. It was named a coulba by the Turks and a choreb by the
Armenians.
School abacus
Binary abacus
Two binary abaci constructed by Dr. Robert C. Good, Jr., made from two
Chinese abaci
The binary abacus is used to explain how computers manipulate numbers. The
abacus shows how numbers, letters, and signs can be stored in a binary
system on a computer, or via ASCII. The device consists of a series of beads on
parallel wires arranged in three separate rows. The beads represent a switch on
the computer in either an "on" or "off" position.
38
Arithmetic – “The Queen of Mathematics” – Carl Friedrich Gauss
Generally when numbers are written the numerals are grouped by threes so
that it becomes easy for the eye to distinguish them.
Thus five million six hundred seventy-five thousand four hundred ninety-
two is written as 5675492.
Often the groups of threes are separated from one another by commas, thus:
5,675,492.
Numbers, when written, are often described by the number of numerals they
contain, the number of places. Thus 72 is a two-place number and 4895 is a
four-place number.
Problems
40
The number resulting from the addition of two or more numbers is known as
the sum. The sign for addition is + (plus).
SOME METHODS
Addition is best performed when the numbers are written in columns so that
units, tens, hundreds, and so forth are written vertically.
The addition is performed from right to left. We can easily observe that the
addition of 8 to 35 gives the same result when 35 is added to 8. In either of the
additions the sum is 43.
Thus - the sum of two or more numbers does not change when the order in
which the numbers are added is changed.
41
We begin the subtraction from the right and we subtract the numbers in the
same column. Thus: 6-4 = 2; 8 - 5=3; etc.
There are two numbers involved in multiplication. The result of their operation
on each other is known as the product.
The operation by means of which a factor is obtained when the product and the
other factor are given is called division.
The given factor is known as the number by which the dividend or product is to
be divided. This number is called the divisor.
ORDER OF OPERATIONS
When we are adding numbers, it makes no difference in what order the
numbers are taken. The best way to check the addition of a column of figures is
to add in the reverse order: if you have already added up the column, then check
by adding down.
42
Numbers may also be multiplied in any order, and a good check for
multiplying 378 by 597 is to multiply 597 by 378.
When an example calls for additions and also subtractions, we may perform the
operations in any order we like. 12 - 20+18 is the same as - 12 + 18 - 20; x2 - 5 +
3x may be written x2 +3x - 5.
5 + 2 × 7- 12 : 6 = 5+14 -2 = 19 - 2 = 17.
To find the value of such an expression as 5a2 + 2ab - a3 when a = 3, b=4, the
value of each term is first obtained separately:
5a2 + 2ab - a3 = 5 • 32 +2 • 3 • 4 - 33 = 5 • 9 +2 • 12 - 27 = 45 + 24 - 27 = 69 -
27 = 42.
add შეკრება
addend შესაკრები
addition შეკრება
check შემოწმება
difference სხვაობა
divide გაყოფა
dividend გამყოფი
division გაყოფა
divisor გამყოფი
factor თანამამრავლი
in column სვეტში
43
by means of რაიმეს მეშვეობით
minuend საკლები
minus მინუსი
multiplicand თანამამრავლი
multiplier თანამამრავლი
multiply გამრავლება
parentheses ფრჩხილები
perform შესრულება
plus პლიუსო
product პროგუქტი
quotient განაყოფი
subtraction გამოკლება
subtrahend მაკლები
sum ჯამი
44
term წევრი
unit ერთეული
value სიდიდე
FRACTIONS
A fraction is a part of unit, such as ½, ¾ etc.
The fraction
A mixed number is an integer together with a fraction, such as etc. The integer
is the integral part, and the fraction is the fractional part.
3
2
5
3
7
8
etc.
Example: Change
4
3
7
to a fraction. Solution:
Addition of Fractions
Fractions cannot be added unless the denominators are all the same. If they are,
add all the numerators and place this sum over the common denominator.
If the denominators are not the same, the fractions in order to be added must be
converted to fractions, having the same denominators. In order to do this it is first
necessary to find Lowest Common Denominator (L. С. D.). The L. C. D. is the
lowest number which can be divided by all the given denominators. Example: the
L. C. D. of ½
and
is 2 × 3 ×5 = 30.
46
Subtraction of Fractions
More than two numbers may be added at the same time. In subtraction,
however, only two numbers are involved. In subtraction, as in addition, the
denominators must be the same. One must be careful to determine which term is
first. The second term is always subtracted from the first, which should be of a
larger quantity.
b) Find the L. C. D.
d) Subtract the numerator of the second fraction from the numerator of the first,
and place this difference over the L. C. D.
e) Reduce if possible.
Multiplication of Fractions
To multiply fractions:
b) Multiply all the numerators and place this product over the product of
denominators.
c) Reduce if possible.
Illustration: Multiply
Division of Fractions
47
3
divided by 5, then
is the first term and 5 is the second. If it reads "How many times is
contained in
1
?"
3
is second.
To divide fractions:
c) Reduce if possible.
Illustration: Divide
48
common denominator საერთო მნიშვნელი
convert გადაქცევა
fraction წილადი
fractional წილადური
integral მთელი
invert გადანაცვლება
numerator მრიცხველი
reduce შეკვეცა
solution ამოხსნა
1. When we add two or several decimal fractions, all of these numbers should
have the same number of places to the right of the decimal point.
2. If we subtract one decimal fraction from another, the two should have the
same number of places to the right of the decimal point.
3. We shall refer to places to the right of the decimal point as decimal places.
49
In a set of addends or in a minuend or subtrahend, one or several of the
numbers may have more decimal places than the others. In such situations we
note the number having the fewest decimal places and discard the digits which
are to the right of these decimal places in the other numbers. For example, in
adding
45.6723
156.78
we discard the digits 2 and 3. But we do not simply ignore these discarded
digits. They may cause a change in one of the digits we intend to use. If we have
45.6723
156.7
45.7
156.7
If the first digit (figure) at left of the portion that is to be discarded is either 0,
1, 2, 3 or 4, then the last digit on the right that is to be retained should be left
unchanged. If the first digit (figure) at the left of the portion that is to be
discarded is either 5, 6, 7, 8 or 9, then the last digit on the right that is to be
retained should be increased by 1.
When 45.6723 was rounded to one decimal place, that is to tenths, we obtained
45.7 because the first digit of the discarded portion was 7, and, therefore, the last
digit on the right (the 6) was increased by 1, and we thus obtained 7.
50
Multiplication of Decimal Fractions
The only difference between the multiplication of whole numbers and decimal
fraction numbers is that we must take into consideration that some portion of one
or both factors is fractional, as indicated by the decimal points.
When the product of the whole numbers 3,672 × 275 is obtained, we must
divide it by 100,000 that is, move the decimal point 5 places to the left. The
multiplication of the whole numbers is:
The decimal point (not written) is at present on the extreme right of the
product, that is, we have 1,009,800 and after moving it 5 places to the left we
have 10.098.
Notice that one factor has 3 decimal places, and the second factor has 2
decimal places. The product has 5 decimal places, that is: the number of the
decimal places in the product is equal to total number of decimal places in the
factors.
The only difference between the division of whole numbers and that of
numbers containing decimal fractions is that we must take into consideration the
fact that some portion of either the dividend or the divisor, or of both is
fractional, as indicated by the decimal points.
51
1. Where shall we locate the decimal point in the quotient?
Let us apply the obtained results to the process of division. Let us first examine
the division of a decimal fraction by a whole number, for example: 111.78:9. We
shall proceed as in the division of whole numbers
Note, that the division of the whole part leaves a remainder 3, and that we have
a fractional part 0.78, that is, we are left with 3.78. From this point on we can't
expect anything else but some fraction in the quotient, if we continue the
division. If now we bring down the next digit, that is 7, we shall have 3.7 or 370
tenths. If we divide 37 tenths by 9, we shall have a certain number of tenths in the
quotient. We shall, therefore, place a decimal point after the 2 in the obtained
quotient and continue the division as usual. We have then:
52
The whole part of the decimal fraction will give the whole part of the quotient.
As soon as we bring down the first digit from the decimal part of the dividend,
we shall begin to obtain the decimal part (the fractional part) of the quotient. This
procedure always serves for the division of decimal numbers by whole numbers.
Now we shall apply the results just obtained to the division of decimal
fractions by decimal fractions. Let us perform the division 176.28:2.6.
We know that the multiplication of the dividend and of the divisor by the same
number does not produce any change in the quotient. When we multiply the
dividend by some number, the quotient is multiplied by the same number, but
when we multiply the divisor by some number, the quotient is divided by the
same number. This fact enables us to change the dividend 2.6 into a whole
number. This change is accomplished by moving both "decimal points one place
to the right; thus, both the divisor and dividend are multiplied by 10. The divisor
2.6 becomes 26, and dividend 176.28 becomes 1,762.8.
Very often the division of numbers, whole numbers or numbers with decimal
fractions, cannot be completed to give an exact result. At some stage of the
division we reach a situation where the quotient or a part of the quotient repeats
itself, and thus the division may be carried on indefinitely. In all such cases,
however, an exact quotient cannot be obtained. In such situations the process of
division must be stopped at some place.
Often the point where the division stops is determined in the statement of the
problem.
53
Note that during the division above, we brought down zeroes whenever we
wished to continue the process. All these zeroes assumedly come from the places
to the right of the decimal point. We note that the quotient 11:6 = - 1.83333...
may contain as many repeated 3's as we wish. However, if we decide to stop, less
than 5, we merely drop the digits that are beyond the place where we wish to
stop.
discard გადაგდება
locate ადგილმდებარეობა
remainder ნაშთი
I. 45 - 45 = 45.
54
Locating the subtrahend under the minuend:
1) 9 + 8 + 7 + 6 + 5 + 4 + 3 + 2+1;
2) 1+2 + 3 + 4 + 5 + 6 + 7 + 8 + 9.
Now we calculate the difference. With this aim we successively subtract the
numbers of the second line from the numbers on the first line, beginning by
subtracting the 9. Since 9 cannot be subtracted from 1, we take a unit from the
two, we have: 11 - 9 = 2. In a similar way we obtain the differences of the
number 11 and 8, 12 and 7, 13 and 6, 14 and 5 respectively, and 3, 5, 7 and 9.
Carrying out the subtractions of four from five, three from seven, two from eight,
and finally one from nine, we obtain the following results: 1, 4, 6, 8.
Thus:
8 + 6+ 4+1+9 + 7 + 5 + 3 + 2 = 45.
Thus 45 - 45 = 45.
II. 40 : 8 = 41.
Little Peter did not like to calculate mentally. When he wanted to divide 40
nuts equally among 8 boys, he wrote the division.
The answer worried Peter. He understood very well that each of the boys
cannot obtain more nuts than their total number, but he could not discover his
mistake in the division.
When we take out the common factor from each member of the equality (1),
we have:
1) 4 × (1:1)=5 × (1:1) or
2) (2 × 2) × (1:1) = 5 × (1:1)
3) 2 × 2 = 5
Let us consider a few problems together with their answers obtained as a result
of applying the simple rule of three.
Answer:
Answer:
A student disclosed to his mathematics teacher: “I have found a new rule for
multiplying mixed fractions, much simpler and easier to apply than the one which
you have explained to us and the one described in textbooks. The point is that in
adding mixed fractions one has to add separately the integers and separately the
fractions. For example:
The same is done also in subtraction: from integers we subtract the integers,
from the fractions - the fractions:
Obviously one should proceed also in the same way in multiplying mixed
fractions: the integer should be multiplied by the integer and the fraction by the
fraction, for example:
My rule is simpler to apply and easier to understand than yours. What did you
think of it?”
VII. What happened to the dollar? In a box there were two baskets of pears,
150 in each. The price of the pears was determined in the following way: from
the first basket the pears are sold at one dollar for ten, and from the second basket
at a dollar for fifteen. Thus, for all the pears from the first basket the amount
57
received was 150:10=15 (dollars), for all the pears from the second basket
150:15-10 (dollars), and in all 25 dollars.
The seller thought that by taking from the first basket ten pears and from the
second basket fifteen he will sell 25 pears for 2 dollars. Therefore he mixed the
pears from both baskets together and sold the 150 × 2 - 300 (pears) at 2 dollars
for 25. As a result he received 2 × (300 : 25) - 24 (dollars), i. e. one dollar less
than the expected sum of the receipts.
According to the will of their father three sons were to divide among
themselves a herd of seven horses in such a way that the eldest was to receive
one half of the herd, the middle one - one fourth, and the youngest - one eighth.
However, a way was found out of the difficult situation. An old neighbour
added his own horse to the herd undergoing division and to the satisfaction of the
brothers proceeded with the division.
As a result of it, the eldest son received four horses, the middle one - two, and
the youngest - one. The neighbour's horse, not needed any longer, was gratefully
returned to its clever owner. Thus it turns out that father's will can be solved in
integers.
Is it so?
IX. 2 × 3 = 4.
“By breaking the match in halves”, stated the strange mathematician, “we shall
have two. Doing the same to one of the halves we shall have a second time two.
Finally, carrying out the same operation on the second one of the halves, we shall
obtain a third time two. Thus, taking three times two we have obtained four and
not six, as one is accustomed to think”.
58
i. e. = that is ე.ი.
in all სულ
will ანდერძი
FORMULAS
It is often important to know how to obtain a certain unknown number from
other numbers which are known. The value of the number which we want to find
depends upon the values of the known numbers. Thus the area of a rectangle
depends upon the values of two numbers, the length and the width. The relation
between the area and these two numbers is definitely stated by the formula A =
lw.
Example 1
Example 2
The surface 5 of a square box is equal to the sum of twice the S=2, square of its
length l and four times the product of the length and the depth: l2+4×lh or
S=2l2+4lh.
59
The most common relations between numbers are obtained by the four
fundamental operations: addition, subtraction, multiplication and division.
A letter may stand for 2, 15, ? etc., but not for 2 pence, 15 days, ? mile, etc.
Examples:
2. N = 8 is read N is equal to 8.
22
.
7
Meaning of Brackets
5 + 2(3 + 4) = 5 + 2 × 7 = 5 + 14 = 19.
But (5 + 2)3 + 4 means add 2 to 5, multiply the sum by 3, add 4 to the result.
(5 + 2) • 3 + 4 = 7 × 3 + 4 = 21 + 4 = 25.
(5 + 2) • (3 + 4) =7 × 7 = 49.
area ფართობი
bracket ფრჩხილი
depth სიღრმე
formula ფორმულა
length სიგრძე
rectangle მართკუთხედი
width სიგანე
The addition of the two positive numbers +3 and +4 gives the sum +7.
To add two negative numbers such as -3 and -5 with the help of the number
scale we count down 3, and starting from -3 we count down 5; the sum is -8.
The absolute value of any number is obtained by disregarding the sign of the
number. Thus +5 and -5 have the same absolute value, 5.
A rule for finding the 'sum of any two numbers which have like signs may
now be stated: to add any two numbers having like signs, find the sum of the
absolute values and prefix the common sign.
1. + 7, - 2
2. - 2w, - 4w
3. 13xy-20xy
4. r - 4r
Observe that sometimes the plus sign is not written when the first number
given is positive.
When there are several numbers to be added, some of them positive, some
negative, it is a principle of the order of operations that the numbers may be
added in any order. It is. usually most convenient first to add the positive
numbers, then to add all the negative numbers, and finally to combine the two
results.
Example:
Add + 7, - 3, + 5, - 8.
Solution: 7 - 3 + 5 - 8 = 7 + 5 - 3 - 8 = 12 - 11 - 1 Ans.
63
In practice we do not actually rewrite the numbers in a changed order, but
merely add them in that order mentally.
When the numbers to be added are not all of the same kind, we usually
arrange in columns, as in arithmetic. We must make sure that all the terms in
each column are like terms, differing only in their numerical coefficients.
Example:
2f+4i
3f+2i
+ 4f+3i
9f+9i
When the minuend or subtrahend contains more than one term, the work is
arranged in columns of like terms, as it was for addition.
Solution:
Minuend 5b + 3
Subtrahend 4b - 2
Difference b + 5
Check, when b = 1;
64
The Product of a Positive and a Negative Number
Notice that in the answer each term of 2a2 - ab - 5b2 has been multiplied by
3:
Division
When dividing two numbers that have like signs, the quotient is positive;
when dividing two numbers that have unlike signs, the quotient is negative.
65
It is interesting to note the close relation between division and
multiplication. Any question in division may be stated in the language of
multiplication, just as any question in subtraction may be stated in the
language of addition.
12x
monomial ერთწევრი
polynomial მრავალწევრი
When two or more numbers are multiplied together, the result is called the
product.
In algebra the product of two numbers X and У may be written in any of the
forms X × Y, У × Y; X·Y, Y·X, XY or YX. The form XY is the most usual.
Similarly the product of X, Y and Z may be written XYZ or XZY or YXZ or
ZXY or ZYX, but it is usual to write the factors in alphabetical order, i. e.
XYZ.
The beginner should note carefully that this differs considerably from the
usage in arithmetic. In arithmetic the product of 4 and 5 is written 4 × 5 or 4·5,
but not 45, which means 4 × 10 +5. The pupil should also note carefully the
66
difference between 2 × 3 × X and 23X. The former means 2 × 3 × X, the latter
means twenty-three times X.
Thus in the product 7 pq, 7 is the coefficient of pq. Similarly in the product
24abc, 24 is the coefficient of abc. It is sometimes convenient to consider any
factor or factors, of a product as the coefficient of the remaining factors. Thus,
in the product 7pq, 7p is the coefficient of q or 7q is the coefficient of p. A
coefficient which involves letters is called a literal coefficient.
When the coefficient is unity, it is usually omitted. Thus we do not write Ix,
but simply x.
The product obtained by multiplying together several factors all equal to the
same number is called a power of that number. Thus 3 × 3 is called the second
power (or square) of 3; 5 × 5 × 5 is called the third power (or cube) of 5; X ×
X × X × X × X is called the fifth power of X, and so on.
Thus in 42, 73, x5, the indices are 2, 3, 5 respectively. 3 2 is usually read 3
squared; 53 is read 5 cubed; X5 is read X to the fifth; and so on.
The first power of a number is the number itself. We do not usually write
X but simply X. Thus X, 1X, X1, 1X1, all have the same meaning. It should
1
Fractional coefficients which are greater than unity are usually kept in the
form of improper fractions. Thus
67
10
xy
7
3
1 xy
7
___ 3___
(e. g., √ x, √ху )
68
is called an irrational expression. If the letters do not occur under a root
sign, the expression is called rational. We shall be chiefly concerned with
expressions which are both rational and integral.
In the case of expressions which contain more than one term, each term can
be dealt with by the rules already given, and by combining the terms the
numerical value of the whole expression is obtained. When brackets are used,
they have the same meaning as in arithmetic, indicating that the terms
enclosed within them are to be considered as one quantity.
It is usually easier to grasp the meaning of such a set of figures, if they are
shown in the form of a picture, or graph. The figure shows them as a column
graph.
1. Two lines called axes are taken, along which measurements may be made.
The intersection of the axes is called the origin, and is usually denoted by the
letter 0. It is usual to take lines at right angles as axes.
69
2. The axes are labelled to show what quantites are measured along them.
3. The axes are graduated, in one case to show the various months, and in the
other to show the temperature.
4. Along the first axis the months are represented at equal intervals.
6. On the first axis, at each point which represents one of the months, a line is
drawn parallel to the second axis; the length of this line represents the
temperature.
Note 1. It is usual to draw graphs on squared paper ruled in inches and tenths,
or centimetres and millimetres. Such squared paper is not essential and, at a later
stage, the pupil should be encouraged to draw rough sketches on ordinary paper.
Note 2. It is not essential to' show the zero mark on the axes. In the above table
all the temperature lie between 44° and 72°, and there was no need to graduate
the scale to show all the numbers from 0° to 80°. The alterations in temperature
would have been as clearly shown, if along the second axis we had shown only
70
the range from 40° to 80°. If we had done this, we could have taken a larger
scale, say, a small division to represent 2°.
If one variable changes when another variable is changed, we say that the first
(or dependent variable) is a function of the second (or independent variable).
Thus, a boy's weight is a function of his age; the time of swing of a pendulum
is a function of its length. In using the word function we do not imply the
existence of an algebraic expression from which values of the function can be
calculated; thus, although a boy's weight is a function of his age, there is no
algebraic expression from which we can calculate his weight when we know his
age. But when there is such a function, we call it an algebraic function of the
independent variable, e. g.
4x3 - 3x;
x-5
are each algebraic functions of X.
2x + 3
The graph showing the connection between the variables is called the graph of
the function. In this chapter we consider graphs of algebraic functions. We then
proceed to consider the graphical solution of equations, linear, graphs, the
gradient of a straight line and uniform speed graphs.
We shall prove these statements for a particular pair of equations, but it is clear
that the method is quite general, provided that the eliminations can be performed.
2 . ON+ 5
Also from II NP= .
3
2 .ON + 5
=3 .ON2 - 6 .ON + 3,
3
III.
2x+5
=3x2 - 6x + 3...
М156 (03)89
But III is the equation obtained by eliminating У from the given equations.
This is the second result given above.
Again, from II
3 . NP - 5
ON = .
2
72
IV.
73
График параболы
The values 0.2, 1.8 are approximate only; if greater accuracy is required, we
may draw a portion of the graphs on a very large scale in the neighbourhood of P.
Since X is greater than 0.2, a suitable enlargement is the portion of the graphs
between X = 0.21 and X = 0.24.
2
x = = 0,2
9
and
22
y=1 = 1.814.
27
74
Any degree of accuracy desired may be obtained by repeating the above
process.
Note 2. When we speak of graphs, it is implied that the same axes are used, and
also that the same scales have been used for X for each graph, and also for Y.
One important result which follows from the general theorem is that graphical
solutions of any quadratic equation may be obtained by drawing the graph
of y = x2 and the graph of a straight line.
binomial ორწევრი
independent დამოუკიდებელი
index მაჩვენებელი
say აქ ვითყვით
75
THE HISTORY OF ALGEBRA
76
grouped that is, (a+b)+c = a+(b+c) = (a+c)+b
III The commutative law for multiplication
the product of two or more numbers is the same in whatever order they are
multiplied, that is, ab=ba
IV The associative law for multiplication
The product of two or more numbers is the same in whatever order they
are grouped, that is (ab)c = a(bc) = (ac)b
7. convenient - მოსახერხებელი;
8. device - საშუალება, მოწყობილობა, მექანიზმი;
9. consideration - გარჩევა, განხილვა, ფიქრი;
10. involve - შეიცავს, მოიცავს;
11. dealing - ურთიერთობისქონა;
12. constantly - მუდმივად, ხშირად;
13. obey - დამოირჩილება;
14. compute - გამოთვლა;
77
15. commutative - კომუტატური;
16. associative - ასოციაციური, დამაკავშირებელი;
17. distributive - გამოყოფი, გამანაწილებელი
18. property - თვისება, properly - სწორად;
19. according - თანახმად, როგორც;
20. class - ჯგუფი, კლასი;
78
The father of Algebra.
ISLAMIC MATHEMATICS - AL-KHWARIZMI
One of the first Directors of the House of Wisdom in Bagdad in the early
9th Century was an outstanding Persian mathematician called Muhammad Al-
Khwarizmi. He oversaw the translation of the major Greek and Indian
mathematical and astronomy works (including those of Brahmagupta) into
Arabic, and produced original work which had a lasting influence on the
advance of Muslim and (after his works spread to Europe through Latin
translations in the 12th Century) later European mathematics.
The word “algorithm” is derived from the Latinization of his name, and
the word "algebra" is derived from the Latinization of "al-jabr", part of the title
of his most famous book, in which he introduced the fundamental algebraic
methods and techniques for solving equations.
Al-Khwarizmi’s
other important
contribution was algebra,
a word derived from the
title of a mathematical
text he published in about
830 called “Al-Kitab al-
mukhtasar fi hisab al-jabr
wa'l-muqabala” (“The
Compendious Book on
Calculation by
Completion and
Balancing”). Al-
Khwarizmi wanted to go
from the specific
problems considered by
the Indians and Chinese
to a more general way of
analyzing problems, and An example of Al-Khwarizmi’s “completing the
in doing so he created an square” method for solving quadratic equations
abstract mathematical
language which is used
across the world today.
Diophantus
81
Diophantus of Alexandria (Ancient Greek: Διόφαντος ὁ Ἀλεξανδρεύς; born
probably sometime between AD 201 and 215; died around 84 years old,
probably sometime between AD 285 and 299) was an Alexandrian Hellenistic
mathematician, who was the author of a series of books called Arithmetica,
many of which are now lost. Sometimes called "the father of algebra", his texts
deal with solving algebraic equations. While reading Claude Gaspard Bachet de
Méziriac's edition of Diophantus' Arithmetica, Pierre de Fermat concluded that a
certain equation considered by Diophantus had no solutions, and noted in the
margin without elaboration that he had found "a truly marvelous proof of this
proposition," now referred to as Fermat's Last Theorem. This led to tremendous
advances in number theory, and the study of Diophantine
equations ("Diophantine geometry") and of Diophantine approximations remain
important areas of mathematical research. Diophantus coined the term
παρισότης (parisotes) to refer to an approximate equality. [1] This term was
rendered as adaequalitas in Latin, and became the technique
of adequality developed by Pierre de Fermat to find maxima for functions and
tangent lines to curves. Diophantus was the first Greek mathematician who
recognized fractions as numbers; thus he allowed positive rational numbers for
the coefficients and solutions. In modern use, Diophantine equations are usually
algebraic equations with integer coefficients, for which integer solutions are
sought.
Little is known about the life of Diophantus. He lived in Alexandria, Egypt,
during the Roman era, probably from between AD 200 and 214 to 284 or 298.
Diophantus has variously been described by historians as either Greek, non-
Greek, Hellenized Egyptian, Hellenized Babylonian, Jewish, or Chaldean.
Much of our knowledge of the life of Diophantus is derived from a 5th-
century Greek anthology of number games and puzzles created by Metrodorus.
One of the problems (sometimes called his epitaph) states:
'Here lies Diophantus,' the wonder behold.
Through art algebraic, the stone tells how old:
'God gave him his boyhood one-sixth of his life,
One twelfth more as youth while whiskers grew rife;
And then yet one-seventh ere marriage begun;
In five years there came a bouncing new son.
Alas, the dear child of master and sage
After attaining half the measure of his father's life chill fate took him.
After consoling his fate by the science of numbers for four years, he
ended his life.'
This puzzle implies that Diophantus' age x can be expressed as
x = x/6 + x/12 + x/7 + 5 + x/2 + 4
82
which gives x a value of 84 years. However, the accuracy of the information
cannot be independently confirmed.
In popular culture, this puzzle was the Puzzle No.142 in Professor Layton and
Pandora's Box as one of the hardest solving puzzles in the game, which needed
to be unlocked by solving other puzzles first.
Arithmetica is the major work of Diophantus and the most prominent work on
algebra in Greek mathematics. It is a collection of problems giving numerical
solutions of both determinate and indeterminate equations. Of the original
thirteen books of which Arithmeticaconsisted only six have survived, though
there are some who believe that four Arab books discovered in 1968 are also by
Diophantus. Some Diophantine problems from Arithmetica have been found in
Arabic sources.
It should be mentioned here that Diophantus never used general methods in
his solutions. Hermann Hankel, renowned German mathematician made the
following remark regarding Diophantus.
“Our author (Diophantos) not the slightest trace of a general, comprehensive
method is discernible; each problem calls for some special method which refuses
to work even for the most closely related problems. For this reason it is difficult
for the modern scholar to solve the 101st problem even after having studied 100
of Diophantos’s solutions”
Like many other Greek mathematical treatises, Diophantus was forgotten in
Western Europe during the so-called Dark Ages, since the study of ancient
Greek, and literacy in general, had greatly declined. The portion of the
Greek Arithmetica that survived, however, was, like all ancient Greek texts
transmitted to the early modern world, copied by, and thus known to, medieval
Byzantine scholars. Scholia on Diophantus by the Byzantine Greek scholar John
Chortasmenos (1370–1437) are preserved together with a comprehensive
commentary written by the earlier Greek scholar Maximos Planudes (1260 –
1305), who produced an edition of Diophantus within the library of the Chora
Monastery in Byzantine Constantinople. In addition, some portion of
the Arithmetica probably survived in the Arab tradition (see above). In 1463
German mathematician Regiomontanus wrote:
“No one has yet translated from the Greek into Latin the thirteen books of
Diophantus, in which the very flower of the whole of arithmetic lies hidden . . .
.”
Arithmetica was first translated from Greek into Latin by Bombelli in 1570,
but the translation was never published. However, Bombelli borrowed many of
the problems for his own book Algebra. The editio princeps of Arithmetica was
published in 1575 by Xylander. The best known Latin translation
of Arithmetica was made by Bachet in 1621 and became the first Latin edition
83
that was widely available. Pierre de Fermat owned a copy, studied it, and made
notes in the margins.
Margin-writing by Fermat and Chortasmenos]
84
A book called Preliminaries to the Geometric Elements has been traditionally
attributed to Hero of Alexandria. It has been studied recently by Wilbur Knorr,
who suggested that the attribution to Hero is incorrect, and that the true author is
Diophantus.
Diophantus' work has had a large influence in history. Editions of Arithmetica
exerted a profound influence on the development of algebra in Europe in the late
sixteenth and through the 17th and 18th centuries. Diophantus and his works
have also influenced Arab mathematics and were of great fame among Arab
mathematicians. Diophantus' work created a foundation for work on algebra and
in fact much of advanced mathematics is based on algebra. As far as we know
Diophantus did not affect the lands of the Orient much and how much he
affected India is a matter of debate.
Diophantus is often called “the father of algebra" because he contributed
greatly to number theory, mathematical notation, and because Arithmetica
contains the earliest known use of syncopated notation.
Today, Diophantine analysis is the area of study where integer (whole-
number) solutions are sought for equations, and Diophantine equations are
polynomial equations with integer coefficients to which only integer solutions
are sought. It is usually rather difficult to tell whether a given Diophantine
equation is solvable. Most of the problems in Arithmetica lead to quadratic
equations. Diophantus looked at 3 different types of quadratic
equations: ax2 + bx = c, ax2 = bx + c, and ax2 + c = bx. The reason why there
were three cases to Diophantus, while today we have only one case, is that he
did not have any notion for zero and he avoided negative coefficients by
considering the given numbers a, b, c to all be positive in each of the three cases
above. Diophantus was always satisfied with a rational solution and did not
require a whole number which means he accepted fractions as solutions to his
problems. Diophantus considered negative or irrational square root solutions
"useless", "meaningless", and even "absurd". To give one specific example, he
calls the equation 4 = 4x + 20 'absurd' because it would lead to a negative value
for x. One solution was all he looked for in a quadratic equation. There is no
evidence that suggests Diophantus even realized that there could be two
solutions to a quadratic equation. He also considered simultaneous quadratic
equations.
Diophantus made important advances in mathematical notation, becoming the
first person known to use algebraic notation and symbolism. Before him
everyone wrote out equations completely. Diophantus introduced an algebraic
symbolism that used an abridged notation for frequently occurring operations,
and an abbreviation for the unknown and for the powers of the unknown.
Mathematical historian Kurt Vogel states:
“The symbolism that Diophantus introduced for the first time, and
undoubtedly devised himself, provided a short and readily comprehensible
85
means of expressing an equation... Since an abbreviation is also employed for
the word ‘equals’, Diophantus took a fundamental step from verbal algebra
towards symbolic algebra.”
Although Diophantus made important advances in symbolism, he still lacked
the necessary notation to express more general methods. This caused his work to
be more concerned with particular problems rather than general situations. Some
of the limitations of Diophantus' notation are that he only had notation for one
unknown and, when problems involved more than a single unknown,
Diophantus was reduced to expressing "first unknown", "second unknown", etc.
in words. He also lacked a symbol for a general number n. Where we would
write 12 + 6n/n2 − 3, Diophantus has to resort to constructions like: "... a sixfold
number increased by twelve, which is divided by the difference by which the
square of the number exceeds three".
Algebra still had a long way to go before very general problems could be
written down and solved succinctly.
86
THE HISTORY OF GEOMETRY
Geometry is the Greek name for the science which the early Egyptians
began and developed about 500 years ago. The word geometry is derived from
two Greek words: “geo” meaning “earth” and “metron” meaning “measure”.
For erecting pyramids the early Egyptians needed professional geometers
who were able to locate a line runing north and south. The geometry known to
the Egyptians consisted principally of rules and formulas for finding areas and
volumes.
The Egyptians were principally interested in the practical application of the
rules. After a time Greek philosophers and teachers developed and perfected the
proofs of the Egyptians. The most important of the early Greek teachers was
Pythagoras who founded a school in Italy. The students were divided into two
classes: beginners and Pythagorians. Plato, who lived more than a 100 years
later than Pythagoras was primarily a philosopher. His interest in geometry was
not because of its practical use, but because of the logic contained in the proofs.
The best known name is connection with geometry is Euclid.
Little is known about his life. He was born at about 330 B.C. in Alexandria.
He is referred to as the “Father of Geometry”. He was a teacher of geometry in
Alexandria. He used to say that geometry trained the habits of expressing
thoughts accurately.
His “Elements” is one of the most influential woks in the history of Maths.
In the “Elements”, Euclid deduced the principles of what is now called
Euclidean Geometry, from a small set of axioms. For over twenty century
Euclidian geometry, was the ruling theory. The book “Elements” considered of
13 books covering a vast body of mathematical knowledge: arithmetics,
geometry and number theory. Euclid based his 10 axioms, the famous “Euclid’s
Axioms”, he called these axioms his postulates and divided them into 2 groups
of five, the first set common to all mathematics; the second specific to geometry,
Euclid operated upon the principle that no axiom could be accepted without
87
proof. The reason that Euclid was so influential is, that his work is more then
just an explanation on geometry or even maths. Great philosopher-
mathematician such as Descartes and Newton used Euclid’s structure and
format. Euclid also wrote works about astronomy, optics, music theory and so
on. Certainly, he can go down in history as one of the greatest mathematician of
all time, and he was certainly on of the giants upon whose shoulders Newton
stood.
Another famous scientist of ancient [ˈeɪnʃənt] times was Archimedes, who
lived in Sicily.
Archimedes discovered many Laws of mathematics. He is said to be the
fater of “mathematical physics”.
In the 19th century the Russian mathematician Lobachevsky founded “non
Euclidean Geometry” of two dimentions. Such kind of geometry is called
“Hyperbolic”.
The third system of Geometry was developed by Benhard Riemann, a
german mathematician (1826-1866), and is called “elliptic geometry”. His
contributions to analysis, number theory and differential geometry is great. He
knew phylology and theology as well. He said: “Those, who love God, all things
must serve to its best manner”.
Thus, we have three systems of Geometry.
88
THE FATHER OF GEOMETRY – GREEK
MATHEMATICIAN EUCLID
Little is known about his life. He was born at about 330 BC in Alexandria.
He is referred to as the “father of Geometry”. His “Elements” is one of the most
influential works in the History of Maths, serving as the main textbook for
teaching maths (especially geometry) from the time of its publication until the
late 19th or early 20th century. In the “Elements” Euclid deduced the Principles
of what is now called Euclidean Geometry, from a small set of axioms. His work
considered of 13 books covering a vast body of mathematical knowledge:
arithmetic, geometry and number theory.
“Euclid’s Axioms” – Euclid based his approach upon 10 axioms,
statements that could be accepted as truth. He called these axioms his
“postulates” and divided them into two groups of five, the first set common to
all mathematics, the second specific to geometry, Euclid operated upon the
principle that no axiom could be accepted without proof.
The reason that Euclid was so influential is, that his work is more than just
89
an explanation on geometry or even maths. Great philosopher mathematicians
such as Descartes and Newton used Euclid’s structure and format.
Euclid also wrote works about astronomy, optics, music theory and etc.
Certainly, he can down in history as one of the greatest mathematicians of
all time, and he was certainly one of the giants upon whose shoulders Newton
stood.
90
TYPES OF GEOMETRY
The study of geometry can be approached in a number of ways. For
example, geometry may be Euclidean or non-Euclidean, depending on the
axioms used in the axiomatic system. Analytic geometry uses the same axioms
as Euclidean geometry, but it employs algebraic methods in working with
geometric figures. All geometries that do not use algebraic methods are called
synthetic geometries.
Euclidean geometry is based on the axioms developed by Euclid in the
Elements and on axioms later derived from Euclid’s axioms. Euclidean
geometry can be divided into plane geometry and solid geometry. Plane
geometry involves the study of such two-dimensional figures as lines, angles,
triangles, quadrilaterals, and circles. Solid geometry involves the study on three-
dimensional figures, such as those illustrated on the next page.
Topics studied in Euclidean geometry include the congruence and
similarity of triangles and other geometric figures, and the properties of parallel
and perpendicular lines. Other topics include the properties of circles and
spheres and the measurement of the area or volume of figures.
91
Shpere, Cube, Pyramid, Cylinder, Cone.
One of the most famous axioms in Euclidean geometry is Euclid’s parallel
axiom, also known as Euclid’s fifth axioms or the parallel postulate. One way of
stating the parallel axiom is through a pointnot on a given line, only one line can
be drawn parallel to the given line. For example, in the illustration below, line
/is the only line parallel to line AB that can be drawn through point P.
A B
92
called hyperbolic geometry. In it, the parallel axiom is replaced by the following
axiom: through a point not on a given line, more than one line may be drawn
parallel to the given line.
In one model of hyperbolic geometry, plane is defined as a set of points
that lie in the interior of a circle. Line is defined as a chord of a circle. And
parallel lines are defined as lines that never intersect. In the diagram at the right,
therefore, lines L, M, and N are all considered parallel to line AB, even through
they all pass through the same point, P. Hyperbolic geometry is sometimes
called Lo-bachevskian geometry, because is was developed – in the early 1800’s
– by the Russian mathematician Nikolai Lobachevsky.
Another basic type of non-Euclidean geometry, elliptical geometry,
replaces the parallel axiom with the statement through a point not on a given
line, there are no lines that do not intersect the given line. In other words, in
elliptical geometry, parallel lines do not exist.
In one model of elliptical geometry, line is defined as the great circle of a
sphere. A great circle is any circle that divides a sphere into equal halves. Any
two such circles on a sphere must intersect. In the sphere at the right, the great
circle ABCD intersects the great circle PCQA. Elliptical geometry is also called
Riemannian geometry. It was developed in themid-1800’s by the German
mathematician Georg Friedrich Bernhard Riemann.
B D
93
Because one important use of the figures and principles of geometry is to
describe the physical world, we might ask which type of geometry, Euclidean or
non-Euclidean, provides the best model of reality. Some situations are better
described in non-Euclidean terms, such as aspects of Albert Einstein’s theory of
relativity (see Relativity [General relativity theory]). Other situations, such as
those related to building, engineering, and surveying, seem better described by
Euclidean geometry.
Analytic geometry is a method of studying the properties of geometric
figures by using algebraic techniques. Analytic geometry deals with the same
subject matter as Euclidean geometry, but provides simpler ways of proving
many theorems. It plays an important role in trigonometry and calculus.
Analytic geometry makes use of a coordinate system, such as the one
illustrated in the figure below. This system, also called the rectangular system or
Cartesian system, consists of two perpendicular number lines in a plane. Points
of a geometric figure are located in the plane by assigning each point two
coordinates (numbers) on the number lines x and y. The x-coordinate, called the
abscissa, gives the location of the point along the x-axis (horizontal number
line). They y-coordinate, called the ordinate, locates the point along the y-axis
(vertical number line).
For example, the paired coordinates for point A in the figure below are
(2,1). This means that point A is two units to the right of the y-axis and one unit
directly above the x-axis. In addition, the figure shows several other points – B,
C and D – and their coordinates. There is a one-to-one correspondence between
all the points of the plane and ordered pairs of numbers (x, y) on the x- and y-
axes.
94
B(-4,2)
A(2,1)
D(4,-3)
C(-5,-5)
95
(-2,6)
(-1,4)
(0,2)
(1,0)
(2,-2)
96
SOLIDS
In our everyday lives we are constantly coming into contact with an endless
variety of things, in our homes, in our journeys to and from school, at work, or at
play - books, pencils, marbles and the list can be added to indefinitely. We can
classify them in any way we please, by weight, by colour, or by age, but in spite
of the endless diversity of the objects we have listed, there is an important
property that they all possess. Each takes up a certain amount of room or space.
Thus each page of our books is a solid, however thin the paper may be. The air
we breathe and the water we use have also the property of occupying space and
are therefore solids. The word solid as used here must not be confused with the
word solid which is used as opposed to liquid and gas.
Most solids are irregular in shape, e. g. a pebble in a stream, a cloud in the sky.
Geometry deals with the shape, size, and position of solids which are regular in
shape, e. g. a ball, a match-box, a pencil.
The more common regular solids are: cube, cuboid or rectangular prism,
triangular prism, square pyramid, cylinder, cone, sphere.
amount რაოდენობა
cone კონუსი
cube კუბი
cuboid კუბოიდი
diversity მრავალფეროვნება
liquid სითხე
rectangular მართკუთხა
shape ფორმა
space სივრცე
97
sphere სფერო, ბირთვის ზედაპირი
triangular სამკუთხა
SURFACES
Solids are bounded by surfaces. These surfaces separate the solids from the
surrounding space. Surfaces are of two kinds: plane and curved. The surfaces of a
cube, rectangular prism, pyramid are plane surfaces, while the surface of a sphere
is curved. The nature of a surface may be tested as follows: place a straight edge
on the surface in several positions,, If the straight edge is in contact with the
surface throughout its whole length in all positions, then the surface is plane and
is referred to as a plane surface or simply as a plane. If the surface is not in
contact with the straight edge in all positions, then the surface is a curved surface.
A sheet of paper, e. g. a leaf of a book, may represent a surface, but even the
thinnest sheet of paper will be a geometrical solid, since it has length, breadth,
and thickness. Each leaf of a book is a geometrical solid, the words on the pages
are two of its bounding surface.
Lines
Surface intersected in lines are bounded by lines. Lines are either straight or
curved. Examine the model of a rectangular prism. When two surfaces intersect,
they do so in a straight line, called an edge of the prism. The curved surface of a
cylinder and either of the plane surfaces intersect in a curved line. The trace made
on paper by a fine pencil point may represent a line, but even the finest trace will
be a geometrical solid, since it has length, breadth, and thickness, and a line has
length, but no breadth and no thickness.
Points
Lines intersect in points. The meeting place of two edges is called a point (a
vertex). At each of the eight vertices it will be seen that three lines meet. The dot
made on paper by a fine pencil point represents a point. No matter how fine the
pencil point is, however, the dot is a geometrical solid since it has length,
breadth, and thickness, and a point has no length, no breadth, and no thickness. A
point indicates but has no size.
breadth სიგანე
edge წახნაგი
98
geometrical solid სამგანზომილებიანი გეომეტრიული ფიგურა,
სხეული
intersect გადაკვეთა
length სიგრძე
thickness სისქე
Theorems
A theorem is a statement of a geometrical truth which has to be proved from
facts already proved or assumed. The parts of a theorem are:
1) the General Enunciation - this states in general terms the truth which has to
be proved.
3) The Construction - this states any lines or figures which are required for the
proof.
4) The Proof - this proves the truth by facts already established or assumed.
The converse of a theorem proves what the theorem assumes and assumes what
the theorem proves.
Example:
If a theorem is true, it must not be assumed that its converse must be true. For
example, consider the theorem: if two straight lines are parallel, they lie in the
same plane. The converse of this is: if two straight lines are in the same plane,
99
they are parallel, which is not true. Hence the converse of a theorem must -be
proved separately.
enunciation ფორმულირება
equiangular ტოლკუთხა
equilateral ტოლგვერდა
proof დამტკიცება
theorem თეორემა
A surface is called level if it is part of a horizontal plane. You can test whether
the floor of this room is a horisontal plane by using an instrument called a spirit-
level, in which the adjustment to the horizontal is shown] by the position of a
bubble in a glass tube containing (alcohol. If a line or plane is neither vertical,
nor horizontal, it is called oblique. The words perpendicular and vertical must
not be confused.
level დონე
100
oblique დახრილი
plumb-line ნიველირი
tank ბაკი
101
102
THE HISTORY OF TRIGONOMETRY
104
THE FATHER OF TRIGONOMETRY
Hipparchus
He suspected stars might move slowly with respect to one another over
great lengths of time; he hoped people living in the future could verify this. To
this end he compiled a star catalog documenting the positions and magnitudes of
over 850 stars. His legacy bore fruit almost two millennia later when, in 1718,
Edmund Halley discovered the proper motion of stars.
Beginnings
Hipparchus was born over 2,200 years ago. The year of his birth was
about 190 BC and the place of his birth was the Ancient Greek city of Nicea.
The ruins of the city can still be seen in the town of Iznik, Turkey.
105
Very little of Hipparchus’s original work has survived. We know about
some of his most important observations and discoveries, because other ancient
scholars commented on them or used them in their own work.
The great astronomer Ptolemy at times quoted Hipparchus word for word,
so we can still read some of Hipparchus’s thoughts directly.
We do not know for certain what Hipparchus looked like – we only have
portrayals created long after his death.
Trigonometry
Trigonometry simplifies the mathematics of triangles, making astronomy
calculations easier. Trigonometry was probably invented by Hipparchus, who
compiled a table of the chords of angles and made them available to other
scholars. Chords are closely related to sines.
106
Hipparchus used parallax to measure the earth-moon distance at least
twice. The measurements were reported by Pappus of Alexandria:
Measurement 1
Hipparchus found the earth-moon distance was 77 earth radii. In the style of a
modern physicist, he gave bounds for his result – the minimum was 71 and the
maximum 83.
Measurement 2
Hipparchus found the earth-moon distance was 671⁄3 earth radii. His bounds
were: minimum 62, maximum 722⁄3.
A Remarkable Result
Hipparchus knew these measurements were rather far apart, but
nevertheless reported them honestly. According to both Theon of Smyrna and
Cleomedes, Hipparchus later refined some of his data including placing the sun
considerably farther from the earth than he had first estimated. Using these new
figures, Hipparchus found an earth-moon distance of 601⁄2 or 61 earth radii.
Hipparchus made careful observations and got a better value than anyone
before him. His final figure was only 6 minutes too high.
107
Chrysippus said that the number of compound statements obtainable from
ten simple statements is over one million. Hipparchus contradicted him, showing
that affirmatively there are 103,049 compound statements…
One can only speculate about how many other Ancient Greek
achievements are unknown to us.
Very few among the great mathematicians did not work at one time or
108
another in the theory of numbers. The whole beauty of this science becomes
apparent only to those who penetrate deep into it. To penetrate deep means to
discover and prove or at least to be able to understand recondite relations
between numbers. Pierre de Fermat (1607-1665) who may be called the father of
modern number theory was the first man to discover really deep properties of
numbers, Fermat was an extraordinary man. A jurist by profession he was also a
great mathematician and an accomplished classical scholar. With Pascal he laid
the foundations of the theory of probability, developed analytical geometry
independently of Descarted and was one of the founders of infinitesimal
calculus. Yet his discoveries in number theory overshadow everything else he
did. These discoveries he communicated mostly in letters to his contemporaries,
some of them he jotted down in marginal notes on the copy of the Diophantus
“Arithmatica” in his possession. But he never revealed his profs and gave only
very general indications about his methods. Yet all of his theorems later were
found true, with one exeption, and one the famous Fermat’s Last Theorem – still
remains unproved except in particular cases. Just a few of Fermat’s theorems
will show what deep relations exist between numbers. At first sight there is no
apparent relation between polygonal numbers and integers in general.
8. contemporary – თანამედროვე;
9. marginal – წიგნის კიდეზე დაწერა;
109
10. reveale – გამომჟღავნება, გამოაშკარავება;
11. indication – მითითება, ჩვენება;
12. polygonal – მრავალნიშნა, კუთხა;
13. property – თვისება;
14. integers – მთელი რიცხვები;
15. therefore – რადგანაც;
110
Of numbers was born between 31 October – 6 December 1607 in
Beaumont-de-Lomagne, France. The late 15th – century mansion where Fermat
was born is now a museum. He was from Gascony, where his father, Dominique
Fermat, was a wealthy leader merchant, and his mother was Claire de Long.
There is little evidence concerning his school education, but it was probably at
the College de Navarre in Montauban. He attended the University of Orleans
from 1623 and received a bachelor in civil Law in 1626, before moving to
Bordeaux. There he began his first serious mathematical researches, and in 1629
he gave a cop of his restoration of “Apollonius’s De Locis Planis” to one of the
mathematicians in Bordeaux. During this time he produced important work on
maxima and minima which he gave to Etienne de Espagnet who clearly shared
mathematical interest with Fermat. There he became much influenced by the
work of Francois Viete.
In 1630, he bought the office of a councillor at the Parlement de Toulouse,
one of the High Courts of Judicature in France, and he was sworn in by the
Grand Chambre in May 1631, He held his office for the rest of his life. Fermat
thereby became entitled to change his name from Pierre Fermat to Pierre de
Fermat. Fluent in six languages (French, Latin, Occitan, classical Greek, Italian
and Spanish), Fermat was praised for his written verse in several languages and
his advice was eagerly sought, regarding the emendation of Greek texts.
He communicated most of his work in letters to friends, often with little or
no proof of his theorems. In some of these letters to his friends he explored
many of the fundamental ideas of calculus before Newton or Leibniz. Fermat
was a trained Lawyer making mathematics more of a hobby than a profession.
Nevertheless, he made important contributions to analytical geometry,
probability, number theory and calculus. Secrecy was common in European
mathematical circles at the time. This naturally led to priority disputes with
contemporaries such as Descartes and Wallis.
Anders Hald wrote that, “The basis of Ferma’s mathematics was the
111
classical Greek treatises combined with Vieta’s new algebraic methods”. He is a
mathematician who is given credit for early developments that led to
infinitesimal calculus, including his technique of adequality. In particular, he is
recognized for his discovery of an original method of finding the greatest and
the smallest ordinates of curved lines, which is analogous to that of differential
calculus, his contibution.
He died on January 12, 1665 at the age of 57.
MATHEMATICAL THEOREMS
113
Natural Numbers: Definition and Examples
114
A rational number is a number that can be written as a ratio. That means it can
be written as a fraction, in which both the numerator (the number on top) and the
denominator (the number on the bottom) are whole numbers.
Watch this video to better understand the relationship between two numbers—a
ratio—and a particular kind of ratio involving time, which is called a rate.
Irrational Numbers
All numbers that are not rational are considered irrational. An irrational number
can be written as a decimal, but not as a fraction.
An irrational number has endless non-repeating digits to the right of the decimal
point. Here are some irrational numbers:
π = 3.141592…
= 1.414213…
Although irrational numbers are not often used in daily life, they do exist on the
number line. In fact, between 0 and 1 on the number line, there are an infinite
number of irrational numbers!
Real Numbers
Definition 1.1. We shall designate by 𝑅1 the set of all real numbers with
their natural ordering (or equivalently, the set of all points on the real line,
directed positively from left to right).
We thus see that upper bounds are not unique; that is, if A is any set and
𝑏 is an upper bound for A, then for any 𝑐 > 𝑏, 𝑐 is also an upper bound for A.
Note that an upper bound for a set may be a member of the set, but need not
be. In example 1.3 we saw that 3 is an upper bound for A which and 3 ∈ 𝐴.
However, 3 is the only upper bound for A which is a member of A. Let us
consider one more example.
Example 1.4. Let A be the set of all real numbers 𝑥 such that 0 < 𝑥 < 1.
Then 1 (or any number larger than 1) is an upper bound for A. But 1 A . As a
matter of fact, no upper bound for A is a member of A.
Theorem 1.5. The real number 𝑏 is not an upper bound for the set A if
there exists an element 𝑥 of A such that 𝑥 > 𝑏.
117
like 𝒂 + 𝒃𝒊 + 𝒄𝒋 + 𝒅𝒌, in which the units 𝒊, 𝒋 and 𝒌 when multiplied together,
produce minus one.
The most astonishing thing about these hypercomplex numbers is that they
flout a basic rule of arithmetic previously thought inviolate. When multiplied
together, the same two hypercomplex numbers may produce different results
depending on the order in which they are taken; hypercomplex number 𝒂 times
hypercomplex number 𝒃 does not always equal hypercomplex 𝒃 time
hypercomplex 𝒂.
There are many familiar ways of picking random numbers such as rolling
dice, picking phone numbers from a telephone directory, putting numbers on
bells or pieces of paper and picking them out of a bag – there are even tables of
random numbers and most computers have functions that produce random
numbers.
We are familiar with the mechanisms used, say, to make the draw for the
World Cup football competition’s final rounds, to select the prize-winners in a
raffle and even to choose the winners in national lotteries.
Essentially some physical method is used to try to answer that each of the
participants has an equal chance of being selected. Such mechanisms can be
applied “without replacement” in which case once a number has been drawn it
cannot subsequently be redrawn or “with replacement” in which case it is
returned to the mechanism for possible re-selection at the next draw. The key
issue here is the notation of “equal chance”.
118
For the purposes of this chapter we are concerned with mechanisms for
selecting elements of a set of n different objects with equal probability – or,
more technically, with sampling from a uniform distribution. Suppose, for
example, we want to be able to select a random integer between 0 and 99
inclusive. Some physical means to achieve this are:
1. The “top-hat method” – take 100 identical pieces of paper and write
each of the numbers 0, 1, 2, …, 99 on a different piece. Fold them
tightly, put them into a container, such as a top-hat, waste-paper bin etc.,
shake well and pick out a piece of paper. Note the number written on it.
2. Spinners – carefully cut a regular 10-sided polygon from card. Write
each of the number 0 – 9 one against each of the sides of the polygon.
Pierce the centre of the polygon with a knitting-needle and push a pencil
into the hole. If you spin the polygon on the pencip tip it will eventually
come to rest with one edge against the horizontal surface. Note the digit
written against this edge and record it as, say, the units digit of a 2-digit
number. Repeat the operation but this time use the resulting digit as the
tens digit of the number.
3. Dice and coin – the spinner could be replaced by a die and a coin, but
that would give 12 possible outcomes. Suppose we treat the 5 on the die
as a zero and decide that if a 6 is rolled then the die will continue to be
rolled again until something other than a 6 appears. We now have a
means of selecting the digits, 0, 1, 2, 3, 4, with equal probability (given
a fair die). Now toss a coin – if it lands showing a head then treat the
digit from the die as it stands but if it shows tails then add 5 to the digit
from the die. We now have a means of selecting a digit between 0 da 9
with equal probability and so we can select 2 such digits to make our 2-
digit random number.
4. Special dice – some manufactures of educational equipment sell 20-
sided dice (icosahedra) with each of digits 0-9 engraved on two
119
opposide faces, or 10-sided dice (usually truncated octahedra which
look “nearly” regular). Again two throws are needed generate the 2-digit
number.
These methods are all random in the sense that each outcome is quite
independent of the previous outcome. There are some methods, though, in which
this is not the case but in which the outcome seem to conform to no particular
pattern. Such numbers are known as “pseudo random numbers”.
We deal with objects, some of which are called sets. Objects have
properties or relations with one another. Objects are denoted by symbols (chiefly
letters), properties or relations by combinations of the symbols of the objects
which are involved in them, and of some other symbols, characteristic of the
property or relation under consideration. The relation 𝒙 = 𝒚 menas that the
objects denoted by the symbols 𝒙 and 𝒚 are the same; its negation is written 𝒙 ≠
𝒚.
If 𝑿 is a set, the relation 𝒙 ∈ 𝑿 means that 𝒙 is an element of the set 𝑿, or
belongs to 𝑿; the negation of that relation is written 𝒙 ∉ 𝑿.
If 𝑿 and 𝒀 are two sets, the relation 𝑿 ⊂ 𝒀 means that evety element of 𝑿
is an element of 𝒀 (in other words, it is equivalent to the relation (∀𝒙)(𝒙 ∈ 𝑿 →
𝒙 ∈ 𝒀); we have 𝑿 ⊂ 𝑿 and the relation 𝑿 ⊂ 𝒀and 𝒀 ⊂ 𝒁) implies 𝑿 ⊂ 𝒁.If
𝑿 ⊂ 𝒀and𝒀 ⊂ 𝑿), than 𝑿 = 𝒀, in other words, two sets are equal if and only if
they have the same elements. If 𝑿 ⊂ 𝒀, one says that 𝑿 is contained in 𝒀, or that
𝒀 contains 𝑿, or that 𝑿 is a subset of 𝒀; one also writes 𝒀 ⊃ 𝑿. The negation of
𝑿 ⊂ 𝒀is written 𝑿 ⊄ 𝒀; if we have a set 𝑿, and a property 𝑷, there is a unique
subset of 𝑿 whose elements are all elements 𝑿 ∈ 𝒀 for which 𝑷(𝒙) is true; that
subset is written {𝒙 ∈ 𝑿|𝑷(𝒙)}.
120
The relation {𝒙 ∈ 𝑿|𝑷(𝒙)} ⊂ {𝒙 ∈ 𝑿|𝑸(𝒙)}is equivalent to (∀𝒙 ∈
𝑿)(𝑷(𝒙) → 𝑸(x)); the relation {𝒙 ∈ 𝑿|𝑷(𝒙)} = {𝒙 ∈ 𝑿|𝑸(𝒙)} is equivalent to
(∀𝒙 ∈ 𝑿)(𝑷(𝒙) ↔ 𝑸(𝒙)). We have, for instance𝑿 = {𝒙 ∈ 𝑿}|𝒙 = 𝒙}, and𝑿 =
{𝒙 ∈ 𝑿|𝒙 = 𝑿}. The set∅𝒙 = {𝒙 ∈ 𝑿|𝒙 ≠ 𝒙} is called the empty subset of𝑿; it
contains no element. If𝑷is any property, the relation𝒙 ∈ ∅𝒙 → 𝑷(𝒙) is true for
every 𝒙, as the negation of 𝒙 ∈ ∅𝒙 is true for every𝒙(remember that∅ → 𝑷means
“not𝑸or𝑷”). Therefore, if𝑿and𝒀are sets,𝒙 ∈ ∅𝒙 implies𝒙 ∈ ∅𝒚 in other words
∅𝒙 ⊂ ∅𝒚 , and similarly∅𝒚 ⊃ ∅𝒙 , hance∅𝒙 = ∅𝒚 , all empty sets are equal, hence
noted ∅.
If 𝒂 is an object, the set having a as unique element is written {𝒂}.
If 𝑿 is a set, there is a (unique) set the elements of which are all subsets of
𝑿; it is written𝜷(𝒙). We have∅ ∈ 𝜷(𝒙), 𝑿 ∈ 𝜷(𝒙) the relations𝒙 ∈ 𝑿, {𝒙} ∈
𝜷(𝑿) are equivalent; the relations 𝒀 ∈ 𝑿, 𝒀 ∈ 𝜷(𝑿)are equivalent.
Sets
121
It is evident that the universe is itself a set, which is considered as “the
master set”; that is, we restrict our horizon to the universe at hand, and do not
recognize the existence of any other objects (or sets of objects) except those
belonging to our universe. Thus, for example, the equation 𝒙𝟐 + 𝟏 = 𝟎 has no
solution in the universe consisting of all real numbers. when we study algebra,
we find it necessary to enlarge our universe, and this leads to a new universe
consisting of all complex numbers.
Before stating our next definition, let us discuss the term “if and only if”,
which will be abbreviated “iff”.
Let 𝜶 and 𝜷 be two declarative statements. A typical theorem of
mathematics is a statement of the form “𝑰𝒇 𝜶 𝒊𝒔 𝒕𝒓𝒖𝒆, 𝒕𝒉𝒆𝒏 𝜷 𝒊𝒔 𝒕𝒓𝒖𝒆”, which
is often shortened to “𝑰𝒇 𝜶, 𝒕𝒉𝒆𝒏 𝜷”, or “𝜶 𝒊𝒎𝒑𝒍𝒊𝒆𝒔 𝜷”. Mathematicians
consider the following statements as equivalent; that is, any two of these
statements have precisely the same meaning:
𝛂 𝐢𝐦𝐩𝐥𝐢𝐞𝐬 𝛃
𝛂 𝐢𝐬 𝐚 𝐬𝐮𝐟𝐟𝐢𝐜𝐢𝐞𝐧𝐭 𝐜𝐨𝐧𝐝𝐢𝐭𝐢𝐨𝐧 𝐟𝐨𝐫 𝛃
𝛂 𝐢𝐬 𝐚 𝐧𝐞𝐜𝐞𝐬𝐬𝐚𝐫𝐲 𝐜𝐨𝐧𝐝𝐢𝐭𝐢𝐨𝐧 𝐟𝐨𝐫 𝛃
𝐢𝐟 𝛂 𝐭𝐡𝐞𝐧 𝛃
𝛃 𝐢𝐟 𝛂
𝛂 𝐨𝐧𝐥𝐲 𝐢𝐟 𝛃
The typical definition in mathematics is a statement of the form
“𝜶 𝒊𝒔 𝒕𝒓𝒖𝒆 𝒊𝒇𝒇 𝜷 𝒊𝒔 𝒕𝒓𝒖𝒆”. Such a definition has the following equivalent
forms:
𝛂 𝐢𝐬 𝐭𝐫𝐮𝐞 𝐢𝐟𝐟 𝛃 𝐢𝐬 𝐭𝐫𝐮𝐞
𝛂 𝐢𝐬 𝐚 𝐧𝐞𝐜𝐞𝐬𝐬𝐚𝐫𝐲 𝐚𝐧𝐝 𝐬𝐮𝐟𝐟𝐢𝐜𝐢𝐞𝐧𝐭 𝐜𝐨𝐧𝐝𝐢𝐭𝐢𝐨𝐧 𝐟𝐨𝐫 𝛃
𝛃 𝐢𝐬 𝐚 𝐧𝐞𝐜𝐞𝐬𝐬𝐚𝐫𝐲 𝐚𝐧𝐝 𝐬𝐮𝐟𝐟𝐢𝐜𝐢𝐞𝐧𝐭 𝐜𝐨𝐧𝐝𝐢𝐭𝐢𝐨𝐧 𝐟𝐨𝐫 𝛂
𝛂 𝐢𝐦𝐩𝐥𝐢𝐞𝐬 𝛃 𝐚𝐧𝐝 𝛃 𝐢𝐦𝐩𝐥𝐢𝐞𝐬 𝛂
122
Mathematicians are pleased when they discover theorems which are “iff”
statements, as any such theorem provides two equivalent descriptions of the
same concept.
Mappings
124
Example 1.3. Let 𝑯 and 𝑲 be defined as in Example 1.2 and define 𝒇 as
follows:
𝒇(𝟏) = 𝟑 𝒇(𝟓) = 𝟑
𝒇(𝟐) = 𝟑 𝒇(𝟔) = 𝟑
𝒇(𝟑) = 𝟑 𝒇(𝟕) = 𝟑
𝒇(𝟒) = 𝟑
Here the domain of 𝒇 is 𝑯, and the range of 𝒇 is the set {𝟑} consisting of
just the single point 𝟑. In this case, we call 𝒇 a constant mapping, which we
define as follows.
Definition 1.4. If 𝒇: 𝒉 → 𝑲, and if for each 𝒙 ∈ 𝑯, 𝒇(𝒙) = 𝒌, where 𝒌 is a
given element of 𝑲, then 𝒇 is called a constant mapping.
Example 1.5. Let 𝑯 and 𝑲 be defined as in Example 1.2., and define 𝒇 as
follows:
𝒇(𝟏) = 𝟑 𝒇 (𝟓) = 𝟑
𝒇(𝟐) = 𝟓 𝒇(𝟔) = 𝟗
𝒇(𝟑) = 𝟕 𝒇(𝟕) = 𝟏
𝒇(𝟒) = 𝟑
Here, the domain of 𝒇 is the set 𝑯, and the range of 𝒇, is the entire set 𝑲.
This illustrates the concept of an “onto” mapping, which we now define.
Definition 1.6.If 𝒇: 𝑯 → 𝑲, and if the range of 𝒇 consists of the entire set
𝒐𝒏𝒕𝒐
𝑲, then we say that 𝒇 is a mapping of 𝑯 onto 𝑲, and write “𝒇: 𝑯 → 𝑲”.
Note that every “onto” mapping is an “into” mapping, but the converse is
not necessarily true. What is the advantage of an “onto” mapping? Clearly, if
𝒐𝒏𝒕𝒐
“𝒇: 𝑯 → 𝑲”, we know that everyelement of K must be the image under 𝒇 of a
least one element of 𝑯.
Example 1.7. Let 𝑯 = 𝑲 = {𝟏, 𝟐, 𝟑, 𝟒, 𝟓}, and define 𝒇 as follows:
𝒇(𝟏) = 𝟏 𝒇 (𝟒) = 𝟒
𝒇(𝟐) = 𝟐 𝒇(𝟓) = 𝟓
125
𝒇(𝟑) = 𝟑
Here the domain and the range of 𝒇 are the same set, and the image under 𝒇
of each element is just the element itself. This characterizes the identify
mapping, which we now define.
Definition 1.8. If 𝒇 is the mapping of a set 𝑯 onto itself defined by 𝒇(𝒙) =
𝒙 for each 𝒙 ∈ 𝑯, then 𝒇 is called the identity mapping on 𝑯.
We now give a special application of onto mappings.
Example 1.9. Let 𝑲 be a set of five gumdrops, which are colored red, blue,
yellow, green, and white. Let 𝑯be the set whose elements are these five colours.
Our aim is to tag each gumdrop with its colour; so we define a mapping 𝒇 from
the set 𝑯 of colours onto the set 𝑲 of gumdrops as follows:
𝒇(𝒓𝒆𝒅) = 𝒓𝒆𝒅 𝒈𝒖𝒎𝒅𝒓𝒐𝒑
𝒇(𝒘𝒉𝒊𝒕𝒆) = 𝒘𝒉𝒊𝒕𝒆 𝒈𝒖𝒎𝒅𝒓𝒐𝒑
𝒇(𝒃𝒍𝒖𝒆) = 𝒃𝒍𝒖𝒆 𝒈𝒖𝒎𝒅𝒓𝒐𝒑
𝒇(𝒚𝒆𝒍𝒍𝒐𝒘) = 𝒚𝒆𝒍𝒍𝒐𝒘 𝒈𝒖𝒎𝒅𝒓𝒐𝒑
𝒇(𝒈𝒓𝒆𝒆𝒏) = 𝒈𝒓𝒆𝒆𝒏 𝒈𝒖𝒎𝒅𝒓𝒐𝒑
Now let us abbreviate the colours red, blue, yellow, green and white by
𝒓, 𝒃, 𝒚, 𝒈 and 𝒘, respectively, and let 𝒌 stand for gumdrop. Then our coloured
gumdrops can be denoted by 𝒌𝒓 , 𝒌𝒃 , 𝒌𝒚 , 𝒌𝒈 and 𝒌𝒘 .
Note, that our mapping becomes
𝒇(𝒓) = 𝒌𝒓 𝒇(𝒚) = 𝒌𝒚 𝒇(𝒘) = 𝒌𝒘
𝒇(𝒈) = 𝒌𝒈 𝒇(𝒃) = 𝒌𝒃
More generally, let 𝑯 = {𝒓, 𝒃, 𝒚, 𝒈, 𝒘}, and 𝑲 = {𝒌𝒓 , 𝒌𝒃 , 𝒌𝒚 , 𝒌𝒈 , 𝒌𝒘 ).
𝒐𝒏𝒕𝒐
Note that we have defined a mapping “𝒇: 𝑯 → 𝑲” by
𝒇(𝒙) = 𝒌𝒙 for each 𝒙 ∈ 𝑯
We say that set 𝑲 has been indexed by the set 𝑯 under the mapping 𝒇; 𝒇 is
called the index mapping, and 𝑯 is called the index set.
126
Sequences and Subsequences
Example 1.1. Let A be the set of all positive even integers, and define 𝒇: 𝑰𝟎
𝒐𝒏𝒕𝒐
→ 𝑨as follows: For each 𝒏 ∈ 𝑰𝟎 , 𝒇(𝒏) = 𝟐𝒏 Under this mapping 𝒇, 𝑨
because the sequence < 𝒂𝒏 >, where for each 𝒏𝒂𝒏 = 𝟐𝒏;or, 𝑨 =<
2, 4, 6, 8, … >
If we compare the sequence 𝑨 in Example 1.1. with𝑰𝟎 , we see that𝐴 ⊂ 𝐼,
and that the members of 𝑨 are arranged in the same order as their relative order
in 𝑰𝟎 . These two properties characterize a subsequence of𝑰𝟎 , which we now
define.
Definition 1.2. The sequence 𝑨 =< 𝒏𝒊 > is a subsequence of 𝑰𝟎 , if the
following conditions hold:
(1) Each 𝒏𝒊 is a positive integer (that is, 𝑨 ∈ 𝑰).
(2) For every positive integer 𝒊 𝒏𝒊 < 𝒏𝒊+𝟏.
With the aid of Definition 1.2., we may now define the concept of a
subsequence of any sequence. A subsequence of a sequence < 𝒂𝒏 >, is a
sequence whose terms are chosen from the sequence < 𝒂𝒏 >, and arranged in
the same order as their relative order in < 𝒂𝒏 >. Formally, we state this as
follows.
Definition 1.3. The sequence < 𝒂𝒏 >is a subsequence of the sequence<
𝒂𝒏 >if there exists a subsequence𝒏𝒊 examples may help to clarify the notation.
Example 1.4. Let 𝒏𝒊 be a sequence; that is,< 𝒂𝒊 >=<
𝒂𝟏 , 𝒂𝟐 , 𝒂𝟑 , 𝒂𝟒 … >and let 𝒏𝒊 be a subsequence of𝑰𝟎 defined by 𝒏𝒊 = 𝟑𝒊 for each 𝒊;
that is, < 𝒏𝒊 >=< 3, 6, 9, 12, … > We wish to determine the subsequence
< 𝑏𝒊 > of the sequence < 𝒂𝒊 >, where for each 𝒊, 𝒃𝒊 = 𝒂𝒏𝒊 , By the definition of
127
< 𝒏𝒊 >, we see that 𝒃𝒊 = 𝒂𝒏𝒊for each𝒊. Thus, etc. Therefore the subsequence
< 𝑏𝒊 >=< 𝒃𝟏 , 𝒃𝟐 , 𝒃𝟑 , … >, is < 𝑎𝟑 , 𝒂𝟔 , 𝒂𝟗 , … > which consists of every third
term of the given sequence < 𝑎𝒊 > .
Example 1.5. Let 𝒂𝒊 be the sequence < 3, 6, 9, 12, 15, … >; that is, 𝒂𝒊 = 𝟑𝒊
for each positive integer 𝒊. (The sequence < 𝒂𝒊 > is already a subsequence of
𝑰𝟎 , but this fact does not concern us here). Let < 𝒏𝒊 >be the subsequence of
𝑰𝟎 defined by 𝒏𝒊 = 𝒊𝟐 + 𝟕 for each 𝒊. Thus, the sequence < 𝒏𝒊 >may be
writtenas < 𝒏𝒊 >=< 8, 11, 16, 23, 32, … >. The corresponding sequence <
𝑏 >𝒊 defined by 𝒃𝒊 = 𝒂𝒏𝒊 ; for each 𝒊 must thus have 𝒃𝒊 = 𝒂𝟖 = 𝟐𝟒, 𝒃𝟐 =
𝒂𝟏𝟏 = 𝟑𝟑, 𝒃𝟐 = 𝒂𝟏𝟔 = 𝟒𝟖, 𝒃𝟒 = 𝒂𝟐𝟑 = 𝟔𝟗, and so on. Thus, may be written
as < 24, 33, 48, 69, 96, … >, which is surely a subsequence of < 𝒂𝒊 >.
A sequence may have the property that no two of its terms are the same. If
so, we call it a sequence of distinct terms, which we define formally as follows.
Definition 1.6. If < 𝒂𝒊 >is asequence such that 𝑎𝑖 ≠ 𝑎𝑗 whenever 𝑖 ≠ 𝑗,
then < 𝒂𝒊 >is called a sequence of distinct terms.
All sequences defined explicitly in the previous examples are sequences of
distinct terms. Lest this create the false impression that all sequences are of this
type, we consider a few more examples. In the first one, we jump to the other
extreme and define a sequence all of whose terms are the same.
Example 1.7. Let 𝒌 be given, and choose as the index mapping the
constant mapping; that is, for every 𝒏 ∈ 𝑰𝟎 , 𝒇(𝒏) = 𝑲. We thus get the sequence
< 𝑘, 𝐾, 𝐾, 𝐾, … >.
As a result of Example 1.7., we see that any set consisting of just one point
may be written as a sequence, each of whose terms is the given point.
Example 1.8. Define the index mapping 𝒇 as follows: For each 𝒏 ∈ 𝑰𝟎 ,
𝟏 𝐢𝐟 𝒏 𝐢𝐬 𝐨𝐝𝐝
𝒇(𝒏) = {
𝟎 𝐢𝐟 𝒏 𝐢𝐬 𝐞𝐯𝐞𝐧
Note that 𝒇 may also be written in the form𝒇(𝒏) = [𝟏 − (−𝟏)𝒏 ]/𝟐 for
each𝑛 ∈ 𝐼0 This mapping yields the sequence.
128
< 1, 0, 1, 0, 1, 0, 1, … >
Note that the sequence of Example 1.8. contains subsequences of the type
in Example 1.7., with 𝒌 = 𝟎 and 𝒌 = 𝟏.
Probability
129
ℎ
𝑝=
ℎ+𝑓
The probability that it will fail is given by
𝑓
𝑞=
ℎ+𝑓
Since the event must certainly either happen or fail, the probability of its
either happening of failing must equal 1. In accordance with this, we see that
𝟏 𝟏
𝒑 + 𝒒 = 𝟏. Thus, the probability of throwing a 3 ways = , so the
𝟏+𝟓 𝟔
𝟏 𝟓
probability of not throwing a 3 must be 𝟏 − = .
𝟔 𝟔
Two events are mutually exclusive if they cannot both happen (under some
specified conditions). Thus, when a coin is tossed once, “heads” and “tails” are
mutually exclusive events.
Events which cannot affect each other n any way are called independent
events. Thus the heads or tails that comes up with any particular toss of a coin is
not influenced in any way by the results of previous tosses.
If the occurrence of event 𝒂 affects the probability of event 𝒃, then 𝒃 is said
to be dependent on 𝒂.
Suppose I draw out one cart at random from an ordinary pack, keep this
card and then draw a second card. What I dray first will the probabilities in
regard to the second card drawn.
Integration
1.1. The study of integration first arose from the need to calculate areas and
volumes. It was originally developed quite independently of differentiation, and
the discovery that these two processes were closely related was an important
landmark in the history of analysis.
We must not allow geometrical intuition to cloud the analytical problem.
130
In particular, if would be wrong to assume that a region bounded by curved
lines has a number associated with it which we may call its “area”. On the other
hand, once the definition of integral has been developed, it will be found to
embrace functions – for example, certain discontinuous functions – with whose
graphs we should not expect to associate an area.
The geometrical illustration which we shall use throughout this chapter is
the “area under a curve”; that is, the area bounded by two vertical lines and
those parts of the 𝒙-axis and of the curve which lie between these lines.
We shall adopt the definition associated with the name of Riemann. The
basic idea is that the region is divided into a number of vertical strips, each of
which is supposed to have an area approximately equal to that of a certain
rectangle. The integral is then defined as a bound of the set of approximate
values so obtained (an integral can also be defined as a limit; the definition as a
bound is more convenient, as it is easier to prove that a function is bounded than
that it has a limit).
In recent years a number of alternative definitions of an integral have been
given which embrace an even wider class of functions than does Riemann’s
definition.
1.2.Definition. If [𝒂, 𝒃] is a closes interval, any finite set of numbers,
𝑎, 𝑥1, 𝑥2,…, 𝑥𝑛−1, 𝒃 such that
𝒂 < 𝒙𝟏 < 𝒙𝟐 < ⋯ < 𝒙𝒏−𝟏 < 𝑏
is called a subdivision of [𝒂, 𝒃].
This subdivision will be denoted by the symbol.
{𝒂, 𝒙𝟏 , 𝒙𝟐 , … , 𝒙𝒏−𝟏 , 𝒃}
Subdivisions will frequently be referred to be single Greek letters
𝜶, 𝜷, 𝜸, 𝒆𝒕𝒄.
Associated with the subdivision 𝛼 = {𝑎, 𝑥1 , 𝑥2 , . . . , 𝑥𝑛−1, 𝑏}
are the 𝒏 intervals [𝒂, 𝒙𝟏 ], [𝒙𝟏 , 𝒙𝟐 ], [𝒙𝒏−𝟏 , 𝒃], Each of these is called a sub-
interval of 𝜶
131
It is sometimes convenient to write 𝑎 = 𝑥0 and 𝑏 = 𝑥𝑛 .
Sequences
1.1. Function whose domain is the set of positive integers play an important
part in analysis. Such functions are frequently called sequences. The limitation
of the domain may be implicit in the formula which defines the function, as
happens with a function such as (𝒙 − 𝟏); but 𝒇(𝒙) = 𝒙𝟐 would also be called a
sequence if the arguments were specifically restricted to positive integral values.
It is customary to use the letter 𝒏, rather than 𝒙, to represent a general value
of the argument of a sequence. The numbers 𝒇(𝟏), 𝒇(𝟐) etc., are called the
terms of the sequence. It is also a common practice to denote the 𝒏𝒕𝒉term of a
sequence by the symbol 𝒖𝒏 , rather than 𝒇(𝒏), especially in connexion with
infinite series; this notation will be adopted whenever it is found to be more
convenient.
1.2. The graph of a sequence is a set of isolated points.
Definition: If, for any number 𝑨 it is possible to find 𝒂 number 𝒒
(depending on 𝑨) such that, for all integers 𝒏 > 𝑞, 𝒇(𝒏) > 𝐴, then 𝒇(𝒏) tends to
infinity.
The definition of 𝒇(𝒏) → −∞is similar.
Definition: If there is a number 𝒍 with the property that, for any positive
number 𝜺, it is possible to find a number 𝒒 (depending on 𝒆) such that, for all
integers 𝒏 > 𝑞,
|𝒇(𝒏) − 𝒍| < 𝜀, than 𝒇(𝒏) tends to 𝒍.
1.3. We suggest that the bounds of a sequence should be defined, as for
other functions, as the bounds of its ordinate set. If, however, a sequence is
132
bounded for all integers 𝒏 > 𝑘, it is bounded for all values of its argument, since
the integers 𝒏 ≤ 𝒌 only add a finite set of numbers to the ordinated set.
Definition: If 𝒇(𝒏) does not tend to a limit or to ±∞ and if 𝒇(𝒏) is
bounded, then 𝒇(𝒏) oscillates finitely. If it is unbounded, then 𝒇(𝒏) oscilates
infinitely.
1.4. Care must be exercised with sequences which are defined by means of
a formula, when this formula also has a meaning for non-integral values of the
argument. Consider as an example 𝒇(𝒙) = 𝒄𝒐𝒔(𝟐𝝅𝒙). Regarded as a function of
the real variable 𝒙, 𝒇(𝒙) oscillates finitely as 𝒙 → ∞. On the other hand, the
sequence 𝒄𝒐𝒔(𝟐𝝅𝒏) always has the value 𝟏, so that
𝐥𝐢𝐦 𝐜𝐨𝐬(𝟐𝝅𝒏) = 𝟏
Thus it is not true that, if then 𝐥𝐢𝐦 𝐜𝐨𝐬(𝟐𝝅𝒏) = 𝟏, then
𝐥𝐢𝐦 𝒇(𝒙) = 𝒍 The converse result is, however, true; for if 𝒇(𝒙) lies between𝑙 −
𝜀 and 𝑙 + 𝜖for all real numbers greater than 𝒒, it certainly does so for all
integers greater than 𝒒.
1.5. It is occasionally convenient to extend the definition of sequences in
one of two ways:
(i) To allow the argument also to take the value 𝟎.The sequence then has
𝒇(𝒏 − 𝟏) as its 𝒏𝒕𝒉 term. The most important use of this is with power series.
(ii) To include functions which are undefined for a finite number of values
of 𝒏. If 𝒌 is the largest of these, then all the limit definitions will still be
applicable provided that we take 𝒒 > 𝑘.
Continuity
134
whose graph is illustrated in Fig. 5. (This diagram must be imagined to be
composed of densely packed sets of points on 𝒕𝒘𝒐
Fig. 5
lines, and not of 𝒕𝒘𝒐 continuous lines. Any value of 𝒙 will give a point on
𝒐𝒏𝒆 𝒐𝒓 𝒐𝒕𝒉𝒆𝒓 of these lines, but not on both). The only number 𝒄 for which
𝐥𝐢𝐦 𝒇(𝒙) an 𝐥𝐢𝐦 𝒇(𝒙) 𝒇(𝒙) exist is 𝒄 = 𝟎, and then both limits are equal to
𝒙→𝒄+𝟎 𝒙→𝒄−𝟎
only on values of x outside [𝟎, 𝟏]. The following definition, which is slightly
less exacting than that just proposed, will suffice.
Definition: If 𝒇(𝒙) is continuous in the open interval (𝒂, 𝒃) and if an
addition
135
𝐥𝐢𝐦 𝒇(𝒙) = 𝒇(𝒂) and 𝐥𝐢𝐦 𝒇(𝒙) = 𝒇(𝒃)
𝒙→𝒄+𝟎 𝒙→𝒄−𝟎
The alternative from of the definition given there, combined with the
observation that |𝒇(𝒙) − 𝒇(𝒄) = 𝟎| when |𝒙 − 𝒄| = 𝟎, shows that the
definition given 1.1. is equivalent to the next definition.
Definition: If, whatever positive number 𝜺 be given, it is possible to find a
positive number 𝜼 (depending on 𝜺, and also on 𝒄) such that, whenever|𝑥 − 𝑐| <
𝜂, |𝑓 (𝑥 ) − 𝑓 (𝑐 ) < 𝜀, then 𝒇(𝒙) is continuous at 𝒙 = 𝒄.
This is often replaces by𝑦 𝐼 , 𝑦 𝐼𝐼 , 𝑦 𝐼𝐼𝐼 , 𝑦 𝐼𝑉 etc., with unbracketed roman superscripts, when a specific order is
intended.
136
for example, is of order 2 and degree 2, since the equation must be squared to
rationalize the contributions from the derivatives.
The definition of order is adopted in numerical work also, but the definition
of degree is not very relevant. We shall refer to and equation of the form
𝒚(𝒏) + 𝒇𝒏−𝟏 (𝒙)𝒚(𝒏−𝟏) + 𝒇𝒏−𝟐 (𝒙)𝒚(𝒏−𝟐) + ⋯ 𝒇𝟏 (𝒙) 𝒚′ + 𝒇𝟎 (𝒙)𝒚 = 𝒈(𝒙), (3)
in which the 𝒇(𝒙) are functions of 𝒙 only, as linear, and any other type of
equation will be called non-linear. The reason for this is fairly clear: in many
methods of solution we shall replace derivatives by linear combinations of
several discrete values 𝒚(𝒙𝒓 ) and, if the 𝒇𝒓 (3) also contain 𝒚 or any derivative,
the resulting algebraic equation will contain nonlinear terms 𝒚𝒔 , 𝒔 ≠ 𝟏.
2. Simultaneous ordinary differential equations involve several dependent
variables 𝒚, 𝒛, … and their derivatives. The equations do not necessarily have
the same order or degree, but there are usually the same number of equations as
the number of unknown functions. General simultaneous equations in two
variables will have the form
𝐹1 {𝑦 (𝑝), 𝑦 (𝑝−1), … , 𝑦1, 𝑦; 𝑧 (𝑞) , 𝑧 (𝑞−1), … , 𝑧 1 , 𝑧} = 0
} (4)
𝐹1{𝑦 (𝑟) , 𝑦 (𝑟−1) , … , 𝑦1, 𝑦; 𝑧 (𝑠) , 𝑧 (𝑠−1), … , 𝑧 1, 𝑧} = 0
3. It can be proved that the most general solution of an ordinary differential
equation of order 𝒏 contains 𝒏 arbitrary constants. This general solution is
called the Complete Primitive, and a Particular Integral is obtained by giving
specific values to these arbitrary constants.
Non-linear equations may also have singular solutions, not obtainable from
the complete primitive.
For the linear differential equation (3) the particular integral, as before, is
any solution 𝒚𝟎 (𝒙) which contains no arbitrary constants. The Complementary
Function is of the form
𝒚(𝒙) = ∑𝒏𝟏 𝑨𝒓 𝒚𝒓 (𝒙),
137
in which the functions 𝒚𝒓 (𝒙) are independent solutions of the homogenous
equation obtained from (3) by replacing 𝒈(𝒙) by zero, and the arbitrary
constants 𝑨, appear linearly. the general solutions of (3) is then given by
𝒏
138
FUNCTIONS
139
It is important to observe that it is not implicit in the definition of a
function that there should exist an algebraic equation connecting x and y. If y
and x are related so that y is a function of x, it does not necessarily follow that x
is a function of y, although this may sometimes be true. For let X be the domain
of this function and Y the ordinate set. Then if x is any member of X, we know
that there is just one member y of Y which corresponds to it.
But if y is a member of Y, there may be more than one value of x in X
which gives rise to a particular number, as the correspondence is many-one. If
there are any values of y for which this is so, then x is not a function of y
according to the definition.
Functions may be represented geometrically. For this we take a rectangular
system of Cartesian coordinates in a plane and associate with each member x of
the domain of the function the point P whose coordinate are (x, y). The set of
points P is called the graph of the function. A function defined by means of a
formula may have its domain restricted by the character of the formula itself.
140
FUNCTIONS
To Leibniz (1646-1716), who first used the word “function”, and to the
mathematicians of the eighteenth century, the idea of a functional relationship
was more or less identified with the existence of a simple mathematical formula
expressing the exact nature of the relationship. Later on the concept of function
was subjected to a long process of generalization and clarification. And all
modern mathematics centres around the concept of function. The concept of
function is of the greatest importance not only in pure mathematics but also in
practical applications.
Physical laws are statements concerning the way in which certain quantities
depend on others when some of these very. The task of the physicist is
determining the exact or approximate nature of this functional dependence. An
expression such x2+2x-3 has no definite numerical value until the value of x is
assigned.
We say that the value of this expression is a function of the value of x, and
write
x2+2x-3=f(x)
For example, when x=2, then
22+2·2-3=5, so thatf(2)=5
In the same way we may find by direct substitution the value of f(x) for any
integral, fractional, irrational, or even complex number x.
The area of a triangle is a function of the lengths of its three sides: it varies
as the lengths of the sides vary and is determined when these lengths are given
definite values. If a plane is subjected to a projective or a topological
transformation, then the coordinates of a point after the transformation depend
on, i.e. are functions of the original coordinates of the point. The concept of
function enters whenever quantities are connected by a definite physical
relationship.
141
The atmospheric pressure is a function of the altitude above sea level. The
whole domain of periodic phenomena – the motion of the tides, the vibrations of
a plucked string, the emission of light waves – is governed by the simple
trigonometric functions sinx and cosx.
Point out which sentence expresses the main idea of the text
1. Leibniz was the first to use the world “function”.
2. The atmospheric pressure is the function of the altitude above the sea
level.
3. All modern mathematics centres around the concept of function which
is of greatest importance not only in pure mathematics but also in
practical applications.
142
ELEMENTARY ANALYSIS
Elementary analysis is essentially the theory of the calculus, and one of its
main themes is the possibility of inferring global properties of functions from
local properties. (We make such an inference when, for example, we obtain the
general situation of a differential equation).
The concept of a local property is a fairly subtle one; it was formed at a
comparatively late stage in the development of mathematics, and it was not
thoroughly understood until quite recent times. This, no doubt, is of one of the
reasons for the widespread practice of teaching the calculus without giving
adequate attention to its logical foundations.
Many books have been written an which the calculus is presented as though
it were an inductive science like physics. This may sometimes have been done
through ignorance, but probably is most cases it has been done in the fallacious
belief that a different subject can be made easier by concealing its logical
structure from the student, at least in the early stages of instruction. That this
kind of approach is unsatisfactory becomes increasingly clear as “pre-calculus
mathematics” becomes increasingly provided by the spirit of pure mathematics.
An intelligent student who has tasted the delights of the axiomatic method
will want the calculus to be presented as a strictly deductive discipline. It is still
not easy to do this, but some of the traditional difficulties can now be reduced.
Although local properties are relatively difficult to understand, it is usual to
introduce them at or near the beginning of a course in elementary analysis, with
little or no preliminary discussion of global properties. Generally, local
continuity is discussed before uniform continuity and the notion of a derivative
is discussed before that of an integral. However, a reversal of this order can be
advantageous, particularly (but not exclusively) in the case of students who,
thought not unintelligent, cannot give much time to the study of mathematics.
Let us consider the main features of a course based on this pedagogical notion.
143
From the axiomatic point of view, an appropriate starting-point for a course
in elementary analysis is the concept of a totally ordered field, of which the
system of rational numbers is a familiar example. It is easy to show that the
algebraic rules by which inequalities are manipulated are valid for any totally
ordered field, and that the system of rational numbers is isomorphically
embedded in any such field (and, indeed, that it is essentially the only minimal
one). One can then introduce the idea of exact bounds of sets in a totally ordered
field, and prove that if the field is complete, in the sense that every non-empty
set that has upper bounds has a least upper bound, then every positive element
has a square root in the field.
This motivates the postulation of the system of real numbers as a complete
totally ordered field. That such a system exists and is unique to within
isomorphism should be stated, but need not be proved at this stage (It is easy
enough to define the real numbers in terms of the rational numbers, as Dedekind
sections for example, but to verify that one then has a system with all the
required properties is a somewhat tedious mutter).
The system of real numbers having been postulated in this way (or in some
equivalent way), the idea of a function of a real variable can be considered, and
illustrated by simple examples. Such functions can be classified according to
certain global properties that they may or may not have, including boundedness,
monotonicity univalence, representability by rational expressions. Continuity
also can be defined at this state as a global property; in fact as uniform
continuity on bounded closed intervals.
The fundamental mapping theorems for continuous functions, and the usual
theorems about the continuity of compound functions, can be deduced from this
definition with no greater difficulty than one has with local continuity; indeed
some simplifications are possible. Once these theorems are available it is very
easy to establish the existence and continuity of various algebraic functions, and
the student has a substantial amount of useful equipment at his disposal (The
144
fundamental mapping theorems state that if f is a continuous function on a
bounded closed interval I than (i) the set f(I) is a bounded closes interval, and
(ii) if f is also univalent on I – which, by virtue of (i), is the case only if f is
strictly monotonic on I – then the inverse function f-1is continuous on f(I)).
The next step is to consider upper and lower Riemann sums of a bounded
function on a bounded closed interval, and to derive the notion of integrability.
With the definition of community that has been adopted, it is trivially easy to
prove that continuous functions are integrable. Some numerical computation of
integrals can now be done; this serves to emphasize that integration is essentially
a process of approximation, and that an approximation is worthless unless it is
accompanied by an estimate of accuracy (obtained in this case by computing
both upper and lower sums).
The fundamental properties of the integration process – linearity, positivity,
additivity, integrability of the modulus – can be established in a straightforward
way, but in a short course these need only be stated. One is then in a position to
define the logarithmic function and to establish its functional equation (logxy=
=logx + logy), its continuity, and the fact that it has a continuous inverse, which
is the exponential function. This provides on efficient way of assigning an
unambiguous meaning to the symbol ax, where a>0 and x is any real number.
The circular functions can be introduced in an essentially similar way
(independently of trigonometry), but the detailed study of these functions is best
deferred until the calculus has been more fully developed.
Continuity can be expressed in terms of the concept of a limit through
Heine’s theorem (which states that a function has the global property of being
uniformly continuous on a bounded closed interval I if it has the local property
of being continuous at each point of I), and the fundamental theorems about
limits of compound functions can be proved by arguments of a type with which
the student is now familiar.
At this point the concept of a derivative can be introduced, and the
145
fundamental theorems on which the technique of differentiation is based can be
proved without difficulty. By way of the mean-value theorem one them reaches
the fundamental theorem of the calculus, which confers the power of evaluating
integrals by “antidifferentiation” the technique of this (“systematic integration”)
can be developed as part of the wider, and more interesting, technique of solving
differential equations, and it is natural to develop concurrently the theory of the
elementary transcendental functions of a real variable (the non-algebraic
functions already mentioned, and functions simply related to these). It is by no
means necessary to use infinite series to represent either numbers or functions in
work at this level; it is only in more advanced analysis that infinite series core
genninely required, and their theory and usefulness can perhaps be best best
appreciated by the student who already has a sound knowledge of the calculus.
Mathematical analysis
146
Archimedes used the method of exhaustion to compute the area inside a
circle by finding the area of regular polygons with more and more sides. This
was an early but informal example of a limit, one of the most basic concepts in
mathematical analysis.
Mathematical analysis formally developed in the 17th century during
the Scientific Revolution, but many of its ideas can be traced back to earlier
mathematicians. Early results in analysis were implicitly present in the early
days of ancient Greek mathematics. For instance, an infinite geometric sum is
implicit in Zeno's paradox of the dichotomy. Later, Greek mathematicians such
as Eudoxus and Archimedes made more explicit, but informal, use of the
concepts of limits and convergence when they used the method of exhaustion to
compute the area and volume of regions and solids. The explicit use
of infinitesimals appears in Archimedes' The Method of Mechanical Theorems, a
work rediscovered in the 20th century. In Asia, the Chinese mathematician Liu
Hui used the method of exhaustion in the 3rd century AD to find the area of a
circle. Zu Chongzhiestablished a method that would later be called Cavalieri's
principle to find the volume of a sphere in the 5th century. The Indian
mathematician Bhāskara II gave examples of the derivative and used what is
now known as Rolle's theorem in the 12th century.
In the 14th century, Madhava of Sangamagrama developed infinite
series expansions, like the power series and the Taylor series, of functions such
as sine, cosine, tangent and arctangent. Alongside his development of the
Taylor series of the trigonometric functions, he also estimated the magnitude of
the error terms created by truncating these series and gave a rational
approximation of an infinite series. His followers at the Kerala School of
Astronomy and Mathematics further expanded his works, up to the 16th century.
The modern foundations of mathematical analysis were established in 17th
century Europe. Descartes and Fermat independently developed analytic
geometry, and a few decades later Newton and Leibniz independently
developed infinitesimal calculus, which grew, with the stimulus of applied work
that continued through the 18th century, into analysis topics such as the calculus
of variations, ordinary and partial differential equations, Fourier analysis,
and generating functions. During this period, calculus techniques were applied
to approximate discrete problems by continuous ones.
In the 18th century, Euler introduced the notion of mathematical function. Real
analysis began to emerge as an independent subject when Bernard
Bolzano introduced the modern definition of continuity in 1816, but Bolzano's
work did not become widely known until the 1870s. In 1821, Cauchy began to
put calculus on a firm logical foundation by rejecting the principle of
the generality of algebra widely used in earlier work, particularly by Euler.
Instead, Cauchy formulated calculus in terms of geometric ideas
and infinitesimals. Thus, his definition of continuity required an infinitesimal
147
change in x to correspond to an infinitesimal change in y. He also introduced the
concept of the Cauchy sequence, and started the formal theory of complex
analysis. Poisson, Liouville, Fourier and others studied partial differential
equations and harmonic analysis. The contributions of these mathematicians and
others, such as Weierstrass, developed the (ε, δ)-definition of limit approach,
thus founding the modern field of mathematical analysis.
In the middle of the 19th century Riemann introduced his theory of integration.
The last third of the century saw the arithmetization of analysis by Weierstrass,
who thought that geometric reasoning was inherently misleading, and introduced
the "epsilon-delta" definition of limit. Then, mathematicians started worrying
that they were assuming the existence of a continuum of real numbers without
proof. Dedekind then constructed the real numbers by Dedekind cuts, in which
irrational numbers are formally defined, which serve to fill the "gaps" between
rational numbers, thereby creating a complete set: the continuum of real
numbers, which had already been developed by Simon Stevin in terms
of decimal expansions. Around that time, the attempts to refine the theorems of
Riemann integration led to the study of the "size" of the set of discontinuities of
real functions.
Also, "monsters" (nowhere continuous functions, continuous but nowhere
differentiable functions, space-filling curves) began to be investigated. In this
context, Jordan developed his theory of measure, Cantor developed what is now
called naive set theory, and Baireproved the Baire category theorem. In the
early 20th century, calculus was formalized using an axiomatic set
theory. Lebesgue solved the problem of measure, and Hilbert introduced Hilbert
spaces to solve integral equations. The idea of normed vector space was in the
air, and in the 1920s Banach created functional analysis.
Real analysis
Real analysis (traditionally, the theory of functions of a real variable) is
a branch of mathematical analysis dealing with the real numbers and real-valued
functions of a real variable. In particular, it deals with the analytic properties of
real functions and sequences, including convergence and limits of
sequences of real numbers, the calculus of the real numbers,
and continuity, smoothness and related properties of real-valued functions.
Complex analysis
Functional analysis
Discrete Mathematics
Graphs like this are among the objects studied by discrete mathematics, for their
interesting mathematical properties, their usefulness as models of real-world
problems, and their importance in developing computer algorithms.
Discrete mathematics is the study of mathematical structures that are
fundamentally discrete rather than continuous. In contrast to real numbers that
have the property of varying "smoothly", the objects studied in discrete
149
mathematics – such as integers, graphs, and statements in logic– do not vary
smoothly in this way, but have distinct, separated values. Discrete mathematics
therefore excludes topics in "continuous mathematics" such
as calculus or Euclidean geometry. Discrete objects can often be enumerated by
integers. More formally, discrete mathematics has been characterized as the
branch of mathematics dealing with countable sets (finite sets or sets with the
same cardinality as the natural numbers). However, there is no exact definition
of the term "discrete mathematics." Indeed, discrete mathematics is described
less by what is included than by what is excluded: continuously varying
quantities and related notions.
The set of objects studied in discrete mathematics can be finite or infinite. The
term finite mathematics is sometimes applied to parts of the field of discrete
mathematics that deals with finite sets, particularly those areas relevant to
business.
Research in discrete mathematics increased in the latter half of the twentieth
century partly due to the development of digital computers which operate in
discrete steps and store data in discrete bits. Concepts and notations from
discrete mathematics are useful in studying and describing objects and problems
in branches of computer science, such as computer algorithms, programming
languages, cryptography, automated theorem proving, and software
development. Conversely, computer implementations are significant in applying
ideas from discrete mathematics to real-world problems, such as in operations
research.
Although the main objects of study in discrete mathematics are discrete objects,
analytic methods from continuous mathematics are often employed as well.
In university curricula, "Discrete Mathematics" appeared in the 1980s, initially
as a computer science support course; its contents were somewhat haphazard at
the time. The curriculum has thereafter developed in conjunction with efforts
by ACM and MAA into a course that is basically intended to
develop mathematical maturity in freshmen; therefore it is nowadays a
prerequisite for mathematics majors in some universities as well. Some high-
school-level discrete mathematics textbooks have appeared as well. At this level,
discrete mathematics is sometimes seen as a preparatory course, not
unlike precalculus in this respect.
The Fulkerson Prize is awarded for outstanding papers in discrete mathematics.
150
Much research in graph theory was motivated by attempts to prove that all maps,
like this one, can be coloredusing only four colors so that no areas of the same
color share an edge. Kenneth Appel and Wolfgang Haken proved this in 1976.
The history of discrete mathematics has involved a number of challenging
problems which have focused attention within areas of the field. In graph theory,
much research was motivated by attempts to prove the four color theorem, first
stated in 1852, but not proved until 1976 (by Kenneth Appel and Wolfgang
Haken, using substantial computer assistance). In logic, the second
problem on David Hilbert's list of open problems presented in 1900 was to prove
that the axioms of arithmetic are consistent. Gödel's second incompleteness
theorem, proved in 1931, showed that this was not possible – at least not within
arithmetic itself. Hilbert's tenth problem was to determine whether a given
polynomial Diophantine equation with integer coefficients has an integer
solution. In 1970, Yuri Matiyasevich proved that this could not be done.
The need to break German codes in World War II led to advances
in cryptography and theoretical computer science, with the first programmable
digital electronic computer being developed at England's Bletchley Park with the
guidance of Alan Turing and his seminal work, On Computable Numbers. At the
same time, military requirements motivated advances in operations research.
The Cold War meant that cryptography remained important, with fundamental
advances such as public-key cryptography being developed in the following
decades. Operations research remained important as a tool in business and
project management, with the critical path method being developed in the 1950s.
The telecommunication industry has also motivated advances in discrete
mathematics, particularly in graph theory and information theory. Formal
verification of statements in logic has been necessary for software
development of safety-critical systems, and advances in automated theorem
proving have been driven by this need.
Computational geometry has been an important part of the computer
graphics incorporated into modern video games and computer-aided
design tools.
151
Several fields of discrete mathematics, particularly theoretical computer science,
graph theory, and combinatorics, are important in addressing the
challenging bioinformatics problems associated with understanding the tree of
life. Currently, one of the most famous open problems in theoretical computer
science is the P = NP problem, which involves the relationship between
the complexity classes P and NP. The Clay Mathematics Institute has offered a
$1 million USD prize for the first correct proof, along with prizes for six other
mathematical problems.
Theoretical computer science
Main article: Theoretical computer science
Complexity studies the time taken by algorithms, such as this sorting routine.
Theoretical computer science includes areas of discrete mathematics relevant to
computing. It draws heavily on graph theory and mathematical logic. Included
within theoretical computer science is the study of algorithms for computing
mathematical results. Computability studies what can be computed in principle,
and has close ties to logic, while complexity studies the time, space, and other
resources taken by computations. Automata theory and formal language theory
are closely related to computability. Petri nets and process algebras are used to
model computer systems, and methods from discrete mathematics are used in
analyzing VLSI electronic circuits. Computational geometry applies algorithms
to geometrical problems, while computer image analysis applies them to
representations of images. Theoretical computer science also includes the study
of various continuous computational topics.
Information theory
152
The ASCII codes for the word "Wikipedia", given here in binary, provide a way
of representing the word in information theory, as well as for information-
processing algorithms.
Information theory involves the quantification of information. Closely related
is coding theory which is used to design efficient and reliable data transmission
and storage methods. Information theory also includes continuous topics such
as: analog signals, analog coding, analog encryption.
Logic is the study of the principles of valid reasoning and inference, as well as
of consistency, soundness, and completeness. For example, in most systems of
logic (but not in intuitionistic logic) Peirce's law (((P→Q)→P)→P) is a
theorem. For classical logic, it can be easily verified with a truth table. The study
of mathematical proof is particularly important in logic, and has applications
to automated theorem proving and formal verification of software.
Logical formulas are discrete structures, as are proofs, which form finite trees or,
more generally, directed acyclic graph structures (with each inference
step combining one or more premise branches to give a single conclusion).
The truth values of logical formulas usually form a finite set, generally restricted
to two values: true and false, but logic can also be continuous-valued, e.g., fuzzy
logic. Concepts such as infinite proof trees or infinite derivation trees have also
been studied, e.g. infinitary logic.
Set theory
Set theory is the branch of mathematics that studies sets, which are collections
of objects, such as {blue, white, red} or the (infinite) set of all prime
numbers. Partially ordered sets and sets with other relations have applications in
several areas.
In discrete mathematics, countable sets (including finite sets) are the main focus.
The beginning of set theory as a branch of mathematics is usually marked
by Georg Cantor's work distinguishing between different kinds of infinite set,
motivated by the study of trigonometric series, and further development of the
theory of infinite sets is outside the scope of discrete mathematics. Indeed,
contemporary work in descriptive set theory makes extensive use of traditional
continuous mathematics.
Combinatorics
Combinatorics studies the way in which discrete structures can be combined or
arranged. Enumerative combinatorics concentrates on counting the number of
certain combinatorial objects - e.g. the twelvefold way provides a unified
framework for counting permutations, combinations and partitions. Analytic
combinatorics concerns the enumeration (i.e., determining the number) of
combinatorial structures using tools from complex analysis and probability
theory. In contrast with enumerative combinatorics which uses explicit
153
combinatorial formulae and generating functions to describe the results, analytic
combinatorics aims at obtaining asymptotic formulae. Design theory is a study
of combinatorial designs, which are collections of subsets with
certain intersection properties. Partition theory studies various enumeration and
asymptotic problems related to integer partitions, and is closely related to q-
series, special functions and orthogonal polynomials. Originally a part
of number theory and analysis, partition theory is now considered a part of
combinatorics or an independent field. Order theory is the study of partially
ordered sets, both finite and infinite.
Graph theory
Graph theory has close links to group theory. This truncated tetrahedron graph is
related to the alternating group A4.
Graph theory, the study of graphs and networks, is often considered part of
combinatorics, but has grown large enough and distinct enough, with its own
kind of problems, to be regarded as a subject in its own right. Graphs are one of
the prime objects of study in discrete mathematics. They are among the most
ubiquitous models of both natural and human-made structures. They can model
many types of relations and process dynamics in physical, biological and social
systems. In computer science, they can represent networks of communication,
data organization, computational devices, the flow of computation, etc. In
mathematics, they are useful in geometry and certain parts of topology, e.g. knot
theory. Algebraic graph theory has close links with group theory. There are
also continuous graphs, however for the most part research in graph theory falls
within the domain of discrete mathematics.
Probability
Discrete probability theory deals with events that occur in countable sample
spaces. For example, count observations such as the numbers of birds in flocks
comprise only natural number values {0, 1, 2, ...}. On the other hand, continuous
observations such as the weights of birds comprise real number values and
would typically be modeled by a continuous probability distribution such as
the normal. Discrete probability distributions can be used to approximate
continuous ones and vice versa. For highly constrained situations such as
throwing dice or experiments with decks of cards, calculating the probability of
events is basically enumerative combinatorics.
154
Number theory
The Ulam spiral of numbers, with black pixels showing prime numbers. This
diagram hints at patterns in the distribution of prime numbers.
Number theory is concerned with the properties of numbers in general,
particularly integers. It has applications to cryptography and cryptanalysis,
particularly with regard to modular arithmetic, diophantine equations, linear and
quadratic congruences, prime numbers and primality testing. Other discrete
aspects of number theory include geometry of numbers. In analytic number
theory, techniques from continuous mathematics are also used. Topics that go
beyond discrete objects include transcendental numbers, diophantine
approximation, p-adic analysis and function fields.
Algebraic structures occur as both discrete examples and continuous examples.
Discrete algebras include: boolean algebra used in logic gates and
programming; relational algebra used in databases; discrete and finite versions
of groups, rings and fields are important in algebraic coding theory;
discrete semigroups and monoids appear in the theory of formal languages.
A function defined on an interval of the integers is usually called a sequence. A
sequence could be a finite sequence from a data source or an infinite sequence
from a discrete dynamical system. Such a discrete function could be defined
explicitly by a list (if its domain is finite), or by a formula for its general term, or
it could be given implicitly by a recurrence relation or difference equation.
Difference equations are similar to a differential equations, but
replace differentiation by taking the difference between adjacent terms; they can
be used to approximate differential equations or (more often) studied in their
own right. Many questions and methods concerning differential equations have
counterparts for difference equations. For instance, where there are integral
transforms in harmonic analysis for studying continuous functions or analogue
signals, there are discrete transforms for discrete functions or digital signals. As
well as the discrete metric there are more general discrete or finite metric
spaces and finite topological spaces.
Geometry
155
Computational geometry applies computer algorithms to representations
of geometrical objects.
Discrete geometry and combinatorial geometry are about combinatorial
properties of discrete collections of geometrical objects. A long-standing topic
in discrete geometry is tiling of the plane. Computational geometry applies
algorithms to geometrical problems.
Although topology is the field of mathematics that formalizes and generalizes
the intuitive notion of "continuous deformation" of objects, it gives rise to many
discrete topics; this can be attributed in part to the focus on topological
invariants, which themselves usually take discrete values. See combinatorial
topology, topological graph theory, topological combinatorics, computational
topology, discrete topological space, finite topological space, topology
(chemistry).
PERT charts like this provide a project management technique based on graph
theory.
Operations research provides techniques for solving practical problems in
engineering, business, and other fields — problems such as allocating resources
to maximize profit, or scheduling project activities to minimize risk. Operations
research techniques include linear programming and other areas
of optimization, queuing theory, scheduling theory, network theory. Operations
research also includes continuous topics such as continuous-time Markov
process, continuous-time martingales, process optimization, and continuous and
hybrid control theory.
156
Decision theory is concerned with identifying Cooperate Defect
the values, uncertainties and other issues
relevant in a given decision, its rationality, and Cooperate −1, −1 −10, 0
the resulting optimal decision.
Defect 0, −10 −5, −5
Utility theory is about measures of the
relative economic satisfaction from, or Payoff matrix for
desirability of, consumption of various goods the Prisoner's dilemma, a
and services. common example in game
Social choice theory is about voting. A more theory. One player chooses a
puzzle-based approach to voting is ballot row, the other a column; the
theory. resulting pair gives their
payoffs
Game theory deals with situations where
success depends on the choices of others, which makes choosing the best course
of action more complex. There are even continuous games, see differential
game. Topics include auction theory and fair division.
Discretization concerns the process of transferring continuous models and
equations into discrete counterparts, often for the purposes of making
calculations easier by using approximations. Numerical analysis provides an
important example.
There are many concepts in continuous mathematics which have discrete
versions, such as discrete calculus, discrete probability distributions, discrete
Fourier transforms, discrete geometry, discrete logarithms, discrete differential
geometry, discrete exterior calculus, discrete Morse theory, difference
equations, discrete dynamical systems, and discrete vector measures.
In applied mathematics, discrete modelling is the discrete analogue
of continuous modelling. In discrete modelling, discrete formulae are fit to data.
A common method in this form of modelling is to use recurrence relation.
In algebraic geometry, the concept of a curve can be extended to discrete
geometries by taking the spectra of polynomial rings over finite fields to be
models of the affine spaces over that field, and letting subvarieties or spectra of
other rings provide the curves that lie in that space.
The time scale calculus is a unification of the theory of difference equations with
that of differential equations, which has applications to fields requiring
simultaneous modelling of discrete and continuous data. Another way of
modeling such a situation is the notion of hybrid dynamical system.
157
Computational Mathematics
A black and white rendition of the Yale Babylonian Collection's Tablet YBC
7289 (c. 1800–1600 BCE), showing a Babylonian approximation to the square
root of 2 (1 24 51 10 w: sexagesimal) in the context of Pythagoras' Theorem for
an isosceles triangle. The tablet also gives an example where one side of the
square is 30, and the resulting diagonal is 42 25 35 or 42.4263888.
Computational mathematics may refer to two different aspect of the relation
between computing and mathematics. Computational applied
mathematics consists roughly of using mathematics for allowing and
improving computercomputation in applied mathematics. Computational
mathematics may also refer to the use of computers for mathematics itself. This
includes the use of computers for mathematical computations (computer
algebra), the study of what can (and cannot) be computerized in mathematics
(effective methods), which computations may be done with present technology
(complexity theory), and which proofs can be done on computers (proof
assistants).
Computational applied mathematics involves mathematical research in areas
of science where computing plays a central and essential role, emphasizing
algorithms, numerical methods, and symbolic computations. Computation in
research is prominent. Computational mathematics emerged as a distinct part of
applied mathematics by the early 1950s. Currently, computational mathematics
can refer to or include:
Statistics
Statistics
159
More probability density is found as one gets closer to the expected (mean)
value in a normal distribution. Statistics used in standardized testingassessment
are shown. The scales include standard deviations, cumulative percentages, Z-
scores, and T-scores.
Scatter plots are used in descriptive statistics to show the observed relationships
between different variables.
Statistics is a branch of mathematics dealing with the collection, organization,
analysis, interpretation and presentation of data. In applying statistics to, for
example, a scientific, industrial, or social problem, it is conventional to begin
with a statistical population or a statistical model process to be studied.
Populations can be diverse topics such as "all people living in a country" or
"every atom composing a crystal". Statistics deals with all aspects of data
including the planning of data collection in terms of the design
of surveys and experiments.[1] See glossary of probability and statistics.
When census data cannot be collected, statisticians collect data by developing
specific experiment designs and survey samples. Representative sampling
assures that inferences and conclusions can reasonably extend from the sample
to the population as a whole. An experimental study involves taking
160
measurements of the system under study, manipulating the system, and then
taking additional measurements using the same procedure to determine if the
manipulation has modified the values of the measurements. In contrast,
an observational study does not involve experimental manipulation.
Two main statistical methods are used in data analysis: descriptive statistics,
which summarize data from a sample using indexes such as
the mean or standard deviation, and inferential statistics, which draw
conclusions from data that are subject to random variation (e.g., observational
errors, sampling variation). Descriptive statistics are most often concerned with
two sets of properties of a distribution (sample or population): central
tendency (or location) seeks to characterize the distribution's central or typical
value, while dispersion (or variability) characterizes the extent to which
members of the distribution depart from its center and each other. Inferences on
mathematical statistics are made under the framework of probability theory,
which deals with the analysis of random phenomena.
A standard statistical procedure involves the test of the relationship between two
statistical data sets, or a data set and synthetic data drawn from an idealized
model. A hypothesis is proposed for the statistical relationship between the two
data sets, and this is compared as an alternative to an idealized null
hypothesis of no relationship between two data sets. Rejecting or disproving the
null hypothesis is done using statistical tests that quantify the sense in which the
null can be proven false, given the data that are used in the test. Working from a
null hypothesis, two basic forms of error are recognized: Type I errors (null
hypothesis is falsely rejected giving a "false positive") and Type II errors (null
hypothesis fails to be rejected and an actual difference between populations is
missed giving a "false negative"). Multiple problems have come to be associated
with this framework: ranging from obtaining a sufficient sample size to
specifying an adequate null hypothesis. Measurement processes that generate
statistical data are also subject to error. Many of these errors are classified as
random (noise) or systematic (bias), but other types of errors (e.g., blunder, such
as when an analyst reports incorrect units) can also be important. The presence
of missing data or censoring may result in biased estimates and specific
techniques have been developed to address these problems.
Statistics can be said to have begun in ancient civilization, going back at least to
the 5th century BC, but it was not until the 18th century that it started to draw
more heavily from calculus and probability theory. In more recent years
statistics has relied more on statistical software to produce tests such as
descriptive analysis.
161
Bowley defines statistics as "Numerical statements of facts in any
department of inquiry placed in relation to each other."
Statistics is a mathematical body of science that pertains to the collection,
analysis, interpretation or explanation, and presentation of data, or as a branch
of mathematics. Some consider statistics to be a distinct mathematical science
rather than a branch of mathematics. While many scientific investigations make
use of data, statistics is concerned with the use of data in the context of
uncertainty and decision making in the face of uncertainty. Mathematical
statistics is the application of mathematics to statistics. Mathematical techniques
used for this include mathematical analysis, linear algebra, stochastic
analysis, differential equations, and measure-theoretic probability theory.
In applying statistics to a problem, it is common practice to start with
a population or process to be studied. Populations can be diverse topics such as
"all persons living in a country" or "every atom composing a crystal".
Ideally, statisticians compile data about the entire population (an operation
called census). This may be organized by governmental statistical
institutes. Descriptive statistics can be used to summarize the population data.
Numerical descriptors include mean and standard deviation for continuous
data types (like income), while frequency and percentage are more useful in
terms of describing categorical data (like race).
When a census is not feasible, a chosen subset of the population called
a sample is studied. Once a sample that is representative of the population is
determined, data is collected for the sample members in an observational
or experimental setting. Again, descriptive statistics can be used to summarize
the sample data. However, the drawing of the sample has been subject to an
element of randomness, hence the established numerical descriptors from the
sample are also due to uncertainty. To still draw meaningful conclusions about
the entire population, inferential statistics is needed. It uses patterns in the
sample data to draw inferences about the population represented, accounting for
randomness. These inferences may take the form of: answering yes/no questions
about the data (hypothesis testing), estimating numerical characteristics of the
data (estimation), describing associations within the data (correlation) and
modeling relationships within the data (for example, using regression analysis).
Inference can extend to forecasting, prediction and estimation of unobserved
values either in or associated with the population being studied; it can
include extrapolation and interpolation of time series or spatial data, and can
also include data mining.
When full census data cannot be collected, statisticians collect sample data by
developing specific experiment designs and survey samples. Statistics itself also
provides tools for prediction and forecasting through statistical models. The idea
of making inferences based on sampled data began around the mid-1600s in
162
connection with estimating populations and developing precursors of life
insurance.
To use a sample as a guide to an entire population, it is important that it truly
represents the overall population. Representative sampling assures that
inferences and conclusions can safely extend from the sample to the population
as a whole. A major problem lies in determining the extent that the sample
chosen is actually representative. Statistics offers methods to estimate and
correct for any bias within the sample and data collection procedures. There are
also methods of experimental design for experiments that can lessen these issues
at the outset of a study, strengthening its capability to discern truths about the
population.
Sampling theory is part of the mathematical discipline of probability theory.
Probability is used in mathematical statistics to study the sampling
distributions of sample statistics and, more generally, the properties of statistical
procedures. The use of any statistical method is valid when the system or
population under consideration satisfies the assumptions of the method. The
difference in point of view between classic probability theory and sampling
theory is, roughly, that probability theory starts from the given parameters of a
total population to deduce probabilities that pertain to samples. Statistical
inference, however, moves in the opposite direction—inductively inferring from
samples to the parameters of a larger or total population.
A common goal for a statistical research project is to investigate causality, and
in particular to draw a conclusion on the effect of changes in the values of
predictors or independent variables on dependent variables. There are two major
types of causal statistical studies: experimental studies and observational studies.
In both types of studies, the effect of differences of an independent variable (or
variables) on the behavior of the dependent variable are observed. The
difference between the two types lies in how the study is actually conducted.
Each can be very effective. An experimental study involves taking
measurements of the system under study, manipulating the system, and then
taking additional measurements using the same procedure to determine if the
manipulation has modified the values of the measurements. In contrast, an
observational study does not involve experimental manipulation. Instead, data
are gathered and correlations between predictors and response are investigated.
While the tools of data analysis work best on data from randomized studies, they
are also applied to other kinds of data—like natural
experiments and observational studies—for which a statistician would use a
modified, more structured estimation method (e.g., Difference in differences
estimation and instrumental variables, among many others) that
produce consistent estimators.
The basic steps of a statistical experiment are:
163
1. Planning the research, including finding the number of replicates of the
study, using the following information: preliminary estimates regarding
the size of treatment effects, alternative hypotheses, and the
estimated experimental variability. Consideration of the selection of
experimental subjects and the ethics of research is necessary. Statisticians
recommend that experiments compare (at least) one new treatment with a
standard treatment or control, to allow an unbiased estimate of the
difference in treatment effects.
2. Design of experiments, using blocking to reduce the influence
of confounding variables, and randomized assignment of treatments to
subjects to allow unbiased estimates of treatment effects and
experimental error. At this stage, the experimenters and statisticians write
the experimental protocol that will guide the performance of the
experiment and which specifies the primary analysis of the experimental
data.
3. Performing the experiment following the experimental
protocol and analyzing the data following the experimental protocol.
4. Further examining the data set in secondary analyses, to suggest new
hypotheses for future study.
5. Documenting and presenting the results of the study.
Experiments on human behavior have special concerns. The famous Hawthorne
study examined changes to the working environment at the Hawthorne plant of
the Western Electric Company. The researchers were interested in determining
whether increased illumination would increase the productivity of the assembly
line workers. The researchers first measured the productivity in the plant, then
modified the illumination in an area of the plant and checked if the changes in
illumination affected productivity. It turned out that productivity indeed
improved (under the experimental conditions). However, the study is heavily
criticized today for errors in experimental procedures, specifically for the lack of
a control group and blindness. The Hawthorne effect refers to finding that an
outcome (in this case, worker productivity) changed due to observation itself.
Those in the Hawthorne study became more productive not because the lighting
was changed but because they were being observed.
An example of an observational study is one that explores the association
between smoking and lung cancer. This type of study typically uses a survey to
collect observations about the area of interest and then performs statistical
analysis. In this case, the researchers would collect observations of both smokers
and non-smokers, perhaps through a cohort study, and then look for the number
of cases of lung cancer in each group. [17] A case-control study is another type of
observational study in which people with and without the outcome of interest
(e.g. lung cancer) are invited to participate and their exposure histories are
collected.
164
Various attempts have been made to produce a taxonomy of levels of
measurement. The psychophysicist Stanley Smith Stevens defined nominal,
ordinal, interval, and ratio scales. Nominal measurements do not have
meaningful rank order among values, and permit any one-to-one transformation.
Ordinal measurements have imprecise differences between consecutive values,
but have a meaningful order to those values, and permit any order-preserving
transformation. Interval measurements have meaningful distances between
measurements defined, but the zero value is arbitrary (as in the case
with longitude and temperature measurements in Celsius or Fahrenheit), and
permit any linear transformation. Ratio measurements have both a meaningful
zero value and the distances between different measurements defined, and
permit any rescaling transformation.
Because variables conforming only to nominal or ordinal measurements cannot
be reasonably measured numerically, sometimes they are grouped together
as categorical variables, whereas ratio and interval measurements are grouped
together as quantitative variables, which can be either discrete or continuous,
due to their numerical nature. Such distinctions can often be loosely correlated
with data type in computer science, in that dichotomous categorical variables
may be represented with the Boolean data type, polytomous categorical
variables with arbitrarily assigned integers in the integral data type, and
continuous variables with the real data type involving floating
point computation. But the mapping of computer science data types to statistical
data types depends on which categorization of the latter is being implemented.
Other categorizations have been proposed. For example, Mosteller and Tukey
(1977) distinguished grades, ranks, counted fractions, counts, amounts, and
balances. Nelder (1990) described continuous counts, continuous ratios, count
ratios, and categorical modes of data. See also Chrisman (1998), van den Berg
(1991).
The issue of whether or not it is appropriate to apply different kinds of statistical
methods to data obtained from different kinds of measurement procedures is
complicated by issues concerning the transformation of variables and the precise
interpretation of research questions. "The relationship between the data and what
they describe merely reflects the fact that certain kinds of statistical statements
may have truth values which are not invariant under some transformations.
Whether or not a transformation is sensible to contemplate depends on the
question one is trying to answer" (Hand, 2004, p. 82).
Consider independent identically distributed (IID) random variables with a
given probability distribution: standard statistical inference and estimation
theory defines a random sample as the random vector given by the column
vector of these IID variables. The populationbeing examined is described by a
probability distribution that may have unknown parameters.
165
A statistic is a random variable that is a function of the random sample, but not a
function of unknown parameters. The probability distribution of the statistic,
though, may have unknown parameters.
Consider now a function of the unknown parameter: an estimator is a statistic
used to estimate such function. Commonly used estimators include sample
mean, unbiased sample variance and sample covariance.
A random variable that is a function of the random sample and of the unknown
parameter, but whose probability distribution does not depend on the unknown
parameter is called a pivotal quantity or pivot. Widely used pivots include the z-
score, the chi square statistic and Student's t-value.
Between two estimators of a given parameter, the one with lower mean squared
error is said to be more efficient. Furthermore, an estimator is said to
be unbiased if its expected value is equal to the true value of the unknown
parameter being estimated, and asymptotically unbiased if its expected value
converges at the limit to the true value of such parameter.
Other desirable properties for estimators include: UMVUE estimators that have
the lowest variance for all possible values of the parameter to be estimated (this
is usually an easier property to verify than efficiency) and consistent estimators
which converges in probabilityto the true value of such parameter.
This still leaves the question of how to obtain estimators in a given situation and
carry the computation, several methods have been proposed: the method of
moments, the maximum likelihood method, the least squares method and the
more recent method of estimating equations.
Null hypothesis and alternative hypothesis
Interpretation of statistical information can often involve the development of
a null hypothesis which is usually (but not necessarily) that no relationship
exists among variables or that no change occurred over time.
The best illustration for a novice is the predicament encountered by a criminal
trial. The null hypothesis, H0, asserts that the defendant is innocent, whereas the
alternative hypothesis, H1, asserts that the defendant is guilty. The indictment
comes because of suspicion of the guilt. The H0 (status quo) stands in opposition
to H1 and is maintained unless H1 is supported by evidence "beyond a reasonable
doubt". However, "failure to reject H0" in this case does not imply innocence,
but merely that the evidence was insufficient to convict. So the jury does not
necessarily accept H0 but fails to reject H0. While one can not "prove" a null
hypothesis, one can test how close it is to being true with a power test, which
tests for type II errors.
What statisticians call an alternative hypothesis is simply a hypothesis that
contradicts the null hypothesis.
Working from a null hypothesis, two basic forms of error are recognized:
166
Type I errors where the null hypothesis is falsely rejected giving a "false
positive".
Type II errors where the null hypothesis fails to be rejected and an actual
difference between populations is missed giving a "false negative".
Standard deviation refers to the extent to which individual observations in a
sample differ from a central value, such as the sample or population mean,
while Standard error refers to an estimate of difference between sample mean
and population mean.
A statistical error is the amount by which an observation differs from
its expected value, a residual is the amount an observation differs from the value
the estimator of the expected value assumes on a given sample (also called
prediction).
Mean squared error is used for obtaining efficient estimators, a widely used class
of estimators. Root mean square error is simply the square root of mean squared
error.
A least squares fit: in red the points to be fitted, in blue the fitted line.
Many statistical methods seek to minimize the residual sum of squares, and
these are called "methods of least squares" in contrast to Least absolute
deviations. The latter gives equal weight to small and big errors, while the
former gives more weight to large errors. Residual sum of squares is
also differentiable, which provides a handy property for doing regression. Least
squares applied to linear regression is called ordinary least squares method and
least squares applied to nonlinear regression is called non-linear least squares.
Also in a linear regression model the non deterministic part of the model is
called error term, disturbance or more simply noise. Both linear regression and
non-linear regression are addressed in polynomial least squares, which also
describes the variance in a prediction of the dependent variable (y axis) as a
function of the independent variable (x axis) and the deviations (errors, noise,
disturbances) from the estimated (fitted) curve.
Measurement processes that generate statistical data are also subject to error.
Many of these errors are classified as random (noise) or systematic (bias), but
other types of errors (e.g., blunder, such as when an analyst reports incorrect
167
units) can also be important. The presence of missing data or censoring may
result in biased estimates and specific techniques have been developed to
address these problems.
Confidence intervals: the red line is true value for the mean in this example, the
blue lines are random confidence intervals for 100 realizations.
Most studies only sample part of a population, so results don't fully represent the
whole population. Any estimates obtained from the sample only approximate the
population value. Confidence intervals allow statisticians to express how closely
the sample estimate matches the true value in the whole population. Often they
are expressed as 95% confidence intervals. Formally, a 95% confidence interval
for a value is a range where, if the sampling and analysis were repeated under
the same conditions (yielding a different dataset), the interval would include the
true (population) value in 95% of all possible cases. This does not imply that the
probability that the true value is in the confidence interval is 95%. From
the frequentist perspective, such a claim does not even make sense, as the true
value is not a random variable. Either the true value is or is not within the given
interval. However, it is true that, before any data are sampled and given a plan
for how to construct the confidence interval, the probability is 95% that the yet-
to-be-calculated interval will cover the true value: at this point, the limits of the
interval are yet-to-be-observed random variables. One approach that does yield
an interval that can be interpreted as having a given probability of containing the
true value is to use a credible interval from Bayesian statistics: this approach
depends on a different way of interpreting what is meant by "probability", that is
as a Bayesian probability.
In principle confidence intervals can be symmetrical or asymmetrical. An
interval can be asymmetrical because it works as lower or upper bound for a
parameter (left-sided interval or right sided interval), but it can also be
asymmetrical because the two sided interval is built violating symmetry around
the estimate. Sometimes the bounds for a confidence interval are reached
asymptotically and these are used to approximate the true bounds.
Statistics rarely give a simple Yes/No type answer to the question under
analysis. Interpretation often comes down to the level of statistical significance
applied to the numbers and often refers to the probability of a value accurately
rejecting the null hypothesis (sometimes referred to as the p-value).
168
In this graph the black line is probability distribution for the test statistic,
the critical region is the set of values to the right of the observed data point
(observed value of the test statistic) and the p-valueis represented by the green
area.
The standard approach] is to test a null hypothesis against an alternative
hypothesis. A critical region is the set of values of the estimator that leads to
refuting the null hypothesis. The probability of type I error is therefore the
probability that the estimator belongs to the critical region given that null
hypothesis is true (statistical significance) and the probability of type II error is
the probability that the estimator doesn't belong to the critical region given that
the alternative hypothesis is true. The statistical power of a test is the probability
that it correctly rejects the null hypothesis when the null hypothesis is false.
Referring to statistical significance does not necessarily mean that the overall
result is significant in real world terms. For example, in a large study of a drug it
may be shown that the drug has a statistically significant but very small
beneficial effect, such that the drug is unlikely to help the patient noticeably.
Although in principle the acceptable level of statistical significance may be
subject to debate, the p-value is the smallest significance level that allows the
test to reject the null hypothesis. This test is logically equivalent to saying that
the p-value is the probability, assuming the null hypothesis is true, of observing
a result at least as extreme as the test statistic. Therefore, the smaller the p-value,
the lower the probability of committing type I error.
169
Some problems are usually associated with this framework (See criticism of
hypothesis testing):
171
The confounding variableproblem: X and Y may be correlated, not because there
is causal relationship between them, but because both depend on a third
variable Z. Z is called a confounding factor.
The concept of correlation is particularly noteworthy for the potential confusion
it can cause. Statistical analysis of a data set often reveals that two variables
(properties) of the population under consideration tend to vary together, as if
they were connected. For example, a study of annual income that also looks at
age of death might find that poor people tend to have shorter lives than affluent
people. The two variables are said to be correlated; however, they may or may
not be the cause of one another. The correlation phenomena could be caused by
a third, previously unconsidered phenomenon, called a lurking variable
or confounding variable. For this reason, there is no way to immediately infer
the existence of a causal relationship between the two variables.
(See Correlation does not imply causation.)
174
gretl, an example of an open source statistical package
The rapid and sustained increases in computing power starting from the second
half of the 20th century have had a substantial impact on the practice of
statistical science. Early statistical models were almost always from the class
of linear models, but powerful computers, coupled with suitable
numerical algorithms, caused an increased interest in nonlinear models (such
as neural networks) as well as the creation of new types, such as generalized
linear models and multilevel models.
Increased computing power has also led to the growing popularity of
computationally intensive methods based on resampling, such as permutation
tests and the bootstrap, while techniques such as Gibbs sampling have made use
of Bayesian models more feasible. The computer revolution has implications for
the future of statistics with new emphasis on "experimental" and "empirical"
statistics. A large number of both general and special purpose statistical
software are now available. Examples of available software capable of complex
statistical computation include programs such as Mathematica, SAS, SPSS,
and R.
Traditionally, statistics was concerned with drawing inferences using a semi-
standardized methodology that was "required learning" in most sciencesThis
tradition has changed with use of statistics in non-inferential contexts. What was
once considered a dry subject, taken in many fields as a degree-requirement, is
now viewed enthusiastically. Initially derided by some mathematical purists, it is
now considered essential methodology in certain areas.
176
Statistics in various sports, particularly baseball – known
as Sabermetrics – and cricket
Statistics form a key basis tool in business and manufacturing as well. It is used
to understand measurement systems variability, control processes (as
in statistical process control or SPC), for summarizing data, and to make data-
driven decisions. In these roles, it is a key tool, and perhaps the only reliable
tool.
Mathematical Model
1. Governing equations
2. Supplementary sub-models
1. Defining equations
2. Constitutive equations
3. Assumptions and constraints
1. Initial and boundary conditions
2. Classical constraints and kinematic equations
177
Mathematical models are usually composed of relationships and variables.
Relationships can be described by operators, such as algebraic operators,
functions, differential operators, etc. Variables are abstractions of
system parameters of interest, that can be quantified. Several classification
criteria can be used for mathematical models according to their structure:
178
Discrete vs. continuous: A discrete model treats objects as discrete, such
as the particles in a molecular model or the states in a statistical model; while
a continuous model represents the objects in a continuous manner, such as
the velocity field of fluid in pipe flows, temperatures and stresses in a solid,
and electric field that applies continuously over the entire model due to a
point charge.
Deterministic vs. probabilistic (stochastic): A deterministic model is
one in which every set of variable states is uniquely determined by
parameters in the model and by sets of previous states of these variables;
therefore, a deterministic model always performs the same way for a given
set of initial conditions. Conversely, in a stochastic model—usually called a
"statistical model"—randomness is present, and variable states are not
described by unique values, but rather by probability distributions.
Deductive, inductive, or floating: A deductive model is a logical
structure based on a theory. An inductive model arises from empirical
findings and generalization from them. The floating model rests on neither
theory nor observation, but is merely the invocation of expected structure.
Application of mathematics in social sciences outside of economics has been
criticized for unfounded models. Application of catastrophe theory in science
has been characterized as a floating model.
Mathematical models are of great importance in the natural sciences, particularly
in physics. Physical theories are almost invariably expressed using mathematical
models.
Throughout history, more and more accurate mathematical models have been
developed. Newton's laws accurately describe many everyday phenomena, but at
certain limits relativity theory and quantum mechanics must be used; even these
do not apply to all situations and need further refinement. It is possible to obtain
the less accurate models in appropriate limits, for example relativistic mechanics
reduces to Newtonian mechanics at speeds much less than the speed of light.
Quantum mechanics reduces to classical physics when the quantum numbers are
high. For example, the de Broglie wavelength of a tennis ball is insignificantly
small, so classical physics is a good approximation to use in this case.
It is common to use idealized models in physics to simplify things. Massless
ropes, point particles, ideal gases and the particle in a box are among the many
simplified models used in physics. The laws of physics are represented with
simple equations such as Newton's laws, Maxwell's equations and
the Schrödinger equation. These laws are such as a basis for making
mathematical models of real situations. Many real situations are very complex
and thus modeled approximate on a computer, a model that is computationally
feasible to compute is made from the basic laws or from approximate models
made from the basic laws. For example, molecules can be modeled by molecular
orbital models that are approximate solutions to the Schrödinger equation.
179
In engineering, physics models are often made by mathematical methods such
as finite element analysis.
Different mathematical models use different geometries that are not necessarily
accurate descriptions of the geometry of the universe. Euclidean geometry is
much used in classical physics, while special relativity and general relativity are
examples of theories that use geometries which are not Euclidean.
Since prehistorical times simple models such as maps and diagrams have been
used.
Often when engineers analyze a system to be controlled or optimized, they use a
mathematical model. In analysis, engineers can build a descriptive model of the
system as a hypothesis of how the system could work, or try to estimate how an
unforeseeable event could affect the system. Similarly, in control of a system,
engineers can try out different control approaches in simulations.
A mathematical model usually describes a system by a set of variables and a set
of equations that establish relationships between the variables. Variables may be
of many types; real or integer numbers, boolean values or strings, for example.
The variables represent some properties of the system, for example, measured
system outputs often in the form of signals, timing data, counters, and event
occurrence (yes/no). The actual model is the set of functions that describe the
relations between the different variables.
In business and engineering, mathematical models may be used to maximize a
certain output. The system under consideration will require certain inputs. The
system relating inputs to outputs depends on other variables too: decision
variables, state variables, exogenousvariables, and random variables.
Decision variables are sometimes known as independent variables. Exogenous
variables are sometimes known as parameters or constants. The variables are not
independent of each other as the state variables are dependent on the decision,
input, random, and exogenous variables. Furthermore, the output variables are
dependent on the state of the system (represented by the state variables).
Objectives and constraints of the system and its users can be represented
as functions of the output variables or state variables. The objective
functions will depend on the perspective of the model's user. Depending on the
context, an objective function is also known as an index of performance, as it is
some measure of interest to the user. Although there is no limit to the number of
objective functions and constraints a model can have, using or optimizing the
model becomes more involved (computationally) as the number increases.
For example, economists often apply linear algebra when using input-output
models. Complicated mathematical models that have many variables may be
consolidated by use of vectors where one symbol represents several variables.
A priori information
180
To analyse something with a typical "black box approach", only the behavior of
the stimulus/response will be accounted for, to infer the (unknown) box. The
usual representation of this black box system is a data flow diagram centered in
the box.
Mathematical modeling problems are often classified into black box or white
box models, according to how much a priori information on the system is
available. A black-box model is a system of which there is no a priori
information available. A white-box model (also called glass box or clear box) is
a system where all necessary information is available. Practically all systems are
somewhere between the black-box and white-box models, so this concept is
useful only as an intuitive guide for deciding which approach to take.
Usually it is preferable to use as much a priori information as possible to make
the model more accurate. Therefore, the white-box models are usually
considered easier, because if you have used the information correctly, then the
model will behave correctly. Often the a priori information comes in forms of
knowing the type of functions relating different variables. For example, if we
make a model of how a medicine works in a human system, we know that
usually the amount of medicine in the blood is an exponentially
decaying function. But we are still left with several unknown parameters; how
rapidly does the medicine amount decay, and what is the initial amount of
medicine in blood? This example is therefore not a completely white-box model.
These parameters have to be estimated through some means before one can use
the model.
In black-box models one tries to estimate both the functional form of relations
between variables and the numerical parameters in those functions. Using a
priori information we could end up, for example, with a set of functions that
probably could describe the system adequately. If there is no a priori information
we would try to use functions as general as possible to cover all different
models. An often used approach for black-box models are neural
networks which usually do not make assumptions about incoming data.
Alternatively the NARMAX (Nonlinear AutoRegressive Moving Average
model with eXogenous inputs) algorithms which were developed as part
of nonlinear system identification can be used to select the model terms,
determine the model structure, and estimate the unknown parameters in the
presence of correlated and nonlinear noise. The advantage of NARMAX models
compared to neural networks is that NARMAX produces models that can be
181
written down and related to the underlying process, whereas neural networks
produce an approximation that is opaque.
Subjective information
Sometimes it is useful to incorporate subjective information into a mathematical
model. This can be done based on intuition, experience, or expert opinion, or
based on convenience of mathematical form. Bayesian statistics provides a
theoretical framework for incorporating such subjectivity into a rigorous
analysis: we specify a prior probability distribution (which can be subjective),
and then update this distribution based on empirical data.
An example of when such approach would be necessary is a situation in which
an experimenter bends a coin slightly and tosses it once, recording whether it
comes up heads, and is then given the task of predicting the probability that the
next flip comes up heads. After bending the coin, the true probability that the
coin will come up heads is unknown; so the experimenter would need to make a
decision (perhaps by looking at the shape of the coin) about what prior
distribution to use. Incorporation of such subjective information might be
important to get an accurate estimate of the probability.
Complexity
In general, model complexity involves a trade-off between simplicity and
accuracy of the model. Occam's razor is a principle particularly relevant to
modeling, its essential idea being that among models with roughly equal
predictive power, the simplest one is the most desirable. While added
complexity usually improves the realism of a model, it can make the model
difficult to understand and analyze, and can also pose computational problems,
including numerical instability. Thomas Kuhn argues that as science progresses,
explanations tend to become more complex before a paradigm shift offers
radical simplification. For example, when modeling the flight of an aircraft, we
could embed each mechanical part of the aircraft into our model and would thus
acquire an almost white-box model of the system. However, the computational
cost of adding such a huge amount of detail would effectively inhibit the usage
of such a model. Additionally, the uncertainty would increase due to an overly
complex system, because each separate part induces some amount of variance
into the model. It is therefore usually appropriate to make some approximations
to reduce the model to a sensible size. Engineers often can accept some
approximations in order to get a more robust and simple model. For
example, Newton's classical mechanics is an approximated model of the real
world. Still, Newton's model is quite sufficient for most ordinary-life situations,
that is, as long as particle speeds are well below the speed of light, and we study
macro-particles only.
Any model which is not pure white-box contains some parameters that can be
used to fit the model to the system it is intended to describe. If the modeling is
182
done by an artificial neural network or other machine learning, the optimization
of parameters is called training], while the optimization of model
hyperparameters is called tuning and often uses cross-validation. In more
conventional modeling through explicitly given mathematical functions,
parameters are often determined by curve fitting.
A crucial part of the modeling process is the evaluation of whether or not a
given mathematical model describes a system accurately. This question can be
difficult to answer as it involves several different types of evaluation.
Usually the easiest part of model evaluation is checking whether a model fits
experimental measurements or other empirical data. In models with parameters,
a common approach to test this fit is to split the data into two disjoint subsets:
training data and verification data. The training data are used to estimate the
model parameters. An accurate model will closely match the verification data
even though these data were not used to set the model's parameters. This
practice is referred to as cross-validation in statistics.
Defining a metric to measure distances between observed and predicted data is a
useful tool of assessing model fit. In statistics, decision theory, and
some economic models, a loss function plays a similar role.
While it is rather straightforward to test the appropriateness of parameters, it can
be more difficult to test the validity of the general mathematical form of a
model. In general, more mathematical tools have been developed to test the fit
of statistical models than models involving differential equations. Tools
from non-parametric statistics can sometimes be used to evaluate how well the
data fit a known distribution or to come up with a general model that makes only
minimal assumptions about the model's mathematical form.
Assessing the scope of a model, that is, determining what situations the model is
applicable to, can be less straightforward. If the model was constructed based on
a set of data, one must determine for which systems or situations the known data
is a "typical" set of data.
The question of whether the model describes well the properties of the system
between data points is called interpolation, and the same question for events or
data points outside the observed data is called extrapolation.
As an example of the typical limitations of the scope of a model, in evaluating
Newtonian classical mechanics, we can note that Newton made his
measurements without advanced equipment, so he could not measure properties
of particles travelling at speeds close to the speed of light. Likewise, he did not
measure the movements of molecules and other small particles, but macro
particles only. It is then not surprising that his model does not extrapolate well
into these domains, even though his model is quite sufficient for ordinary life
physics.
183
Many types of modeling implicitly involve claims about causality. This is
usually (but not always) true of models involving differential equations. As the
purpose of modeling is to increase our understanding of the world, the validity
of a model rests not only on its fit to empirical observations, but also on its
ability to extrapolate to situations or data beyond those originally described in
the model. One can think of this as the differentiation between qualitative and
quantitative predictions. One can also argue that a model is worthless unless it
provides some insight which goes beyond what is already known from direct
investigation of the phenomenon being studied.
An example of such criticism is the argument that the mathematical models
of optimal foraging theory do not offer insight that goes beyond the common-
sense conclusions of evolution and other basic principles of ecology.
Examples
Q = {S1, S2},
Σ = {0, 1},
q0 = S1,
F = {S1}, and
δ is defined by the following state transition table:
0 1
S1 S2 S1
S2 S1 S2
The state S1 represents that there has been an even number of 0s in the input
so far, while S2 signifies an odd number. A 1 in the input does not change the
184
state of the automaton. When the input ends, the state will show whether the
input contained an even number of 0s or not. If the input did contain an even
number of 0s, M will finish in state S1, an accepting state, so the input string
will be accepted.
The language recognized by M is the regular language given by the regular
expression 1*( 0 (1*) 0 (1*) )*, where "*" is the Kleene star, e.g., 1* denotes
any non-negative number (possibly zero) of symbols "1".
Note this model assumes the particle is a point mass, which is certainly
known to be false in many cases in which we use this model; for example,
as a model of planetary motion.
subject to:
This model has been used in a wide variety of economic contexts, such as
in general equilibrium theory to show existence and Pareto efficiency of
economic equilibria.
186
Biographies of Great Mathematicians
Pythagoras
Pythagoras was well educated, and he played the lyre throughout his
lifetime, knew poetry and recited Homer. He was interested in mathematics,
philosophy, astronomy and music, and was greatly influenced by Pherekydes
(philosophy), Thales (mathematics and astronomy) and Anaximander
(philosophy, geometry).
Pythagoras left Samos for Egypt in about 535 B.C. to study with the
priests in the temples. Many of the practices of the society he created later in
Italy can be traced to the beliefs of Egyptian priests, such as the codes of
secrecy, striving for purity, and refusal to eat beans or to wear animal skins as
clothing.
187
Ten years later, when Persia invaded Egypt, Pythagoras was taken
prisoner and sent to Babylon (in what is now Iraq), where he met the Magoi,
priests who taught him sacred rites. Iamblichus (250-330 AD), a Syrian
philosopher, wrote about Pythagoras, "He also reached the acme of perfection in
arithmetic and music and the other mathematical sciences taught by the
Babylonians..."
In 520 BC, Pythagoras, now a free man, left Babylon and returned to
Samos, and sometime later began a school called The Semicircle. His methods
of teaching were not popular with the leaders of Samos, and their desire for him
to become involved in politics did not appeal to him, so he left.
All things are numbers. Mathematics is the basis for everything, and
geometry is the highest form of mathematical studies. The physical
world can understood through mathematics.
The soul resides in the brain, and is immortal. It moves from one
being to another, sometimes from a human into an animal, through a
series of reincarnations called transmigration until it becomes pure.
Pythagoras believed that both mathematics and music could purify.
Numbers have personalities, characteristics, strengths and
weaknesses.
The world depends upon the interaction of opposites, such as male
and female, lightness and darkness, warm and cold, dry and moist,
light and heavy, fast and slow.
188
Certain symbols have a mystical significance.
All members of the society should observe strict loyalty and secrecy.
Because of the strict secrecy among the members of Pythagoras' society, and
the fact that they shared ideas and intellectual discoveries within the group and
did not give individuals credit, it is difficult to be certain whether all the
theorems attributed to Pythagoras were originally his, or whether they came
from the communal society of the Pythagoreans. Some of the students of
Pythagoras eventually wrote down the theories, teachings and discoveries of the
group, but the Pythagoreans always gave credit to Pythagoras as the Master for:
189
Pythagoras also related music to mathematics. He had long played the
seven string lyre, and learned how harmonious the vibrating strings sounded
when the lengths of the strings were proportional to whole numbers, such as 2:1,
3:2, 4:3. Pythagoreans also realized that this knowledge could be applied to
other musical instruments.
The reports of Pythagoras' death are varied. He is said to have been killed
by an angry mob, to have been caught up in a war between the Agrigentum and
the Syracusans and killed by the Syracusans, or been burned out of his school in
Crotona and then went to Metapontum where he starved himself to death. At
least two of the stories include a scene where Pythagoras refuses to trample a
crop of bean plants in order to escape, and because of this, he is caught.
190
Blaise Pascal
191
In 1646, he and his sister Jacqueline identified with the religious movement
within Catholicism known by its detractors as Jansenism. His father died in
1651. Following a religious experience in late 1654, he began writing influential
works on philosophy and theology. His two most famous works date from this
period: the Lettres provinciales and the Pensées, the former set in the conflict
between Jansenists and Jesuits. In that year, he also wrote an important treatise
on the arithmetical triangle. Between 1658 and 1659 he wrote on the cycloid and
its use in calculating the volume of solids.
Throughout his life, Pascal was in frail health, especially after the age of 18; he
died just two months after his 39th birthday.
Pascal was born in Clermont-Ferrand, which is in France's Auvergne region. He
lost his mother, Antoinette Begon, at the age of three. His father, Étienne
Pascal (1588–1651), who also had an interest in science and mathematics, was a
local judge and member of the "Noblesse de Robe". Pascal had two sisters, the
younger Jacqueline and the elder Gilberte.
In 1631, five years after the death of his wife, Étienne Pascal moved with his
children to Paris. The newly arrived family soon hired Louise Delfault, a maid
who eventually became an instrumental member of the family. Étienne, who
never remarried, decided that he alone would educate his children, for they all
showed extraordinary intellectual ability, particularly his son Blaise. The young
Pascal showed an amazing aptitude for mathematics and science.
Portrait of Pascal
Particularly of interest to Pascal was a work of Desargues on conic sections.
Following Desargues' thinking, the 16-year-old Pascal produced, as a means of
proof, a short treatise on what was called the "Mystic Hexagram", Essai pour les
coniques ("Essay on Conics") and sent it—his first serious work of
mathematics—to Père Mersenne in Paris; it is known still today as Pascal's
theorem. It states that if a hexagon is inscribed in a circle (or conic) then the
three intersection points of opposite sides lie on a line (called the Pascal line).
Pascal's work was so precocious that Descartes was convinced that Pascal's
father had written it. When assured by Mersenne that it was, indeed, the product
of the son and not the father, Descartes dismissed it with a sniff: "I do not find it
strange that he has offered demonstrations about conics more appropriate than
those of the ancients," adding, "but other matters related to this subject can be
proposed that would scarcely occur to a 16-year-old child."
In France at that time offices and positions could be—and were—bought and
sold. In 1631 Étienne sold his position as second president of the Cour des
Aides for 65,665 livres. The money was invested in a government bondwhich
provided, if not a lavish, then certainly a comfortable income which allowed the
Pascal family to move to, and enjoy, Paris. But in 1638 Richelieu, desperate for
192
money to carry on the Thirty Years' War, defaulted on the government's bonds.
Suddenly Étienne Pascal's worth had dropped from nearly 66,000 livres to less
than 7,300.
Contributions to mathematics
193
Pascal's triangle. Each number is the sum of the two directly above it. The
triangle demonstrates many mathematical properties in addition to
showing binomial coefficients.
Pascal continued to influence mathematics throughout his life. His Traité du
triangle arithmétique ("Treatise on the Arithmetical Triangle") of 1653
described a convenient tabular presentation for binomial coefficients, now
called Pascal's triangle. The triangle can also be represented:
0 1 2 3 4 5 6
0 1 1 1 1 1 1 1
1 1 2 3 4 5 6
2 1 3 6 10 15
3 1 4 10 20
4 1 5 15
5 1 6
6 1
He defines the numbers in the triangle by recursion: Call the number in the
(m + 1)th row and (n + 1)th column tmn. Then tmn = tm–1,n + tm,n–1,
for m = 0, 1, 2, ... and n = 0, 1, 2, ... The boundary conditions
are tm,−1 = 0, t−1,n = 0 for m = 1, 2, 3, ... and n = 1, 2, 3, ... The generator t00 = 1.
Pascal concludes with the proof,
In 1654 he proved Pascal's identity relating the sums of the p-th powers of the
first n positive integers for p = 0, 1, 2, …, k.
In 1654, prompted by his friend the Chevalier de Méré, he corresponded
with Pierre de Fermat on the subject of gambling problems, and from that
collaboration was born the mathematical theory of probabilities. The specific
194
problem was that of two players who want to finish a game early and, given the
current circumstances of the game, want to divide the stakes fairly, based on the
chance each has of winning the game from that point. From this discussion, the
notion of expected value was introduced. Pascal later (in the Pensées) used a
probabilistic argument, Pascal's Wager, to justify belief in God and a virtuous
life. The work done by Fermat and Pascal into the calculus of probabilities laid
important groundwork for Leibniz' formulation of the calculus.
After a religious experience in 1654, Pascal mostly gave up work in
mathematics.
Isaac Newton
Born in 1643 in Woolsthorpe, England, Sir Isaac Newton began developing his
influential theories on light, calculus and celestial mechanics while on break
from Cambridge University. Years of research culminated with the 1687
publication of “Principia,” a landmark work that established the universal laws
of motion and gravity. Newton’s second major book, “Opticks,” detailed his
experiments to determine the properties of light. Also a student of Biblical
history and alchemy, the famed scientist served as president of the Royal
Society of London and master of England’s Royal Mint until his death in 1727.
195
Isaac Newton was born on January 4, 1643, in Woolsthorpe, Lincolnshire,
England. The son of a farmer, who died three months before he was born,
Newton spent most of his early years with his maternal grandmother after his
mother remarried. His education interrupted by a failed attempt to turn him into
a farmer, he attended the King’s School in Grantham before enrolling at the
University of Cambridge’s Trinity College in 1661.
Through his experiments with refraction, Newton determined that white light
was a composite of all the colors on the spectrum, and he asserted that light was
composed of particles instead of waves. His methods drew sharp rebuke from
established Society member Robert Hooke, who was unsparing again with
Newton’s follow-up paper in 1675. Known for his temperamental defense of his
work, Newton engaged in heated correspondence with Hooke before suffering a
nervous breakdown and withdrawing from the public eye in 1678. In the
following years, he returned to his earlier studies on the forces governing
gravity and dabbled in alchemy.
196
Mathematica” (Mathematical Principles of Natural Philosophy), which
established the three laws of motion and the law of universal gravity. Principia
propelled Newton to stardom in intellectual circles, eventually earning universal
acclaim as one of the most important works of modern science.
With his newfound influence, Newton opposed the attempts of King James II to
reinstitute Catholic teachings at English Universities, and was elected to
represent Cambridge in Parliament in 1689. He moved to London permanently
after being named warden of the Royal Mint in 1696, earning a promotion to
master of the Mint three years later. Determined to prove his position wasn’t
merely symbolic, Newton moved the pound sterling from the silver to the gold
standard and sought to punish counterfeiters.
The death of Hooke in 1703 allowed Newton to take over as president of the
Royal Society, and the following year he published his second major work,
“Opticks.” Composed largely from his earlier notes on the subject, the book
detailed Newton’s painstaking experiments with refraction and the color
spectrum, closing with his ruminations on such matters as energy and
electricity. In 1705, he was knighted by Queen Anne of England.
Around this time, the debate over Newton’s claims to originating the field of
calculus exploded into a nasty dispute. Newton had developed his concept of
“fluxions” (differentials) in the mid 1660s to account for celestial orbits, though
there was no public record of his work. In the meantime, German
mathematician Gottfried Leibniz formulated his own mathematical theories and
published them in 1684. As president of the Royal Society, Newton oversaw an
investigation that ruled his work to be the founding basis of the field, but the
debate continued even after Leibniz’s death in 1716. Researchers later
concluded that both men likely arrived at their conclusions independent of one
another.
Newton was also an ardent student of history and religious doctrines, his
writings on those subjects compiled into multiple books that were published
posthumously. Having never married, Newton spent his later years living with
his niece at Cranbury Park, near Winchester, England. He died on March 31,
1727, and was buried in Westminster Abbey.
197
A giant even among the brilliant minds that drove the Scientific Revolution,
Newton is remembered as a transformative scholar, inventor and writer. He
eradicated any doubts about the heliocentric model of the universe by
establishing celestial mechanics, his precise methodology giving birth to what
is known as the scientific method. Although his theories of space-time and
gravity eventually gave way to those of Albert Einstein, his work remains the
bedrock on which modern physics was built.
René Descartes
FRENCH MATHEMATICIAN AND PHILOSOPHER
René Descartes, (born March 31, 1596, La Haye, Touraine, France—died
February 11, 1650, Stockholm, Sweden), French mathematician, scientist, and
philosopher. Because he was one of the first to abandon
scholastic Aristotelianism, because he formulated the first modern version
of mind-body dualism, from which stems the mind-body problem, and because
he promoted the development of a new science grounded in observation and
experiment, he has been called the father of modern philosophy. Applying an
original system of methodical doubt, he dismissed apparent knowledge derived
from authority, the senses, and reason and erected new epistemic foundations on
the basis of the intuition that, when he is thinking, he exists; this he expressed in
the dictum “I think, therefore I am” (best known in its Latin formulation,
“Cogito, ergo sum,” though originally written in French, “Je pense, donc je
suis”). He developed a metaphysical dualism that distinguishes radically
between mind, the essence of which is thinking, and matter, the essence of
which is extension in three dimensions. Descartes’s metaphysics is rationalist,
based on the postulation of innate ideas of mind, matter, and God, but his
physics and physiology, based on sensory experience, are mechanistic and
empiricist.
198
Descartes, RenéRené Descartes.National Library of Medicine, Bethesda, Maryland
In 1644, 1647, and 1648, after 16 years in the Netherlands, Descartes returned to
France for brief visits on financial business and to oversee the translation into
French of the Principles, the Meditations, and the Objections and Replies. (The
translators were, respectively, Picot, Charles d’Albert, duke de Luynes, and
Claude Clerselier.) In 1647 he also met with Gassendi and Hobbes, and he
suggested to Pascal the famous experiment of taking a barometer up Mount Puy-
de-Dôme to determine the influence of the weight of the air. Picot returned with
Descartes to the Netherlands for the winter of 1647–48. During Descartes’s final
stay in Paris in 1648, the French nobility revolted against the crown in a series
of wars known as the Fronde. Descartes left precipitously on August 17, 1648,
only days before the death of his old friend Mersenne.
201
Clerselier’s brother-in-law, Hector Pierre Chanut, who was French resident in
Sweden and later ambassador, helped to procure a pension for Descartes
from Louis XIV, though it was never paid. Later, Chanut engineered an
invitation for Descartes to the court of Queen Christina, who by the close of
the Thirty Years’ War (1618–48) had become one of the most important and
powerful monarchs in Europe. Descartes went reluctantly, arriving early in
October 1649. He may have gone because he needed patronage; the Fronde
seemed to have destroyed his chances in Paris, and the Calvinist theologians
were harassing him in the Netherlands.
In Sweden—where, Descartes said, in winter men’s thoughts freeze like the
water—the 22-year-old Christina perversely made the 53-year-old Descartes rise
before 5:00 AM to give her philosophy lessons, even though she knew of his
habit of lying in bed until 11 o’clock in the morning. She also is said to have
ordered him to write the verses of a ballet, The Birth of Peace (1649), to
celebrate her role in the Peace of Westphalia, which ended the Thirty Years’
War. The verses in fact were not written by Descartes, though he did write the
statutes for a Swedish Academy of Arts and Sciences. While delivering these
statutes to the queen at 5:00 AM on February 1, 1650, he caught a chill, and he
soon developed pneumonia. He died in Stockholm on February 11. Many pious
last words have been attributed to him, but the most trustworthy report is that of
his German valet, who said that Descartes was in a coma and died without
saying anything at all.
Descartes’s papers came into the possession of Claude Clerselier, a pious
Catholic, who began the process of turning Descartes into a saint by cutting,
adding to, and selectively publishing his letters. This cosmetic work culminated
in 1691 in the massive biography by Father Adrien Baillet, who was at work on
a 17-volume Lives of the Saints. Even during Descartes’s lifetime there were
questions about whether he was a Catholic apologist, primarily concerned with
supporting Christian doctrine, or an atheist, concerned only with protecting
himself with pious sentiments while establishing a deterministic, mechanistic,
and materialistic physics.
These questions remain difficult to answer, not least because all the papers,
letters, and manuscripts available to Clerselier and Baillet are now lost. In 1667
the Roman Catholic church made its own decision by putting Descartes’s works
on the Index Librorum Prohibitorum (Latin: “Index of Prohibited Books”) on
the very day his bones were ceremoniously placed in Sainte-Geneviève-du-Mont
in Paris. During his lifetime, Protestant ministers in the Netherlands called
Descartes a Jesuit and a papist—which is to say an atheist. He retorted that they
were intolerant, ignorant bigots. Up to about 1930, a majority of scholars, many
of whom were religious, believed that Descartes’s major concerns were
metaphysical and religious. By the late 20th century, however, numerous
commentators had come to believe that Descartes was a Catholic in the same
way he was a Frenchman and a royalist—that is, by birth and by convention.
202
Descartes himself said that good sense is destroyed when one thinks too much of
God. He once told a German protégée, Anna Maria van Schurman (1607–78),
who was known as a painter and a poet, that she was wasting her intellect
studying Hebrew and theology. He also was perfectly aware of—though he tried
to conceal—the atheistic potential of his materialist physics and physiology.
Descartes seemed indifferent to the emotional depths of religion. Whereas
Pascal trembled when he looked into the infinite universe and perceived the
puniness and misery of man, Descartes exulted in the power of human reason to
understand the cosmos and to promote happiness, and he rejected the view that
human beings are essentially miserable and sinful. He held that it is impertinent
to pray to God to change things. Instead, when we cannot change the world, we
must change ourselves.
GERMAN MATHEMATICIAN
Carl Friedrich Gauss, original name Johann Friedrich Carl Gauss, (born
April 30, 1777, Brunswick [Germany]—died February 23, 1855, Göttingen,
Hanover), German mathematician, generally regarded as one of the greatest
mathematicians of all time for his contributions to number
theory, geometry, probability theory, geodesy, planetary astronomy, the theory
of functions, and potential theory (including electromagnetism).
203
Gauss was the only child of poor parents. He was rare among mathematicians in
that he was a calculating prodigy, and he retained the ability to do elaborate
calculations in his head most of his life. Impressed by this ability and by his gift
for languages, his teachers and his devoted mother recommended him to
the duke of Brunswick in 1791, who granted him financial assistance to continue
his education locally and then to study mathematics at the University of
Göttingen from 1795 to 1798. Gauss’s pioneering work gradually established
him as the era’s preeminent mathematician, first in the German-speaking world
and then farther afield, although he remained a remote and aloof figure.
Gauss’s first significant discovery, in 1792, was that a regular polygon of 17
sides can be constructed by ruler and compass alone. Its significance lies not in
the result but in the proof, which rested on a profound analysis of the
factorization of polynomial equations and opened the door to later ideas of
Galois theory. His doctoral thesis of 1797 gave a proof of the fundamental
theorem of algebra: every polynomial equation with real or complex coefficients
has as many roots (solutions) as its degree (the highest power of the variable).
Gauss’s proof, though not wholly convincing, was remarkable for its critique of
earlier attempts. Gauss later gave three more proofs of this major result, the last
on the 50th anniversary of the first, which shows the importance he attached to
the topic.
Gauss’s recognition as a truly remarkable talent, though, resulted from two
major publications in 1801. Foremost was his publication of the first systematic
textbook on algebraic number theory, Disquisitiones Arithmeticae. This book
begins with the first account of modular arithmetic, gives a thorough account of
the solutions of quadratic polynomials in two variables in integers, and ends
with the theory of factorization mentioned above. This choice of topics and its
natural generalizations set the agenda in number theory for much of the 19th
century, and Gauss’s continuing interest in the subject spurred much research,
especially in German universities.
The second publication was his rediscovery of the asteroid Ceres. Its original
discovery, by the Italian astronomer Giuseppe Piazzi in 1800, had caused a
sensation, but it vanished behind the Sun before enough observations could be
taken to calculate its orbit with sufficient accuracy to know where it would
reappear. Many astronomers competed for the honour of finding it again, but
Gauss won. His success rested on a novel method for dealing with errors in
observations, today called the method of least squares. Thereafter Gauss worked
for many years as an astronomer and published a major work on the
computation of orbits—the numerical side of such work was much less onerous
for him than for most people. As an intensely loyal subject of the duke of
Brunswick and, after 1807 when he returned to Göttingen as an astronomer, of
the duke of Hanover, Gauss felt that the work was socially valuable.
Similar motives led Gauss to accept the challenge of surveying the territory
of Hanover, and he was often out in the field in charge of the observations. The
204
project, which lasted from 1818 to 1832, encountered numerous difficulties, but
it led to a number of advancements. One was Gauss’s invention of the heliotrope
(an instrument that reflects the Sun’s rays in a focused beam that can be
observed from several miles away), which improved the accuracy of the
observations. Another was his discovery of a way of formulating the concept of
the curvature of a surface. Gauss showed that there is an intrinsic measure of
curvature that is not altered if the surface is bent without being stretched. For
example, a circular cylinder and a flat sheet of paper have the same intrinsic
curvature, which is why exact copies of figures on the cylinder can be made on
the paper (as, for example, in printing). But a sphere and a plane have different
curvatures, which is why no completely accurate flat map of the Earth can be
made.
Gauss published works on number theory, the mathematical theory of map
construction, and many other subjects. In the 1830s he became interested
in terrestrial magnetism and participated in the first worldwide survey of the
Earth’s magnetic field (to measure it, he invented the magnetometer). With his
Göttingen colleague, the physicist Wilhelm Weber, he made the first electric
telegraph, but a certain parochialism prevented him from pursuing the invention
energetically. Instead, he drew important mathematical consequences from this
work for what is today called potential theory, an important branch
of mathematical physics arising in the study of electromagnetism
and gravitation.
Gauss also wrote on cartography, the theory of map projections. For his study of
angle-preserving maps, he was awarded the prize of the Danish Academy of
Sciences in 1823. This work came close to suggesting that complex functions of
a complex variable are generally angle-preserving, but Gauss stopped short of
making that fundamental insight explicit, leaving it for Bernhard Riemann, who
had a deep appreciation of Gauss’s work. Gauss also had other unpublished
insights into the nature of complex functions and their integrals, some of which
he divulged to friends.
In fact, Gauss often withheld publication of his discoveries. As a student at
Göttingen, he began to doubt the a priori truth of Euclidean geometry and
suspected that its truth might be empirical. For this to be the case, there must
exist an alternative geometric description of space. Rather than publish such a
description, Gauss confined himself to criticizing various a priori defenses of
Euclidean geometry. It would seem that he was gradually convinced that there
exists a logical alternative to Euclidean geometry. However, when the
Hungarian János Bolyai and the Russian Nikolay Lobachevsky published their
accounts of a new, non-Euclidean geometry about 1830, Gauss failed to give
a coherent account of his own ideas. It is possible to draw these ideas together
into an impressive whole, in which his concept of intrinsic curvature plays a
central role, but Gauss never did this. Some have attributed this failure to his
innate conservatism, others to his incessant inventiveness that always drew him
on to the next new idea, still others to his failure to find a central idea that would
205
govern geometry once Euclidean geometry was no longer unique. All these
explanations have some merit, though none has enough to be the whole
explanation.
Another topic on which Gauss largely concealed his ideas from his
contemporaries was elliptic functions. He published an account in 1812 of an
interesting infinite series, and he wrote but did not publish an account of
the differential equation that the infinite series satisfies. He showed that the
series, called the hypergeometric series, can be used to define many familiar and
many new functions. But by then he knew how to use the differential equation to
produce a very general theory of elliptic functions and to free the theory entirely
from its origins in the theory of elliptic integrals. This was a major
breakthrough, because, as Gauss had discovered in the 1790s, the theory of
elliptic functions naturally treats them as complex-valued functions of a
complex variable, but the contemporary theory of complex integrals was utterly
inadequate for the task. When some of this theory was published by the
Norwegian Niels Abel and the German Carl Jacobi about 1830, Gauss
commented to a friend that Abel had come one-third of the way. This was
accurate, but it is a sad measure of Gauss’s personality in that he still withheld
publication.
Gauss delivered less than he might have in a variety of other ways also. The
University of Göttingen was small, and he did not seek to enlarge it or to bring
in extra students. Toward the end of his life, mathematicians of
the calibre of Richard Dedekind and Riemann passed through Göttingen, and he
was helpful, but contemporaries compared his writing style to thin gruel: it is
clear and sets high standards for rigour, but it lacks motivation and can be slow
and wearing to follow. He corresponded with many, but not all, of the people
rash enough to write to him, but he did little to support them in public. A rare
exception was when Lobachevsky was attacked by other Russians for his ideas
on non-Euclidean geometry. Gauss taught himself enough Russian to follow the
controversy and proposed Lobachevsky for the Göttingen Academy of Sciences.
In contrast, Gauss wrote a letter to Bolyai telling him that he had already
discovered everything that Bolyai had just published.
After Gauss’s death in 1855, the discovery of so many novel ideas among his
unpublished papers extended his influence well into the remainder of the
century. Acceptance of non-Euclidean geometry had not come with the original
work of Bolyai and Lobachevsky, but it came instead with the almost
simultaneous publication of Riemann’s general ideas about geometry, the
Italian Eugenio Beltrami’s explicit and rigorous account of it, and Gauss’s
private notes and correspondence.
206
Albert Einstein
During his stay at the Patent Office, and in his spare time, he produced much of
his remarkable work and in 1908 he was appointed Privatdozent in Berne. In
1909 he became Professor Extraordinary at Zurich, in 1911 Professor of
Theoretical Physics at Prague, returning to Zurich in the following year to fill a
similar post. In 1914 he was appointed Director of the Kaiser Wilhelm Physical
Institute and Professor in the University of Berlin. He became a German citizen
in 1914 and remained in Berlin until 1933 when he renounced his citizenship for
political reasons and emigrated to America to take the position of Professor of
Theoretical Physics at Princeton*. He became a United States citizen in 1940
and retired from his post in 1945.
After World War II, Einstein was a leading figure in the World Government
Movement, he was offered the Presidency of the State of Israel, which he
207
declined, and he collaborated with Dr. Chaim Weizmann in establishing the
Hebrew University of Jerusalem.
Einstein always appeared to have a clear view of the problems of physics and
the determination to solve them. He had a strategy of his own and was able to
visualize the main stages on the way to his goal. He regarded his major
achievements as mere stepping-stones for the next advance.
In his early days in Berlin, Einstein postulated that the correct interpretation of
the special theory of relativity must also furnish a theory of gravitation and in
1916 he published his paper on the general theory of relativity. During this time
he also contributed to the problems of the theory of radiation and statistical
mechanics.
After his retirement he continued to work towards the unification of the basic
concepts of physics, taking the opposite approach, geometrisation, to the
majority of physicists.
Einstein's researches are, of course, well chronicled and his more important
works include Special Theory of Relativity (1905), Relativity (English
translations, 1920 and 1950), General Theory of Relativity (1916), Investigations
on Theory of Brownian Movement (1926), and The Evolution of Physics (1938).
Among his non-scientific works, About Zionism (1930), Why War? (1933), My
Philosophy (1934), and Out of My Later Years (1950) are perhaps the most
important.
209
Karl Weierstrass
Biography
Weierstrass was born in Ostenfelde, part of Ennigerloh, Province of Westphalia.
Weierstrass was the son of Wilhelm Weierstrass, a government official, and
Theodora Vonderforst. His interest in mathematics began while he was
210
a gymnasium student at the Theodorianum (de) in Paderborn. He was sent to
the University of Bonn upon graduation to prepare for a government position.
Because his studies were to be in the fields of law, economics, and finance, he
was immediately in conflict with his hopes to study mathematics. He resolved
the conflict by paying little heed to his planned course of study, but continued
private study in mathematics. The outcome was to leave the university without a
degree. After that he studied mathematics at the Münster Academy (which was
even at this time very famous for mathematics) and his father was able to obtain
a place for him in a teacher training school in Münster. Later he was certified as
a teacher in that city. During this period of study, Weierstrass attended the
lectures of Christoph Gudermann and became interested in elliptic functions.
In 1843 he taught in Deutsch Krone in West Prussia and since 1848 he taught at
the Lyceum Hosianum in Braunsberg. Besides mathematics he also taught
physics, botany, and gymnastics.
Weierstrass may have had an illegitimate child named Franz with the widow of
his friend Carl Wilhelm Borchardt. After 1850 Weierstrass suffered from a long
period of illness, but was able to publish papers that brought him fame and
distinction. The University of Königsberg conferred an honorary doctor's
degree on him on 31 March 1854. In 1856 he took a chair at the
Gewerbeinstitut, which later became the Technical University of Berlin. In 1864
he became professor at the Friedrich-Wilhelms-Universität Berlin, which later
became the Humboldt Universität zu Berlin.
At the age of fifty-five, Weierstrass met Sonya Kovalevsky whom he tutored
privately after failing to secure her admission to the University. They had a
fruitful intellectual, but troubled personal relationship that "far transcended the
usual teacher-student relationship". The misinterpretation of this relationship
and Kovalevsky's early death in 1891 was said to have contributed to
Weierstrass' later ill-health. He was immobile for the last three years of his life,
and died in Berlin from pneumonia.
Weierstrass was interested in the soundness of calculus, and at the time, there
were somewhat ambiguous definitions regarding the foundations of calculus,
and hence important theorems could not be proven with sufficient rigour.
While Bolzano had developed a reasonably rigorous definition of a limit as early
as 1817 (and possibly even earlier) his work remained unknown to most of the
mathematical community until years later, and many mathematicians had only
vague definitions of limits and continuity of functions.
Delta-epsilon proofs are first found in the works of Cauchy in the 1820s. Cauchy
did not clearly distinguish between continuity and uniform continuity on an
interval. Notably, in his 1821 Cours d'analyse, Cauchy argued that the
(pointwise) limit of (pointwise) continuous functions was itself (pointwise)
continuous, a statement interpreted as being incorrect by many scholars. The
correct statement is rather that the uniform limit of continuous functions is
211
continuous (also, the uniform limit of uniformly continuous functions is
uniformly continuous). This required the concept of uniform convergence,
which was first observed by Weierstrass's advisor, Christoph Gudermann, in an
1838 paper, where Gudermann noted the phenomenon but did not define it or
elaborate on it. Weierstrass saw the importance of the concept, and both
formalized it and applied it widely throughout the foundations of calculus.
Using this definition, he proved the Intermediate Value Theorem. He also
proved the Bolzano–Weierstrass theorem and used it to study the properties of
continuous functions on closed and bounded intervals.
Weierstrass also made significant advancements in the field of calculus of
variations. Using the apparatus of analysis that he helped to develop,
Weierstrass was able to give a complete reformulation of the theory which
paved the way for the modern study of the calculus of variations. Among the
several significant axioms, Weierstrass established a necessary condition for the
existence of strong extrema of variational problems. He also helped devise
the Weierstrass–Erdmann condition, which gives sufficient conditions for an
extremal to have a corner along a given extrema, and allows one to find a
minimizing curve for a given integral.
Students
Edmund Husserl
Sofia Kovalevskaya
Gösta Mittag-Leffler
Hermann Schwarz
Carl Johannes Thomae
Georg Cantor
212
N. I. LOBACHEVSKY (1792 - 1856)
213
Lobachevsky died in 1856 at the age of 63. He was both an outstanding
mathematician and philosopher-materialist. His non-Euclidean geometry had
a great influence on the development of mathematical sciences.
Today Lobachevsky's name is known all over the world and as he was a
revolutionary in science, he is often called Copernicus of geometry.
either აგრეთვე
SOPHIA KOVALEVSKAYA
Her first teacher of mathematics was the wall. Yes, don't be surprised, one
of the walls of her room was papered with sheets from the book Higher
214
Mathematics by Ostrogradsky. The girl used to stand before the wall and tried
to understand the signs and symbols of higher mathematics.
“This book is not for you”, he said. “It is based on trigonometry which you
haven't studied.”
“But I do know trigonometry”, the girl answered and she explained the
astonished professor all the functions and formulas. The professor called
Sophia a genius, compared her with Pascal and insisted on her studying
mathematics. But at that time it was impossible for a woman to enter any
higher school, so she had to leave her country and go abroad. She went to
Berlin but women were not admitted to the University there either. So she
found the address of a famous professor Weierstrass and went to him. He met
her coldly but gave her some very difficult problems to solve. He was sure
she was not able to solve them. But at the appointed time. Sophia came to him
and showed all his problems which she had solved brilliantly.
She was eager to return to her native country, but the tsarist Government
did not want to have women-professors in Russia. So she went to Sweden in
1883 and worked at the University in Stockholm. She continued her scientific
work and at the same time she wrote her Memories of My Childhood, a
drama Struggle for Happiness, and a novel Nihilist. In her numerous scientific
works Kovalevskaya solved the problems which many scientists had failed to
solve during many years. In 1888 Kovalevskaya got the First reward of 5,000
francs from Paris Academy of Sciences for her The Rotation of a Solid at the
Fixed Point. In 1889 Kovalevskaya got the reward from the Swedish
Academy of Sciences. She became famous.
215
women together with some social organizations erected a monument to a
great Russian woman - Sophia Kovalevskaya.
papered გაწებილი
rotation ბრუნვა
The institute's deputy directors for scientific research were I. Vekua (1940-
1941), A. Gorgidze (1941-1954), G. Manjavidze (1954-1977)
and T. Burchuladze (1977-1989), V. Kokilashvili (1989-2006). Since June
2006, the deputy director of the institute is R. Gachechiladze.
Since 1937 the institute has been publishing the scientific journal "Proceedings
of A. Razmadze Mathematical Institute" (from 2016 is published by ELSEVIER
as Transactions of A. Razmadze Mathematical Institute).
ILYA VEKUA
218
Ilya Vekua was born in the village Shesheleti (Samurzakano, prezently the
Gali district of Georgia) on April 23, 1907. He finished school in Zygdidy in
1925 and entered the physical and mathematical Faculty of Tbilisi State
University. Scientific and teaching activities at the Faculty were conducted by
celebrated mathematicians: Muskhelishvili, Nikoladze, Razmadze, Kharadze. A
third year student Ilya was elected chairman of the students’ physical and
mathematical circle.
In 1929-30 Ilya Vekua worked in the geophysical observatory of Georgia.
In the late 20-s and 30-s new technical schools of higher learning were opened
in Tbilisi and a necessity arose to start a systemic preparation of highly skilled
mathematical specialists. On Muskhelishvili’s initiative * a large group of
mathematicians was sent to post-graduate courses at the research institutes and
higher educational institutions of Moscow and Leningrad. In 1930 Ilya Vekua
took up the post-graduated course at the USSR Academy of Sciences in
Leningrad. The greatest Soviet Mathematicians Vinogradov, Günter, Kochin
delivered interesting special courses in theoretical and applied maths. During
those years Mushkelishvili visited Leningrad where he read lectures on the
mathematical theory of elasticly and supervised the studies of post-graduate
students, young researchers got interested in these problems and Vekua studied
*
initiative [ɪˈnɪʃətɪv]
219
the problems of torsion and bending of elastic bars and rods under the
supervision of Academician Krilov. Then his studies were devoted to the theory
of elastic wave propagation in an infinite layer with parallel plane bounderies.
By constructing an explicit formula for each of the reflected waves and
systematizing their infinite set Vekua obtained a complete solution of all the
problems, he considered. These studies formed the basis of his master’s thesis
which he defended at a later date.In 1933 Vekua finished the post-graduates
course and returned to Tbilisi and worked as researcher at the Physical and
Mathematical Faculty of Tbilisi State University. In 1935 he was scientific
secretary of the mathematical Institute of the Georgian Branch of the USSR
Academy of Sciences. In 1937 Vakua started to lead a course of lectures on
differential equations to the students. In 1937 he defended his master’s thesis on
the topic “Propagation of Elastic Waves in and Infinite Layer” and was at once
elected assistant professor of TSU.
In the 40-s Vekua was already a prominent organizer of science and higher
education in Georgia. In the severe years of the Great Patriotic war, being the
dean of the Physical and Mathematical Faculty and later, vice rector of TSU. He
did much organizational work not to interrupt the educational process.
Simultaneously he headed the chair of geometry. In 1944 he was elected
corresponding member of the Academy of Sciences of the Georgian SSR and in
1946 corresponding member of the USSR Academy of Sciences. In 1947-50 he
headed a department of Tbilisi mathematical Institute, chairman of the
mathematical and natural science department and academician secretary of the
Academy os Sciences of the Georgian SSR. In 1946 he was awarded the sign of
Honour and medals. In 1951 Vekua with his family went to work as head of a
department in Aerohydrodynamics Institute and head of the theoretical
mechanics chair in Moscow Physical and Technical Institute. In 1952 he was
elected professor of the differential equations chair at Lomonosov State
Universicy. He wrote his Fundamental works on “Systems of Differential
220
Equations of First order and Boundery Value Problems with Application to the
Theory of Shells”. In 1959 in Akademgorodok Novosibirsk State University was
founded and Vekua was appointed its rector. He published his monograph
“Theory of Shallow* Thin Shells* of Variable Thickness”.
He was awarded the Lenin Order and in April 1963 he became the Lenin
Prize winner for the scientific work “Generalized Analytic Functions”.
He returned to Tbilisi and in 1965 he became rector of TSU. He devoted all
his organizational talent and heart to his Alma Mater. In 1968 the Georgian
people marked the 50-th anniversary of TSU. Delegates of many, large
universities of the world arrived in Tbilisi to show their respect to TSU and its
rector. In 1977 being very ill, he wrote monograph “Some General Methods of
Constructing various versions of the shell theory” and was awarded the State
Prize of the USSR. He died on December 2, 1977 and was buried in Tbilisi in
Mtatsminda Pantheon his grave being next to the grave of the teacher and
collegue Niko Muskhelishvili. Many years have passed since the demise* of
Niko Muskhelishvili and Ilya Vekua, but the scientific trends they pioneered
keep developing successfully at the world’s large research centers. Doesn’t this
mean the immortality of the scientific?
ANDRIA RAZMADZE
*
shallow layer - თხელიფენა. layer [ˈleɪə] – ფენა.
*
shell – გარსი, ფენა
*
demise [dɪˈmʌɪz]– გარდაცვალება.
221
Andria Razmadze was born on August 11, 1889 in Chkhenishi. His father
was Mikhael Razmadze, who was employed on the railways, his mother was
Nino Nodia. Andria attended nonclassical secondary school in Kutaisi,
completing his studies there in 1906, he entered Moscow University.
Graduating with a degree in mathematics in 1910, Razmadze taught
mathematics in secondary schools, while he continued to work for his Master’s
degree. He was awarded this degree in 1917, taught at Moscow University for a
few months, then returned to Georgia near the end of 1917.
Razmadze was one of the founders of Tbilisi University and he taught at
this University from the time that it opened in 1918. He held a chair in the
Physics and Mathematics Faculty in Tbilisi State University for the rest of his
life.
As one of the founders of Tbilisi University, he directed the training of
specialists in mathematics at the University. As a result, within a short period of
time all the higher educational establishements of Georgia were supplied with
teaching and scientific personnel in mathematics. Mathematics teachers for most
secondary schools of Georgia were also trained here.
Razmadze wrote the first textbooks in Georgian on analysis and integral
calculus. His work was on the calculus of variations, continuing work by
222
Weierstrass and Hilbert. The fundamental lemma of the calculus of variations is
named after him. He also did important work on discontinuous solutions.
Razmadze presented a report on his research to the International Congress
of Mathematicians at Toronto in 1924, and for that paper he received the
doctorate in mathematics from the Sorbonne. (In 1925 ha was granted “Diplome
de Docteur es Sciences Mathematiques. Faculte des Sciences de Paris,
Academic de Paris).
Razmadze’swork had been recognized by the international mathematical
community.
Following Razmadze’s death in October 2, 1929, the outstanding French
mathematician Jacques Hadamard sent a telegram of condolence to Tbilisi
University, saying that he, together with all the mathematicians of France and
the world, was profoundly grieved at the death of Razmadze. This is
undoubtedly another expression of the international recognition of Razmadze’s
scientific contribution and his talent. In 944 Mathematical Institute was granted
the name of Andria Razmadze.
223
VICTOR KUPRADZE
(1903 – 1985)
225
was elected its first president.
What is said above refers to the scientific work of Victor Kupradze. His
studies are in the main devoted to problems of mathematical physics.
Mathematical physics is an old science. It appeared simultaneously with
mathematics and stimulates the latter’s development. Only researchers having a
wide scope of knowledge can devote themselves to the service of mathematical
physics.
The research activities of Kupradze were versatile. They include the theory
of partial differential equations and integral equations, mathematical physics, the
theory of elasticity, applied mathematics.
Georgian scientists made a great contribution to the development of the
theory of elasticity. The mathematical theory of elasticity as expounded in their
works reached the highest level in all three main directions. The studies of N.
Muskhelishvili in the plane theory, of I. Vekua in the shell theory, and of V.
Kupradze in the sphere of spatial problems won general recognation.
Kupradze devoted several monographs to the theory of elasticity, among
which we should mention “Methods of Potential in the Theory of Elasticity”
published in Russian in Moscow in 1963 and then translated into English and
published in Jerusalem in 1965.
We would also mention the first monograph of Kupradze “Bacis Problems
of the Mathematical Diffraction Theory” which was published in Leningrad in
1935. After 17 years, in 1952 the monograph was published in English by the
University of California. Kupradze’s second monograph “Boundary Value
Problems of the Oscillation Theory and Integral Equations” published in
Moscow in 1950 and in German in Berlin in 1956.
The implementation of scientific achievements in the national economy is
of principal importance at the modern stage of the development of science. That
is why Kupradze has offered new methods for constructing algorithms, allowing
the numerical realization of solutions by means of modern computational
226
facilities for a wide class of problems of mathematical physics and elasticity.
These methods of the effective construction of solutions are currently used in
structural mechanics, seismology, the theory of radiation transfer and so on
alongside with the methods of the scientists widely known throughout the world.
Kupradze was the first Georgian scientist to use the method of Gilbert
spaces in elasticity.
Speaking of the scientific work of Kupradze, we cannot help mentioning
him as an organizer of science. Only a gifted researcher, possessing vast
erudition and other good human qualities, can be entrusted with the mission of a
science organizer.
Victor Kupradze lived a full life of a scientist. Day after day his thoughts
were occupied with problems connected with science, A celebrated
educationalist and scientist, he had his bands full with many organizational and
state assignments, and nevertheless, he always found time to carry out intensive
research.
Victor Kupradze an outstanding scientist and great citizen, died on the 25 th
of April, 1985.
227
Niko Muskhelishvili
1891 – 1976
229
Polish, Berlin Academy of Sciences; gold medal of Turing and Slovak
Academies of Sciences; Lomonosov gold medal). Georgian Academy of
Sciences established Nikoloz Muskehlishvili prize in mathematics and
mechanics.
Muskhelishvili advice was greatly helpful to young mathematicians. One of
them was a graduate student Niko Vakhania, who had splendidly passed his
postgraduate examinations and thus had attracted Muskhelishvili’s attention.
The president of Georgian Academy of Sciences, worldwide famous
academician Muskhelishvili gave his advice to young Vakhania to continue his
work in mathematics in Moscow (one of the serious mathematical centers of the
USSR) under the supervision of world-known mathematician academician
Sergei Sobelov. Muskhelishvili even provided the young graduate with two
letters to Sobolev: one formal, another – friendly (beginning with “Dear
Sergo”…), asking him to take Vakhanina (“who deserves your attention”) under
his guidance.
Muskhelishvili was also known for his gentle sense of humor. When the
first secretary of CPSS Khrushchov was in Tbilisi, Georgian scientists invited
him to show an interesting cybernetical device of their invention. Khrushchov
was asked to order the devicde to do something. Khrushchov did, the device was
invert; the second order was again ineffective. Khrushchov became slightly
indignant, went red in the face; the atmosphere was getting tense.
Muskhelishvili’s words “this device is accustomed to having orders only in
Georgian accent” saved the uncomfortable situation. Everybody became relaxed.
Nikoloz Muskhelishvili died on July 15, 1976 in Tbilisi. As a mark of
respect in thankful memory of him, he was buried with honors in Mtatsminda
Pantheon, a very important and sacred place for Georgians, the almost holy
place which is treated with great respect by people.
230
NIKO VAKHANIA
1930 – 2014
Nikolas (Niko) Vakhania was born on August 28, 1930 in Kutaisi (Western
Georgia). His parent’s Tamar and Nicolas Vakhanias’ younger son later became
an experienced engineer-metallurgist with highly inventive mind. Nicholoz was
a tradition-follower, hard-workingand honest person.
From 1931 the Vakhanias’ family lived in the capital of Georgia, Tbilisi.
Niko started his schooling in 1938 and graduated from it in 1949.
In 1949 Niko entered Tbilisi State University (TSU), Physics department.
His distinguished abilities and results in study were noticed; he was considered
as one of the brightest students and from the third year of studying he received a
special scholarship. During his university years Niko understood that his main
interest was Mathematics, it was Mathematics that was important for him. And
whenhe graduated from physics department in 1954, he started his postgraduate
study in Tbilisi Andria Razmadze Mathematics Institute.
Being one of the remarkable students, Niko was recommended by
academician Niko Muskhelishvili to continue his postgraduate course with
academician Sergei Sobolev at Moscow Lomonosov State University (MSU),
Department of Mathematics and Mechanisc; Muskhelishvili provided him with a
231
letter of recommendation to Sobolev. For Vakhania the years spent at MSU
were really fruitful and interesting.
In 1956 Computing centre of Georgian Academy of Sciences was founded
where Vakhania became a senior scientific worker, then a head fo Department of
Mathematics Cybernetics (later, department of Probability Theory and
Functional Analysis); he began his long career of Teaching at TSU (Department
of Mechanics and Mathematics, later Department of Cybernetics). During this
period Vakhania became a professional lecturer of mathematics. He was giving
his lectures and talks with amazing zeal and enthusiasm. His colleagues and
students will forever remember his exceptional style of exposition in fine and
convincing way, which with years, was becoming more and more perfect.
Vakhania never published anything until it was as finished and perfect as
he could make it. He used to say: “Mathamaticans are makers of intellectual
tools”. For him Mathematics was Art. Careful research and accurate writing
make his works a valuable reference tool. He was always to the point, thus
reflecting the quality of precision that was also notable in his scientific work.
Vakhania had no language barriers – he, together with his native Georgian,
knew English and Russian well. Everything this was a result of his intensive
hard work, which was customary for him from his childhood; the similar
relation to work he required from his students. He used to say that Mathematics
is like a capricious lady who does not forgive betrayal.
Vakhania successfully defended his candidate (1958, Moscow, under a
supervision of academician Sobolev) and doctoral (1969, Tbilisi) dissertations;
he occupied the position of the dean of Cybernetics and Applied Mathematics
department (1970-1973) and a chair of Theory of Random Processes
Department at TSU.
The creative activities of Vakhania were not restricted only to Science and
Teaching. His talent of organization had manifested itself clearly and completely
during the period of his work as a director of Institute of Computational
232
Mathematics (DCM) which continued for 27 years from 1978; at his own will he
left the position of the director of the Institute. He was a chief scientific worker
and a head of the Scientific Council (2008-2013). He participated actively in the
work of Section of Mathematics and Physics Georgian Academy of Sciences as
a vise academician-secretary; he had a seat on many scientific boards (Tbilisi,
Moscow).
Although his administrative activities were taking rather considerable time
of Vakhania, he was nevertheless continuing his research work. His first
scientific papers were dedicated to the theory of differential equations. The
results obtained by him in this direction are still of great interest. The next cycle
of Vakhania’s scientific works, collected in his monographs (Tbilisi, Moscow,
Amsterdam “North Holand” publications), was about the theory of probability,
distributions in linear and Banach Spaces. Vakhania’s works are devoted to the
theory of differential equations, modern and classical probability theory,
functional analysis, computational mathematics and quaternionic probability
theory.
In Georgia Vakhania has founded a new direction of mathematics –
Probability Theory in Infinite-Dimensional Linear Spaces. His fruitful scientific
activity had a significant influence on the development of this direction of
research. His classical monographs, as many foreign colleagues underline, still
have numerous citations and remain a source of new ideas. He was often invited
to various scientific centers and universities of all continents of the world, made
joint scientific researches with foreign colleagues, gave courses of lectures. His
scientific activities abroad and in his native country indicate a wide international
recognition of his talent and contributions.
The scientific school created by him soon received high authority in
Georgia and abroad; it is recognized as one of the leading centers of Probability
Theory in Linear Spaces.
Everybody who knew Vakhania, gave a high estimation to his
233
professionalism, to his objectivity, to the fact that he was a man of principle; he
was famous for his outstanding honesty and courage; for him mathematics was
the one great permanent happiness of his life, it gave him great satisfaction to
work. Only research, teaching, writing and his family filled his days with
pleasure. He was not only an eminent mathematician but also a gentle and kind
man. Eager to do everything in his power to help all with whom he came in
contact. Vakhanias’ words directed to the young generation about twenty years
ago have not lost their actuality to this day: “A necessary condition to achieve a
big success is to love the claim, to get enjoyment not only from an achieved
success and its consequences, but also from the process of work. The work must
be a permanent process. God distributes talent and abilities among people not
uniformly, but no one receives them so much, which could guarantee to achieve
a big success without a big effort”. Vakhania’s mathematical ideas and research
work are still being continued by his Georgian and foreign followers.
234
FORGE OF MATHEMATICIANS (SSU)
235
Faculty of Physics and Mathematics. In 1937 – the number of the first graduated
were 15.
Later, on the base of Chair of Mathematics, which was opened in 1932, the
chairs of mathematical analysis, algebra and geometry were created.
At various times (in the 40-50-ies) professors from Tbilisi arrived and
delivered lectures at the Chair of Mathematics.
Activity of a docent M. Reneft (1932-1946), the first leader of Faculty
should be emphasized. Great was hiscontribution to the preparation of qualified
specialists in physics and Mathematics.
In 1946, when the Chair of Mathematical Analysis was headed by G.
Chelidze, it became possible to open post-graduate courses in “Mathematical
Analysis”.
After docent M. Raneft, in 1946-48 dean of the Faculty was K. Gakharia, in
1948-52 – I. Tabagua, in 1952-53 the Department was headed by Sh. Gulua.
The first head of the Chair of Physics, which was opened in 1932, ws
docdent P. Pravdivtsev, in 1948-51 – docent Charkviani and in 1952-73 – docent
V. Beshidze.
From1960 the new stage was started in the progress of the Faculty the
contingent was increased, the evening department and department of study by
correspondence were opened. Georgian and Russian sectors of “Physics” and
“Mathematics” started their functioning independently. Thus, if in 1936 the
Faculty prepared only 12 specialists in this branch, in 1969 the number of
graduate exceeded 130.
Former students of the Faculty came back after finished the post-graduate
courses in Tbilisi and Moscow.
In 1970-70 docent O. Gabisonia was nominated twice to the position of the
head of Chair of High Algebra and Elementary Analysis. The members of the
Chair were: docent A. Meladze, G. Dikhaminjia, serion teachers A. Sakhuria, M.
Chukbari, I. Shamba, T. Tsulaia; teachers: A. Mogilevski, N. Chikobava, M.
236
Kiria, N. Basilaia, R. Absava, engineer in computers P. Adaktilos, senior
laboratory assistant Ts. Dzidziguri.
In 1973-83, docent N. Pachulia was elected twice to the position of the
head of Chair of Mathematical Analysis.
In 1973-76 the laboratory of General Physics was headed by docents: G.
Jobava (1974-76), I. Tabagua (1973-74), and from 1976 – I. Baghbaia.
In 1972 at the Chair of Algebra and Computational mathematics, at the
efforts of docent O. Gabisonia and T. Tsulaia specialist in computer
mathematics, the room of computer mathematics was opened where the
Computer “MIR-1” equipped with printing unit was mounted. No high school of
Georgia had a computer of such capacity at that time. Technical provision of the
machine was imposed on the specialist of this sphere P. Adaktilos. Later, the
Institute of Computational Mathematics of Tbilisi transferred to the Laboratory,
from balance to balance, at about 10 micro-electric computing machines. From
November 1973 teacher of the Chair R. Absava was appointed pluralistically to
the position of the head of the laboratory.
In 1976 at the initiative and efforts of the SFT the first Problem Laboratory
in physics was opened at the Faculty (Head – docent G. Jobava).
The last period of 20 years activity of docent T. Tskhadaia should be
specifically emphasized. At this time the Faculty reached a rather high-level
development.
In 1975-76 docent O. Gabisonia acted as a dean of Faculty (pluralistically).
Secretary of the Faculty was N. chelidze, who successfully continued the deeds
started at that time, in 1976-80 the Faculty was headed by docent I. Tabagua. In
1977 the post of deputy dean was approved for ideological-education sector and
senior teacher G. Dikhamindjia was appointed to the post.
In 1981 at the leadership of docent A. Gvaramia, vice-rector of the
University (for education) the room of computational mathematics was
transformed into Laboratory of Computing Mathematics of the University. At
237
about 30 computers were assembled there (“Iskra” type, with its accessories).
In 1980-83 dean of the Faculty of Physics and Mathematics was docent G.
Jobava, who in 1983 was shifted to the post of the head of Chair of Physics. In
1983-86 the Faculty was headed by docent S. Kishmaria, who in 1986 was
replaced by docent L. Karba. Number of students in those years at two forms of
studies (full-time and evening studies) and at three sectors (Georgian,
Abkhazian, Russian) exceeded eight hundred.
In 1980, on the base of Chair of High Algebra and Elementary
Mathematics the Chair of Algebra and Applied Mathematics was formed –
Head, docent A. Gvaramia.
By 1985, there were three chairs of mathematics and three chairs of physics
at the department: Mathematical Analysis, headed by candidate of sciences L.
Tarba, Algebra-Geometry – by docent A. Gvaramia, Applied Matheamtics – by
cand. sci I. Kuznetsov, General Physics – by docent I. Baghbaia, Theoretical and
Experimental Physics – by docent G. Jobava, Technical Physics (opened in
1982) – headed by academician R. Salukvadze.
Alongside with the quantitative growth of the Faculty the grade of the
qualified personnel was increasing. In the 80-ties, both candidate’s and doctor’s
theses were defended.
From May 1987, after election of professor A. Gvaramia to the position of
a rector, docent E. Agrest was appointed to the post of acting head of the Cahir
of Algebra-Geometry.
From May 1989, due to isolation of Sukhumi Branch from the University
of Abkhazia, the Faculty remained without material-technical base. It was
dislocated in the building of Sukhumi SPI. In November 1989 R. Abava was
appointed to the post of a dean of Department.
Three chairs were created: No 1 Chair of Mathematics – candidate of
sciences Sh. Akhalaia, Chair 2 of Mathematics – docent G. Dikhaminjia, Chair
of Physics – docent G. Murghulia.
238
Later, in 1990-91, on the base of Chairs No 1 and No 2 of Mathematics, the
Chair of Mathematical Analysis was created.
From the very day of opening of the Branch the activities for the creation of
material-technical base were started. A number of physical laboratories were
delivered from Tbilisi State University, more than 20 computers of “Iskra” type
were purchased.
The Faculty started the 1990-91 academic year in a new building (one of
the buildings of “Sokhum-Khelsatsko”) with its rather powerful material-
technicalbase. Number of students exceeded 500.
The students were trained in the following specialties: mathematics,
physics, applied mathematics, general technical disciplines and physics,
geophysics and mechanics.
The Faculty finished the 1991-92 academic year by better indices. Students
were enrolled on all six specialties and when the Faculty was going to
commence the next 1992-93 academic year, the was started, which brought
away lives of many teacher and students. The war stopped the study process for
one year and two months.
From November 14 1993, at the leadership and efforts of a new head of the
Sukhumi Branch, professor O. Zhordania, the Sukhumi Branch renewed its
activity.
The department started the study process in the building of Tbilisi
Secondary School No 134. The next academic year the situation at the Faculty
was gradually improved.
In 1997 at the Faculty of Physics and Mathematics, at the leadership and
great efforts of the management of the University (director professor O.
Zhordania, deputy director professor T. Chilachava) the laboratory of
Computing Mathematics was opened (headed by senior teacher T. Tsulaia)
which is expanding yearly and today it is one of the best. The Department of
High Schools of Georgia shifted to the two-stage form of study (Bachelor’s
239
Course, Master’s Course).
During the years of refuge 6 doctor’s and 8 candidate’s degrees were
defended.
From September 6-2000 till 2004, on the base of Faculty of Physics and
Mathematics two departments were formed – Faculty of Physics (dean, docent
A. Miminoshvili) and Faculty of Mathematics and Computer Sciences (dean,
docent R. Absava) with four chairs: Mathematical Analysis – professor V.
Paatashvili; Applied mathematics – professor T. Chilachava; Algebra –
Geometry and mathematical Statistics – docent R. Absava; General Mathematics
and Methods of Teaching Mathematics – docent Sh. Akhalaia.
From 2004-05 – Shota Akhalaia was acting as a dean of the exact and
Natural Sciences Faculty; From 2005-06 prof. Jumber Khubutia was the dean of
the Faculty; In 2007-08 the dean of the Faculty was prof. urab Meshveliani;
From 2008-09 prof. Guli Karchava; From 2009-11 prof. Malkhaz Ashordia was
acting as a dean of the Faculty of Maths and Computer Sciences. From 2011 till
today prof. Malkhaz Ashordia is the dean of the Maths and Computer Sciences
Faculty.
The Faculty with 300 students on all specialties Bachelor programs:
Computer Technologies, Mathematics. Master programs: Applied Mathematics;
Applied Statistics; Computer Sciences. Doctoral programs: Applied
Mathematics, Computer Sciences. Does its best to return to Abkhazia with
qualified specialists.
Here are some my favorite math quotes. You will find them very
interesting, notable, important to think more about this subject, they are more
general quotes so enjoy them:
240
1. “Mathematics is a language” – Josiah Willard Gibbs.
2. “The only way to learn maths is to do maths” – Paul Halmos.
3. “Numbers rule the Universe” – Pythagoras.
4. “A mathematician is a blind man in a dark room looking for a black can,
which isn’t there” – Charles Darwin.
5. “Nature’s geat book is written in Mathematics” – Gallileo.
6. “Mathematics, in one view, is the science of infinity” – P. Davis
7. “Arithmetic is where numbers fly like pigeons in and out of your head” –
Carl Sandburg.
8. “May Your life be like Arithmetic: Joys-added; Sorrows-Subtracted;
Friends-multiplied; Love-undivided” – Author Unknown.
9. Beauty in mathematics is seeing the truth without effort” – George Polya.
10. “No employment can be managed without arithmetic, no mechanical
invention without geometlry” – Benjamin Franklin.
11. “Mathematics is the Queen of the Sciences” and “Arithmetic the Queen of
mathematics” – Gauss.
12. “Mathematics may be defined as the subject in which we never know what
we are talking about, nor whether what we are saying is true” – Bertrand
Russel.
13. “Mathematics in general is fundamentally the science of self – evident
things” – Klein.
14. “Mathematics is nothing more than a game played according to certain
simple rules with meaningless marks on paper” – Hilbert.
15. “Mathematics is man’s supreme intellectual achievement and the most
original creation of the human spirit, music may rouse or pacify the soul,
painting may delight the eye, poetry may stir emotions, phylosophy may
satisfy the mind, and engineering may improve the material life of man.
But mathematics offeres all these values – M. Kline.
16. “In mathematics I can report no deficiency, except it be that men do not
241
sufficiently understand the excellent use of pure Maths” – Francis Bacon.
17. “I would rather discover one cause than gain the kingdom of Persia” –
Democritus.
18. “Algebra is generous: she often gives more than is asked of her” – Lambert.
19. “In most sciences one generation tears down what another has built, and
what one has established another undoes. In mathematics alone each
generation builds a new story to the old structures” – Hermann Hanke.
20. “Mathematics is the key to understanding and mastering our physical,
social and biological world – Morris Kline.
21. “A maths lecture without a proof is like a movie without a love scene” –
Hendrik Lenstra.
22. “Math is the only place, where truth and beauty mean the same thing” –
Danica McKellar.
23. “For every problem, there is no solution which is simple, neat and wrong”
– H.L. Mencken (1880-1956).
24. “If people do not believe that maths is simple, it is only because they do not
realize how complicated life is” – John von Neumann.
25. “A mathematician who is not also something of a poet, will never be a
complete mathematician” – Karl Weierstrass.
26. “Mathematics possesses not only truth, but supreme beauty – a beauty cold
and austere, like that of sculpture, without appeal to any part of our weaker
nature, without the gorgeous trappings of painting or music, yet sublimely
pure, and capable of a stern perfection such as only the greatest art can
show” – Bertrand Russell.
27. “Trigonometry was invented for calculating and directions of the stars. It is
used for surveying, for alternating current engineering, for analyzing
musical chords, and for countless other purpouses” – John Haldane.
28. “Mathematicians are makers of intellectual tools” – John Haldane.
29. “Pure mathematics is, in its way, the poetry of logical ideas” – Albert
242
Einstein.
30. “The human mind has never invented a labor – saving machine equal to
Algebra” – Author unknown.
31. “So if a man’s wit be wandering, let him study the mathematics” – Francis
Bacon.
32. “Go down deep enough into anything and you will find mathematics” –
Dean Schlicter.
33. “Pure mathematics is the world’s best game. It is more absorbing than
chess, more of a gamble than poker, and lasts longer than Monopoly. It’s
free. It can be played anywhere – Archimedes did it in a bathtub”.
34. “Arithmetic is numbers you squeeze from your head to your hand to your
pencil to your paper till you get the answer” – Carl Sandburg.
35. “God used beautiful mathematics in creating the world” – Paul Dirac.
36. “Do not worry too much about your difficulties in mathematics. I can
assure you that mine are still greater” – Albert Einstein.
37. “Mathematics is the most beautiful and most powerful creation of the
human spirit” – Stefan Banach.
38. “I am interested in mathematics, only as a creative art” – G.H. Hardy.
39. “I’ve always been interested in using mathematics to make the world work
better” – Alvin E. Roth.
40. “Mathematics is as old as man” – Stefan Banach.
41. “A man is like a Fraction whose numerator is what he is and whose
denominator is what he thinks of himself. The larger the denominator, the
smaller the Fraction” – Tolstoy.
42. “Mathematics possesses not only truth, but supreme beauty – a beauty cold
and austere, like that of sculpture, without appeal to any part of our weaker
nature, without the gorgeous trapping of painting of music, yet sublimely
pure, and capable of a stern perfection such as only the greatest art
canshow” – Bertrand Russell.
243
43. “Mathematics are well and good but nature keeps dragging us around by
the nose” – Albert Einstein.
44. “Arithmetic is where the answer is right and everything is nice and you can
look out of the window and see the blue sky – or the answer is wrong and
you have to start over and try again and see how it comes out this time” –
Carl Sandburg.
45. “The essence of Mathematics is not to make simple things complicated, but
to make complicated things simple” – S. Gudder.
46. “Go down deep enough into anything and you will find mathematics” –
Dean Schlicter.
47. “The human mind has never invented a Labour – saving machine equal to
algebra” – Author Unknown.
48. “Infinity is a floorless room without walls or ceiling” – Author Unknown.
Mother: If I take a potato and divide it into two parts, then into four parts,
and each of the four parts, into two parts, what would I have?
potato картофель
Teacher: If there were four flies on the table, and I killed one, how many
would be left?
fly ბუზი
bright ჭკვიანი
244
Always Last
Father: Well, my son, what is your number in the school-list this month?
(A month later.)
Father: How can that be? If I remember right, there are only twenty-six in
your class.
***
Bobbie: Ten.
Teacher: Well, if four were missing, what would you have then?
Family Ages
A man and his wife had three children: John, Ben and Mary, and the
difference between their parents' ages was the same as between John and Ben
and between Ben and Mary. The ages of John and Ben multiplied together
equalled the age of the father, and the ages of Ben and Mary multiplied
together equalled the age of the mother. The ages of the whole family
equalled ninety years. What was the age of each member of the family?
245
1. Farmer Smith is carrying one bag of potatoes. Farmer Jones is carrying
five bags. All bags are the same size, but Smith's bag is fifty times heavier
than the bags which Jones is carrying. Why?
2. Once Jill asked her grandfather, “When were you born?” The
grandfather answered, “If you write the year when I was born on a piece of
paper, then turn the page upside-down, the year will remain the same”.
3. If a wheel has 18 spaces between the spokes, how many spokes has it?
wheel ბორბალი
Harry's father came into the room and put five paper bags on the table.
When Harry asked him what the bags contained, his father answered:
“I have put a hundred nuts in these five bags. In the first and second there
are altogether fifty-two nuts, in the second and third there are forty-three; in
the third and fourth there are thirty-four; in the fourth and fifth there are
thirty”.
nut თხილი
An Age Problem
A man has lived one-fourth of his life as a boy; one-fifth as a young man;
and thirteen years as an old man. How old is the man?
246
Find the Numbers (A problem)
Can you find two numbers composed only of ones which give the same
result when you add them and when you multiply them? Of course 1 and 11
are very near, but these are not the numbers which you must find, because if
you add them, you will have 12, and if you multiply them, you will have only
11.
“Bill and I,” said John, “can do this work in ten days, but give me Alec
instead of Bill, and we can do it in nine days.”
“I can do better than that,” said Alec. “Give me Bill, and we can do this work
in eight days”.
odd კენტი
pieces?
2. In a box there are six oranges. It is required to divide these among six boys
in such a way as to leave one orange in the box. How can this be done without
cutting the oranges?
3. Two ducks before a duck; two ducks behind a duck and a duck in the
middle, how many ducks are there?
A Fish Question
Ten Fish I caught without an eye.
And nine without a tail:
Six had no head, and half of eight
I weigh upon a scale.
Now who can tell me, as I ask it,
How many fish were in my basket?
ANSWERS
Family Ages. The father and the mother were both of the same age, thirty-six
years, and the three children were triplets (тройней) of six years of age.
3. 18 spokes.
The Bag of Nuts. The five bags contained 27, 25, 18, 16, 14 nuts. You can
find how many nuts are in each bag if you subtract the two pairs together from
100. So, 100 - (52 + 30) = 18, the third bag.
23
Bill - in 17 days;
41
7
John - in 23 days.
31
Six Apples in a Bag. The sixth boy received his apple in the bag.
1) 1 + 2 + 3 + 4 + 5 + 6 + 7 + (8 × 9) = 100.
8 8
2) × = 1
8 8
3) (5 + 5)·(5 + 5)=100.
Strange Figures. Write, the following four numbers composed of five odd
figures 11, 1, 1, 1. After addition you will have 14.
1. Place 3 pieces in one cup and 7 in another, and then place one of these in
the third cup.
3. 3 ducks.
249
250
251
252
253
254
Basic math symbols
Symbol Symbol Name Meaning / definition Example
5 = 2+3
= equals sign equality
5 is equal to 2+3
5≠4
≠ not equal sign inequality
5 is not equal to 4
sin(0.01) ≈ 0.01,
approximately
≈ approximation x ≈ y means x is
equal
approximately equal to y
5>4
> strict inequality greater than
5 is greater than 4
4<5
< strict inequality less than
4 is less than 5
5 ≥ 4,
≥ inequality greater than or equal to x ≥ y means x is greater
than or equal to y
4 ≤ 5,
≤ inequality less than or equal to x ≤ y means x is less than
or equal to y
calculate expression
() parentheses 2 × (3+5) = 16
inside first
calculate expression
[] brackets [(1+2)×(1+5)] = 18
inside first
division sign /
÷ division 6÷2=3
obelus
255
Symbol Symbol Name Meaning / definition Example
ab power exponent 23 = 8
√a square root √a ⋅ √a = a √9 = ±3
3
√a cube root 3 √a ⋅ 3√a ⋅ 3√a = a 3 √8 = 2
4
√a fourth root 4 √a ⋅ 4√a ⋅ √a ⋅ √a = a
4 4 4 √16 = ±2
Geometry symbols
Symbol Symbol Name Meaning / definition Example
measured
angle ABC = 30°
256
Symbol Symbol Name Meaning / definition Example
∆ABC≅
≅ congruent to equivalence of geometric shapes and size
∆XYZ
ΔABC≅
Δ triangle triangle shape
ΔBCD
|x-
distance distance between points x and y | x-y | = 5
y|
π = 3.141592654... c = π⋅d =
π pi constant
is the ratio between the circumference and 2⋅π⋅r
diameter of a circle
gradians /
g grads angle unit 360° = 400 g
gons
Algebra symbols
Meaning /
Symbol Symbol Name Example
definition
unknown value to
x x variable when 2x = 4, then x = 2
find
≡ equivalence identical to
257
Meaning /
Symbol Symbol Name Example
definition
definition
equal by
:= equal by definition
definition
approximately weak
~ equal approximation
11 ~ 10
approximately
≈ approximation sin(0.01) ≈ 0.01
equal
much less
≪ than
much less than 1 ≪ 1000000
much greater
≫ much greater than 1000000 ≫ 1
than
calculate
() parentheses expression inside 2 * (3+5) = 16
first
calculate
[] brackets expression inside [(1+2)*(1+5)] = 18
first
{} braces set
rounds number to
⌊x⌋ floor brackets
lower integer
⌊4.3⌋ = 4
exclamation
x! factorial 4! = 1*2*3*4 = 24
mark
single vertical
|x| absolute value | -5 | = 5
bar
maps values of x
f (x) function of x f (x) = 3x+5
to f(x)
function (f ∘ g) (x)
(f ∘ g) composition f (x)=3x,g(x)=x-1 ⇒(f ∘ g)(x)=3(x-1)
= f (g(x))
(a,b) =
(a,b) open interval x∈ (2,6)
{x | a < x < b}
258
Meaning /
Symbol Symbol Name Example
definition
[a,b] =
[a,b] closed interval x ∈ [2,6]
{x | a ≤ x ≤ b}
∆ discriminant Δ = b2 - 4ac
summation - sum
∑ sigma of all values in ∑ xi= x1+x2+...+xn
range of series
product - product
∏ capital pi of all values in ∏ xi=x1∙x2∙...∙xn
range of series
e constant /
e=
e Euler's e = lim (1+1/x)x , x→∞
number 2.718281828...
Euler-
γ=
γ Mascheroni
constant 0.5772156649...
golden ratio
φ golden ratio
constant
π=
3.141592654...
π pi constant c = π⋅d = 2⋅π⋅r
is the ratio between
the circumference
and diameter of a
circle
259
Symbol Symbol Name Meaning / definition Example
probability probability of
P(A) function event A
P(A) = 0.5
probability of
conditional
event A given
P(A | B) probability P(A | B) = 0.3
event B
function
occured
probability
P(a ≤ x ≤ b) = ∫
f (x) density
function (pdf) f (x) dx
cumulative
F(x) distribution F(x) = P(X≤ x)
function (cdf)
mean of
population
μ population μ = 10
mean
values
expected value
expectation
E(X) of random E(X) = 10
value
variable X
260
Symbol Meaning /
Symbol Example
Name definition
expected value
conditional of random
E(X | Y) expectation variable X given
E(X | Y=2) = 5
Y
variance of
var(X) variance random var(X) = 4
variable X
variance of
σ2 variance population σ2 = 4
values
standard
standard deviation of
std(X) deviation random
std(X) = 2
variable X
standard
standard deviation value
σX deviation of random
σX = 2
variable X
middle value of
median random
variable x
covariance of
random
cov(X,Y) covariance cov(X,Y) = 4
variables X and
Y
correlation of
random
corr(X,Y) correlation corr(X,Y) = 0.6
variables X and
Y
correlation of
random
ρX,Y correlation ρX,Y = 0.6
variables X and
Y
summation -
sum of all
∑ summation
values in range
of series
double double
∑∑ summation summation
value that
occurs most
Mo mode
frequently in
population
MR =
MR mid-range
(xmax+xmin)/2
sample half the
Md median population is
261
Symbol Meaning /
Symbol Example
Name definition
25% of
lower / first
Q1 population are
quartile
below this value
50% of
median / population are
Q2 second below this value
quartile = median of
samples
75% of
upper / third
Q3 population are
quartile
below this value
sample average /
x mean arithmetic mean
x = (2+5+9) / 3 = 5.333
population
sample samples
s2 variance variance
s2 = 4
estimator
population
sample samples
s standard standard s=2
deviation deviation
estimator
standard
zx score
zx = (x-x) / sx
distribution of
distribution of
X~ random X ~ N(0,3)
X
variable X
normal gaussian
N(μ,σ2) distribution distribution
X ~ N(0,3)
equal
uniform
U(a,b) probability in X ~ U(0,3)
distribution
range a,b
f (x) = xk/2-1e-
chi-square x/2
χ 2(k) distribution
/(
k/2
2 Γ(k/2) )
262
Symbol Meaning /
Symbol Example
Name definition
hyper-
HG(N,K,n) geometric
distribution
Bernoulli
Bern(p) distribution
Combinatorics Symbols
Symbol Symbol Name Meaning / definition Example
nCk
A = {3,7,9,14},
{} set a collection of elements
B = {9,14,28}
objects that belong to set A
A∩B intersection A ∩ B = {9,14}
and set B
{9,66} ⊄
A ⊄ B not subset set A is not a subset of set B
{9,14,28}
263
Symbol Symbol Name Meaning / definition Example
{9,14,28} ⊅
A ⊅ B not superset set A is not a superset of set B
{9,66}
A={3,9,14},
both sets have the same
A=B equality B={3,9,14},
members
A=B
all the objects that do not
Ac complement
belong to set A
A = {3,9,14},
objects that belong to A and
A\B relative complement B = {1,2,3},
not to B
A-B = {9,14}
A = {3,9,14},
objects that belong to A and
A-B relative complement B = {1,2,3},
not to B
A-B = {9,14}
A = {3,9,14},
objects that belong to A or B B = {1,2,3},
A∆B symmetric difference
but not to their intersection A∆B=
{1,2,9,14}
A = {3,9,14},
objects that belong to A or B B = {1,2,3},
A ⊖ B symmetric difference but not to their intersection A⊖B=
{1,2,9,14}
A={3,9,14}, 3 ∈
a∈A element of set membership
A
A={3,9,14}, 1 ∉
x∉A not element of no set membership
A
264
Symbol Symbol Name Meaning / definition Example
natural numbers /
0 whole numbers set 0 = {0,1,2,3,4,...} 0∈ 0
(with zero)
natural numbers /
1 whole numbers set 1 = {1,2,3,4,5,...} 6∈ 1
(without zero)
Logic symbols
Symbol Symbol Name Meaning / definition Example
+ plus or x+y
~ tilde negation ~x
265
Symbol Symbol Name Meaning / definition Example
⇒ implies
∀ for all
∃ there exists
∴ therefore
∵ because / since
e constant / e = lim
e Euler's number
e = 2.718281828...
(1+1/x)x, x→∞
derivative - Lagrange's
y' derivative (3x3)' = 9x2
notation
derivative - Leibniz's
derivative d(3x3)/dx = 9x2
notation
derivative by time -
time derivative
Newton's notation
time second
derivative of derivative
derivative
266
Symbol Symbol Name Meaning / definition Example
integration of function of 2
∫∫ double integral ∫∫ f(x,y)dxdy
variables
integration of function of 3
∫∫∫ triple integral ∫∫∫ f(x,y,z)dxdydz
variables
closed contour /
∮ line integral
closed surface
∯ integral
closed volume
∰ integral
complex
z* conjugate
z = a+bi → z*=a-bi z* = 3 - 2i
complex
z conjugate
z = a+bi → z = a-bi z = 3 - 2i
gradient / divergence
∇ nabla / del ∇f (x,y,z)
operator
vector
unit vector
Laplace
transform F(s) = {f (t)}
δ delta function
Numeral symbols
Name European Roman Hindu Arabic Hebrew
267
Name European Roman Hindu Arabic Hebrew
zero 0 ٠
one 1 I ١ א
two 2 II ٢ ב
four 4 IV ٤ ד
five 5 V ٥ ה
six 6 VI ٦ ו
nine 9 IX ٩ ט
ten 10 X ١٠ י
eleven 11 XI ١١ יא
fifteen 15 XV ١٥ טו
twenty 20 XX ٢٠ כ
forty 40 XL ٤٠ מ
fifty 50 L ٥٠ נ
sixty 60 LX ٦٠ ס
ninety 90 XC ٩٠ צ
268
Greek alphabet letters
Upper Case Lower Case Greek Letter English Letter Name
Letter Letter Name Equivalent Pronounce
Α α Alpha a al-fa
Β β Beta b be-ta
Γ γ Gamma g ga-ma
Δ δ Delta d del-ta
Ε ε Epsilon e ep-si-lon
Ζ ζ Zeta z ze-ta
Η η Eta h eh-ta
Θ θ Theta th te-ta
Ι ι Iota i io-ta
Κ κ Kappa k ka-pa
Λ λ Lambda l lam-da
Μ μ Mu m m-yoo
Ν ν Nu n noo
Ξ ξ Xi x x-ee
Ο ο Omicron o o-mee-c-ron
Π π Pi p pa-yee
Ρ ρ Rho r row
Σ σ Sigma s sig-ma
Τ τ Tau t ta-oo
Υ υ Upsilon u oo-psi-lon
Φ φ Phi ph f-ee
Χ χ Chi ch kh-ee
269
Ψ ψ Psi ps p-see
Ω ω Omega o o-me-ga
Roman numerals
Number Roman numeral
0 not defined
1 I
2 II
3 III
4 IV
5 V
6 VI
7 VII
8 VIII
9 IX
10 X
11 XI
12 XII
13 XIII
14 XIV
15 XV
16 XVI
17 XVII
18 XVIII
19 XIX
20 XX
30 XXX
40 XL
50 L
60 LX
270
Number Roman numeral
70 LXX
80 LXXX
90 XC
100 C
200 CC
300 CCC
400 CD
500 D
600 DC
700 DCC
800 DCCC
900 CM
1000 M
5000 V
10000 X
50000 L
100000 C
500000 D
1000000 M
სიტუაციის გასარკვევად.
2. demand
We insist
that 𝒒 should be an integer.
suggest
propose
271
მოვითხოვთ
დაჟინებით მოვითხოვთ
ჩვენ რომ 𝒒 უნდა იყოს მთელი რიცხვი.
ვუშვებთ
გთავაზობთ
3. Our aim is to express this real relationship (to restrict, to show, to regard, to
prove, to extend).
5. If the domain is the set of integers, the ordinate set can include two
numbers -1 and +1.
6. To prove the theorem (prove that the following properties are true: This
theorem has just been proved).
9. We begin the analysis by defining this number (On (after) defining this
number we begin the analysis).
272
ჩვენ ვიწყებთ ანალიზს იმ რიცხვების განსაზღვრით (ამ რიცხვისგან
საზღვრით ჩვენ ვიწყებთ ანალიზს).
11. We noted the special relations in this product (It should be noted - უნდა
აღინიშნოს).
12. We must put this theory on an axiomatic basis (to put in - ჩართვა).
273
ეს არასწორი (სწორი) იქნება.
274
30. A set which contains no element is called an empty set.
31. The relation which is written as 𝒙 = 𝒚 means that 𝑿 and 𝒀 are the same.
32. This theory which is put on an axiomatic basis will be discussed next time.
34. We used to discuss all interesting problems at the lesson (to explain, to
repeat, to solve, to formulate).
275
თანადობა სიმრავლის ელემენტებს შორის.
ეს სხვაობა ნათელია.
276
Mathematical Terms and Definitions
277
algebraic function - ალგებრული ფუნქცია
278
24. change of variables - ცვლადთა გარდაქმნა
279
41. in this connection - ამასთან დაკავშირებით
280
54. decreasing function - კლებადი, ანუ არაზრდადი ფუნქცია
281
68. numerical differentiation - რიცხვითი გაწარმოება
282
81. duality theorem - ორადობის თეორემა
283
estimation of error - ცდომილების შეფასება
284
vector field - ვექტორული ველი
285
fractional derivative - წილადური წარმოებული
286
123. graph of an equation - განტოლების გრაფიკი
287
inconsistent axioms - არათავსებადი აქსიომები
288
intersection of sets - სიმრავლეთა გადაკვეთა
289
162. integral equation of the first kind - პირველი გვარის ინტეგრალური
განტოლება
290
let us consider - განვიხილოთ
291
in the main - ძირითადად, უმთავრესად
188. two and three make five - ორს მივუმატოთ სამი უდრის ხუთს
292
singular matrix - განსაკუთრებული მატრიცა
293
square measure - კვადრატული ზომა
294
once more - ერთხელკიდევ
295
non-discrete - არადისკრეტული
296
real number - ნამდვილი რიცხვი
297
235. to map a set onto another set - ერთი სიმრავლის მეორეზე გადასახვა
240. on the other hand -მეორე მხრივ; somehow or other - ასე თუ ისე
244. for the greater part, for the most part - უმეტესწილად, უმთავრესად
298
247. the straight line which passes through two given points - სწორი ხაზი,
რომელიც ორ მოცემულ წერტილზე გადის
299
point of view - თვალსაზრისი
300
268. principle of duality - ორადობის პრინციპი
301
in proportion to - შესაბამისად, პროპორციულად
302
284. random error - შემთხვევითი ცდომილება
303
293. connected region - ბმული არე
304
for the safe of simplicity - სიმარტივისთვის
305
312. convergent sequence - კრებადი მიმდევრობა
306
319. by the side - რაიმეს გვერდით, მახლობლად
307
333. in some way - გარკვეულად, რამდენადმე
308
stable point - მდგრადი წერტილი
309
infinite summation - უსასრულო შეჯამება
310
under test - გამოსაცდელი
that is - ესეიგი
370. a straight line passing through the point -წერტილზე გამავალი წრფე
311
total sum -საერთო ჯამი
312
386. undefined notion - განუსაზღვრელი ცნება
313
least upper bound -ზუსტი ზედა ზღვარი
314
free vector - თავისუფალი ვექტორი
315
411. well-ordered set - სავსებით დალაგებული სიმრავლე
316
VOCABULARY
FOR MATHEMATICS
-A-
abacus – საანგარიშო დაფა, აბაკი.
algebraic –ალგებრული.
alternative – ალტერნატივა, არჩევანი, ვარიანტი.
ambiguity – საეჭვოობა, გაურკვევლობა.
ambiguous – ორაზროვანი, ბუნდოვანი.
amendment – გასწორება, შესწორება, გაუმჯობესება.
317
analogous – ანალოგიური, მსგავსი.
analogy – ანალოგია, თანაგვარობა.
analysis – ანალიზი.
analytical – ანალიზური.
analytically – ანალიზურად.
anticipate (values) – მოსალოდნელი სიდიდეები – დაშვება, გათვალის-
წინება.
applicable – გამოყენებადი.
application – გამოყენება.
applied – გამოყენებითი.
apply – გამოყენება, ხმარება.
approximate – მიახლოება, დაახლოება, უახლოვდება.
approximately – დაახლოებით, მიახლოებით, თითქმის.
approximation – მიახლოება, აპროქსიმაცია.
arbitrarily – ნებისმიერად, რაგინდ.
arbitrary – ნებისმიერი.
area – ფართობი.
argue – დასაბუთება.
argument – დასაბუთება, მსჯელობა, არგუმენტი.
arithmetic – არითმეტიკა.
arithmetical – არითმეტიკული.
arrange – მოწესრიგება, დალაგება.
arrangement – განლაგება, წყობა, დალაგება, რიგი.
array – გარკვეული წესით განლაგება, ცხრილი, ტაბულა.
assert – მტკიცება.
318
assertion – მტკიცება, გამონათქვამი, განცხადება.
associate – დაკავშირება, შეერთება.
associated – თანმხლები, დაკავშირებული.
association – გაერთიანება, კავშირი.
associative –ასოციაციური, დაჯგუფებადი.
assume – დაშვება, მიღება, ვარაუდი.
-B-
319
binomial – ბინომიური, ორწევრული.
bisect – შუაზე გაყოფა.
bound – ზღვარი, საზღვარი.
boundary – საზღვარი, ზღვარი.
bracket – ფრჩხილი.
-C-
calculate – გამოანგარიშება.
calculating – გამოთვლითი, საანგარიშო.
calculation – გამოანგარიშება, გამოთვლა, აღრიცხვა.
calculator – გამომთვლელი მანქანა, მრიცხველი, მთვლელი.
calculus – აღრიცხვა.
categorical – უეჭველი მტკიცებულება, უსათუო მტკიცება.
category – კატეგორია, კლასი.
cause – მიზეზი, საბაბი.
classify – კლასიფიცირება.
320
close – ახლო, დაწვრილებითი, ზუსტი.
closed – ჩაკეტილი, შეკრული.
closeness – სიახლოვე, მჭიდროობა.
closure – ჩაკეტვა, დახურვა.
cluster – გროვა, კონა.
coefficient – კოეფიციენტი.
coincide – დამთხვევა.
coincidence – დამთხვევა, შეთავსება.
coincident – თანამთხვევადი.
column–სვეტი.
combination – შეერთება, კომბინაცია.
combine – კომბინირება, შეერთება, დაჯგუფება.
common – საერთო, ჩვეულებრივი, მარტივი.
commutative – კომუტატიური, გადანაცვლებადი.
compare – შედარება.
complement – დამატება.
complementary – დამატებითი.
complete – სრული, მთლიანი.
completely – სრულად, სავსებით, აბსოლუტურად.
321
computer – გამომთვლელი (ადამიანი, მანქანა).
computer – კომპიუტერი, მრიცხველი, გამოანგარიშება.
complicate – რთული, შედგენილი, გართულება.
complicated – გართულებული.
complication – გართულება.
concept – იდეა, აზრი, ცნება.
322
constructive – კონსტრუქციული.
contain – მოცვა, შეიცავს, დატევა.
containing – შეიცავს.
continuation – გაგრძელება.
continue – გაგრძელება, განგრძობა.
continued – განგრძობითი, უწყვეტი.
323
curved – მრუდე, გამრუდებული.
-D-
decimal – ათობითი.
decrease – შემცირება, კლება.
decreasing – კლებადი, არაზრდადი.
deduce – გამოყვანა, გამოტანა (დასკვნის) დასკვნა.
deduct – გამოკლება, შემცირება.
deduction – გამოკლება, გამოქვითვა, დასკვნა, დედუქცია.
denote – აღნიშვნა.
denumerable – თვლადი (თვლადი სიმრავლე).
depend – დამოკიდებულებაში ყოფნა, დამოკიდებულება.
dependence – დამოკიდებულება.
dependent – დამოკიდებული.
325
ლი.
distinction – განსხვავება, სხვაობა.
distinctive – განმასხვავებელი, დამახასიათებელი.
distinguish – განსხვავება, გარჩევა, გამორჩევა.
distinguished – განსაკუთრებული, განსხვავებული.
distribute – განაწილება, დანაწილება.
distribution – განაწილება.
distributive – დისტრიბუციული, განრიგებადობის.
divide – გაყოფა, დაყოფა.
divided – გაყოფილი, დაყოფილი.
division – გაყოფა, განცალკევება.
divisor – გამყოფი, დივიზორი.
domain – არე, სფერო.
double – ორმაგი, ორჯერადი, გაორებული, გაორკეცებული, წყვილი.
-E-
effect – ეფექტი, ზემოქმედება.
327
exact – ზუსტი, სწორი.
examine – გამოცდა, გამოკვლევა, გასინჯვა, განხილვა.
exclude – გამორიცხვა.
exist – არსებობა (არსებობს), ყოფნა.
existence – არსებობა.
expand – გაფართოება, გაშლა, გავრცობა, გადიდება.
-F-
fact – ფაქტი, სინამდვილე, მოვლენა.
factor – მამრავლი, კოეფიციენტი, ფაქტორი.
328
familiar – ნაცნობი.
family – ოჯახი, სიმრავლე, ერთობლიობა.
feature – თვისება, ნიშანი.
field – ველი, სხეული, არე.
figure – ციფრი, ფიგურა, ნაკვთი.
final – ბოლო, უკანასკნელი, საბოლოო, დასკვნითი, ფინალური.
-G-
general – ზოგადი, საერთო, გენერალური.
generality – ზოგადობა.
generalization – განზოგადება.
generalize – განზოგადება (განაზოგადებს).
329
generate – წარმოშობა, გაჩენა, გამოწვევა.
generating – წარმომშობი, მსახველი.
graph – დიაგრამა, გრაფიკი.
graphical – გრაფიკული, მხაზველობითი.
graphically – გრაფიკულად, თვალსაჩინოდ.
great – დიდი, მნიშვნელოვანი.
-H-
half – ნახევარი.
halved – შუაზე გაყოფა, განახევრება.
height – სიმაღლე.
hence – მაშასადამე, აქედან, ამიტომ.
high – მაღალი.
homogeneous – ერთგვაროვანი, ჰომოგენური.
however – რამენაირად.
hypergeometric – ჰიპერგეომეტრიული.
hypotenuse – ჰიპოთენუზა.
-I-
ideal – იდეალური.
identical – იდენტური, იგივური, ერთნაირი, ისეთივე.
identically – იგივურად.
330
illustrate – (მაგალითის საშუალებით) ახსნა, ილუსტრირება.
image – სახე, გამოსახულება, ანასახი.
imaginary – წარმოსახვითი.
imagine – წარმოსახვა, წარმოდგენა.
immediate – უშუალო, დაუყოვნებელი.
immediately – დაუყოვნებლივ, უშუალოდ.
indefinite – განუსაზღვრელი.
independence – დამოუკიდებლობა.
independent – დამოუკიდებელი.
index – ინდექსი, მაჩვენებელი.
indicate – აღნიშვნა, მითითება, ჩვენება.
induce – იძულება, გამოწვევა, ინდუცირება.
331
induction – ინდუქცია.
inductive – ინდუქციური.
inequality – უტოლობა.
inessential – არაარსებითი.
infer – დასკვნის გამოტანა, გულისხმობს.
infimum – ზუსტი, ქვედა ზღვარი, ინფიმუმი.
integral – ინტეგრალი.
integrate – ინტეგრირება.
integration – ინტეგრაცია, ინტეგრება.
intersecting – ჭრის, აჯვარედინებს, აჯვარებს, გადამკვეთი.
intersection – გადაკვეთა, გადაკვეთის ადგილი, თანამკვეთი,
ურთიერთქმედება.
332
interval – ინტერვალი, შუალედი.
introduction – შესავალი, წინასიტყვაობა.
intrude – ჩარევა, დარღვევა, შეჭრა.
intuition – ინტუიცია.
inverse – შებრუნებული, შექცეული.
involve – მოიცავს, შეიცავს, მდგომარეობს.
irrational – ირაციონალური.
irrelevant – უადგილო, შეუფერებელი.
-L-
law – კანონი, წესი, პრინციპი, ფორმულა, თეორემა.
lead (led, led) – წაყვანა, გაძღოლა, მართვა.
leap – მკვეთრიცვლილება, ნახტომი.
least- უმცირესი.
limit – ზღვარი, საზღვარი.
line – ხაზი, წირი.
333
lower – ქვედა, ქვემო.
lucid – ნათელი, გასაგები.
-M-
main – მთავარი, ძირითადი.
magnitude – სიდიდე, ზომები, მნიშვნელობა.
majorant – მაჟორანტი, მჭარბი.
majority – უმრავლესობა, უმეტესობა.
majorize – მაჟორირება, ზემოდანშეფასება.
majorized – მაჟორირებადი.
majorising – მაჟორანტული.
many – ბევრი, მრავალი.
many-valued –მრავალნიშნა, მრავალსახა.
map – ასახვა.
mapped – ასახული.
mapping – ასახვა (გადასახვა), ანასახი.
mathematical – მათემატიკური.
mathematician – მათემატიკოსი.
mathematics – მათემატიკა.
maximal – მაქსიმალური, უდიდესი.
maximum – მაქსიმუმი, უდიდესი მნიშვნელობა.
334
method – მეთოდი, წესი, ხერხი.
metric – მეტრიკული, მეტრული.
minimal – მინიმალური, უმცირესი.
minimum –მინიმუმი.
minor – მინორი, მცირე, უმნიშვნელო, მეორეხარისხოვანი.
minorant – მინორანტი.
-N-
natural – ბუნებრივი, ნატურალური.
nature – ბუნება, არსი, ხასიათი.
necessary – აუცილებელი.
-O-
object – საგანი, ობიექტი.
objective – საგნობრივი.
observe – დაკვირვება, შენიშვნა, აღნიშვნა.
obtain – მიღება, მიღწევა.
odd – კენტი.
one-one – ურთიერთმნიშვნელოვანი.
one-to-one – ურთიერთცალსახა.
on-valued – ცალსახა.
-P-
pair – წყვილი.
paired – დაწყვილებული, შეუღლებული.
parallel – პარალელური.
parameter – პარამეტრი.
partial – ნაწილობრივი, ნაწილობითი, კერძო.
parenthesis – მრგვალი, მცირე, უბრალოფრჩხილი.
particular – კერძო (ამონახსნი).
period – პერიოდი.
periodic – პერიოდული.
phase – ფრაზა, წინადადება, გამონათქვამი.
precisely – ზუსტად.
precision –სიზუსტე.
preclude – აღმოფხვრა, გადაკვეთა, გამორიცხვა, გაუქმება.
pre-image –წინასახე, ორიგინალი.
previous – წინა, წინასწარი, წინანდელი.
primitive – პრიმიტიული, საწყისი, პირველყოფილი.
problem – ამოცანა, პრობლემა, საკითხი.
produce –წარმოება (აწარმოებს), გამოშვება, შექმნა, გაგრძელება.
product –ნამრავლი.
proof – დამტკიცება, მტკიცება.
proper – საკუთარი, საკუთრივი, დამახასიათებელი, ნიშანდობლივი.
properly – საკუთრივ, სათანადოდ, მართებულად, სწორად, ჯეროვნად.
property – თვისება.
338
purely – წმინდად, სავსებით, სრულიად.
purport –შინაარსი, აზრი, მიზანი, გულისხმობს, ნიშნავს.
purpose – მიზანი, დანიშნულება.
puzzle – გამოცანა, თავსატეხი, პაზლი.
-Q-
q.e.d. = quodetardemonstrandum – რისი დამტკიცებაც გვინდოდა.
quadratic – კვადრატული.
qualify – განსაზღვრა, კვალიფიცირება.
qualitative – თვისებრივი, ხარისხობრივი.
qualitative – რაოდენობითი, ოდენობითი.
quantifier – კვანტორი.
quantitative – რაოდენობითი, ოდენობითი.
quantitatively – რაოდენობითად.
quantity – რაოდენობა, ოდენობა, სიდიდე.
quotient – განაყოფი, ფარდობა.
-R-
radius – რადიუსი.
range – არე, სფერო, დიაპაზონი, ინტერვალი, ამპლიტუდა.
rate – სისწრაფე, სიჩქარე, ტემპი, ნორმა, ხარისხი, კოეფიციენტი.
339
realize – განხორციელება, რეალიზება, გაგება, მიხვედრა.
reason – გონება, მიზეზი, საფუძველი, მოსაზრება.
reasonable – გონივრული, მისაღები.
rectangle – მართკუთხედი, სწორკუთხედი.
rectangular – მართკუთხა, სწორკუთხედი.
reduce – შემცირება, დაყვანა.
respectively – შესაბამისად.
respecting – მიმართ, შესახებ.
restrict – შეზღუდვა, შემოსაზღვრა.
restricted – შეზღუდული, შემოსაზღვრა.
restriction – შეზღუდვა, დავიწროება.
ring – რგოლი.
340
root – ფესვი, ძირი.
resolve – გადაწყვეტა, ამოხსნა, გადაჭრა.
respect – კავშირი, დამოკიდებულება, მიმართება.
restrict – შეზღუდვა, შემოსაზღვრა.
result – შედეგი, რეზულტატი.
revise – შესწორება.
- S-
satisfy – დაკმაყოფილება, შესრულება.
section – კვეთი, ჭრილი, პროფილი.
select – არჩევა, შერჩევა, ამორჩევა.
separate – განცალკევება, გამოყოფა, დაცილება.
sequence – მიმდევრობა, რიგი.
set (set, set) – დასმა, დადგმა, დადება, მოთავსება, დაშვება.
simultaneously – ერთდროულად.
341
single – ერთი, ერთადერთი, ერთეული, ცალკეული.
single-valued – ცალსახა (ფუნქცია).
singular – განსაკუთრებული, სინგულარული.
singularity –განსაკუთრებულობა, თავისებურება.
slope – დახრილობა, დაქანება.
solution – ამოხსნა, ამონახსნი, გადაწყვეტა, გადაჭრა.
342
supply – მომარაგება, მიწოდება, კვება.
suppose – ვარუდი, დაშვება.
supposition – ვარუდი, დაშვება.
supremum – ზედასაზღვარი.
subjection – დაქვემდებარებარამეზე.
subjective – სუბიექტური.
-T-
tamper – გაყალბება, მანიპულირება.
technique – ტექნიკა, მეთოდი, ხერხი, მეთოდიკა.
tend – მისწრაფება, სწრაფვა.
term – წევრი.
test – გამოცდა.
testing – გამოცდა, შემოწმება.
theorem – თეორემა, დებულება.
theory – თეორია.
transcendence – ტრანსცენდენტულობა.
transcendental – ტრანსცენდენტული.
true – ნამდვილი, ჭეშმარიტი, სწორი, ზუსტი, სამართლიანი.
343
type – ტიპი, კლასი.
typical – ტიპობრივი, ტიპური, დამახასიათებელი.
-U-
unambiguous – არაორაზროვანი.
unbounded – შემოუსაზღვრელი.
undefined – განუსაზღვრელი.
uniform – თანაბარი, ერთგვაროვანი.
uniformly – თანაბრად, ერთგვაროვნად.
-V-
valid – სწორი, სამართლიანი, ძალაშიმყოფი, მართებული.
validity – სამართლიანობა, მართებულობა.
value – მნიშვნელობა, სიდიდე.
variable – ცვალებადი, ცვლადი.
various – განსხვავებული, სხვადასხვაგვარი.
344
vertical – ვერტიკალური, შვეული.
viceversa – პირიქით.
volume – მოცულობა, მასა.
vulgar – მარტივი (წილადი).
-W-
way – გზა, აშუალება, წესი, ხერხი, მეთოდი.
weak – სუსტი.
well-ordered –სავსებითდალაგებული(set–სიმრავლე).
whatever – რაცკი, როგორცკი, ნებისმიერი.
whence – საიდან, საიდანაც.
whenever – ყოველთვის, როცა, როდესაცკი.
whereas – მაშინ, როდესაც, რამდენადაც, ვინაიდან.
whether – თუ.
whichever – რომელიცარ, ნებისმიერი.
345
-Y-
yew – სვლა (angle – სვლის კუთხე).
- Z-
zero – ნული.
zero – dimensional – ნულზომისა(set – ნულზომის).
zeta – ძეტა (function – ძეტა ფუნქცია).
zone – ზონა, ზოლი, სარტყელი.
346
List of Sourses
1. http://en.wikipedia.org
2. http://www.rapidtables.com/math
3. www.Chestofbooks.com
4. http://history.mcs.standac.uk/history
5. www.rmi.tsu.ge
6. http://genling.ru/books/item/f00/s00/z0000007/st002.shtml
7. http://mathopenref.com
8. https://www.britannica.com/
9. https://www.nobelprize.org/prizes/physics
10. http://www.thefamouspeople.com
11. Tsiala Maisuradze-Vakhania, Mathematics and Mahematicians. Tbilisi.
2016, publishing house “Mtsiknobari”, pp.207
12. V.A. Khodurskaya, English for students of Mathematics,
Moscow,“Visshaya shkola” Edu., pp.175.
347
„Mathematics is man’s supreme intellectual
achievement and the most original creation of the human
spirit: music may rouse or pacify the soul, painting may
delight the eye, poetry may stir the emotions, philosophy
may satisfy the mind and engineering may improve the
material life of man. But mathematics offer all these
values”- Morris Kline.
348