\relax 
\@writefile{toc}{\contentsline {chapter}{\numberline {3}Non-Euclidean geometry}{43}}
\@writefile{lof}{\addvspace {10\p@ }}
\@writefile{lot}{\addvspace {10\p@ }}
\newlabel{ch!hyp}{{3}{43}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.0}{\ignorespaces Plane-like geometry}}{43}}
\newlabel{fig!plane-like}{{3.0}{43}}
\citation{Cx}
\@writefile{toc}{\contentsline {section}{\numberline {3.1}Basic definitions of spherical geometry}{45}}
\newlabel{defn of spherical}{{3.1}{45}}
\@writefile{toc}{\contentsline {paragraph}{Remarks}{45}}
\newlabel{eq!arccos}{{1}{46}}
\@writefile{toc}{\contentsline {section}{\numberline {3.2}Spherical triangles and trig}{46}}
\newlabel{s2trig}{{3.2}{46}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.2}{\ignorespaces Spherical trig}}{47}}
\newlabel{fig!sph_trig}{{3.2}{47}}
\newlabel{eq!sph_trig}{{2}{47}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{47}}
\@writefile{toc}{\contentsline {section}{\numberline {3.3}The spherical triangle inequality}{48}}
\newlabel{s2trineq}{{3.3}{48}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{48}}
\@writefile{toc}{\contentsline {section}{\numberline {3.4}Spherical motions}{48}}
\newlabel{s2d}{{3.4}{48}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{49}}
\@writefile{toc}{\contentsline {section}{\numberline {3.5}Properties of $S^2$ like $\@mathbb E^2$}{49}}
\newlabel{sec!s2ve2}{{3.5}{49}}
\@writefile{toc}{\contentsline {section}{\numberline {3.6}Properties of $S^2$ unlike $\@mathbb E^2$}{50}}
\newlabel{sec!S2unlikeE2}{{3.6}{50}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{51}}
\newlabel{eq!segm}{{3}{51}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.6}{\ignorespaces Overlapping segments of $S^2$}}{51}}
\newlabel{fig!overlap}{{3.6}{51}}
\@writefile{toc}{\contentsline {section}{\numberline {3.7}Preview of hyperbolic geometry}{52}}
\newlabel{sec!prev}{{3.7}{52}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.7}{\ignorespaces The hyperbola $t^2=1+x^2$ and $t>0$}}{53}}
\newlabel{fig!h1}{{3.7}{53}}
\@writefile{toc}{\contentsline {section}{\numberline {3.8}Hyperbolic space}{53}}
\newlabel{sec!hspace}{{3.8}{53}}
\@writefile{toc}{\contentsline {section}{\numberline {3.9}Hyperbolic distance}{54}}
\newlabel{sec!hdist}{{3.9}{54}}
\newlabel{eq!acosh}{{4}{54}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{54}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.8}{\ignorespaces Hyperbolic space $\@mathcal H^2$}}{54}}
\newlabel{fig!hn}{{3.8}{54}}
\newlabel{eq!s>0}{{5}{55}}
\@writefile{toc}{\contentsline {paragraph}{Remark}{55}}
\@writefile{toc}{\contentsline {section}{\numberline {3.10}Hyperbolic triangles and trig}{55}}
\newlabel{h2trig}{{3.10}{55}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.10}{\ignorespaces Hyperbolic trig}}{56}}
\newlabel{fig!h_trig}{{3.10}{56}}
\newlabel{eq!h_trig}{{6}{56}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{56}}
\newlabel{hyptriang}{{}{56}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{56}}
\@writefile{toc}{\contentsline {paragraph}{Remark}{57}}
\@writefile{toc}{\contentsline {section}{\numberline {3.11}Hyperbolic motions}{57}}
\newlabel{h2d}{{3.11}{57}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{57}}
\@writefile{toc}{\contentsline {paragraph}{Remark}{58}}
\@writefile{toc}{\contentsline {section}{\numberline {3.12}Incidence of two lines in $\@mathcal H^2$}{59}}
\newlabel{sec!2lines}{{3.12}{59}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.12}{\ignorespaces (a) Projection to the $(x,y)$-plane of the spherical lines $y=cz$. (b) Projection to the $(x,y)$-plane of the hyperbolic lines $y=ct$.}}{59}}
\@writefile{toc}{\contentsline {paragraph}{Definition}{60}}
\@writefile{toc}{\contentsline {section}{\numberline {3.13}The hyperbolic plane is non-Euclidean}{60}}
\newlabel{sec!nonE}{{3.13}{60}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.13}{\ignorespaces The failure of the parallel postulate in $\@mathcal H^2$}}{61}}
\newlabel{fig!hpll}{{3.13}{61}}
\@writefile{toc}{\contentsline {paragraph}{Remark}{62}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{62}}
\@writefile{toc}{\contentsline {paragraph}{Discussion}{62}}
\citation{Rees}
\@writefile{toc}{\contentsline {paragraph}{Other models}{63}}
\@writefile{toc}{\contentsline {section}{\numberline {3.14}Angular defect}{63}}
\newlabel{sec!ang.def}{{3.14}{63}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.14.1}The first proof}{63}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.14a}{\ignorespaces The hyperbolic triangle $\triangle PQR$ with one ideal vertex}}{64}}
\newlabel{fig!hyp_tri}{{3.14a}{64}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.14.2}An explicit integral}{64}}
\newlabel{ssec!expl}{{3.14.2}{64}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{64}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.14b}{\ignorespaces Area and angle sum are ``additive''}}{65}}
\newlabel{fig!B+C}{{3.14b}{65}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.14.3}Proof by subdivision}{66}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{66}}
\citation{Cx}
\@writefile{lof}{\contentsline {figure}{\numberline {3.14c}{\ignorespaces The subdivision of $\triangle PQR$}}{67}}
\newlabel{fig!a+b+c}{{3.14c}{67}}
\@writefile{toc}{\contentsline {paragraph}{Proof of Theorem\nobreakspace  {}3.14\hbox {}}{67}}
\@writefile{toc}{\contentsline {subsection}{\numberline {3.14.4}An alternative sketch proof}{67}}
\newlabel{eq!idtri}{{10}{67}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.14d}{\ignorespaces The angular defect formula}}{68}}
\newlabel{fig!h2ang}{{3.14d}{68}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.14e}{\ignorespaces Area is an additive function}}{68}}
\newlabel{fig!add}{{3.14e}{68}}
\newlabel{lem!add}{{3}{68}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{69}}
\newlabel{lem!mon}{{4}{69}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.14f}{\ignorespaces Area is a monotonic function}}{69}}
\newlabel{fig!mon}{{3.14f}{69}}
\@writefile{toc}{\contentsline {paragraph}{Proof}{69}}
\@writefile{toc}{\contentsline {section}{Exercises to Chapter\nobreakspace  {}3}{69}}
\newlabel{S2circle}{{1}{69}}
\newlabel{ex!S2refl}{{3}{70}}
\newlabel{ex!engon}{{4}{70}}
\newlabel{ex!ineqbe}{{5}{70}}
\newlabel{ex!sphsin}{{6}{70}}
\newlabel{ex!spharea}{{8}{71}}
\newlabel{ex!8}{{9}{71}}
\newlabel{ex!Snsetup}{{10}{71}}
\newlabel{ex!ge1}{{11}{71}}
\newlabel{ex!hyparcs}{{12}{71}}
\newlabel{ex!circetal}{{13}{71}}
\newlabel{ex!pringle}{{13c}{72}}
\newlabel{ex!hyperrefls}{{14}{72}}
\newlabel{ex!hypperps}{{15}{72}}
\newlabel{ex!arccot}{{17}{72}}
\newlabel{ex!hypharder}{{18}{73}}
\newlabel{ex!hypsin}{{19}{73}}
\newlabel{ex!asymp}{{20}{73}}
\newlabel{ex!diverge}{{21}{73}}
\newlabel{ex!hyparea}{{22}{73}}
\citation{Bea}
\newlabel{ex!defH}{{23}{74}}
\@writefile{lof}{\contentsline {figure}{\numberline {3.15}{\ignorespaces $\@mathcal H$-lines}}{74}}
\newlabel{H_lines}{{3.15}{74}}
\newlabel{ex!Hidentify}{{24}{74}}
\citation{Bea}
\newlabel{ex!linesH}{{25}{75}}
\newlabel{ex!hypgraphics}{{26}{76}}
\@writefile{toc}{\contentsline {paragraph}{\rm  3\hbox {}.3\hbox {}}{76}}
\@writefile{toc}{\contentsline {paragraph}{\rm  3\hbox {}.4\hbox {}}{76}}
\@writefile{toc}{\contentsline {paragraph}{\rm  3\hbox {}.5\hbox {}}{76}}
\@writefile{toc}{\contentsline {paragraph}{\rm  3\hbox {}.6\hbox {}}{76}}
\@writefile{toc}{\contentsline {paragraph}{\rm  3\hbox {}.9\hbox {}}{76}}
\@writefile{toc}{\contentsline {paragraph}{\rm  3\hbox {}.13\hbox {}}{77}}
\@writefile{toc}{\contentsline {paragraph}{\rm  3\hbox {}.14\hbox {}}{77}}
\@writefile{toc}{\contentsline {paragraph}{\rm  3\hbox {}.15\hbox {}}{77}}
\@writefile{toc}{\contentsline {paragraph}{\rm  3\hbox {}.18\hbox {}}{77}}
\@writefile{toc}{\contentsline {paragraph}{\rm  3\hbox {}.19\hbox {}}{77}}
\@setckpt{hyp}{
\setcounter{page}{78}
\setcounter{equation}{10}
\setcounter{enumi}{26}
\setcounter{enumii}{5}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{0}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{3}
\setcounter{section}{15}
\setcounter{subsection}{4}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{16}
\setcounter{table}{0}
\setcounter{parentequation}{0}
\setcounter{cor}{6}
\setcounter{corn}{0}
\setcounter{constr}{0}
\setcounter{principle}{1}
\setcounter{prop}{13}
\setcounter{lem}{2}
\setcounter{lemn}{4}
\setcounter{cla}{2}
\setcounter{thm}{14}
}