2020-07-23 20:11:28 +02:00
|
|
|
```
|
|
|
|
% pandoc -f latex -t native
|
|
|
|
\newtheorem{theorem}{Theorem}
|
|
|
|
\newtheorem{corollary}[theorem]{Corollary}
|
|
|
|
\newtheorem{lemma}[theorem]{Lemma}
|
|
|
|
\theoremstyle{definition}
|
|
|
|
\newtheorem{definition}[theorem]{Definition}
|
|
|
|
\theoremstyle{remark}
|
|
|
|
\newtheorem{remark}{Remark}
|
|
|
|
|
|
|
|
\begin{definition}[right-angled triangles] \label{def:tri}
|
|
|
|
A \emph{right-angled triangle} is a triangle whose sides of length~\(a\), \(b\) and~\(c\), in some permutation of order, satisfies \(a^2+b^2=c^2\).
|
|
|
|
\end{definition}
|
|
|
|
|
|
|
|
\begin{lemma}
|
|
|
|
The triangle with sides of length~\(3\), \(4\) and~\(5\) is right-angled.
|
|
|
|
\end{lemma}
|
|
|
|
|
|
|
|
\begin{proof}
|
|
|
|
This lemma follows from \cref{def:tri} since \(3^2+4^2=9+16=25=5^2\).
|
|
|
|
\end{proof}
|
|
|
|
|
|
|
|
\begin{theorem}[Pythagorean triplets] \label{thm:py}
|
|
|
|
Triangles with sides of length \(a=p^2-q^2\), \(b=2pq\) and \(c=p^2+q^2\) are right-angled triangles.
|
|
|
|
\end{theorem}
|
|
|
|
|
|
|
|
\begin{remark}
|
|
|
|
These are all pretty interesting facts.
|
|
|
|
\end{remark}
|
|
|
|
^D
|
2021-09-19 21:09:51 +02:00
|
|
|
[ Div
|
2021-09-29 06:17:53 +02:00
|
|
|
( "def:tri" , [ "definition" ] , [] )
|
|
|
|
[ Para
|
|
|
|
[ Strong [ Str "Definition" , Space , Str "1" ]
|
|
|
|
, Space
|
|
|
|
, Str "(right-angled"
|
|
|
|
, Space
|
|
|
|
, Str "triangles)."
|
|
|
|
, Space
|
|
|
|
, Space
|
|
|
|
, Str "A"
|
|
|
|
, Space
|
|
|
|
, Emph [ Str "right-angled" , Space , Str "triangle" ]
|
|
|
|
, Space
|
|
|
|
, Str "is"
|
|
|
|
, Space
|
|
|
|
, Str "a"
|
|
|
|
, Space
|
|
|
|
, Str "triangle"
|
|
|
|
, Space
|
|
|
|
, Str "whose"
|
|
|
|
, Space
|
|
|
|
, Str "sides"
|
|
|
|
, Space
|
|
|
|
, Str "of"
|
|
|
|
, Space
|
|
|
|
, Str "length\160"
|
|
|
|
, Math InlineMath "a"
|
|
|
|
, Str ","
|
|
|
|
, Space
|
|
|
|
, Math InlineMath "b"
|
|
|
|
, Space
|
|
|
|
, Str "and\160"
|
|
|
|
, Math InlineMath "c"
|
|
|
|
, Str ","
|
|
|
|
, Space
|
|
|
|
, Str "in"
|
|
|
|
, Space
|
|
|
|
, Str "some"
|
|
|
|
, Space
|
|
|
|
, Str "permutation"
|
|
|
|
, Space
|
|
|
|
, Str "of"
|
|
|
|
, Space
|
|
|
|
, Str "order,"
|
|
|
|
, Space
|
|
|
|
, Str "satisfies"
|
|
|
|
, Space
|
|
|
|
, Math InlineMath "a^2+b^2=c^2"
|
|
|
|
, Str "."
|
|
|
|
]
|
2021-09-19 21:09:51 +02:00
|
|
|
]
|
|
|
|
, Div
|
2021-09-29 06:17:53 +02:00
|
|
|
( "" , [ "lemma" ] , [] )
|
|
|
|
[ Para
|
|
|
|
[ Strong [ Str "Lemma" , Space , Str "2" ]
|
|
|
|
, Str "."
|
|
|
|
, Space
|
|
|
|
, Space
|
|
|
|
, Emph
|
|
|
|
[ Str "The"
|
|
|
|
, Space
|
|
|
|
, Str "triangle"
|
|
|
|
, Space
|
|
|
|
, Str "with"
|
|
|
|
, Space
|
|
|
|
, Str "sides"
|
|
|
|
, Space
|
|
|
|
, Str "of"
|
|
|
|
, Space
|
|
|
|
, Str "length\160"
|
|
|
|
, Math InlineMath "3"
|
|
|
|
, Str ","
|
|
|
|
, Space
|
|
|
|
, Math InlineMath "4"
|
|
|
|
, Space
|
|
|
|
, Str "and\160"
|
|
|
|
, Math InlineMath "5"
|
|
|
|
, Space
|
|
|
|
, Str "is"
|
|
|
|
, Space
|
|
|
|
, Str "right-angled."
|
|
|
|
]
|
|
|
|
]
|
2021-09-19 21:09:51 +02:00
|
|
|
]
|
|
|
|
, Div
|
2021-09-29 06:17:53 +02:00
|
|
|
( "" , [ "proof" ] , [] )
|
|
|
|
[ Para
|
|
|
|
[ Emph [ Str "Proof." ]
|
|
|
|
, Space
|
|
|
|
, Str "This"
|
|
|
|
, Space
|
|
|
|
, Str "lemma"
|
|
|
|
, Space
|
|
|
|
, Str "follows"
|
|
|
|
, Space
|
|
|
|
, Str "from"
|
|
|
|
, Space
|
|
|
|
, Link
|
|
|
|
( ""
|
|
|
|
, []
|
|
|
|
, [ ( "reference-type" , "ref" )
|
|
|
|
, ( "reference" , "def:tri" )
|
|
|
|
]
|
|
|
|
)
|
2021-11-25 04:38:43 +01:00
|
|
|
[ Str "1" ]
|
2021-09-29 06:17:53 +02:00
|
|
|
( "#def:tri" , "" )
|
|
|
|
, Space
|
|
|
|
, Str "since"
|
|
|
|
, Space
|
|
|
|
, Math InlineMath "3^2+4^2=9+16=25=5^2"
|
|
|
|
, Str "."
|
|
|
|
, Str "\160\9723"
|
|
|
|
]
|
2021-09-19 21:09:51 +02:00
|
|
|
]
|
|
|
|
, Div
|
2021-09-29 06:17:53 +02:00
|
|
|
( "thm:py" , [ "theorem" ] , [] )
|
|
|
|
[ Para
|
|
|
|
[ Strong [ Str "Theorem" , Space , Str "3" ]
|
|
|
|
, Space
|
|
|
|
, Str "(Pythagorean"
|
|
|
|
, Space
|
|
|
|
, Str "triplets)."
|
|
|
|
, Space
|
|
|
|
, Space
|
|
|
|
, Emph
|
|
|
|
[ Str "Triangles"
|
|
|
|
, Space
|
|
|
|
, Str "with"
|
|
|
|
, Space
|
|
|
|
, Str "sides"
|
|
|
|
, Space
|
|
|
|
, Str "of"
|
|
|
|
, Space
|
|
|
|
, Str "length"
|
|
|
|
, Space
|
|
|
|
, Math InlineMath "a=p^2-q^2"
|
|
|
|
, Str ","
|
|
|
|
, Space
|
|
|
|
, Math InlineMath "b=2pq"
|
|
|
|
, Space
|
|
|
|
, Str "and"
|
|
|
|
, Space
|
|
|
|
, Math InlineMath "c=p^2+q^2"
|
|
|
|
, Space
|
|
|
|
, Str "are"
|
|
|
|
, Space
|
|
|
|
, Str "right-angled"
|
|
|
|
, Space
|
|
|
|
, Str "triangles."
|
|
|
|
]
|
|
|
|
]
|
2021-09-19 21:09:51 +02:00
|
|
|
]
|
|
|
|
, Div
|
2021-09-29 06:17:53 +02:00
|
|
|
( "" , [ "remark" ] , [] )
|
|
|
|
[ Para
|
|
|
|
[ Emph [ Str "Remark" , Space , Str "1" ]
|
|
|
|
, Str "."
|
|
|
|
, Space
|
|
|
|
, Space
|
|
|
|
, Str "These"
|
|
|
|
, Space
|
|
|
|
, Str "are"
|
|
|
|
, Space
|
|
|
|
, Str "all"
|
|
|
|
, Space
|
|
|
|
, Str "pretty"
|
|
|
|
, Space
|
|
|
|
, Str "interesting"
|
|
|
|
, Space
|
|
|
|
, Str "facts."
|
|
|
|
]
|
2021-09-19 21:09:51 +02:00
|
|
|
]
|
|
|
|
]
|
2020-07-23 20:11:28 +02:00
|
|
|
```
|