
Bagrut exams (Hebrew only)
פתרונות לכל השאלות בבחינות הבגרות במתמטיקה, שאלון 806, מהשנים תשע"ד עד תשע"ח.
נספח ב' ייצוג גרפי של משפים בגיאומטריה: קובץ נפרד להדפסה בצבע

Mathematical Surprises (Hebrew only, currently): This is an integration of most of the "Enrichment" documents.
 PDF (Hebrew) Version 1.0 (14.06.2021)

Enrichment using secondaryschool mathematics
 A functional approach to teaching trigonometry.
 An alternate method for solving quadratic equations.
 Geometry without words.
 The many guises of induction.
 Two problems in probability.
 How to guard a museum.
 The mathematics of the origami.
 Surprising constructions with straightedge and compass
 Surprising geometric constructions.
 The construction of a heptadecagon.
 The fivecolor theorem.
 Mathematics and computer science.
 Other
The documents are copyrighted under the CCBYSA license (unless otherwise noted), which permits freely downloading, copying, printing, etc. You may also modify the document provided that my name remains and that you distribute it under the same license.
Enrichment
A functional approach to teaching trigonometry
Trigonometric functions are usually taught to secondaryschool students as ratios of the sides of a right triangle with degrees as the units of measure. This can cause problems when students encounter trigonometric functions in calculus, where the functions are defined for all real numbers, and where the units of measure must be radians in order to define derivatives. This document is a guide for teachers that examines teaching trigonometry initially as functions defining by "winding" a thread around the unit circle.
The Hebrew document was written by Avital ElbaumCohen, at the Department of Science Teaching, Weizmann Institute of Science.
The English document is my translation and adaptation of her work.
An alternate method for solving quadratic equations
PoShen Loh developed an alternate method for solving quadratic equations that does not require memorization of the traditional formula. This document presents Loh's method with additional examples and details of the computation.
Geometry without words
An A2 sized poster with 15 theorems of secondaryschool geometry displayed visually in color, but without words. It should be easier for students to see a color diagram than to understand textual theorems like "The intersection of the medians of a triangle divides the medians in the ration 2:1".
The many guises of induction
Induction is often presented as a mechanical procedure for proving properties of sequences, but it widely used in other areas of mathematics (geometry, trigonometry, logic) and in computer science (data structures, automata, formal languages). This document tries to show that induction is a uniform concept although it appears in many guises. (Some of the examples and exercises require a background in computer science and discrete mathematics.)
Version 1.6.3: 16 April 2021:
How to guard a museum
This document presents Steven Fisk's clever proof that n/3 guards are sufficient to guard a museum with n walls to ensure that no paintings are stolen.
Surprising constructions with straightedge and compass
The following interesting constructions are presented in full detail at the level of secondary school mathematics:
 A "collapsing" compass perform any construction that a "fixed" compass can. This is theorem 2 of Euclid's Elements, but many subsequent proofs are incorrect.
 Trisection. Although angles cannot be trisected using a straightedge and compass, the construct can be performed using other tools.
 It is not possible to square a circle with straightedge and compass, because pi cannot be constructed. However, there are very precise approximations that can be constructed.
 Any construction possible with straightedge and compass can be performed with a compass only!
 Any construction possible with straightedge and compass can be performed with a straightedge only, provided that a single circle exists somewhere in the plane.
 Can there be noncongruent triangles with the same perimeter and area? The answer is yes! Here we show how to derive the values 156/35, 101/21, 41/15 of the edges of the triangle that have the same perimenter and area as the triangle with sides 3, 4, 5. (This results is not about construction with straightedge and compass but I included it anyway.
Version 2.1 (5 September 2020).
The mathematics of the origami
Origami is the art of paper folding. There is a mathematical formalization of origami as an axiomatic system. Geometric constructions can be done with origami that are impossible with straightedge and compass. This document presents the mathematics of origami using only secondaryschool mathematics, primarily analytic geometry. Chapters:
 Axioms
 Trisecting an angle
 Doubling a cube
 Lill's method for finding roots of cubic polynomials
 Beloch's fold and Beloch's square
 Constructing a nonagon (regular polygon with 9 sides)
I would like to thank Oriah BenLulu for introducing me to this topic.
Version 4 (27 September 2020)
Activities for secondary school students developed by Oriah BenLulu.
Version 1.0 (25 November 2020)
Surprising geometric constructions
This is an integration and revision of the two previous documents on constructions with straightedge and compass and the mathematics of origami. The PDF is available at https://unglue.it/work/438661/ and the LaTeX source at https://github.com/motib/constructions.
Errata: p. 80, line 5, delete a_3.
Here is an updated version with a corrected proof that in Axiom 6 a fold of the focus of a parabola onto the directrix is a tangent.
Two problems in probability
This document is based upon the first two problems from Frederick Mosteller. Fifty Challenging Problems in Probability with Solutions, Dover, 1965. The problems are appropriate for secondaryschool students. My solution of the first problem is different from Mosteller's, demonstrating that problems in mathematics can have multiple solutions. The second problem is interesting because the solution is counterintuitive. Mosteller shows that the counterintuitive solution is obvious once the problem is analyzed.
The construction of a heptadecagon
In 1796, when Carl Friedrich Gauss was 18 years old, he was able to show that a heptdecagon, a regular polygon with 17 sides, is constructible by straightedge and compass. This was the first new construction since the time of the ancient Greeks. This document presents Gauss's construction, together with the detailed computations that are invariably absent in other presentations.
Version 1.0 (23 November 2020):
The fivecolor theorem
While the fourcolor theorem is extremely difficult to prove, proving the fivecolor theorem is at all difficult, and follows from a theorem that a planar graph must have a vertex with at most five neighboring vertices. This document also contains an explanation of Alfred Kempe's incorrect proof of the fourcolor theorem.
Version 1.1 (20 April 2021):
Mathematics and Computer Science
Langford's problem
In the following arrangement of colored blocks:
There is one block between the red blocks, two blocks between the blue blocks and three blocks between the green blocks. Expressed in numbers, the bag of numbers {1,1,2,2,3,3} can be arranged in a sequence 312132 such that between the two occurrences of i there are i blocks. Langford's problem asks if this is always possible for {1,1,...,n,n}. Donald Knuth showed that solutions to Langford's problems can be easily found using SAT solvers, such as LearnSAT that I developed.
Minesweeper is NPComplete
Pythagorean triples
SAT solving is capable of solving mathematical problems beyond the reach of "normal" mathematical techniques. This document introduces SAT solving and gives an overview of the proof by Heule and Kullman that: in any division of the natural numbers into two disjoint subsets, at least one subset will contain a Pythagorean triple, that is, three numbers such that a^{2} = b^{2} + c^{2}.
Other
Threedimensional rotations
This is a tutorial on Euler angles and quaternions for describing rotations in three dimensions.
Version 2.0.1, 19 July 2018:
TikZ examples
Welldocumented examples of TikZ diagrams for Euclidean geometry: (1) the intersection of the perpendicular bisectors of a triangle is the center of the circumscribed circle; (2) the intersection of the medians of a triangle divide the medians in the ration 2:1; (3) Ptolemy's theorem relating the lengths of the diagonals and the lengths of the sides of a quadrilateral that is circumscribed by a circle; (4) Ramanujan's construction 355/113, an excellent approximation to pi.
Submitted to TeXample.net.
Instructions for formatting the documents
The LaTeX source files for these documents can be found on GitHub at:
https://github.com/motib/mathematics
The formatting was done using MikTeX and TeXWorks:
The Cumulus Hebrew fonts were used:
http://www.ma.huji.ac.il/~sameti/tex/culmusmiktex.html
Notes:
 TeXWorks is included in the MikTeX distribution.
 When writing Hebrew LaTeX in TeXWorks, place mathematics ($$, \[\], etc.) on separate lines to avoid difficulties with the cursor movement.