## Rigorous Elementary Mathematics

On March 27, 2023, Existsforall Academy released a trilogy of books, called Rigorous Elementary Mathematics. The theme of the books is the rigorous proof of many results that are often learned by students without proof in elementary mathematics, specifically in algebra, counting, and number theory. The books were written for students of mathematical contests and olympiads who want to add a rigorous foundation to their understanding of the theorems that they use, and for teachers and coaches who want to solidify their own fundamentals. The cumulative number of letter-sized pages is 750. The documents are available for free from this webpage. The download links and tables of contents are provided below. To stay up to date on further projects, please sign up for the academy’s Newsletter. You might also be interested in my research Publications.

## Volume 1:

Algebra

### Download PDF

ISBN 978-1-7389501-0-2

- Sets and Maps
- Arithmetic
- Indexed Objects
- Equality and Order
- Special Functions
- Closed Forms
- Trigonometric Functions
- Complex Numbers
- Quadratics
- Polynomials
- Multivariable Inequalities

## Volume 2:

Counting

### Download PDF

ISBN 978-1-7389501-1-9

- Addition and Subtraction
- Pigeonhole Principle
- Multiplication and Division
- Double Counting
- Algebraic Counting
- Principle of Inclusion-Exclusion
- Distributions
- Graph Theory
- Probability
- Classic Recursions
- Linear Recurrences
- Group Theory

## Volume 3:

Number Theory

### Download PDF

ISBN 978-1-7389501-2-6

- Divisibility
- Primes
- Arithmetic Functions
- Modular Arithmetic
- Diophantine Analysis
- Linear Diophantine Equations
- Base Representations I
- Combinatorial Expressions
- Modular Exponentiation
- Base Representations II
- Modular Power Residues
- Special Forms of Integers
- Difference and Sum of Powers