A hands-on introduction to the tools needed for rigorous and theoretical mathematical reasoning Successfully addressing the frustration many students experience as they make the transition from computational mathematics to advanced calculus and algebraic structures, Theorems, Corollaries, Lemmas, and Methods of Proof equips students with the tools needed to succeed while providing a firm foundation in the axiomatic structure of modern mathematics. This essential book: Clearly explains the relationship between definitions, conjectures, theorems, corollaries, lemmas, and proofs Reinforces the foundations of calculus and algebra Explores how to use both a direct and indirect proof to prove a theorem Presents the basic properties of real numbers/li> Discusses how to use mathematical induction to prove a theorem Identifies the different types of theorems Explains how to write a clear and understandable proof Covers the basic structure of modern mathematics and the key components of modern mathematics A complete chapter is dedicated to the different methods of proof such as forward direct proofs, proof by contrapositive, proof by contradiction, mathematical induction, and existence proofs. In addition, the author has supplied many clear and detailed algorithms that outline these proofs. Theorems, Corollaries, Lemmas, and Methods of Proof uniquely introduces scratch work as an indispensable part of the proof process, encouraging students to use scratch work and creative thinking as the first steps in their attempt to prove a theorem. Once their scratch work successfully demonstrates the truth of the theorem, the proof can be written in a clear and concise fashion. The basic structure of modern mathematics is discussed, and each of the key components of modern mathematics is defined. Numerous exercises are included in each chapter, covering a wide range of topics with varied levels of difficulty. Intended as a main text for mathematics courses such as Methods of Proof, Transitions to Advanced Mathematics, and Foundations of Mathematics, the book may also be used as a supplementary textbook in junior- and senior-level courses on advanced calculus, real analysis, and modern algebra.

This is a challenging problem-solving book in Euclidean geometry, assuming nothing of the reader other than a good deal of courage. Topics covered included cyclic quadrilaterals, power of a point, homothety, triangle centers; along the way the reader will meet such classical gems as the nine-point circle, the Simson line, the symmedian and the mixtilinear incircle, as well as the theorems of Euler, Ceva, Menelaus, and Pascal. Another part is dedicated to the use of complex numbers and barycentric coordinates, granting the reader both a traditional and computational viewpoint of the material. The final part consists of some more advanced topics, such as inversion in the plane, the cross ratio and projective transformations, and the theory of the complete quadrilateral. The exposition is friendly and relaxed, and accompanied by over 300 beautifully drawn figures. The emphasis of this book is placed squarely on the problems. Each chapter contains carefully chosen worked examples, which explain not only the solutions to the problems but also describe in close detail how one would invent the solution to begin with. The text contains a selection of 300 practice problems of varying difficulty from contests around the world, with extensive hints and selected solutions. This book is especially suitable for students preparing for national or international mathematical olympiads or for teachers looking for a text for an honor class.

This book showcases the synthetic problem-solving methods which frequently appear in modern day Olympiad geometry, in the way we believe they should be taught to someone with little familiarity in the subject. In some sense, the text also represents an unofficial sequel to the recent problem collection published by XYZ Press, 110 Geometry Problems for the International Mathematical Olympiad, written by the first and third authors, but the two books can be studied completely independently of each other. The work is designed as a medley of the important Lemmas in classical geometry in a relatively linear fashion: gradually starting from Power of a Point and common results to more sophisticated topics, where knowing a lot of techniques can prove to be tremendously useful. We treat each chapter as a short story of its own and include numerous solved exercises with detailed explanations and related insights that will hopefully make your journey very enjoyable.

Among other things, Aaboe shows us how the Babylonians did calculations, how Euclid proved that there are infinitely many primes, how Ptolemy constructed a trigonometric table in his Almagest, and how Archimedes trisected the angle.

This book is an introduction to the language and standard proof methods of mathematics. It is a bridge from the computational courses (such as calculus or differential equations) that students typically encounter in their first year of college to a more abstract outlook. It lays a foundation for more theoretical courses such as topology, analysis and abstract algebra. Although it may be more meaningful to the student who has had some calculus, there is really no prerequisite other than a measure of mathematical maturity.

Little Medusa comes from a long line of snake-loving, serpentine-wearing Gorgons. When she receives her very first snake, Little Medusa discovers that having a snake slither and slide through her hair isn't so great after all. And to make matters more difficult, she begins questioning if she really wants to scare her friends to stone with her new forever friend. Using her imagination and heart, Little Medusa tries her best to please her family, her best-pet snake, and herself. Based on Greek Mythology, Little Medusa features Common Core Connections and explores the universal themes of following family tradition and staying true to oneself.