Mark/handouts
Mark/handouts
1
0
Fork 0
Code Pull Requests 2 Actions Packages Releases Activity

Minor fixes

Browse Source
This commit is contained in:
Mark 2023-10-12 08:44:21 -07:00
parent a536a31f2a
commit 713d96a707
Signed by: Mark
GPG Key ID: AD62BB059C2AAEE4
1 changed files with 73 additions and 37 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

110
Advanced/Origami/main.tex
View File

@ -15,11 +15,6 @@
\begin{document}
\maketitle
<Advanced 2>
<Winter 2022>
{Origami Construction}
{Prepared by everyone on \today}
\section{Axioms of Origami}
@ -28,7 +23,7 @@
\hfill
\begin{minipage}{0.3\textwidth}
\begin{center}
\textbf{Axiom 1:} \\
\textbf{Axiom 1:} \par
\includegraphics[height=2.5cm]{axioms/01.png}
\end{center}
Given two points, we can fold a line between them.
@ -36,7 +31,7 @@
\hfill
\begin{minipage}{0.3\textwidth}
\begin{center}
\textbf{Axiom 2:} \\
\textbf{Axiom 2:} \par
\includegraphics[height=3cm]{axioms/02.png}
\end{center}
Given two points, we can make a fold that places one atop the other.
@ -44,7 +39,7 @@
\hfill
\begin{minipage}{0.3\textwidth}
\begin{center}
\textbf{Axiom 3:} \\
\textbf{Axiom 3:} \par
\includegraphics[height=3cm]{axioms/03.png}
\end{center}
Given two lines, we can make a fold that places one atop the other
@ -56,7 +51,7 @@
\hfill
\begin{minipage}{0.3\textwidth}
\begin{center}
\textbf{Axiom 4:} \\
\textbf{Axiom 4:} \par
\includegraphics[height=3cm]{axioms/04.png}
\end{center}
Given a point and a line, we can make a fold through the point and perpendicular to the line.
@ -64,7 +59,7 @@
\hfill
\begin{minipage}{0.3\textwidth}
\begin{center}
\textbf{Axiom 5:} \\
\textbf{Axiom 5:} \par
\includegraphics[height=3cm]{axioms/05.png}
\end{center}
Given two points and a line, we can make a fold through one point that places the second on the line.
@ -72,7 +67,7 @@
\hfill
\begin{minipage}{0.3\textwidth}
\begin{center}
\textbf{Axiom 6:} \\
\textbf{Axiom 6:} \par
\includegraphics[height=3cm]{axioms/06.png}
\end{center}
Given two points and two lines, we can make a fold that places each point on a line.
@ -97,26 +92,42 @@
\note{Proposed by Nikita}
\begin{enumerate}[label = \textbf{\alph{enumi}:}]
\item Take a piece of paper. Let the bottom edge be $l_1$ and take $p_1$ to be a point in the middle and close to $l_1$. Then choose $p_2$ to be anywhere on the left or right edge of the square and perform Axiom 5. Then choose a different $p_2$. Repeat this 8 or 9 times keeping the same $p_1$ and choosing different $p_2$'s. What do you see?\\
\item Take a piece of paper. Let the bottom edge be $l_1$ and take $p_1$ to be a point in the middle and close to $l_1$.
Then choose $p_2$ to be anywhere on the left or right edge of the square and perform Axiom 5.
Then choose a different $p_2$. Repeat this 8 or 9 times keeping the same $p_1$ and choosing different $p_2$'s.
What do you see? \par
\begin{center}
\includegraphics[height=4cm]{exo51.png}
\end{center}
\item Then, take another piece of paper. Draw two random intersecting lines $l_1$ and $l_2$ and points $p_1$ and $p_2$ about an inch close to their intersection. Perform a Beloch fold for them.
\item Then, take another piece of paper.
Draw two random intersecting lines $l_1$ and $l_2$ and points $p_1$ and $p_2$ about an inch close to their intersection.
Perform a Beloch fold for them.
\end{enumerate}
\begin{solution}
\textbf{A:} The repeated use of Axiom 5 in this exercise will result in the appearance of a parabola on the paper. Really!\\
\textbf{A:} The repeated use of Axiom 5 in this exercise will result in the appearance of a parabola on the paper. Really! \par
\begin{center}
\includegraphics[height=3cm]{exo53.png}
\end{center}
To see why, imagine making one of the folds in this exercise. Before you unfold the flap, take a heavy black pen and draw a line from the point $p_1$ to the folded edge, making it perpendicular to the "folded-up" segment of $l_1$ (as in the left picture above). If our pen is heavy enough, this line will bleed through the paper and mark the underneath side as well, so when we unfold this flap we'll see two lines (as in the right picture above). Note that these two lines have the same length and one is perpendicular to the original line $l_1$. This shows that exactly one point on the crease line we just made is equidistant to the point $p_1$ and the line $l_1$. In other words, the crease line is tangent to the parabola with focus $p_1$ and directrix $l_1$.
To see why, imagine making one of the folds in this exercise. Before you unfold the flap, take a heavy black pen and draw a line from the point $p_1$
to the folded edge, making it perpendicular to the "folded-up" segment of $l_1$ (as in the left picture above).
If our pen is heavy enough, this line will bleed through the paper and mark the underneath side as well, so when we unfold
this flap we'll see two lines (as in the right picture above). Note that these two lines have the same length and one is
perpendicular to the original line $l_1$. This shows that exactly one point on the crease line we just made is equidistant
to the point $p_1$ and the line $l_1$. In other words, the crease line is tangent to the parabola with focus $p_1$ and
directrix $l_1$.
This should seem amazing - origami actually allows us to do simple calculus! Just one fold computes a tangent line of a parabola.
But there's a more important thing to observe here. Parabolas are given by second-degree equations. Thus Axiom 5 finds a point for us on some second-degree equation. In other words, Axiom 5 solves second-degree equations for us! It may seem strange to think of an origami fold as solving an equation, but mathematically this is exactly what is going on.
But there's a more important thing to observe here. Parabolas are given by second-degree equations.
Thus Axiom 5 finds a point for us on some second-degree equation. In other words,
Axiom 5 solves second-degree equations for us! It may seem strange to think of an origami fold as solving an equation,
but mathematically this is exactly what is going on.
\vspace{2mm}
@ -145,11 +156,14 @@
\vspace{2mm}
\textbf{B:} Fold $p$ to the center of the circle to produce two points on the circle, do the same for the two points. The equilateral triangle doesn't pass through $p$. But by repeating the process for some of the vertices produced on the circle, one can produce an equilateral triangle that passes through $p$.
\textbf{B:} Fold $p$ to the center of the circle to produce two points on the circle, do the same for the two points.
The equilateral triangle doesn't pass through $p$. But by repeating the process for some of the vertices produced on
the circle, one can produce an equilateral triangle that passes through $p$.
\vspace{2mm}
\textbf{C:} Fold one side to another side to produce the three angle bisectors. They intersect at a point, which is the incenter. Then use Axiom 4 for each of the three sides.
\textbf{C:} Fold one side to another side to produce the three angle bisectors.
They intersect at a point, which is the incenter. Then use Axiom 4 for each of the three sides.
\end{solution}
\vfill
@ -161,8 +175,8 @@
\begin{solution}
Use Axiom 2 for pairs of vertices to get the circumcenter.
The creases from the perpendicular bisectors leave marks at the centers of sides which we use (in Axiom 1) to build the medians and the centroid.
Use Axiom 4 for vertices and opposite sides to get the orthocenter.
The creases from the perpendicular bisectors leave marks at the centers of sides which we use (in Axiom 1) to
build the medians and the centroid. Use Axiom 4 for vertices and opposite sides to get the orthocenter.
\end{solution}
\vfill
@ -172,7 +186,8 @@
\note{Proposed by Nikita}
\begin{enumerate}[label = \textbf{\alph{enumi}:}]
\item Emulate Axiom 5 with a compass and straightedge.
\item In your emulation, probably, there is a choice of which of the two intersections of a circle and a line to take. Does it mean that there are two ways to perform the fold?
\item In your emulation, probably, there is a choice of which of the two intersections of a
circle and a line to take. Does it mean that there are two ways to perform the fold?
\end{enumerate}
\begin{solution}
@ -190,7 +205,9 @@
Prove that $\sqrt[3]{2} \ne \frac{a}{b}$ for any $a, b \in \mathbb{N}$.
\begin{solution}
Suppose that $\sqrt[3]{2} = \frac{a}{b}$. Take the smallest such pair $(a, b)$. Then $2b^3=a^3$. So $a$ is even. Let $a=2c$. Then $2b^3=8c^3 \implies b^3=4c^3$. So $b$ is also even, which contradicts the minimality assumption.
Suppose that $\sqrt[3]{2} = \frac{a}{b}$. Take the smallest such pair $(a, b)$.
Then $2b^3=a^3$. So $a$ is even. Let $a=2c$. Then $2b^3=8c^3 \implies b^3=4c^3$.
So $b$ is also even, which contradicts the minimality assumption.
\end{solution}
\vfill
@ -201,8 +218,12 @@
\note{Proposed by Nikita}
\begin{enumerate}[label = \textbf{\alph{enumi}:}]
\item Construct a regular hexagon using a ruler and compass.
\item Cut the triangle with angles $72^\circ$, $72^\circ$, $36^\circ$ into 2 isosceles triangles.
\item Using triangle similarity, prove that the ratio of the sides in this triangle is equal to the golden ratio $\varphi = \frac{1+\sqrt{5}}{2}$.
\item Using triangle similarity, prove that the ratio of the sides in this triangle
is equal to the golden ratio $\varphi = \frac{1+\sqrt{5}}{2}$.
\item Find a way to construct a regular pentagon using only a ruler and compass.
\end{enumerate}
@ -211,18 +232,24 @@
\vspace{2mm}
\textbf{B:} \\
\textbf{B:} \par
\begin{center}
\includegraphics[height=4cm]{72.png}
\end{center}
\vspace{2mm}
\textbf{C:} Let $|BC|=1$. Then $|AC|=x$, the ratio we seek. From equilateral triangles we get $|AD|=|BD|=|BC|=1$. From similar triangles we get $|CD|=\frac{|CD|}{|BD|} = \frac{1}{x}$. So $|AC|=|AD|+|DC|$ means $x=1+\frac{1}{x}$ or $x^2-x-1=0$. Solving for $x$ we get $x=\frac{1 \pm \sqrt{5}}{2}$. We take the positive root.
\textbf{C:} Let $|BC|=1$. Then $|AC|=x$, the ratio we seek. From equilateral triangles we get $|AD|=|BD|=|BC|=1$.
From similar triangles we get $|CD|=\frac{|CD|}{|BD|} = \frac{1}{x}$.
So $|AC|=|AD|+|DC|$ means $x=1+\frac{1}{x}$ or $x^2-x-1=0$.
Solving for $x$ we get $x=\frac{1 \pm \sqrt{5}}{2}$. We take the positive root.
\vspace{2mm}
\textbf{D:} Draw any segment $BC$ and call its length the unit length. Then construct the right triangle with sides $1$ and $2$. This will give a segment of length $\sqrt{5}$. Using it we construct a segment of length $\varphi = \frac{1+\sqrt{5}}{2}$ and can find the vertex $A$ of a regular pentagon since it should be distance $\varphi$ apart from $B$ and $C$. It's easy to find two other vertices.
\textbf{D:} Draw any segment $BC$ and call its length the unit length.
Then construct the right triangle with sides $1$ and $2$. This will give a segment of length $\sqrt{5}$.
Using it we construct a segment of length $\varphi = \frac{1+\sqrt{5}}{2}$ and can find the vertex $A$ of
a regular pentagon since it should be distance $\varphi$ apart from $B$ and $C$. It's easy to find two other vertices.
\end{solution}
\vfill
@ -246,7 +273,8 @@
\includegraphics[height=3cm]{Segment_division.png}
\end{center}
If in unit square $ABCD$ the length $|BE| = \frac{1}{n}$, then for $H = AE \cap BD$ the distance to $BC$ is $\frac{1}{n+1}$, since $\triangle ADH \sim \triangle EBH$.
If in unit square $ABCD$ the length $|BE| = \frac{1}{n}$, then for $H = AE \cap BD$ the distance to
$BC$ is $\frac{1}{n+1}$, since $\triangle ADH \sim \triangle EBH$.
\end{solution}
\vfill
@ -254,14 +282,18 @@
\problem{}
\note{Proposed by ?}
\begin{enumerate}[label = \textbf{\alph{enumi}:}]
\item In the lecture, you saw that Axioms 1--5 are all able to be simulated by compass and straightedge constructions. Is the following claim a correct \emph{deduction} from the above? (In other words, does simulating Axioms 1--5 \emph{prove} the claim?)
\item In the lecture, you saw that Axioms 1--5 are all able to be simulated by compass and straightedge constructions.
Is the following claim a correct \emph{deduction} from the above? (In other words, does simulating Axioms 1--5 \emph{prove} the claim?)
Claim: \say{In all cases, origami constructions are at least as powerful as compass and straightedge constructions.}
\item Is the claim true? Argue \emph{both} sides with yourself (or with a classmate).
\item (Hard) Prove the sense in which the claim is true. (Hint: recall from the lecture that all constructible lengths with straightedge and compass are rational, or of the form $a + b\sqrt{c}$ with $a, b, c$ rational, or of the form $d + e\sqrt{f}$ with $d, e, f$ of the form $a + b \sqrt{c}$ with $a, b, c$ rational, etc.)
\item (Hard) Prove the sense in which the claim is true.
(Hint: recall from the lecture that all constructible lengths with straightedge and compass are rational,
or of the form $a + b\sqrt{c}$ with $a, b, c$ rational, or of the form $d + e\sqrt{f}$ with $d, e, f$ of the form
$a + b \sqrt{c}$ with $a, b, c$ rational, etc.)
\end{enumerate}
\begin{solution}
@ -271,15 +303,19 @@
\textbf{B:} Argument for false: With a compass, one can draw circles, and origami can never draw curves that are not straight (in a finite number of steps.)
Argument for true: Although the pictures look different, it is possible (and actually true) that the constructible \emph{lengths} with straightedge and compass form a strict subset of lengths with origami.
Argument for true: Although the pictures look different, it is possible (and actually true) that the constructible
\emph{lengths} with straightedge and compass form a strict subset of lengths with origami.
\vspace{2mm}
\textbf{C:} It suffices to construct such numbers with origami, i.e. that rationals, square roots, addition, and multiplication are all constructible.
\textbf{C:} It suffices to construct such numbers with origami, i.e. that rationals, square roots, addition,
and multiplication are all constructible.
\vspace{2mm}
These actually require a bit of critical thinking. See Lemma 4.3.3 (page 38/pdf 47) of ORIGAMI-CONSTRUCTIBLE NUMBERS by HWA YOUNG LEE (\texttt{https://getd.libs.uga.edu/pdfs/lee\_hwa-young\_201712\_ma.pdf}) for the details.
These actually require a bit of critical thinking. See Lemma 4.3.3 (page 38/pdf 47) of
ORIGAMI-CONSTRUCTIBLE NUMBERS by HWA YOUNG LEE (\texttt{https://getd.libs.uga.edu/pdfs/lee\_hwa-young\_201712\_ma.pdf})
for the details.
\end{solution}
\vfill
@ -288,7 +324,7 @@
\problem{}<marble>
\note{Proposed by Mark}
Do each of the following with a compass and ruler. \\
Do each of the following with a compass and ruler. \par
Do not use folds.
\begin{enumerate}[label = \textbf{\alph{enumi}:}]
@ -298,8 +334,8 @@
\end{enumerate}
\begin{solution}
\textbf{a:} Trivial \\
\textbf{b:} Hard, since we can't make a 7-gon using a compass and a ruler. Use \textbf{c}. \\
\textbf{a:} Trivial \par
\textbf{b:} Hard, since we can't make a 7-gon using a compass and a ruler. Use \textbf{c}. \par
\textbf{c:} Draw a diameter $AB$. Split that diameter into $n$ equal segments. In the top half of the original circle, draw a half-circle from each point to $A$. In the bottom, do the same for B.
@ -332,9 +368,9 @@
\problem{}
\note{Proposed by Sunny}
Using a compass and ruler, find two circles tangent to a point D and lines AB and AC. (Problem of Appolonius, PLL case) \\
Using a compass and ruler, find two circles tangent to a point D and lines AB and AC. (Problem of Appolonius, PLL case) \par
\hint{
All circles tangent to $AB$ and $AC$ are homothetic with centre at $A$. What does this mean? \\
All circles tangent to $AB$ and $AC$ are homothetic with centre at $A$. What does this mean? \par
Also, the angle bisector may help.
}