1.
Papyrus Oxyrhynchus 29
–
Papyrus Oxyrhynchus 29 is a fragment of the second book of the Elements of Euclid in Greek. It was discovered by Grenfell and Hunt in 1897 in Oxyrhynchus, the fragment was originally dated to the end of the third century or the beginning of the fourth century, although more recent scholarship suggests a date of 75–125 CE. It is housed in the library of the University of Pennsylvania, the text was published by Grenfell and Hunt in 1898. The manuscript was written on papyrus in sloping irregular uncial letters, with no iota adscript, the fragment measures 85 by 152 mm. The fragment provides a statement of the 5th proposition of Book 2 of the Elements, together with a diagram. No part of the proof is provided, Oxyrhynchus Papyri Papyrus Oxyrhynchus 28 Papyrus Oxyrhynchus 30 This article incorporates text from a publication now in the public domain, B. P. Grenfell, A. S. Hunt
2.
Mathematics
–
Mathematics is the study of topics such as quantity, structure, space, and change. There is a range of views among mathematicians and philosophers as to the exact scope, Mathematicians seek out patterns and use them to formulate new conjectures. Mathematicians resolve the truth or falsity of conjectures by mathematical proof, when mathematical structures are good models of real phenomena, then mathematical reasoning can provide insight or predictions about nature. Through the use of abstraction and logic, mathematics developed from counting, calculation, measurement, practical mathematics has been a human activity from as far back as written records exist. The research required to solve mathematical problems can take years or even centuries of sustained inquiry, rigorous arguments first appeared in Greek mathematics, most notably in Euclids Elements. Galileo Galilei said, The universe cannot be read until we have learned the language and it is written in mathematical language, and the letters are triangles, circles and other geometrical figures, without which means it is humanly impossible to comprehend a single word. Without these, one is wandering about in a dark labyrinth, carl Friedrich Gauss referred to mathematics as the Queen of the Sciences. Benjamin Peirce called mathematics the science that draws necessary conclusions, David Hilbert said of mathematics, We are not speaking here of arbitrariness in any sense. Mathematics is not like a game whose tasks are determined by arbitrarily stipulated rules, rather, it is a conceptual system possessing internal necessity that can only be so and by no means otherwise. Albert Einstein stated that as far as the laws of mathematics refer to reality, they are not certain, Mathematics is essential in many fields, including natural science, engineering, medicine, finance and the social sciences. Applied mathematics has led to entirely new mathematical disciplines, such as statistics, Mathematicians also engage in pure mathematics, or mathematics for its own sake, without having any application in mind. There is no clear line separating pure and applied mathematics, the history of mathematics can be seen as an ever-increasing series of abstractions. The earliest uses of mathematics were in trading, land measurement, painting and weaving patterns, in Babylonian mathematics elementary arithmetic first appears in the archaeological record. Numeracy pre-dated writing and numeral systems have many and diverse. Between 600 and 300 BC the Ancient Greeks began a study of mathematics in its own right with Greek mathematics. Mathematics has since been extended, and there has been a fruitful interaction between mathematics and science, to the benefit of both. Mathematical discoveries continue to be made today, the overwhelming majority of works in this ocean contain new mathematical theorems and their proofs. The word máthēma is derived from μανθάνω, while the modern Greek equivalent is μαθαίνω, in Greece, the word for mathematics came to have the narrower and more technical meaning mathematical study even in Classical times
3.
Theorem
–
In mathematics, a theorem is a statement that has been proved on the basis of previously established statements, such as other theorems, and generally accepted statements, such as axioms. A theorem is a consequence of the axioms. The proof of a theorem is a logical argument for the theorem statement given in accord with the rules of a deductive system. The proof of a theorem is interpreted as justification of the truth of the theorem statement. In light of the requirement that theorems be proved, the concept of a theorem is fundamentally deductive, in contrast to the notion of a scientific law, many mathematical theorems are conditional statements. In this case, the proof deduces the conclusion from conditions called hypotheses or premises, however, the conditional could be interpreted differently in certain deductive systems, depending on the meanings assigned to the derivation rules and the conditional symbol. Although they can be written in a symbolic form, for example, within the propositional calculus. In some cases, a picture alone may be sufficient to prove a theorem, because theorems lie at the core of mathematics, they are also central to its aesthetics. Theorems are often described as being trivial, or difficult, or deep and these subjective judgments vary not only from person to person, but also with time, for example, as a proof is simplified or better understood, a theorem that was once difficult may become trivial. On the other hand, a theorem may be simply stated. Fermats Last Theorem is a particularly well-known example of such a theorem, logically, many theorems are of the form of an indicative conditional, if A, then B. Such a theorem does not assert B, only that B is a consequence of A. In this case A is called the hypothesis of the theorem and B the conclusion. The theorem If n is an natural number then n/2 is a natural number is a typical example in which the hypothesis is n is an even natural number. To be proved, a theorem must be expressible as a precise, nevertheless, theorems are usually expressed in natural language rather than in a completely symbolic form, with the intention that the reader can produce a formal statement from the informal one. It is common in mathematics to choose a number of hypotheses within a given language and these hypotheses form the foundational basis of the theory and are called axioms or postulates. The field of known as proof theory studies formal languages, axioms. Some theorems are trivial, in the sense that they follow from definitions, axioms, a theorem might be simple to state and yet be deep
4.
Conjecture
–
In mathematics, a conjecture is a conclusion or proposition based on incomplete information, for which no proof has been found. Conjectures such as the Riemann hypothesis or Fermats Last Theorem have shaped much of history as new areas of mathematics are developed in order to prove them. In number theory, Fermats Last Theorem states that no three positive integers a, b, and c can satisfy the equation an + bn = cn for any value of n greater than two. This theorem was first conjectured by Pierre de Fermat in 1637 in the margin of a copy of Arithmetica where he claimed he had a proof that was too large to fit in the margin. The first successful proof was released in 1994 by Andrew Wiles, the unsolved problem stimulated the development of algebraic number theory in the 19th century and the proof of the modularity theorem in the 20th century. It is among the most notable theorems in the history of mathematics, two regions are called adjacent if they share a common boundary that is not a corner, where corners are the points shared by three or more regions. For example, in the map of the United States of America, Utah and Arizona are adjacent, but Utah and New Mexico, möbius mentioned the problem in his lectures as early as 1840. The conjecture was first proposed on October 23,1852 when Francis Guthrie, while trying to color the map of counties of England, a number of false proofs and false counterexamples have appeared since the first statement of the four color theorem in 1852. The four color theorem was proven in 1976 by Kenneth Appel and it was the first major theorem to be proved using a computer. Appel and Hakens approach started by showing that there is a set of 1,936 maps. Appel and Haken used a computer program to confirm that each of these maps had this property. Additionally, any map that could potentially be a counterexample must have a portion that looks like one of these 1,936 maps, showing this required hundreds of pages of hand analysis. Appel and Haken concluded that no smallest counterexamples exists because any must contain, yet do not contain and this contradiction means there are no counterexamples at all and that the theorem is therefore true. Initially, their proof was not accepted by all mathematicians because the proof was infeasible for a human to check by hand. Since then the proof has gained acceptance, although doubts remain. The Hauptvermutung of geometric topology is the conjecture that any two triangulations of a triangulable space have a refinement, a single triangulation that is a subdivision of both of them. It was originally formulated in 1908, by Steinitz and Tietze and this conjecture is now known to be false. The non-manifold version was disproved by John Milnor in 1961 using Reidemeister torsion, the manifold version is true in dimensions m ≤3
5.
Logic
–
Logic, originally meaning the word or what is spoken, is generally held to consist of the systematic study of the form of arguments. A valid argument is one where there is a relation of logical support between the assumptions of the argument and its conclusion. Historically, logic has been studied in philosophy and mathematics, and recently logic has been studied in science, linguistics, psychology. The concept of form is central to logic. The validity of an argument is determined by its logical form, traditional Aristotelian syllogistic logic and modern symbolic logic are examples of formal logic. Informal logic is the study of natural language arguments, the study of fallacies is an important branch of informal logic. Since much informal argument is not strictly speaking deductive, on some conceptions of logic, formal logic is the study of inference with purely formal content. An inference possesses a purely formal content if it can be expressed as an application of a wholly abstract rule, that is. The works of Aristotle contain the earliest known study of logic. Modern formal logic follows and expands on Aristotle, in many definitions of logic, logical inference and inference with purely formal content are the same. This does not render the notion of informal logic vacuous, because no formal logic captures all of the nuances of natural language, Symbolic logic is the study of symbolic abstractions that capture the formal features of logical inference. Symbolic logic is divided into two main branches, propositional logic and predicate logic. Mathematical logic is an extension of logic into other areas, in particular to the study of model theory, proof theory, set theory. Logic is generally considered formal when it analyzes and represents the form of any valid argument type, the form of an argument is displayed by representing its sentences in the formal grammar and symbolism of a logical language to make its content usable in formal inference. Simply put, formalising simply means translating English sentences into the language of logic and this is called showing the logical form of the argument. It is necessary because indicative sentences of ordinary language show a variety of form. Second, certain parts of the sentence must be replaced with schematic letters, thus, for example, the expression all Ps are Qs shows the logical form common to the sentences all men are mortals, all cats are carnivores, all Greeks are philosophers, and so on. The schema can further be condensed into the formula A, where the letter A indicates the judgement all - are -, the importance of form was recognised from ancient times
6.
Formal proof
–
A formal proof or derivation is a finite sequence of sentences, each of which is an axiom, an assumption, or follows from the preceding sentences in the sequence by a rule of inference. The last sentence in the sequence is a theorem of a formal system, the notion of theorem is not in general effective, therefore there may be no method by which we can always find a proof of a given sentence or determine that none exists. The concept of natural deduction is a generalization of the concept of proof, the theorem is a syntactic consequence of all the well-formed formulas preceding it in the proof. Formal proofs often are constructed with the help of computers in interactive theorem proving, significantly, these proofs can be checked automatically, also by computer. Checking formal proofs is usually simple, while the problem of finding proofs is usually computationally intractable and/or only semi-decidable, a formal language is a set of finite sequences of symbols. Such a language can be defined without reference to any meanings of any of its expressions, it can exist before any interpretation is assigned to it – that is, Formal proofs are expressed in some formal language. A formal grammar is a description of the well-formed formulas of a formal language. It is synonymous with the set of strings over the alphabet of the language which constitute well formed formulas. However, it does not describe their semantics, a formal system consists of a formal language together with a deductive apparatus. The deductive apparatus may consist of a set of rules or a set of axioms. A formal system is used to derive one expression from one or more other expressions, an interpretation of a formal system is the assignment of meanings to the symbols, and values to the sentences of a formal system. The study of interpretations is called formal semantics, giving an interpretation is synonymous with constructing a model. Proof Mathematical proof Proof theory Axiomatic system A Special Issue on Formal Proof, notices of the American Mathematical Society. 2πix. com, Logic Part of a series of articles covering mathematics and logic
7.
Philosophy of mathematics
–
The philosophy of mathematics is the branch of philosophy that studies the philosophical assumptions, foundations, and implications of mathematics. The aim of the philosophy of mathematics is to provide an account of the nature and methodology of mathematics, the logical and structural nature of mathematics itself makes this study both broad and unique among its philosophical counterparts. The terms philosophy of mathematics and mathematical philosophy are frequently used interchangeably, the latter, however, may be used to refer to several other areas of study. Another refers to the philosophy of an individual practitioner or a like-minded community of practicing mathematicians. Recurrent themes include, What is the role of Mankind in developing mathematics, what are the sources of mathematical subject matter. What is the status of mathematical entities. What does it mean to refer to a mathematical object, what is the character of a mathematical proposition. What is the relation between logic and mathematics, what is the role of hermeneutics in mathematics. What kinds of play a role in mathematics. What are the objectives of mathematical inquiry, what gives mathematics its hold on experience. What are the human traits behind mathematics, what is the source and nature of mathematical truth. What is the relationship between the world of mathematics and the material universe. The origin of mathematics is subject to argument, whether the birth of mathematics was a random happening or induced by necessity duly contingent upon other subjects, say for example physics, is still a matter of prolific debates. Many thinkers have contributed their ideas concerning the nature of mathematics, there are traditions of mathematical philosophy in both Western philosophy and Eastern philosophy. Greek philosophy on mathematics was strongly influenced by their study of geometry, for example, at one time, the Greeks held the opinion that 1 was not a number, but rather a unit of arbitrary length. A number was defined as a multitude, therefore,3, for example, represented a certain multitude of units, and was thus not truly a number. At another point, an argument was made that 2 was not a number. These earlier Greek ideas of numbers were later upended by the discovery of the irrationality of the root of two
8.
History of logic
–
The history of logic deals with the study of the development of the science of valid inference. Formal logics developed in ancient times in China, India, Greek methods, particularly Aristotelian logic as found in the Organon, found wide application and acceptance in Western science and mathematics for millennia. The Stoics, especially Chrysippus, began the development of predicate logic, christian and Islamic philosophers such as Boethius and William of Ockham further developed Aristotles logic in the Middle Ages, reaching a high point in the mid-fourteenth century. The period between the fourteenth century and the beginning of the century saw largely decline and neglect. Empirical methods ruled the day, as evidenced by Sir Francis Bacons Novum Organon of 1620, valid reasoning has been employed in all periods of human history. However, logic studies the principles of reasoning, inference. It is probable that the idea of demonstrating a conclusion first arose in connection with geometry, the ancient Egyptians discovered geometry, including the formula for the volume of a truncated pyramid. Ancient Babylon was also skilled in mathematics, while the ancient Egyptians empirically discovered some truths of geometry, the great achievement of the ancient Greeks was to replace empirical methods by demonstrative proof. Both Thales and Pythagoras of the Pre-Socratic philosophers seem aware of geometrys methods, fragments of early proofs are preserved in the works of Plato and Aristotle, and the idea of a deductive system was probably known in the Pythagorean school and the Platonic Academy. The proofs of Euclid of Alexandria are a paradigm of Greek geometry, the three basic principles of geometry are as follows, Certain propositions must be accepted as true without demonstration, such a proposition is known as an axiom of geometry. Every proposition that is not an axiom of geometry must be demonstrated as following from the axioms of geometry, the proof must be formal, that is, the derivation of the proposition must be independent of the particular subject matter in question. Further evidence that early Greek thinkers were concerned with the principles of reasoning is found in the fragment called dissoi logoi and this is part of a protracted debate about truth and falsity. Thales was said to have had a sacrifice in celebration of discovering Thales Theorem just as Pythagoras had the Pythagorean Theorem, Indian and Babylonian mathematicians knew his theorem for special cases before he proved it. It is believed that Thales learned that an angle inscribed in a semicircle is a right angle during his travels to Babylon, before 520 BC, on one of his visits to Egypt or Greece, Pythagoras might have met the c.54 years older Thales. The systematic study of proof seems to have begun with the school of Pythagoras in the sixth century BC. Indeed, the Pythagoreans, believing all was number, are the first philosophers to emphasize rather than matter. He is known for his obscure sayings and this logos holds always but humans always prove unable to understand it, both before hearing it and when they have first heard it. But other people fail to notice what they do when awake, in contrast to Heraclitus, Parmenides held that all is one and nothing changes
9.
Geometry
–
Geometry is a branch of mathematics concerned with questions of shape, size, relative position of figures, and the properties of space. A mathematician who works in the field of geometry is called a geometer, Geometry arose independently in a number of early cultures as a practical way for dealing with lengths, areas, and volumes. Geometry began to see elements of mathematical science emerging in the West as early as the 6th century BC. By the 3rd century BC, geometry was put into a form by Euclid, whose treatment, Euclids Elements. Geometry arose independently in India, with texts providing rules for geometric constructions appearing as early as the 3rd century BC, islamic scientists preserved Greek ideas and expanded on them during the Middle Ages. By the early 17th century, geometry had been put on a solid footing by mathematicians such as René Descartes. Since then, and into modern times, geometry has expanded into non-Euclidean geometry and manifolds, while geometry has evolved significantly throughout the years, there are some general concepts that are more or less fundamental to geometry. These include the concepts of points, lines, planes, surfaces, angles, contemporary geometry has many subfields, Euclidean geometry is geometry in its classical sense. The mandatory educational curriculum of the majority of nations includes the study of points, lines, planes, angles, triangles, congruence, similarity, solid figures, circles, Euclidean geometry also has applications in computer science, crystallography, and various branches of modern mathematics. Differential geometry uses techniques of calculus and linear algebra to problems in geometry. It has applications in physics, including in general relativity, topology is the field concerned with the properties of geometric objects that are unchanged by continuous mappings. In practice, this often means dealing with large-scale properties of spaces, convex geometry investigates convex shapes in the Euclidean space and its more abstract analogues, often using techniques of real analysis. It has close connections to convex analysis, optimization and functional analysis, algebraic geometry studies geometry through the use of multivariate polynomials and other algebraic techniques. It has applications in areas, including cryptography and string theory. Discrete geometry is concerned mainly with questions of relative position of simple objects, such as points. It shares many methods and principles with combinatorics, Geometry has applications to many fields, including art, architecture, physics, as well as to other branches of mathematics. The earliest recorded beginnings of geometry can be traced to ancient Mesopotamia, the earliest known texts on geometry are the Egyptian Rhind Papyrus and Moscow Papyrus, the Babylonian clay tablets such as Plimpton 322. For example, the Moscow Papyrus gives a formula for calculating the volume of a truncated pyramid, later clay tablets demonstrate that Babylonian astronomers implemented trapezoid procedures for computing Jupiters position and motion within time-velocity space
10.
Greek mathematics
–
Greek mathematics, as the term is used in this article, is the mathematics written in Greek, developed from the 7th century BC to the 4th century AD around the shores of the Eastern Mediterranean. Greek mathematicians lived in cities spread over the entire Eastern Mediterranean from Italy to North Africa but were united by culture, Greek mathematics of the period following Alexander the Great is sometimes called Hellenistic mathematics. The word mathematics itself derives from the ancient Greek μάθημα, meaning subject of instruction, the study of mathematics for its own sake and the use of generalized mathematical theories and proofs is the key difference between Greek mathematics and those of preceding civilizations. The origin of Greek mathematics is not well documented, the earliest advanced civilizations in Greece and in Europe were the Minoan and later Mycenaean civilization, both of which flourished during the 2nd millennium BC. While these civilizations possessed writing and were capable of advanced engineering, including four-story palaces with drainage and beehive tombs, though no direct evidence is available, it is generally thought that the neighboring Babylonian and Egyptian civilizations had an influence on the younger Greek tradition. Historians traditionally place the beginning of Greek mathematics proper to the age of Thales of Miletus. Little is known about the life and work of Thales, so little indeed that his date of birth and death are estimated from the eclipse of 585 BC, despite this, it is generally agreed that Thales is the first of the seven wise men of Greece. The two earliest mathematical theorems, Thales theorem and Intercept theorem are attributed to Thales. The former, which states that an angle inscribed in a semicircle is a right angle and it is for this reason that Thales is often hailed as the father of the deductive organization of mathematics and as the first true mathematician. Thales is also thought to be the earliest known man in history to whom specific mathematical discoveries have been attributed, another important figure in the development of Greek mathematics is Pythagoras of Samos. Like Thales, Pythagoras also traveled to Egypt and Babylon, then under the rule of Nebuchadnezzar, Pythagoras established an order called the Pythagoreans, which held knowledge and property in common and hence all of the discoveries by individual Pythagoreans were attributed to the order. And since in antiquity it was customary to give all credit to the master, aristotle for one refused to attribute anything specifically to Pythagoras as an individual and only discussed the work of the Pythagoreans as a group. One of the most important characteristics of the Pythagorean order was that it maintained that the pursuit of philosophical and mathematical studies was a basis for the conduct of life. Indeed, the philosophy and mathematics are said to have been coined by Pythagoras. From this love of knowledge came many achievements and it has been customarily said that the Pythagoreans discovered most of the material in the first two books of Euclids Elements. The reason it is not clear exactly what either Thales or Pythagoras actually did is that almost no documentation has survived. The only evidence comes from traditions recorded in such as Proclus’ commentary on Euclid written centuries later. Some of these works, such as Aristotle’s commentary on the Pythagoreans, are themselves only known from a few surviving fragments
11.
Thales of Miletus
–
Thales of Miletus was a pre-Socratic Greek/Phoenician philosopher, mathematician and astronomer from Miletus in Asia Minor. He was one of the Seven Sages of Greece, Thales is recognized for breaking from the use of mythology to explain the world and the universe, and instead explaining natural objects and phenomena by theories and hypothesis, i. e. science. Aristotle reported Thales hypothesis that the principle of nature and the nature of matter was a single material substance. In mathematics, Thales used geometry to calculate the heights of pyramids and he is the first known individual to use deductive reasoning applied to geometry, by deriving four corollaries to Thales theorem. He is the first known individual to whom a mathematical discovery has been attributed, the ancient source, Apollodorus of Athens, writing during the 2nd century BCE, thought Thales was born about the year 625 BCE. The dates of Thales life are not exactly known, but are roughly established by a few events mentioned in the sources. According to Herodotus Thales predicted the eclipse of May 28,585 BC. Diogenes Laërtius quotes the chronicle of Apollodorus of Athens as saying that Thales died at the age of 78 during the 58th Olympiad and attributes his death to heat stroke while watching the games. Plutarch had earlier told this version, Solon visited Thales and asked him why he remained single, nevertheless, several years later, anxious for family, he adopted his nephew Cybisthus. Thales involved himself in many activities, taking the role of an innovator, some say that he left no writings, others say that he wrote On the Solstice and On the Equinox. Diogenes Laërtius quotes two letters from Thales, one to Pherecydes of Syros, offering to review his book on religion, Thales identifies the Milesians as Athenian colonists. He was aware of the existence of the lodestone, and was the first to be connected to knowledge of this in history, according to Aristotle, Thales thought lodestones had souls, because iron is attracted to them. According to Hieronymus, historically quoted by Diogenes Laertius, Thales found the height of pyramids by comparison between the lengths of the shadows cast by a person and by the pyramids, several anecdotes suggest Thales was not just a philosopher, but also a businessman. A story, with different versions, recounts how Thales achieved riches from an olive harvest by prediction of the weather, in one version, he bought all the olive presses in Miletus after predicting the weather and a good harvest for a particular year. Thales’ political life had mainly to do with the involvement of the Ionians in the defense of Anatolia against the power of the Persians. In neighbouring Lydia, a king had come to power, Croesus and he had conquered most of the states of coastal Anatolia, including the cities of the Ionians. The story is told in Herodotus, the war endured for five years, but in the sixth an eclipse of the Sun spontaneously halted a battle in progress. It seems that Thales had predicted this solar eclipse, the Seven Sages were most likely already in existence, as Croesus was also heavily influenced by Solon of Athens, another sage
12.
Hippocrates of Chios
–
Hippocrates of Chios was an ancient Greek mathematician, geometer, and astronomer, who lived c.470 – c.410 BCE. He was born on the isle of Chios, where he originally was a merchant, after some misadventures he went to Athens, possibly for litigation. There he grew into a leading mathematician, on Chios, Hippocrates may have been a pupil of the mathematician and astronomer Oenopides of Chios. The reductio ad absurdum argument has been traced to him, only a single, and famous, fragment of Hippocrates Elements is existent, embedded in the work of Simplicius. In this fragment the area is calculated of some so-called Hippocratic lunes — see Lune of Hippocrates. This was part of a programme to achieve the quadrature of the circle. The strategy apparently was to divide a circle into a number of crescent-shaped parts, if it were possible to calculate the area of each of those parts, then the area of the circle as a whole would be known too. Only much later was it proven that this approach had no chance of success, the number π is the ratio of the circumference to the diameter of a circle, and also the ratio of the area to the square of the radius. In the century after Hippocrates at least four other mathematicians wrote their own Elements, steadily improving terminology, in this way Hippocrates pioneering work laid the foundation for Euclids Elements that was to remain the standard geometry textbook for many centuries. Hippocrates is believed to have originated the use of letters to refer to the points and figures in a proposition, e. g. triangle ABC for a triangle with vertices at points A, B. Two other contributions by Hippocrates in the field of mathematics are noteworthy and he found a way to tackle the problem of duplication of the cube, that is, the problem of how to construct a cube root. Like the quadrature of the circle this was another of the three great mathematical problems of Antiquity. Hippocrates also invented the technique of reduction, that is, to transform specific mathematical problems into a general problem that is more easy to solve. The solution to the general problem then automatically gives a solution to the original problem. In the field of astronomy Hippocrates tried to explain the phenomena of comets, ivor Bulmer-Thomas, Hippocrates of Chios, in, Dictionary of Scientific Biography, Charles Coulston Gillispie, ed. pp. 410–418. Björnbo, Hippokrates, in, Paulys Realencyclopädie der Classischen Altertumswissenschaft, G. Wissowa, oConnor, John J. Robertson, Edmund F. Hippocrates of Chios, MacTutor History of Mathematics archive, University of St Andrews. The Quadrature of the Circle and Hippocrates Lunes at Convergence
13.
Aristotle
–
Aristotle was an ancient Greek philosopher and scientist born in the city of Stagira, Chalkidice, on the northern periphery of Classical Greece. His father, Nicomachus, died when Aristotle was a child, at seventeen or eighteen years of age, he joined Platos Academy in Athens and remained there until the age of thirty-seven. Shortly after Plato died, Aristotle left Athens and, at the request of Philip II of Macedon, teaching Alexander the Great gave Aristotle many opportunities and an abundance of supplies. He established a library in the Lyceum which aided in the production of many of his hundreds of books and he believed all peoples concepts and all of their knowledge was ultimately based on perception. Aristotles views on natural sciences represent the groundwork underlying many of his works, Aristotles views on physical science profoundly shaped medieval scholarship. Their influence extended from Late Antiquity and the Early Middle Ages into the Renaissance, some of Aristotles zoological observations, such as on the hectocotyl arm of the octopus, were not confirmed or refuted until the 19th century. His works contain the earliest known study of logic, which was incorporated in the late 19th century into modern formal logic. Aristotle was well known among medieval Muslim intellectuals and revered as The First Teacher and his ethics, though always influential, gained renewed interest with the modern advent of virtue ethics. All aspects of Aristotles philosophy continue to be the object of academic study today. Though Aristotle wrote many elegant treatises and dialogues – Cicero described his style as a river of gold – it is thought that only around a third of his original output has survived. Aristotle, whose means the best purpose, was born in 384 BC in Stagira, Chalcidice. His father Nicomachus was the physician to King Amyntas of Macedon. Aristotle was orphaned at a young age, although there is little information on Aristotles childhood, he probably spent some time within the Macedonian palace, making his first connections with the Macedonian monarchy. At the age of seventeen or eighteen, Aristotle moved to Athens to continue his education at Platos Academy and he remained there for nearly twenty years before leaving Athens in 348/47 BC. Aristotle then accompanied Xenocrates to the court of his friend Hermias of Atarneus in Asia Minor, there, he traveled with Theophrastus to the island of Lesbos, where together they researched the botany and zoology of the island. Aristotle married Pythias, either Hermiass adoptive daughter or niece and she bore him a daughter, whom they also named Pythias. Soon after Hermias death, Aristotle was invited by Philip II of Macedon to become the tutor to his son Alexander in 343 BC, Aristotle was appointed as the head of the royal academy of Macedon. During that time he gave not only to Alexander
14.
Euclid
–
Euclid, sometimes called Euclid of Alexandria to distinguish him from Euclides of Megara, was a Greek mathematician, often referred to as the father of geometry. He was active in Alexandria during the reign of Ptolemy I, in the Elements, Euclid deduced the principles of what is now called Euclidean geometry from a small set of axioms. Euclid also wrote works on perspective, conic sections, spherical geometry, number theory, Euclid is the anglicized version of the Greek name Εὐκλείδης, which means renowned, glorious. Very few original references to Euclid survive, so little is known about his life, the date, place and circumstances of both his birth and death are unknown and may only be estimated roughly relative to other people mentioned with him. He is rarely mentioned by name by other Greek mathematicians from Archimedes onward, the few historical references to Euclid were written centuries after he lived by Proclus c.450 AD and Pappus of Alexandria c.320 AD. Proclus introduces Euclid only briefly in his Commentary on the Elements, Proclus later retells a story that, when Ptolemy I asked if there was a shorter path to learning geometry than Euclids Elements, Euclid replied there is no royal road to geometry. This anecdote is questionable since it is similar to a story told about Menaechmus, a detailed biography of Euclid is given by Arabian authors, mentioning, for example, a birth town of Tyre. This biography is generally believed to be completely fictitious, however, this hypothesis is not well accepted by scholars and there is little evidence in its favor. The only reference that historians rely on of Euclid having written the Elements was from Proclus, although best known for its geometric results, the Elements also includes number theory. The geometrical system described in the Elements was long known simply as geometry, today, however, that system is often referred to as Euclidean geometry to distinguish it from other so-called non-Euclidean geometries that mathematicians discovered in the 19th century. In addition to the Elements, at least five works of Euclid have survived to the present day and they follow the same logical structure as Elements, with definitions and proved propositions. Data deals with the nature and implications of information in geometrical problems. On Divisions of Figures, which only partially in Arabic translation. It is similar to a first-century AD work by Heron of Alexandria, catoptrics, which concerns the mathematical theory of mirrors, particularly the images formed in plane and spherical concave mirrors. The attribution is held to be anachronistic however by J J OConnor, phaenomena, a treatise on spherical astronomy, survives in Greek, it is quite similar to On the Moving Sphere by Autolycus of Pitane, who flourished around 310 BC. Optics is the earliest surviving Greek treatise on perspective, in its definitions Euclid follows the Platonic tradition that vision is caused by discrete rays which emanate from the eye. One important definition is the fourth, Things seen under a greater angle appear greater, proposition 45 is interesting, proving that for any two unequal magnitudes, there is a point from which the two appear equal. Other works are attributed to Euclid, but have been lost
15.
Euclid's Elements
–
Euclids Elements is a mathematical and geometric treatise consisting of 13 books attributed to the ancient Greek mathematician Euclid in Alexandria, Ptolemaic Egypt circa 300 BC. It is a collection of definitions, postulates, propositions, the books cover Euclidean geometry and the ancient Greek version of elementary number theory. Elements is the second-oldest extant Greek mathematical treatise after Autolycus On the Moving Sphere and it has proven instrumental in the development of logic and modern science. According to Proclus, the element was used to describe a theorem that is all-pervading. The word element in the Greek language is the same as letter and this suggests that theorems in the Elements should be seen as standing in the same relation to geometry as letters to language. Euclids Elements has been referred to as the most successful and influential textbook ever written, for centuries, when the quadrivium was included in the curriculum of all university students, knowledge of at least part of Euclids Elements was required of all students. Not until the 20th century, by which time its content was taught through other school textbooks. Scholars believe that the Elements is largely a collection of theorems proven by other mathematicians, the Elements may have been based on an earlier textbook by Hippocrates of Chios, who also may have originated the use of letters to refer to figures. This manuscript, the Heiberg manuscript, is from a Byzantine workshop around 900 and is the basis of modern editions, papyrus Oxyrhynchus 29 is a tiny fragment of an even older manuscript, but only contains the statement of one proposition. Although known to, for instance, Cicero, no record exists of the text having been translated into Latin prior to Boethius in the fifth or sixth century. The Arabs received the Elements from the Byzantines around 760, this version was translated into Arabic under Harun al Rashid circa 800, the Byzantine scholar Arethas commissioned the copying of one of the extant Greek manuscripts of Euclid in the late ninth century. Although known in Byzantium, the Elements was lost to Western Europe until about 1120, the first printed edition appeared in 1482, and since then it has been translated into many languages and published in about a thousand different editions. Theons Greek edition was recovered in 1533, in 1570, John Dee provided a widely respected Mathematical Preface, along with copious notes and supplementary material, to the first English edition by Henry Billingsley. Copies of the Greek text still exist, some of which can be found in the Vatican Library, the manuscripts available are of variable quality, and invariably incomplete. By careful analysis of the translations and originals, hypotheses have been made about the contents of the original text, ancient texts which refer to the Elements itself, and to other mathematical theories that were current at the time it was written, are also important in this process. Such analyses are conducted by J. L. Heiberg and Sir Thomas Little Heath in their editions of the text, also of importance are the scholia, or annotations to the text. These additions, which distinguished themselves from the main text. The Elements is still considered a masterpiece in the application of logic to mathematics, in historical context, it has proven enormously influential in many areas of science
16.
Pythagorean theorem
–
In mathematics, the Pythagorean theorem, also known as Pythagorass theorem, is a fundamental relation in Euclidean geometry among the three sides of a right triangle. It states that the square of the hypotenuse is equal to the sum of the squares of the two sides. There is some evidence that Babylonian mathematicians understood the formula, although little of it indicates an application within a mathematical framework, Mesopotamian, Indian and Chinese mathematicians all discovered the theorem independently and, in some cases, provided proofs for special cases. The theorem has been given numerous proofs – possibly the most for any mathematical theorem and they are very diverse, including both geometric proofs and algebraic proofs, with some dating back thousands of years. The Pythagorean theorem was known long before Pythagoras, but he may well have been the first to prove it, in any event, the proof attributed to him is very simple, and is called a proof by rearrangement. The two large squares shown in the figure each contain four triangles, and the only difference between the two large squares is that the triangles are arranged differently. Therefore, the space within each of the two large squares must have equal area. Equating the area of the white space yields the Pythagorean theorem and that Pythagoras originated this very simple proof is sometimes inferred from the writings of the later Greek philosopher and mathematician Proclus. Several other proofs of this theorem are described below, but this is known as the Pythagorean one, If the length of both a and b are known, then c can be calculated as c = a 2 + b 2. If the length of the c and of one side are known. The Pythagorean equation relates the sides of a triangle in a simple way. Another corollary of the theorem is that in any triangle, the hypotenuse is greater than any one of the other sides. A generalization of this theorem is the law of cosines, which allows the computation of the length of any side of any triangle, If the angle between the other sides is a right angle, the law of cosines reduces to the Pythagorean equation. This theorem may have more known proofs than any other, the book The Pythagorean Proposition contains 370 proofs, Let ABC represent a right triangle, with the right angle located at C, as shown on the figure. Draw the altitude from point C, and call H its intersection with the side AB, point H divides the length of the hypotenuse c into parts d and e. By a similar reasoning, the triangle CBH is also similar to ABC, the proof of similarity of the triangles requires the triangle postulate, the sum of the angles in a triangle is two right angles, and is equivalent to the parallel postulate. Similarity of the leads to the equality of ratios of corresponding sides. The first result equates the cosines of the angles θ, whereas the second result equates their sines, the role of this proof in history is the subject of much speculation
17.
Mathematics in medieval Islam
–
Mathematics during the Golden Age of Islam, especially during the 9th and 10th centuries, was built on Greek mathematics and Indian mathematics. Arabic works also played an important role in the transmission of mathematics to Europe during the 10th to 12th centuries, the study of algebra, the name of which is derived from the Arabic word meaning completion or reunion of broken parts, flourished during the Islamic golden age. Muhammad ibn Musa al-Khwarizmi, a scholar in the House of Wisdom in Baghdad, is along with the Greek mathematician Diophantus, known as the father of algebra. In his book The Compendious Book on Calculation by Completion and Balancing, Al-Khwarizmi deals with ways to solve for the roots of first. He also introduces the method of reduction, and unlike Diophantus, Al-Khwarizmis algebra was rhetorical, which means that the equations were written out in full sentences. This was unlike the work of Diophantus, which was syncopated. The transition to symbolic algebra, where symbols are used, can be seen in the work of Ibn al-Banna al-Marrakushi. It is important to understand just how significant this new idea was and it was a revolutionary move away from the Greek concept of mathematics which was essentially geometry. Algebra was a theory which allowed rational numbers, irrational numbers, geometrical magnitudes. It gave mathematics a whole new development path so much broader in concept to that which had existed before, another important aspect of the introduction of algebraic ideas was that it allowed mathematics to be applied to itself in a way which had not happened before. Several other mathematicians during this time expanded on the algebra of Al-Khwarizmi. Omar Khayyam, along with Sharaf al-Dīn al-Tūsī, found several solutions of the cubic equation, omar Khayyam found the general geometric solution of a cubic equation. Omar Khayyám wrote the Treatise on Demonstration of Problems of Algebra containing the solution of cubic or third-order equations. Khayyám obtained the solutions of equations by finding the intersection points of two conic sections. This method had used by the Greeks, but they did not generalize the method to cover all equations with positive roots. Sharaf al-Dīn al-Ṭūsī developed an approach to the investigation of cubic equations—an approach which entailed finding the point at which a cubic polynomial obtains its maximum value. His surviving works give no indication of how he discovered his formulae for the maxima of these curves, various conjectures have been proposed to account for his discovery of them. The earliest implicit traces of mathematical induction can be found in Euclids proof that the number of primes is infinite, the first explicit formulation of the principle of induction was given by Pascal in his Traité du triangle arithmétique
18.
Arithmetic
–
Arithmetic is a branch of mathematics that consists of the study of numbers, especially the properties of the traditional operations between them—addition, subtraction, multiplication and division. Arithmetic is an part of number theory, and number theory is considered to be one of the top-level divisions of modern mathematics, along with algebra, geometry. The terms arithmetic and higher arithmetic were used until the beginning of the 20th century as synonyms for number theory and are still used to refer to a wider part of number theory. The earliest written records indicate the Egyptians and Babylonians used all the elementary arithmetic operations as early as 2000 BC and these artifacts do not always reveal the specific process used for solving problems, but the characteristics of the particular numeral system strongly influence the complexity of the methods. The hieroglyphic system for Egyptian numerals, like the later Roman numerals, in both cases, this origin resulted in values that used a decimal base but did not include positional notation. Complex calculations with Roman numerals required the assistance of a board or the Roman abacus to obtain the results. Early number systems that included positional notation were not decimal, including the system for Babylonian numerals. Because of this concept, the ability to reuse the same digits for different values contributed to simpler. The continuous historical development of modern arithmetic starts with the Hellenistic civilization of ancient Greece, prior to the works of Euclid around 300 BC, Greek studies in mathematics overlapped with philosophical and mystical beliefs. For example, Nicomachus summarized the viewpoint of the earlier Pythagorean approach to numbers, Greek numerals were used by Archimedes, Diophantus and others in a positional notation not very different from ours. Because the ancient Greeks lacked a symbol for zero, they used three separate sets of symbols, one set for the units place, one for the tens place, and one for the hundreds. Then for the place they would reuse the symbols for the units place. Their addition algorithm was identical to ours, and their multiplication algorithm was very slightly different. Their long division algorithm was the same, and the square root algorithm that was taught in school was known to Archimedes. He preferred it to Heros method of successive approximation because, once computed, a digit doesnt change, and the square roots of perfect squares, such as 7485696, terminate immediately as 2736. For numbers with a part, such as 546.934. The ancient Chinese used a positional notation. Because they also lacked a symbol for zero, they had one set of symbols for the place
19.
Algebra
–
Algebra is one of the broad parts of mathematics, together with number theory, geometry and analysis. In its most general form, algebra is the study of mathematical symbols, as such, it includes everything from elementary equation solving to the study of abstractions such as groups, rings, and fields. The more basic parts of algebra are called elementary algebra, the abstract parts are called abstract algebra or modern algebra. Elementary algebra is generally considered to be essential for any study of mathematics, science, or engineering, as well as such applications as medicine, abstract algebra is a major area in advanced mathematics, studied primarily by professional mathematicians. Elementary algebra differs from arithmetic in the use of abstractions, such as using letters to stand for numbers that are unknown or allowed to take on many values. For example, in x +2 =5 the letter x is unknown, in E = mc2, the letters E and m are variables, and the letter c is a constant, the speed of light in a vacuum. Algebra gives methods for solving equations and expressing formulas that are easier than the older method of writing everything out in words. The word algebra is used in certain specialized ways. A special kind of object in abstract algebra is called an algebra. A mathematician who does research in algebra is called an algebraist, the word algebra comes from the Arabic الجبر from the title of the book Ilm al-jabr wal-muḳābala by Persian mathematician and astronomer al-Khwarizmi. The word entered the English language during the century, from either Spanish, Italian. It originally referred to the procedure of setting broken or dislocated bones. The mathematical meaning was first recorded in the sixteenth century, the word algebra has several related meanings in mathematics, as a single word or with qualifiers. As a single word without an article, algebra names a broad part of mathematics, as a single word with an article or in plural, an algebra or algebras denotes a specific mathematical structure, whose precise definition depends on the author. Usually the structure has an addition, multiplication, and a scalar multiplication, when some authors use the term algebra, they make a subset of the following additional assumptions, associative, commutative, unital, and/or finite-dimensional. In universal algebra, the word refers to a generalization of the above concept. With a qualifier, there is the distinction, Without an article, it means a part of algebra, such as linear algebra, elementary algebra. With an article, it means an instance of some abstract structure, like a Lie algebra, sometimes both meanings exist for the same qualifier, as in the sentence, Commutative algebra is the study of commutative rings, which are commutative algebras over the integers
20.
Iraqis
–
For The Iraqis political party, refer to The Iraqis The Iraqi people are the citizens of the modern country of Iraq. Arabs have had a presence in Mesopotamia since the Sasanian Empire. Arabic was spoken by the majority in the Kingdom of Araba in the first and second centuries, Arabs were common in Mesopotamia at the time of the Seleucid Empire. The first Arab kingdom outside of Arabia was established in Iraqs Al-Hirah in the third century, Kurds who are Iraqi citizens live in the Zagros Mountains of northeast Iraq to the east of the upper Tigris. Arabic and Kurdish are Iraqs national languages, in ancient and medieval times Mesopotamia was the political and cultural centre of many great empires, such as the Akkadian Empire, Assyria, and Babylonia. The ancient Mesopotamian civilization of Sumer is the oldest known civilization in the world, Iraq remained an important centre of civilization for millennia, up until the Abbasid Caliphate, which was the most advanced empire of the medieval world. One study found that Haplogroup J-M172 originated in northern Iraq, Iraqi mitochondrial DNA haplogroup distribution is similar to that of Iran, Turkey, Georgia, and Armenia, whereas it substantially differs from that observed in Yemen. Iraqi Y-chromosome DNA haplogroup distribution is similar to that of Kuwait, Lebanon, Turkey, no significant differences in Y-DNA variation were observed among Iraqi Arabs, Assyrians, or Kurds in the study because of very small sample sizes for Kurds and Assyrians. Modern genetic studies indicate that Iraqi Arabs and Iraqi Kurds are distantly related, the Assyrian Christian population is fairly related to other Iraqis, and also to Jordanians, yet due to religious endogamy have a distinct genetic profile that distinguishes their population. The Assyrians are a homogeneous group of people, believed to originate from the land of old Assyria in northern Iraq they are Christians and are bona fide descendants of their namesakes. Most North-West and Central Iraqis who today speak Arabic are originally of Assyrian roots, studies have reported that most Irish and Britons have ancestry to Neolithic farmers who left modern day Iraq, Jordan and Syria 10,000 years ago. Genetic researchers say they have found compelling evidence that, on average, in another study, scientists analysed DNA from the 8, 000-year-old remains of early farmers found at an ancient graveyard in Germany. They compared the signatures to those of modern populations and found similarities with the DNA of people living in todays Turkey. Iraqis have historically been a multilingual, multiethnic people, conversant in several languages, Iraqi identity transcends ethnic and language boundaries, and is more associated with geography, the Tigris–Euphrates alluvial plain and its environs. The shared identity and culture of Iraqi people is most commonly seen in the Iraqi cuisine, nowadays, the demonym Iraqi includes all ethnic minorities in the country, such as the Assyrians, Kurds and Iraqi Turkmen. Iraqis trace their ancestry back to the ancient people of the land, and are proud of their ancient Mesopotamian roots and legacy, Iraqs national languages are Arabic and the Kurdish languages. Arabic is spoken as a first language by around 79 percent of Iraqi people, the two main regional dialects of Arabic spoken by the Iraqi people are Mesopotamian Arabic and North Mesopotamian Arabic. The two main dialects of Kurdish spoken by Kurdish Iraqis are Central Kurdish and Northern Kurdish, in addition to Arabic, most Assyrians and Mandaeans speak Neo-Aramaic languages
21.
Irrational number
–
In mathematics, the irrational numbers are all the real numbers, which are not rational numbers, the latter being the numbers constructed from ratios of integers. Irrational numbers may also be dealt with via non-terminating continued fractions, for example, the decimal representation of the number π starts with 3.14159265358979, but no finite number of digits can represent π exactly, nor does it repeat. Mathematicians do not generally take terminating or repeating to be the definition of the concept of rational number, as a consequence of Cantors proof that the real numbers are uncountable and the rationals countable, it follows that almost all real numbers are irrational. The first proof of the existence of numbers is usually attributed to a Pythagorean. The then-current Pythagorean method would have claimed that there must be sufficiently small. However, Hippasus, in the 5th century BC, was able to deduce that there was in no common unit of measure. His reasoning is as follows, Start with a right triangle with side lengths of integers a, b. The ratio of the hypotenuse to a leg is represented by c, b, assume a, b, and c are in the smallest possible terms. By the Pythagorean theorem, c2 = a2+b2 = b2+b2 = 2b2, since c2 = 2b2, c2 is divisible by 2, and therefore even. Since c2 is even, c must be even, since c is even, dividing c by 2 yields an integer. Squaring both sides of c = 2y yields c2 =2, or c2 = 4y2, substituting 4y2 for c2 in the first equation gives us 4y2= 2b2. Dividing by 2 yields 2y2 = b2, since y is an integer, and 2y2 = b2, b2 is divisible by 2, and therefore even. Since b2 is even, b must be even and we have just show that both b and c must be even. Hence they have a factor of 2. However this contradicts the assumption that they have no common factors and this contradiction proves that c and b cannot both be integers, and thus the existence of a number that cannot be expressed as a ratio of two integers. Greek mathematicians termed this ratio of incommensurable magnitudes alogos, or inexpressible. ”Another legend states that Hippasus was merely exiled for this revelation, the discovery of incommensurable ratios was indicative of another problem facing the Greeks, the relation of the discrete to the continuous. Brought into light by Zeno of Elea, who questioned the conception that quantities are discrete and composed of a number of units of a given size. ”However Zeno found that in fact “ in general are not discrete collections of units. That in fact, these divisions of quantity must necessarily be infinite, for example, consider a line segment, this segment can be split in half, that half split in half, the half of the half in half, and so on
22.
Mathematical induction
–
Mathematical induction is a mathematical proof technique used to prove a given statement about any well-ordered set. Most commonly, it is used to establish statements for the set of all natural numbers, mathematical induction is a form of direct proof, usually done in two steps. When trying to prove a statement for a set of natural numbers. The second step, known as the step, is to prove that, if the statement is assumed to be true for any one natural number. Having proved these two steps, the rule of inference establishes the statement to be true for all natural numbers, in common terminology, using the stated approach is referred to as using the Principle of mathematical induction. Mathematical induction in this sense is closely related to recursion. Mathematical induction, in form, is the foundation of all correctness proofs for computer programs. Although its name may suggest otherwise, mathematical induction should not be misconstrued as a form of inductive reasoning, mathematical induction is an inference rule used in proofs. In mathematics, proofs including those using mathematical induction are examples of deductive reasoning, in 370 BC, Platos Parmenides may have contained an early example of an implicit inductive proof. The earliest implicit traces of mathematical induction may be found in Euclids proof that the number of primes is infinite, none of these ancient mathematicians, however, explicitly stated the inductive hypothesis. Another similar case was that of Francesco Maurolico in his Arithmeticorum libri duo, the first explicit formulation of the principle of induction was given by Pascal in his Traité du triangle arithmétique. Another Frenchman, Fermat, made use of a related principle. The inductive hypothesis was also employed by the Swiss Jakob Bernoulli, the modern rigorous and systematic treatment of the principle came only in the 19th century, with George Boole, Augustus de Morgan, Charles Sanders Peirce, Giuseppe Peano, and Richard Dedekind. The simplest and most common form of mathematical induction infers that a statement involving a number n holds for all values of n. The proof consists of two steps, The basis, prove that the statement holds for the first natural number n, usually, n =0 or n =1, rarely, n = –1. The inductive step, prove that, if the statement holds for some number n. The hypothesis in the step that the statement holds for some n is called the induction hypothesis. To perform the step, one assumes the induction hypothesis
23.
Binomial theorem
–
In elementary algebra, the binomial theorem describes the algebraic expansion of powers of a binomial. For example,4 = x 4 +4 x 3 y +6 x 2 y 2 +4 x y 3 + y 4, the coefficient a in the term of a xb yc is known as the binomial coefficient or. These coefficients for varying n and b can be arranged to form Pascals triangle and these numbers also arise in combinatorics, where gives the number of different combinations of b elements that can be chosen from an n-element set. Special cases of the theorem were known from ancient times. Greek mathematician Euclid mentioned the case of the binomial theorem for exponent 2. There is evidence that the theorem for cubes was known by the 6th century in India. Binomial coefficients, as combinatorial quantities expressing the number of ways of selecting k objects out of n without replacement, were of interest to the ancient Hindus. The earliest known reference to this problem is the Chandaḥśāstra by the Hindu lyricist Pingala. The commentator Halayudha from the 10th century A. D. explains this method using what is now known as Pascals triangle. By the 6th century A. D. the Hindu mathematicians probably knew how to express this as a quotient n. k. the binomial theorem as such can be found in the work of 11th-century Persian mathematician Al-Karaji, who described the triangular pattern of the binomial coefficients. He also provided a proof of both the binomial theorem and Pascals triangle, using a primitive form of mathematical induction. The Persian poet and mathematician Omar Khayyam was probably familiar with the formula to higher orders, the binomial expansions of small degrees were known in the 13th century mathematical works of Yang Hui and also Chu Shih-Chieh. Yang Hui attributes the method to a much earlier 11th century text of Jia Xian, in 1544, Michael Stifel introduced the term binomial coefficient and showed how to use them to express n in terms of n −1, via Pascals triangle. Blaise Pascal studied the eponymous triangle comprehensively in the treatise Traité du triangle arithmétique, however, the pattern of numbers was already known to the European mathematicians of the late Renaissance, including Stifel, Niccolò Fontana Tartaglia, and Simon Stevin. Isaac Newton is generally credited with the binomial theorem, valid for any rational exponent. This formula is also referred to as the formula or the binomial identity. Using summation notation, it can be written as n = ∑ k =0 n x n − k y k = ∑ k =0 n x k y n − k. A simple variant of the formula is obtained by substituting 1 for y
24.
Pascal's triangle
–
In mathematics, Pascals triangle is a triangular array of the binomial coefficients. In the Western world, it is named after French mathematician Blaise Pascal, although other mathematicians studied it centuries before him in India, Persia, China, Germany, the rows of Pascals triangle are conventionally enumerated starting with row n =0 at the top. The entries in each row are numbered from the beginning with k =0 and are usually staggered relative to the numbers in the adjacent rows. The triangle may be constructed in the manner, In row 0. Each entry of each subsequent row is constructed by adding the number above and to the left with the number above and to the right, treating blank entries as 0. For example, the number in the first row is 1. The entry in the nth row and kth column of Pascals triangle is denoted, for example, the unique nonzero entry in the topmost row is =1. With this notation, the construction of the previous paragraph may be written as follows, = +, for any integer n. This recurrence for the coefficients is known as Pascals rule. Pascals triangle has higher dimensional generalizations, the three-dimensional version is called Pascals pyramid or Pascals tetrahedron, while the general versions are called Pascals simplices. The pattern of numbers that forms Pascals triangle was known well before Pascals time, centuries before, discussion of the numbers had arisen in the context of Indian studies of combinatorics and of binomial numbers and Greeks study of figurate numbers. From later commentary, it appears that the coefficients and the additive formula for generating them. Halayudha also explained obscure references to Meru-prastaara, the Staircase of Mount Meru, in approximately 850, the Jain mathematician Mahāvīra gave a different formula for the binomial coefficients, using multiplication, equivalent to the modern formula = n. r. At around the time, it was discussed in Persia by the Persian mathematician. It was later repeated by the Persian poet-astronomer-mathematician Omar Khayyám, thus the triangle is referred to as the Khayyam triangle in Iran. Several theorems related to the triangle were known, including the binomial theorem, Khayyam used a method of finding nth roots based on the binomial expansion, and therefore on the binomial coefficients. Pascals triangle was known in China in the early 11th century through the work of the Chinese mathematician Jia Xian, in the 13th century, Yang Hui presented the triangle and hence it is still called Yang Huis triangle in China. In the west, the binomial coefficients were calculated by Gersonides in the early 14th century, petrus Apianus published the full triangle on the frontispiece of his book on business calculations in 1527
25.
Euclidean geometry
–
Euclidean geometry is a mathematical system attributed to the Alexandrian Greek mathematician Euclid, which he described in his textbook on geometry, the Elements. Euclids method consists in assuming a set of intuitively appealing axioms. Although many of Euclids results had been stated by earlier mathematicians, Euclid was the first to show how these propositions could fit into a comprehensive deductive and logical system. The Elements begins with plane geometry, still taught in school as the first axiomatic system. It goes on to the geometry of three dimensions. Much of the Elements states results of what are now called algebra and number theory, for more than two thousand years, the adjective Euclidean was unnecessary because no other sort of geometry had been conceived. Euclids axioms seemed so obvious that any theorem proved from them was deemed true in an absolute, often metaphysical. Today, however, many other self-consistent non-Euclidean geometries are known, Euclidean geometry is an example of synthetic geometry, in that it proceeds logically from axioms to propositions without the use of coordinates. This is in contrast to analytic geometry, which uses coordinates, the Elements is mainly a systematization of earlier knowledge of geometry. Its improvement over earlier treatments was recognized, with the result that there was little interest in preserving the earlier ones. There are 13 total books in the Elements, Books I–IV, Books V and VII–X deal with number theory, with numbers treated geometrically via their representation as line segments with various lengths. Notions such as numbers and rational and irrational numbers are introduced. The infinitude of prime numbers is proved, a typical result is the 1,3 ratio between the volume of a cone and a cylinder with the same height and base. Euclidean geometry is a system, in which all theorems are derived from a small number of axioms. To produce a straight line continuously in a straight line. To describe a circle with any centre and distance and that all right angles are equal to one another. Although Euclids statement of the only explicitly asserts the existence of the constructions. The Elements also include the five common notions, Things that are equal to the same thing are also equal to one another
26.
Parallel postulate
–
In geometry, the parallel postulate, also called Euclids fifth postulate because it is the fifth postulate in Euclids Elements, is a distinctive axiom in Euclidean geometry. This postulate does not specifically talk about parallel lines, it is only a postulate related to parallelism, Euclid gave the definition of parallel lines in Book I, Definition 23 just before the five postulates. Euclidean geometry is the study of geometry that satisfies all of Euclids axioms, a geometry where the parallel postulate does not hold is known as a non-Euclidean geometry. Geometry that is independent of Euclids fifth postulate is known as absolute geometry and this axiom by itself is not logically equivalent to the Euclidean parallel postulate since there are geometries in which one is true and the other is not. However, in the presence of the axioms which give Euclidean geometry, each of these can be used to prove the other. These equivalent statements include, There is at most one line that can be parallel to another given one through an external point. The sum of the angles in every triangle is 180°, There exists a triangle whose angles add up to 180°. The sum of the angles is the same for every triangle, There exists a pair of similar, but not congruent, triangles. If three angles of a quadrilateral are right angles, then the angle is also a right angle. There exists a quadrilateral in which all angles are right angles, that is, There exists a pair of straight lines that are at constant distance from each other. Two lines that are parallel to the line are also parallel to each other. In a right-angled triangle, the square of the hypotenuse equals the sum of the squares of the two sides. There is no limit to the area of a triangle. The summit angles of the Saccheri quadrilateral are 90°, if a line intersects one of two parallel lines, both of which are coplanar with the original line, then it also intersects the other. In the list above, it is taken to refer to non-intersecting lines. Note that the two definitions are not equivalent, because in hyperbolic geometry the second definition holds only for ultraparallel lines. For two thousand years, many attempts were made to prove the parallel postulate using Euclids first four postulates, the main reason that such a proof was so highly sought after was that, unlike the first four postulates, the parallel postulate is not self-evident. If the order the postulates were listed in the Elements is significant, many attempts were made to prove the fifth postulate from the other four, many of them being accepted as proofs for long periods until the mistake was found
27.
Data structure
–
In computer science, a data structure is a particular way of organizing data in a computer so that it can be used efficiently. Data structures can implement one or more abstract data types, which specify the operations that can be performed on a data structure. In comparison, a structure is a concrete implementation of the specification provided by an ADT. Different kinds of structures are suited to different kinds of applications. For example, relational databases commonly use B-tree indexes for data retrieval, Data structures provide a means to manage large amounts of data efficiently for uses such as large databases and internet indexing services. Usually, efficient data structures are key to designing efficient algorithms, some formal design methods and programming languages emphasize data structures, rather than algorithms, as the key organizing factor in software design. Data structures can be used to organize the storage and retrieval of stored in both main memory and secondary memory. Many data structures use both principles, sometimes combined in non-trivial ways, the implementation of a data structure usually requires writing a set of procedures that create and manipulate instances of that structure. The efficiency of a data structure cannot be analyzed separately from those operations, there are numerous types of data structures, generally built upon simpler primitive data types, An array is a number of elements in a specific order, typically all of the same type. Elements are accessed using an index to specify which element is required. Typical implementations allocate contiguous memory words for the elements of arrays, arrays may be fixed-length or resizable. A linked list is a collection of data elements of any type, called nodes, where each node has itself a value. The principal advantage of a linked list over an array, is that values can always be efficiently inserted and removed without relocating the rest of the list, certain other operations, such as random access to a certain element, are however slower on lists than on arrays. A record is a data structure. A record is a value that contains other values, typically in fixed number and sequence, the elements of records are usually called fields or members. A union is a structure that specifies which of a number of permitted primitive types may be stored in its instances. Contrast with a record, which could be defined to contain a float, enough space is allocated to contain the widest member datatype. A tagged union contains an additional field indicating its current type, a class is a data structure that contains data fields, like a record, as well as various methods which operate on the contents of the record