% use [nosolutions] flag to hide solutions.
% use [solutions] flag to show solutions.
\documentclass[
	solutions,
	%shortwarning
]{../../../lib/tex/handout}
\usepackage{../../../lib/tex/macros}

\graphicspath{ {./images/} }

\uptitlel{Advanced 2}
\uptitler{\smallurl{}}
\title{Origami}
\subtitle{Prepared by everyone on \today}

\begin{document}

	\maketitle

	\section{Axioms of Origami}

	\vspace{1cm}

	\hfill
	\begin{minipage}{0.3\textwidth}
		\begin{center}
			\textbf{Axiom 1:} \par
			\includegraphics[height=2.5cm]{axioms/01.png}
		\end{center}
		Given two points, we can fold a line between them.
	\end{minipage}
	\hfill
	\begin{minipage}{0.3\textwidth}
		\begin{center}
			\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.
	\end{minipage}
	\hfill
	\begin{minipage}{0.3\textwidth}
		\begin{center}
			\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
	\end{minipage}
	\hfill~

	\vfill

	\hfill
	\begin{minipage}{0.3\textwidth}
		\begin{center}
			\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.
	\end{minipage}
	\hfill
	\begin{minipage}{0.3\textwidth}
		\begin{center}
			\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.
	\end{minipage}
	\hfill
	\begin{minipage}{0.3\textwidth}
		\begin{center}
			\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.
	\end{minipage}
	\hfill~

	\vfill

	% Subcase of 6
	%\begin{minipage}{0.3\textwidth}
	%	\begin{center}
	%		\textbf{Axiom 7:} \\
	%		\includegraphics[height=3cm]{axioms/07.png}
	%	\end{center}
	%	Given a point $P$ and two lines $l, m$, we can make fold perpendicular to $l$ that places $P$ on $m$.
	%\end{minipage}

	\vfill
	\pagebreak

	\problem{}
	\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? \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.
	\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! \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$.
		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.

		\vspace{2mm}

		\textbf{B:} If you look closely, Axiom 6 is just like Axiom 5 but times two: In Axiom 5 $p_1$ is the focus and $l_1$ is the directrix of a parabola. In Axiom 6 we have this again, but also p2 is the focus and $l_2$ is the directrix of another parabola!
		Thus Axiom 6 solves the following problem: Given two parabolas drawn in the plane, find a line that is tangent to both of them.

		Exercise: Show that doing this is equivalent to solving a 3rd-degree equation.
	\end{solution}

	\vfill
	\pagebreak


	% James
	\problem{}
	\note{Proposed by James}

	\begin{enumerate}[label = \textbf{\alph{enumi}:}]
		\item Given a circle, its center, and a point $p$ on the circle, use origami to construct a tangent line to the circle that passes through $p$.
		\item Given a circle, its center, and a point $p$ on the circle, use origami to construct an equilateral triangle inscribed in the circle that passes through $p$.
		\item Given a triangle, use origami to construct the center of the circle inscribed in it and its tangent points.
	\end{enumerate}

	\begin{solution}
		\textbf{A:} Take the fold through the center of the circle and the point $p$, and take the perpendicular fold passing through $p$.

		\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$.

		\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.
	\end{solution}

	\vfill

	\problem{}
	\note{Proposed by Nikita}
	Use origami to find the other three notable points in the given triangle: circumcenter, centroid and orthocenter.

	\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.
	\end{solution}

	\vfill
	\pagebreak

	\problem{}
	\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?
	\end{enumerate}

	\begin{solution}
		There are two ways to do it:

		\begin{center}
			\includegraphics[height=5cm]{O5Compass.png}
		\end{center}
	\end{solution}

	\vfill

	\problem{}
	\note{Proposed by Nikita}
	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.
	\end{solution}

	\vfill
	\pagebreak


	\problem{}
	\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 Find a way to construct a regular pentagon using only a ruler and compass.
	\end{enumerate}

	\begin{solution}
		\textbf{A:} Obvious

		\vspace{2mm}

		\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.

		\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.
	\end{solution}

	\vfill
	\pagebreak

	\problem{}
	\note{Proposed by Nikita}
	\begin{enumerate}[label = \textbf{\alph{enumi}:}]
		\item Use origami to divide a given segment into $3$ equal parts.
		\item Use origami to divide a given segment into $n$ equal parts.
	\end{enumerate}

	\begin{solution}
		\textbf{A:} Build a square on this segment and then use the construction from the origami paper (or see the next part).

		\vspace{2mm}

		\textbf{B:} The same construction works inductively.

		\begin{center}
			\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$.
	\end{solution}

	\vfill

	\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?)

		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.)
	\end{enumerate}

	\begin{solution}
		\textbf{A:} No, this argument leaves open the possibility that something can be constructed with a compass and straightedge, but cannot be with origami.

		\vspace{2mm}

		\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.

		\vspace{2mm}

		\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.
	\end{solution}

	\vfill
	\pagebreak


	\problem{}<marble>
	\note{Proposed by Mark}
	Do each of the following with a compass and ruler. \par
	Do not use folds.

	\begin{enumerate}[label = \textbf{\alph{enumi}:}]
		\item Divide a circle into five parts of equal area.
		\item Divide a circle into seven parts of equal area.
		\item Divide a circle into $n$ parts of equal area.
	\end{enumerate}

	\begin{solution}
		\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.


		\begin{center}
			\begin{tikzpicture}[scale = 0.5]
				\draw (3.5, 0) circle (3.5cm);
				\draw (0,0) -- (7, 0);
				\filldraw (0, 0) circle (1mm);

				\foreach \i in {1,...,7} {
					\filldraw (\i, 0) circle (1mm);
					\draw (\i, 0) arc [
						start angle = 0,
						end angle = 180,
						radius = \i cm / 2
					];
					\draw (7 - \i, 0) arc [
						start angle = -180,
						end angle = 0,
						radius = \i cm / 2
					];
				}
		\end{tikzpicture}
		\end{center}
	\end{solution}

	\vfill
	\pagebreak


	\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) \par
	\hint{
		All circles tangent to $AB$ and $AC$ are homothetic with centre at $A$. What does this mean? \\
		Also, the angle bisector may help.
	}

	\begin{center}
		\includegraphics[width=0.5\linewidth]{prob9.png}
	\end{center}

	\begin{solution}
	See diagram and instructions below.
	\begin{enumerate}
		\item Draw angle bisector $AE$ and line $AD$.
		\item Draw circle tangent to $AB$ and $AC$ centered at $E$.
		\item Draw $EG$ and $EH$ from $E$ to line $AD$.
		\item Draw $DI$ and $DK$ parallel to $EH$ and $EG$ respectively (they are necessarily parallel by homothety). The desired circles are centered at $I$ and $K$.
	\end{enumerate}

	\begin{center}
		\includegraphics[height=6cm]{prob9s.png}
	\end{center}
	\end{solution}


\end{document}