CINXE.COM
Geometry: Euclid and Beyond - Robin Hartshorne - Google Books
<!DOCTYPE html><html><head><title>Geometry: Euclid and Beyond - Robin Hartshorne - Google Books</title><link rel="stylesheet" href="/books/css/_a33f2a89320471e58c940b9287b9d4eb/kl_viewport_kennedy_full_bundle.css" type="text/css" /><link rel="stylesheet"href="https://fonts.googleapis.com/css2?family=Product+Sans:wght@400"><script src="/books/javascript/v2_a33f2a89320471e58c940b9287b9d4eb__en.js"></script><script>_OC_Hooks = ["_OC_Page", "_OC_SearchReload", "_OC_TocReload", "_OC_EmptyFunc", "_OC_SearchPage", "_OC_QuotePage" ];for (var _OC_i = 0; _OC_i < _OC_Hooks.length; _OC_i++) {eval("var " + _OC_Hooks[_OC_i] + ";");}function _OC_InitHooks () {for (var i = 0; i < _OC_Hooks.length; i++) {var func = arguments[i];eval( _OC_Hooks[i] + " = func;");}}</script><link rel="canonical" href="https://books.google.com/books/about/Geometry_Euclid_and_Beyond.html?id=EJCSL9S6la0C"/><meta property="og:url" content="https://books.google.com/books/about/Geometry_Euclid_and_Beyond.html?id=EJCSL9S6la0C"/><meta name="title" content="Geometry: Euclid and Beyond"/><meta name="description" content="In recent years, I have been teaching a junior-senior-level course on the classi cal geometries. This book has grown out of that teaching experience. I assume only high-school geometry and some abstract algebra. The course begins in Chapter 1 with a critical examination of Euclid's Elements. Students are expected to read concurrently Books I-IV of Euclid's text, which must be obtained sepa rately. The remainder of the book is an exploration of questions that arise natu rally from this reading, together with their modern answers. To shore up the foundations we use Hilbert's axioms. The Cartesian plane over a field provides an analytic model of the theory, and conversely, we see that one can introduce coordinates into an abstract geometry. The theory of area is analyzed by cutting figures into triangles. The algebra of field extensions provides a method for deciding which geometrical constructions are possible. The investigation of the parallel postulate leads to the various non-Euclidean geometries. And in the last chapter we provide what is missing from Euclid's treatment of the five Platonic solids in Book XIII of the Elements. For a one-semester course such as I teach, Chapters 1 and 2 form the core material, which takes six to eight weeks."/><meta property="og:title" content="Geometry: Euclid and Beyond"/><meta property="og:type" content="book"/><meta property="og:site_name" content="Google Books"/><meta property="og:image" content="https://books.google.com.sg/books/content?id=EJCSL9S6la0C&printsec=frontcover&img=1&zoom=1&edge=curl&imgtk=AFLRE723wS9ZwScqxmgh3ku1jKycm_kBbF6sL6JV4EWlYW1hNdQS7sDBXg3EbcMzrtJ6vIym7IOpBOp2GbdorsI1zB4cCxQp4S5DVzF0a7C2EjdiWo-JMtraiBBNEkIO3Lzx6YAfKvmU"/><link rel="image_src" href="https://books.google.com.sg/books/content?id=EJCSL9S6la0C&printsec=frontcover&img=1&zoom=1&edge=curl&imgtk=AFLRE723wS9ZwScqxmgh3ku1jKycm_kBbF6sL6JV4EWlYW1hNdQS7sDBXg3EbcMzrtJ6vIym7IOpBOp2GbdorsI1zB4cCxQp4S5DVzF0a7C2EjdiWo-JMtraiBBNEkIO3Lzx6YAfKvmU"/><script></script><style>#gbar,#guser{font-size:13px;padding-top:1px !important;}#gbar{height:22px}#guser{padding-bottom:7px !important;text-align:right}.gbh,.gbd{border-top:1px solid #c9d7f1;font-size:1px}.gbh{height:0;position:absolute;top:24px;width:100%}@media all{.gb1{height:22px;margin-right:.5em;vertical-align:top}#gbar{float:left}}a.gb1,a.gb4{text-decoration:underline !important}a.gb1,a.gb4{color:#00c !important}.gbi .gb4{color:#dd8e27 !important}.gbf .gb4{color:#900 !important} #gbar { padding:.3em .6em !important;}</style></head><body class=""><div id=gbar><nobr><a target=_blank class=gb1 href="https://www.google.com.sg/search?tab=pw">Search</a> <a target=_blank class=gb1 href="https://www.google.com.sg/imghp?hl=en&tab=pi">Images</a> <a target=_blank class=gb1 href="https://maps.google.com.sg/maps?hl=en&tab=pl">Maps</a> <a target=_blank class=gb1 href="https://play.google.com/?hl=en&tab=p8">Play</a> <a target=_blank class=gb1 href="https://www.youtube.com/?tab=p1">YouTube</a> <a target=_blank class=gb1 href="https://news.google.com/?tab=pn">News</a> <a target=_blank class=gb1 href="https://mail.google.com/mail/?tab=pm">Gmail</a> <a target=_blank class=gb1 href="https://drive.google.com/?tab=po">Drive</a> <a target=_blank class=gb1 style="text-decoration:none" href="https://www.google.com.sg/intl/en/about/products?tab=ph"><u>More</u> »</a></nobr></div><div id=guser width=100%><nobr><span id=gbn class=gbi></span><span id=gbf class=gbf></span><span id=gbe></span><a target=_top id=gb_70 href="https://www.google.com/accounts/Login?service=print&continue=https://books.google.com.sg/books%3Fid%3DEJCSL9S6la0C%26q%3Dfollows%26source%3Dgbs_word_cloud_r%26hl%3Den&hl=en&ec=GAZACg" class=gb4>Sign in</a></nobr></div><div class=gbh style=left:0></div><div class=gbh style=right:0></div><div role="alert" style="position: absolute; left: 0; right: 0;"><a href="https://books.google.com.sg/books?id=EJCSL9S6la0C&q=follows&source=gbs_word_cloud_r&hl=en&output=html_text" title="Screen reader users: click this link for accessible mode. Accessible mode has the same essential features but works better with your reader."><img border="0" src="//www.google.com/images/cleardot.gif"alt="Screen reader users: click this link for accessible mode. Accessible mode has the same essential features but works better with your reader."></a></div><div class="kd-appbar"><h2 class="kd-appname"><a href="/books">Books</a></h2><div class="kd-buttonbar left" id="left-toolbar-buttons"><a id="appbar-view-print-sample-link" href="https://books.google.com.sg/books?id=EJCSL9S6la0C&printsec=frontcover&vq=follows&source=gbs_vpt_read"></a><a id="appbar-view-ebook-sample-link" href=""></a><a id="appbar-patents-prior-art-finder-link" href=""></a><a id="appbar-patents-discuss-this-link" href="" data-is-grant=""></a><a id="appbar-read-patent-link" href=""></a><a id="appbar-download-pdf-link" href=""></a></div><div class="kd-buttonbar right" id="right-toolbar-buttons"></div></div><div style="display: none"><ol id="ofe-gear-menu-contents" class="gbmcc"><li class="gbe gbmtc"><a class="gbmt goog-menuitem-content" id="" href="https://www.google.com/accounts/Login?service=print&continue=https://books.google.com.sg/books%3Fop%3Dlibrary&hl=en">My library</a></li><li class="gbe gbmtc"><a class="gbmt goog-menuitem-content" id="" href="http://books.google.com.sg/support/topic/4359341?hl=en-SG">Help</a></li><li class="gbe gbmtc"><a class="gbmt goog-menuitem-content" id="" href="https://books.google.com.sg/advanced_book_search">Advanced Book Search</a></li></ol></div><div id="volume-main"><div id="volume-left"><div id=menu_container ><div id="menu_scroll_wrapper"><div id="menu_scroll" role="navigation"><div id="gb-get-book-container"><a id="gb-get-book-content" href="https://books.google.com.sg/books?id=EJCSL9S6la0C&sitesec=buy&source=gbs_vpt_read">Get print book</a></div><p id="gb-get-book-not-available">No eBook available<p><h3 class=about_title><a name="buy_anchor"></a></h3><div id=buy class=about_content><div id=buy_v><ul style="list-style-type: none; padding-left: 0; margin: 0;"><li><a style="white-space:normal" href="http://www.springer.com/978-0-387-98650-0?utm_medium=referral&utm_source=google_books&utm_campaign=3_pier05_buy_print&utm_content=en_08082017" dir=ltr onMouseOver="this.href='http://www.springer.com/978-0-387-98650-0?utm_medium\x3dreferral\x26utm_source\x3dgoogle_books\x26utm_campaign\x3d3_pier05_buy_print\x26utm_content\x3den_08082017';return false" onMouseDown="this.href='/url?client\x3dca-print-springer-kluwer_academic\x26format\x3dgoogleprint\x26num\x3d0\x26id\x3dEJCSL9S6la0C\x26q\x3dhttp://www.springer.com/978-0-387-98650-0%3Futm_medium%3Dreferral%26utm_source%3Dgoogle_books%26utm_campaign%3D3_pier05_buy_print%26utm_content%3Den_08082017\x26usg\x3dAOvVaw2ovGpeusaBJYJmBdiegIyf\x26source\x3dgbs_buy_r';return true"><span dir=ltr>Springer Shop</span></a></li><li><a style="white-space:normal" href="http://www.amazon.com/gp/search?index=books&linkCode=qs&keywords=9780387986500" dir=ltr onMouseOver="this.href='http://www.amazon.com/gp/search?index\x3dbooks\x26linkCode\x3dqs\x26keywords\x3d9780387986500';return false" onMouseDown="this.href='/url?client\x3dca-print-springer-kluwer_academic\x26format\x3dgoogleprint\x26num\x3d0\x26id\x3dEJCSL9S6la0C\x26q\x3dhttp://www.amazon.com/gp/search%3Findex%3Dbooks%26linkCode%3Dqs%26keywords%3D9780387986500\x26usg\x3dAOvVaw1o1gpafHEJp6cfh9hxNlcX\x26source\x3dgbs_buy_r';return true"><span dir=ltr>Amazon.com</span></a></li><li><a style="white-space:normal" href="http://www.mphonline.com/books/nsearch.aspx?do=detail&pcode=9780387986500" dir=ltr onMouseOver="this.href='http://www.mphonline.com/books/nsearch.aspx?do\x3ddetail\x26pcode\x3d9780387986500';return false" onMouseDown="this.href='/url?client\x3dca-print-springer-kluwer_academic\x26format\x3dgoogleprint\x26num\x3d0\x26id\x3dEJCSL9S6la0C\x26q\x3dhttp://www.mphonline.com/books/nsearch.aspx%3Fdo%3Ddetail%26pcode%3D9780387986500\x26usg\x3dAOvVaw1tMnJ6z48nqrtgs7CiN-e_\x26source\x3dgbs_buy_r';return true"><span dir=ltr>MPH</span></a></li><li><a style="white-space:normal" href="https://www.popular.com.sg/catalogsearch/result/?q=9780387986500" dir=ltr onMouseOver="this.href='https://www.popular.com.sg/catalogsearch/result/?q\x3d9780387986500';return false" onMouseDown="this.href='/url?client\x3dca-print-springer-kluwer_academic\x26format\x3dgoogleprint\x26num\x3d0\x26id\x3dEJCSL9S6la0C\x26q\x3dhttps://www.popular.com.sg/catalogsearch/result/%3Fq%3D9780387986500\x26usg\x3dAOvVaw1TTE_EIe8FvQmsxM3o3Vc1\x26source\x3dgbs_buy_r';return true"><span dir=ltr>Popular</span></a></li><li><hr style="margin-right: 20%; color: #666;"></li><li><a style="white-space:normal" href="https://books.google.com.sg/url?id=EJCSL9S6la0C&pg=PA177&q=http://www.worldcat.org/oclc/1024941575&clientid=librarylink&usg=AOvVaw2FKAXdYmLWF3fIH0ykd7Ru&source=gbs_buy_r"><span dir=ltr>Find in a library</span></a></li><li><a class="secondary" style="white-space:normal" href="https://books.google.com.sg/books?id=EJCSL9S6la0C&sitesec=buy&source=gbs_buy_r" id="get-all-sellers-link"><span dir=ltr>All sellers</span> »</a></li></ul></div></div><div class=menu id=menu><div class="menu_content" style="margin-bottom:6px"><div style="margin-bottom:4px"><div class="sidebarnav"><table border="0" cellpadding="0" cellspacing="0"><tr><td><div class="sidebarcover"><a href="https://books.google.com.sg/books?id=EJCSL9S6la0C&printsec=frontcover&vq=follows" onclick="_OC_Page('PP1',this.href); return false;"><img src="https://books.google.com.sg/books/content?id=EJCSL9S6la0C&printsec=frontcover&img=1&zoom=5&edge=curl&imgtk=AFLRE738irO4z3tThA2CTATExJ1EbMTBVc8kPSbi3F9vl91QckDs4F_es0sIiYFRXpn_F97gM2SKZDBVik45DMRqV7VHk4qbEZDiNnQ5sYRzbSjrB7r4P4MPMeVHoR_W8YjpgqvCebKN" alt="Front Cover" title="Front Cover" height=80 border=1 id=summary-frontcover ></a></div></td><td></td></tr></table></div><div style="clear:both"></div></div><div id="volume-info-sidebar"><h1 class="gb-volume-title" dir=ltr>Geometry: Euclid and Beyond</h1><span class="addmd">By Robin Hartshorne</span></div><div style="margin-bottom:3px"><form action=/books id=search_form style="margin:0px;padding:0px;" method=get> <input type=hidden name="id" value="EJCSL9S6la0C"><table cellpadding=0 cellspacing=0 class="swv-table"><tr><td class="swv-td-search"><span><input id=search_form_input type=text maxlength=1024 class="text_flat swv-input-search" aria-label="Search in this book" name=q value="" title="Go" accesskey=i></span></td><td class="swv-td-space"><div> </div></td><td><input type=submit value="Go"></td></tr></table><script type="text/javascript">if (window['_OC_autoDir']) {_OC_autoDir('search_form_input');}</script></form></div><div><p><a id="sidebar-atb-link" href="https://books.google.com.sg/books?id=EJCSL9S6la0C&vq=follows&source=gbs_navlinks_s"><span dir=ltr>About this book</span></a></p></div></div></div><div><div id="navbarContainer" class="gb-navbar"></div><script>_OC_InitNavbar({"child_node":[{"title":"My library","url":"https://books.google.com.sg/books?uid=114584440181414684107\u0026source=gbs_lp_bookshelf_list","id":"my_library","collapsed":true},{"title":"My History","url":"","id":"my_history","collapsed":true}],"highlighted_node_id":""});</script><h3 class=about_title><a name="pub_info_anchor"></a></h3><div id=pub_info class=about_content><div id=pub_info_v><table cellspacing=0><tr><td><a href="https://books.google.com.sg/url?id=EJCSL9S6la0C&pg=PA177&q=http://www.springer.com/shop&clientid=ca-print-springer-kluwer_academic&linkid=1&usg=AOvVaw3ulEp6Vj516LTF7-zcjAF7&source=gbs_pub_info_r" style="text-decoration:none"><img width=128 height=35 border=0 src="https://pagead2.googlesyndication.com/pagead/imgad?id=CO7fk9CGmazKVRC3ARgyMghnyJwCmweo7A" alt="Springer Science & Business Media"></a><tr><td style="font-size:84.6%;color:#666666">Pages displayed by permission of <a class=link_aux href="https://books.google.com.sg/url?id=EJCSL9S6la0C&pg=PA177&q=http://www.springer.com/shop&clientid=ca-print-springer-kluwer_academic&linkid=1&usg=AOvVaw3ulEp6Vj516LTF7-zcjAF7&source=gbs_pub_info_r">Springer Science & Business Media</a>. <a style="color:#7777cc;white-space:normal" href="https://books.google.com.sg/books?id=EJCSL9S6la0C&printsec=copyright&vq=follows&source=gbs_pub_info_r">Copyright</a>. </table></div></div></div></div></div></div></div><div id="volume-center"><div id="scroll_atb" role="main"><div id="toolbar_container"><div style="float:left;white-space:nowrap"><table cellpadding=0 cellspacing=0><tr><td id="l_toolbar"></td><td class=toolbar-pc-cell><table cellpadding=0 cellspacing=0><tr><td class=no-jump-cell align=right><span id=page_label style="margin-right:.5em">Page 177</span></td><td class=arrow style="padding-right:2px"><a href="https://books.google.com.sg/books?id=EJCSL9S6la0C&pg=PA176&lpg=PA177&focus=viewport&vq=follows" onclick="_OC_EmptyFunc(this.href); return false;"><div class=pagination><div id=prev_btn alt="Previous Page" title="Previous Page" class="SPRITE_pagination_v2_left"></div></div></a></td><td class=arrow><a href="https://books.google.com.sg/books?id=EJCSL9S6la0C&pg=PA178&lpg=PA177&focus=viewport&vq=follows" onclick="_OC_EmptyFunc(this.href); return false;"><div class=pagination><div id=next_btn alt="Next Page" title="Next Page" class="SPRITE_pagination_v2_right"></div></div></a></td></tr></table></td><td> </td><td id=view_toolbar></td><td id=view_new></td></tr></table></div><div style="float:right"><table cellpadding=0 cellspacing=0><tr><td></td><td id="r_toolbar" style="white-space:nowrap"></td></tr></table></div><div style="clear:both"></div></div><div id="search_bar"></div><div class="gback"><div id="viewport" class="viewport" tabindex="0"><a name="page" accesskey="c"></a><table class="viewport-table" id="container" align="center" cellpadding="0" cellspacing="0"><tr><td valign="top" align="center"><noscript><style type=text/css>.imgg { width:575px;height:803px;background:#eee;padding-bottom:25px}</style><div class=imgg><div align=center><table border=0 cellpadding=0 cellspacing=0 width=500 align=center style="margin-top:2em"><tr><td rowspan=2 valign=top style="width:9px;background:#fff url('/googlebooks/bbl_l.gif') top left repeat-y"><img src="/googlebooks/bbl_tl.gif" width=9 height=7 alt=""></td><td style="background:url('/googlebooks/bbl_t.gif') top left repeat-x"><img width=1 height=7 alt=""></td><td rowspan=2 valign=top style="width:10px;background:#fff url('/googlebooks/bbl_r.gif') top right repeat-y"><img src="/googlebooks/bbl_tr.gif" width=10 height=7 alt=""></td></tr><tr><td align=center style="background:#ff9;text-align:center;line-height:1.2em"><div style="margin:1em"><img width=60 height=60 align=absmiddle src="/googlebooks/restricted_logo.gif" alt=""> <span style="font-weight:bold;font-size:1.2em"><br>Restricted Page</span></div><div style="margin:1em" align=left>You have reached your viewing limit for this book (<a href=https://books.google.com.sg/support/answer/43729?topic=9259&hl=en>why?</a>).</div></td></tr><tr><td><img src="/googlebooks/bbl_bl.gif" width=9 height=9 alt=""></td><td style="background:url('/googlebooks/bbl_b.gif') bottom left repeat-x"><img width=1 height=9 alt=""></td><td><img src="/googlebooks/bbl_br.gif" width=10 height=9 alt=""></td></tr></table></div></div></noscript></td></tr></table></div></div><script>_OC_addFlags({Host:"https://books.google.com.sg/", IsBooksUnifiedLeftNavEnabled:1, IsZipitFolderCollectionEnabled:1, IsBrowsingHistoryEnabled:1, IsBooksRentalEnabled:1});_OC_Run({"page":[{"pid":"PP1","flags":32,"order":0,"h":788},{"pid":"PR4","order":5,"title":"iv","h":779},{"pid":"PR9","order":10,"title":"ix","h":783},{"pid":"PR10","order":11,"title":"x","h":787},{"pid":"PR11","order":12,"title":"xi","h":783},{"pid":"PR12","order":13,"title":"xii","h":806},{"pid":"PA1","order":14,"title":"1","h":783},{"pid":"PA2","order":15,"title":"2","h":789},{"pid":"PA3","order":16,"title":"3","h":786},{"pid":"PA4","order":17,"title":"4","h":790},{"pid":"PA5","order":18,"title":"5","h":782},{"pid":"PA6","order":19,"title":"6","h":786},{"pid":"PA7","order":20,"title":"7","h":784},{"pid":"PA8","order":21,"title":"8","h":790},{"pid":"PA9","order":22,"title":"9","h":786},{"pid":"PA10","order":23,"title":"10","h":790},{"pid":"PA11","order":24,"title":"11","h":787},{"pid":"PA12","order":25,"title":"12","h":790},{"pid":"PA13","order":26,"title":"13","h":785},{"pid":"PA14","order":27,"title":"14","h":790},{"pid":"PA15","order":28,"title":"15","h":786},{"pid":"PA16","order":29,"title":"16","h":790},{"pid":"PA17","order":30,"title":"17","h":788},{"pid":"PA18","order":31,"title":"18","h":789},{"pid":"PA19","order":32,"title":"19","h":788},{"pid":"PA20","order":33,"title":"20","h":791},{"pid":"PA21","order":34,"title":"21","h":789},{"pid":"PA22","order":35,"title":"22","h":792},{"pid":"PA23","order":36,"title":"23","h":789},{"pid":"PA24","order":37,"title":"24","h":793},{"pid":"PA25","order":38,"title":"25","h":788},{"pid":"PA26","order":39,"title":"26","h":791},{"pid":"PA27","order":40,"title":"27","h":789},{"pid":"PA28","order":41,"title":"28","h":792},{"pid":"PA29","order":42,"title":"29","h":789},{"pid":"PA30","order":43,"title":"30","h":793},{"pid":"PA31","order":44,"title":"31","h":787},{"pid":"PA32","order":45,"title":"32","h":794},{"pid":"PA33","order":46,"title":"33","h":788},{"pid":"PA34","order":47,"title":"34","h":793},{"pid":"PA35","order":48,"title":"35","h":787},{"pid":"PA36","order":49,"title":"36","h":792},{"pid":"PA37","order":50,"title":"37","h":788},{"pid":"PA38","order":51,"title":"38","h":793},{"pid":"PA39","order":52,"title":"39","h":789},{"pid":"PA40","order":53,"title":"40","h":790},{"pid":"PA41","order":54,"title":"41","h":787},{"pid":"PA42","order":55,"title":"42","h":789},{"pid":"PA43","order":56,"title":"43","h":790},{"pid":"PA44","order":57,"title":"44","h":779},{"pid":"PA45","order":58,"title":"45","h":791},{"pid":"PA46","order":59,"title":"46","h":794},{"pid":"PA47","order":60,"title":"47","h":799},{"pid":"PA48","order":61,"title":"48","h":779},{"pid":"PA49","order":62,"title":"49","h":793},{"pid":"PA50","order":63,"title":"50","h":793},{"pid":"PA51","order":64,"title":"51","h":795},{"pid":"PA52","order":65,"title":"52","h":793},{"pid":"PA53","order":66,"title":"53","h":795},{"pid":"PA54","order":67,"title":"54","h":793},{"pid":"PA55","order":68,"title":"55","h":794},{"pid":"PA56","order":69,"title":"56","h":779},{"pid":"PA57","order":70,"title":"57","h":795},{"pid":"PA58","order":71,"title":"58","h":795},{"pid":"PA59","order":72,"title":"59","h":795},{"pid":"PA60","order":73,"title":"60","h":798},{"pid":"PA61","order":74,"title":"61","h":796},{"pid":"PA62","order":75,"title":"62","h":779},{"pid":"PA63","order":76,"title":"63","h":796},{"pid":"PA64","order":77,"title":"64","h":806},{"pid":"PA65","order":78,"title":"65","h":795},{"pid":"PA66","order":79,"title":"66","h":796},{"pid":"PA67","order":80,"title":"67","h":795},{"pid":"PA68","order":81,"title":"68","h":795},{"pid":"PA69","order":82,"title":"69","h":794},{"pid":"PA70","order":83,"title":"70","h":794},{"pid":"PA71","order":84,"title":"71","h":795},{"pid":"PA72","order":85,"title":"72","h":796},{"pid":"PA73","order":86,"title":"73","h":794},{"pid":"PA74","order":87,"title":"74","h":793},{"pid":"PA75","order":88,"title":"75","h":796},{"pid":"PA76","order":89,"title":"76","h":796},{"pid":"PA77","order":90,"title":"77","h":793},{"pid":"PA78","order":91,"title":"78","h":793},{"pid":"PA79","order":92,"title":"79","h":792},{"pid":"PA80","order":93,"title":"80","h":794},{"pid":"PA81","order":94,"title":"81","h":796},{"pid":"PA82","order":95,"title":"82","h":795},{"pid":"PA83","order":96,"title":"83","h":795},{"pid":"PA84","order":97,"title":"84","h":796},{"pid":"PA85","order":98,"title":"85","h":796},{"pid":"PA86","order":99,"title":"86","h":781},{"pid":"PA87","order":100,"title":"87","h":798},{"pid":"PA88","order":101,"title":"88","h":781},{"pid":"PA89","order":102,"title":"89","h":798},{"pid":"PA90","order":103,"title":"90","h":796},{"pid":"PA91","order":104,"title":"91","h":798},{"pid":"PA92","order":105,"title":"92","h":781},{"pid":"PA93","order":106,"title":"93","h":798},{"pid":"PA94","order":107,"title":"94","h":825},{"pid":"PA95","order":108,"title":"95","h":798},{"pid":"PA96","order":109,"title":"96","h":796},{"pid":"PA97","order":110,"title":"97","h":797},{"pid":"PA98","order":111,"title":"98","h":798},{"pid":"PA99","order":112,"title":"99","h":796},{"pid":"PA100","order":113,"title":"100","h":796},{"pid":"PA101","order":114,"title":"101","h":798},{"pid":"PA102","order":115,"title":"102","h":798},{"pid":"PA103","order":116,"title":"103","h":800},{"pid":"PA104","order":117,"title":"104","h":798},{"pid":"PA105","order":118,"title":"105","h":800},{"pid":"PA106","order":119,"title":"106","h":797},{"pid":"PA107","order":120,"title":"107","h":800},{"pid":"PA108","order":121,"title":"108","h":800},{"pid":"PA109","order":122,"title":"109"},{"pid":"PA110","order":123,"title":"110","h":798},{"pid":"PA111","order":124,"title":"111"},{"pid":"PA112","order":125,"title":"112"},{"pid":"PA113","order":126,"title":"113"},{"pid":"PA114","order":127,"title":"114"},{"pid":"PA115","order":128,"title":"115","h":796},{"pid":"PA116","order":129,"title":"116","h":796},{"pid":"PA117","order":130,"title":"117"},{"pid":"PA118","order":131,"title":"118","h":802},{"pid":"PA119","order":132,"title":"119","h":800},{"pid":"PA120","order":133,"title":"120","h":799},{"pid":"PA121","order":134,"title":"121","h":800},{"pid":"PA122","order":135,"title":"122","h":800},{"pid":"PA123","order":136,"title":"123","h":800},{"pid":"PA124","order":137,"title":"124"},{"pid":"PA125","order":138,"title":"125","h":798},{"pid":"PA126","order":139,"title":"126"},{"pid":"PA127","order":140,"title":"127","h":825},{"pid":"PA128","order":141,"title":"128","h":795},{"pid":"PA129","order":142,"title":"129","h":800},{"pid":"PA130","order":143,"title":"130"},{"pid":"PA131","order":144,"title":"131"},{"pid":"PA132","order":145,"title":"132","h":803},{"pid":"PA133","order":146,"title":"133","h":800},{"pid":"PA134","order":147,"title":"134"},{"pid":"PA135","order":148,"title":"135","h":803},{"pid":"PA136","order":149,"title":"136","h":804},{"pid":"PA137","order":150,"title":"137"},{"pid":"PA138","order":151,"title":"138","h":803},{"pid":"PA139","order":152,"title":"139"},{"pid":"PA140","order":153,"title":"140","h":803},{"pid":"PA141","order":154,"title":"141","h":800},{"pid":"PA142","order":155,"title":"142","h":803},{"pid":"PA143","order":156,"title":"143","h":800},{"pid":"PA144","order":157,"title":"144","h":800},{"pid":"PA145","order":158,"title":"145","h":803},{"pid":"PA146","order":159,"title":"146"},{"pid":"PA147","order":160,"title":"147","h":800},{"pid":"PA148","order":161,"title":"148","h":803},{"pid":"PA149","order":162,"title":"149","h":804},{"pid":"PA150","order":163,"title":"150","h":825},{"pid":"PA151","order":164,"title":"151"},{"pid":"PA152","order":165,"title":"152","h":803},{"pid":"PA153","order":166,"title":"153","h":800},{"pid":"PA154","order":167,"title":"154","h":825},{"pid":"PA155","order":168,"title":"155","h":800},{"pid":"PA156","order":169,"title":"156","h":803},{"pid":"PA157","order":170,"title":"157","h":800},{"pid":"PA158","order":171,"title":"158","h":799},{"pid":"PA159","order":172,"title":"159"},{"pid":"PA160","order":173,"title":"160","h":781},{"pid":"PA161","order":174,"title":"161","h":803},{"pid":"PA162","order":175,"title":"162","h":804},{"pid":"PA163","order":176,"title":"163"},{"pid":"PA164","order":177,"title":"164","h":781},{"pid":"PA165","order":178,"title":"165"},{"pid":"PA166","order":179,"title":"166","h":804},{"pid":"PA167","order":180,"title":"167"},{"pid":"PA168","order":181,"title":"168","h":804},{"pid":"PA169","order":182,"title":"169","h":802},{"pid":"PA170","order":183,"title":"170","h":806},{"pid":"PA171","order":184,"title":"171","h":802},{"pid":"PA172","order":185,"title":"172","h":803},{"pid":"PA173","order":186,"title":"173","h":802},{"pid":"PA174","order":187,"title":"174","h":806},{"pid":"PA175","order":188,"title":"175","h":798},{"pid":"PA176","flags":8,"order":189,"title":"176","h":827},{"pid":"PA177","flags":8,"order":190,"title":"177","h":803},{"pid":"PA178","flags":8,"order":191,"title":"178","h":804},{"pid":"PA179","flags":8,"order":192,"title":"179","h":800},{"pid":"PA180","flags":8,"order":193,"title":"180"},{"pid":"PA181","order":194,"title":"181"},{"pid":"PA182","order":195,"title":"182","h":803},{"pid":"PA183","order":196,"title":"183"},{"pid":"PA184","order":197,"title":"184","h":803},{"pid":"PA185","order":198,"title":"185","h":803},{"pid":"PA186","order":199,"title":"186","h":804},{"pid":"PA187","order":200,"title":"187","h":803},{"pid":"PA188","order":201,"title":"188","h":804},{"pid":"PA189","order":202,"title":"189","h":803},{"pid":"PA190","order":203,"title":"190","h":804},{"pid":"PA191","order":204,"title":"191","h":802},{"pid":"PA192","order":205,"title":"192","h":804},{"pid":"PA193","order":206,"title":"193","h":803},{"pid":"PA194","order":207,"title":"194","h":803},{"pid":"PA195","order":208,"title":"195","h":800},{"pid":"PA196","order":209,"title":"196"},{"pid":"PA197","order":210,"title":"197","h":803},{"pid":"PA198","order":211,"title":"198"},{"pid":"PA199","order":212,"title":"199","h":803},{"pid":"PA200","order":213,"title":"200"},{"pid":"PA201","order":214,"title":"201","h":803},{"pid":"PA202","order":215,"title":"202","h":804},{"pid":"PA203","order":216,"title":"203","h":803},{"pid":"PA204","order":217,"title":"204","h":802},{"pid":"PA205","order":218,"title":"205"},{"pid":"PA206","order":219,"title":"206"},{"pid":"PA207","order":220,"title":"207","h":802},{"pid":"PA208","order":221,"title":"208","h":803},{"pid":"PA209","order":222,"title":"209","h":802},{"pid":"PA210","order":223,"title":"210"},{"pid":"PA211","order":224,"title":"211","h":804},{"pid":"PA212","order":225,"title":"212","h":804},{"pid":"PA213","order":226,"title":"213","h":800},{"pid":"PA214","order":227,"title":"214","h":799},{"pid":"PA215","order":228,"title":"215","h":803},{"pid":"PA216","order":229,"title":"216","h":802},{"pid":"PA217","order":230,"title":"217","h":803},{"pid":"PA218","order":231,"title":"218","h":827},{"pid":"PA219","order":232,"title":"219","h":803},{"pid":"PA220","order":233,"title":"220","h":800},{"pid":"PA221","order":234,"title":"221","h":799},{"pid":"PA222","order":235,"title":"222","h":799},{"pid":"PA223","order":236,"title":"223","h":803},{"pid":"PA224","order":237,"title":"224","h":804},{"pid":"PA225","order":238,"title":"225","h":800},{"pid":"PA226","order":239,"title":"226","h":798},{"pid":"PA227","order":240,"title":"227","h":805},{"pid":"PA228","order":241,"title":"228","h":804},{"pid":"PA229","order":242,"title":"229","h":802},{"pid":"PA230","order":243,"title":"230","h":804},{"pid":"PA231","order":244,"title":"231","h":803},{"pid":"PA232","order":245,"title":"232","h":803},{"pid":"PA233","order":246,"title":"233","h":803},{"pid":"PA234","order":247,"title":"234","h":784},{"pid":"PA235","order":248,"title":"235","h":803},{"pid":"PA236","order":249,"title":"236","h":804},{"pid":"PA237","order":250,"title":"237","h":802},{"pid":"PA238","order":251,"title":"238","h":806},{"pid":"PA239","order":252,"title":"239","h":803},{"pid":"PA240","order":253,"title":"240","h":784},{"pid":"PA241","order":254,"title":"241","h":803},{"pid":"PA242","order":255,"title":"242","h":804},{"pid":"PA243","order":256,"title":"243","h":803},{"pid":"PA244","order":257,"title":"244","h":784},{"pid":"PA245","order":258,"title":"245","h":804},{"pid":"PA246","order":259,"title":"246","h":804},{"pid":"PA247","order":260,"title":"247","h":802},{"pid":"PA248","order":261,"title":"248","h":803},{"pid":"PA249","order":262,"title":"249","h":803},{"pid":"PA250","order":263,"title":"250","h":784},{"pid":"PA251","order":264,"title":"251","h":802},{"pid":"PA252","order":265,"title":"252"},{"pid":"PA253","order":266,"title":"253","h":803},{"pid":"PA254","order":267,"title":"254","h":806},{"pid":"PA255","order":268,"title":"255","h":803},{"pid":"PA256","order":269,"title":"256","h":814},{"pid":"PA257","order":270,"title":"257","h":803},{"pid":"PA258","order":271,"title":"258","h":784},{"pid":"PA259","order":272,"title":"259","h":802},{"pid":"PA260","order":273,"title":"260","h":806},{"pid":"PA262","order":275,"title":"262","h":803},{"pid":"PA264","order":277,"title":"264","h":806},{"pid":"PA265","order":278,"title":"265","h":814},{"pid":"PA266","order":279,"title":"266","h":814},{"pid":"PA267","order":280,"title":"267","h":814},{"pid":"PA268","order":281,"title":"268","h":804},{"pid":"PA270","order":283,"title":"270","h":804},{"pid":"PA273","order":286,"title":"273","h":802},{"pid":"PA275","order":288,"title":"275","h":804},{"pid":"PA276","order":289,"title":"276","h":804},{"pid":"PA277","order":290,"title":"277","h":802},{"pid":"PA278","order":291,"title":"278","h":802},{"pid":"PA279","order":292,"title":"279","h":790},{"pid":"PA282","order":295,"title":"282","h":790},{"pid":"PA283","order":296,"title":"283","h":814},{"pid":"PA285","order":298,"title":"285","h":802},{"pid":"PA286","order":299,"title":"286","h":802},{"pid":"PA287","order":300,"title":"287","h":814},{"pid":"PA288","order":301,"title":"288"},{"pid":"PA289","order":302,"title":"289","h":803},{"pid":"PA290","order":303,"title":"290"},{"pid":"PA291","order":304,"title":"291","h":814},{"pid":"PA293","order":306,"title":"293","h":790},{"pid":"PA294","order":307,"title":"294","h":806},{"pid":"PA296","order":309,"title":"296","h":805},{"pid":"PA297","order":310,"title":"297","h":802},{"pid":"PA298","order":311,"title":"298","h":803},{"pid":"PA299","order":312,"title":"299","h":802},{"pid":"PA302","order":315,"title":"302","h":805},{"pid":"PA303","order":316,"title":"303","h":798},{"pid":"PA304","order":317,"title":"304"},{"pid":"PA306","order":319,"title":"306","h":806},{"pid":"PA307","order":320,"title":"307","h":802},{"pid":"PA308","order":321,"title":"308"},{"pid":"PA309","order":322,"title":"309","h":805},{"pid":"PA310","order":323,"title":"310","h":806},{"pid":"PA311","order":324,"title":"311","h":802},{"pid":"PA315","order":328,"title":"315","h":802},{"pid":"PA316","order":329,"title":"316","h":806},{"pid":"PA317","order":330,"title":"317"},{"pid":"PA319","order":332,"title":"319","h":802},{"pid":"PA321","order":334,"title":"321","h":802},{"pid":"PA322","order":335,"title":"322","h":803},{"pid":"PA323","order":336,"title":"323","h":803},{"pid":"PA324","order":337,"title":"324"},{"pid":"PA325","order":338,"title":"325","h":802},{"pid":"PA326","order":339,"title":"326","h":805},{"pid":"PA329","order":342,"title":"329","h":805},{"pid":"PA330","order":343,"title":"330","h":804},{"pid":"PA332","order":345,"title":"332","h":804},{"pid":"PA333","order":346,"title":"333","h":803},{"pid":"PA335","order":348,"title":"335","h":804},{"pid":"PA336","order":349,"title":"336","h":804},{"pid":"PA338","order":351,"title":"338","h":803},{"pid":"PA340","order":353,"title":"340","h":803},{"pid":"PA341","order":354,"title":"341","h":803},{"pid":"PA342","order":355,"title":"342","h":806},{"pid":"PA343","order":356,"title":"343","h":803},{"pid":"PA344","order":357,"title":"344","h":806},{"pid":"PA345","order":358,"title":"345"},{"pid":"PA347","order":360,"title":"347","h":804},{"pid":"PA348","order":361,"title":"348","h":800},{"pid":"PA350","order":363,"title":"350","h":803},{"pid":"PA351","order":364,"title":"351","h":803},{"pid":"PA352","order":365,"title":"352","h":803},{"pid":"PA353","order":366,"title":"353","h":803},{"pid":"PA354","order":367,"title":"354","h":804},{"pid":"PA358","order":371,"title":"358","h":804},{"pid":"PA359","order":372,"title":"359","h":803},{"pid":"PA360","order":373,"title":"360","h":804},{"pid":"PA361","order":374,"title":"361","h":802},{"pid":"PA362","order":375,"title":"362","h":806},{"pid":"PA363","order":376,"title":"363","h":790},{"pid":"PA364","order":377,"title":"364","h":806},{"pid":"PA366","order":379,"title":"366","h":804},{"pid":"PA367","order":380,"title":"367","h":804},{"pid":"PA368","order":381,"title":"368"},{"pid":"PA369","order":382,"title":"369","h":803},{"pid":"PA371","order":384,"title":"371","h":802},{"pid":"PA372","order":385,"title":"372","h":806},{"pid":"PA373","order":386,"title":"373","h":803},{"pid":"PA374","order":387,"title":"374","h":804},{"pid":"PA376","order":389,"title":"376","h":804},{"pid":"PA377","order":390,"title":"377","h":803},{"pid":"PA378","order":391,"title":"378","h":803},{"pid":"PA379","order":392,"title":"379","h":803},{"pid":"PA381","order":394,"title":"381","h":813},{"pid":"PA382","order":395,"title":"382","h":804},{"pid":"PA383","order":396,"title":"383","h":803},{"pid":"PA385","order":398,"title":"385","h":803},{"pid":"PA386","order":399,"title":"386","h":803},{"pid":"PA387","order":400,"title":"387","h":803},{"pid":"PA388","order":401,"title":"388","h":806},{"pid":"PA391","order":404,"title":"391"},{"pid":"PA392","order":405,"title":"392","h":813},{"pid":"PA394","order":407,"title":"394","h":806},{"pid":"PA395","order":408,"title":"395","h":788},{"pid":"PA396","order":409,"title":"396"},{"pid":"PA397","order":410,"title":"397","h":802},{"pid":"PA398","order":411,"title":"398"},{"pid":"PA399","order":412,"title":"399","h":803},{"pid":"PA403","order":416,"title":"403","h":803},{"pid":"PA404","order":417,"title":"404","h":806},{"pid":"PA406","order":419,"title":"406","h":806},{"pid":"PA408","order":421,"title":"408","h":802},{"pid":"PA409","order":422,"title":"409","h":803},{"pid":"PA412","order":425,"title":"412","h":806},{"pid":"PA414","order":427,"title":"414"},{"pid":"PA415","order":428,"title":"415","h":803},{"pid":"PA416","order":429,"title":"416","h":804},{"pid":"PA417","order":430,"title":"417","h":802},{"pid":"PA420","order":433,"title":"420","h":803},{"pid":"PA421","order":434,"title":"421","h":802},{"pid":"PA422","order":435,"title":"422"},{"pid":"PA424","order":437,"title":"424","h":806},{"pid":"PA427","order":440,"title":"427","h":800},{"pid":"PA429","order":442,"title":"429","h":813},{"pid":"PA430","order":443,"title":"430","h":803},{"pid":"PA431","order":444,"title":"431"},{"pid":"PA432","order":445,"title":"432","h":800},{"pid":"PA433","order":446,"title":"433","h":802},{"pid":"PA434","order":447,"title":"434","h":788},{"pid":"PA435","order":448,"title":"435","h":802},{"pid":"PA437","order":450,"title":"437","h":803},{"pid":"PA438","order":451,"title":"438","h":803},{"pid":"PA440","order":453,"title":"440","h":800},{"pid":"PA441","order":454,"title":"441"},{"pid":"PA442","order":455,"title":"442"},{"pid":"PA443","order":456,"title":"443","h":800},{"pid":"PA445","order":458,"title":"445","h":803},{"pid":"PA446","order":459,"title":"446"},{"pid":"PA447","order":460,"title":"447","h":800},{"pid":"PA449","order":462,"title":"449","h":797},{"pid":"PA450","order":463,"title":"450"},{"pid":"PA451","order":464,"title":"451","h":799},{"pid":"PA452","order":465,"title":"452","h":782},{"pid":"PA453","order":466,"title":"453","h":798},{"pid":"PA454","order":467,"title":"454","h":799},{"pid":"PA455","order":468,"title":"455","h":796},{"pid":"PA457","order":470,"title":"457","h":799},{"pid":"PA458","order":471,"title":"458","h":799},{"pid":"PA460","order":473,"title":"460","h":796},{"pid":"PA460-IA1","order":474,"title":"460","h":798},{"pid":"PA461","order":476,"title":"461","h":797},{"pid":"PA462","order":477,"title":"462","h":810},{"pid":"PA463","order":478,"title":"463"},{"pid":"PA464","order":479,"title":"464","h":810},{"pid":"PA465","order":480,"title":"465","h":797},{"pid":"PA466","order":481,"title":"466","h":810},{"pid":"PA467","order":482,"title":"467","h":800},{"pid":"PA468","order":483,"title":"468","h":782},{"pid":"PA469","order":484,"title":"469","h":797},{"pid":"PA471","order":486,"title":"471","h":800},{"pid":"PA472","order":487,"title":"472","h":810},{"pid":"PA473","order":488,"title":"473","h":797},{"pid":"PA474","order":489,"title":"474","h":810},{"pid":"PA475","order":490,"title":"475","h":798},{"pid":"PA479","order":494,"title":"479","h":798},{"pid":"PA480","order":495,"title":"480","h":782},{"pid":"PA481","order":496,"title":"481","h":797},{"pid":"PA483","order":498,"title":"483","h":800},{"pid":"PA485","order":500,"title":"485","h":798},{"pid":"PA486","order":501,"title":"486","h":796},{"pid":"PA488","order":503,"title":"488","h":782},{"pid":"PA489","order":504,"title":"489","h":794},{"pid":"PA490","order":505,"title":"490","h":793},{"pid":"PA494","order":509,"title":"494","h":782},{"pid":"PA495","order":510,"title":"495","h":782},{"pid":"PA502","order":517,"title":"502","h":782},{"pid":"PA503","order":518,"title":"503","h":796},{"pid":"PA504","order":519,"title":"504","h":810},{"pid":"PA505","order":520,"title":"505","h":782},{"pid":"PA506","order":521,"title":"506","h":810},{"pid":"PA507","order":522,"title":"507","h":810},{"pid":"PA508","order":523,"title":"508","h":810},{"pid":"PA509","order":524,"title":"509","h":782},{"pid":"PA510","order":525,"title":"510","h":794},{"pid":"PA511","order":526,"title":"511","h":782},{"pid":"PA512","order":527,"title":"512","h":810},{"pid":"PA513","order":528,"title":"513","h":782},{"pid":"PA514","order":529,"title":"514","h":810},{"pid":"PA515","order":530,"title":"515","h":782},{"pid":"PA516","order":531,"title":"516","h":810},{"pid":"PA517","order":532,"title":"517","h":810},{"pid":"PA518","order":533,"title":"518","h":782},{"pid":"PA519","order":534,"title":"519","h":782},{"pid":"PA520","order":535,"title":"520","h":782},{"pid":"PA521","order":536,"title":"521","h":782},{"pid":"PA522","order":537,"title":"522","h":810},{"pid":"PA523","order":538,"title":"523","h":782},{"pid":"PA524","order":539,"title":"524","h":810},{"pid":"PA525","order":540,"title":"525","h":782},{"pid":"PA526","order":541,"title":"526","h":782},{"pid":"PA527","order":542,"title":"527","h":790},{"pid":"PA528","order":543,"title":"528","h":791}],"prefix":"https://books.google.com.sg/books?id=EJCSL9S6la0C\u0026lpg=PA177\u0026vq=follows"},{"fullview":false,"page_width":575,"page_height":801,"font_height":0,"first_content_page":14,"disable_twopage":true,"initial_zoom_width_override":0,"show_print_pages_button":false,"title":"Geometry: Euclid and Beyond","subtitle":"","attribution":"By Robin Hartshorne","additional_info":{"[JsonBookInfo]":{"BuyLinks":[{"Seller":"Springer Shop","Url":"http://www.springer.com/978-0-387-98650-0?utm_medium=referral\u0026utm_source=google_books\u0026utm_campaign=3_pier05_buy_print\u0026utm_content=en_08082017","TrackingUrl":"/url?client=ca-print-springer-kluwer_academic\u0026format=googleprint\u0026num=0\u0026id=EJCSL9S6la0C\u0026q=http://www.springer.com/978-0-387-98650-0%3Futm_medium%3Dreferral%26utm_source%3Dgoogle_books%26utm_campaign%3D3_pier05_buy_print%26utm_content%3Den_08082017\u0026usg=AOvVaw2ovGpeusaBJYJmBdiegIyf","IsPublisher":true},{"Seller":"Amazon.com","Url":"http://www.amazon.com/gp/search?index=books\u0026linkCode=qs\u0026keywords=9780387986500","TrackingUrl":"/url?client=ca-print-springer-kluwer_academic\u0026format=googleprint\u0026num=0\u0026id=EJCSL9S6la0C\u0026q=http://www.amazon.com/gp/search%3Findex%3Dbooks%26linkCode%3Dqs%26keywords%3D9780387986500\u0026usg=AOvVaw1o1gpafHEJp6cfh9hxNlcX"},{"Seller":"MPH","Url":"http://www.mphonline.com/books/nsearch.aspx?do=detail\u0026pcode=9780387986500","TrackingUrl":"/url?client=ca-print-springer-kluwer_academic\u0026format=googleprint\u0026num=0\u0026id=EJCSL9S6la0C\u0026q=http://www.mphonline.com/books/nsearch.aspx%3Fdo%3Ddetail%26pcode%3D9780387986500\u0026usg=AOvVaw1tMnJ6z48nqrtgs7CiN-e_"},{"Seller":"Popular","Url":"https://www.popular.com.sg/catalogsearch/result/?q=9780387986500","TrackingUrl":"/url?client=ca-print-springer-kluwer_academic\u0026format=googleprint\u0026num=0\u0026id=EJCSL9S6la0C\u0026q=https://www.popular.com.sg/catalogsearch/result/%3Fq%3D9780387986500\u0026usg=AOvVaw1TTE_EIe8FvQmsxM3o3Vc1"}],"AboutUrl":"https://books.google.com.sg/books?id=EJCSL9S6la0C","PreviewUrl":"https://books.google.com.sg/books?id=EJCSL9S6la0C","allowed_syndication_flags":{"allow_disabling_chrome":true},"TocLine":[{"Title":"Introduction ","Pid":"PA1","PgNum":"1","Order":14},{"Title":"Euclids Geometry ","Pid":"PA7","PgNum":"7","Order":20},{"Title":"Hilberts Axioms ","Pid":"PA65","PgNum":"65","Order":78},{"Title":"Geometry over Fields ","Pid":"PA117","PgNum":"117","Order":130},{"Title":"Congruence of Segments and Angles ","Pid":"PA140","PgNum":"140","Order":153},{"Title":"Rigid Motions and SAS ","Pid":"PA148","PgNum":"148","Order":161},{"Title":"NonArchimedean Geometry ","Pid":"PA158","PgNum":"158","Order":171},{"Title":"Segment Arithmetic ","Pid":"PA165","PgNum":"165","Order":178},{"Title":"Similar Triangles ","Pid":"PA175","PgNum":"175","Order":188},{"Title":"Introduction of Coordinates ","Pid":"PA186","PgNum":"186","Order":199},{"Title":"Area ","Pid":"PA195","PgNum":"195","Order":208},{"Title":"Area in Euclids Geometry ","Pid":"PA196","PgNum":"196","Order":209},{"Title":"Measure of Area Functions ","Pid":"PA205","PgNum":"205","Order":218},{"Title":"Dissection ","Pid":"PA212","PgNum":"212","Order":225},{"Title":"Quadratura Circuli ","Pid":"PA221","PgNum":"221","Order":234},{"Title":"Euclids Theory of Volume ","Pid":"PA226","PgNum":"226","Order":239},{"Title":"Hilberts Third Problem ","Pid":"PA231","PgNum":"231","Order":244},{"Title":"Construction Problems and Field Extensions ","Pid":"PA241","PgNum":"241","Order":254},{"Title":"Three Famous Problems ","Pid":"PA242","PgNum":"242","Order":255},{"Title":"The Regular 17Sided Polygon ","Pid":"PA250","PgNum":"250","Order":263},{"Title":"Constructions with Compass and Marked Ruler ","Pid":"PA259","PgNum":"259","Order":272},{"Title":"Cubic and Quartic Equations ","Pid":"PA270","PgNum":"270","Order":283},{"Title":"Finite Field Extensions ","Pid":"PA280","PgNum":"280","Order":293},{"Title":"NonEuclidean Geometry ","Pid":"PA295","PgNum":"295","Order":308},{"Title":"History of the Parallel Postulate ","Pid":"PA296","PgNum":"296","Order":309},{"Title":"Neutral Geometry ","Pid":"PA304","PgNum":"304","Order":317},{"Title":"Archimedean Neutral Geometry ","Pid":"PA319","PgNum":"319","Order":332},{"Title":"NonEuclidean Area ","Pid":"PA326","PgNum":"326","Order":339},{"Title":"Circular Inversion ","Pid":"PA334","PgNum":"334","Order":347},{"Title":"Circles Determined by Three Conditions ","Pid":"PA346","PgNum":"346","Order":359},{"Title":"The Poincaré Model ","Pid":"PA355","PgNum":"355","Order":368},{"Title":"Hyperbolic Geometry ","Pid":"PA373","PgNum":"373","Order":386},{"Title":"Hilberts Arithmetic of Ends ","Pid":"PA388","PgNum":"388","Order":401},{"Title":"Hyperbolic Trigonometry ","Pid":"PA403","PgNum":"403","Order":416},{"Title":"Characterization of Hilbert Planes ","Pid":"PA415","PgNum":"415","Order":428},{"Title":"Polyhedra ","Pid":"PA435","PgNum":"435","Order":448},{"Title":"The Five Regular Solids ","Pid":"PA436","PgNum":"436","Order":449},{"Title":"Eulers and Cauchys Theorems ","Pid":"PA448","PgNum":"448","Order":461},{"Title":"Brief Euclid ","Pid":"PA481","PgNum":"481","Order":496},{"Title":"References ","Pid":"PA495","PgNum":"495","Order":510}]}},"table_of_contents_page_id":"PR9","max_resolution_image_width":1280,"max_resolution_image_height":1783,"num_toc_pages":3,"quality_info":"We have no quality information about this book.","volume_id":"EJCSL9S6la0C","permission_info":"Pages displayed by permission of \u003ca class=link_aux href=\"https://books.google.com.sg/url?id=EJCSL9S6la0C\u0026pg=PA177\u0026q=http://www.springer.com/shop\u0026clientid=ca-print-springer-kluwer_academic\u0026linkid=1\u0026usg=AOvVaw3ulEp6Vj516LTF7-zcjAF7\u0026source=gbs_pub_info_r\"\u003eSpringer Science \u0026amp; Business Media\u003c/a\u003e","is_ebook":false,"volumeresult":{"has_flowing_text":false,"has_scanned_text":true,"can_download_pdf":false,"can_download_epub":false,"is_pdf_drm_enabled":false,"is_epub_drm_enabled":false},"publisher":"Springer Science \u0026 Business Media","publication_date":"2005.09.28","subject":"Mathematics","num_pages":528,"sample_url":"https://play.google.com/books/reader?id=EJCSL9S6la0C\u0026source=gbs_vpt_hover","synposis":"In recent years, I have been teaching a junior-senior-level course on the classi cal geometries. This book has grown out of that teaching experience. I assume only high-school geometry and some abstract algebra. The course begins in Chapter 1 with a critical examination of Euclid's Elements. Students are expected to read concurrently Books I-IV of Euclid's text, which must be obtained sepa rately. The remainder of the book is an exploration of questions that arise natu rally from this reading, together with their modern answers. To shore up the foundations we use Hilbert's axioms. The Cartesian plane over a field provides an analytic model of the theory, and conversely, we see that one can introduce coordinates into an abstract geometry. The theory of area is analyzed by cutting figures into triangles. The algebra of field extensions provides a method for deciding which geometrical constructions are possible. The investigation of the parallel postulate leads to the various non-Euclidean geometries. And in the last chapter we provide what is missing from Euclid's treatment of the five Platonic solids in Book XIII of the Elements. For a one-semester course such as I teach, Chapters 1 and 2 form the core material, which takes six to eight weeks.","my_library_url":"https://www.google.com/accounts/Login?service=print\u0026continue=https://books.google.com.sg/books%3Fop%3Dlibrary\u0026hl=en","is_magazine":false,"is_public_domain":false,"last_page":{"pid":"PA530","order":545,"title":"530","h":789}},{"enableUserFeedbackUI":true,"pseudocontinuous":true,"is_cobrand":false,"sign_in_url":"https://www.google.com/accounts/Login?service=print\u0026continue=https://books.google.com.sg/books%3Fid%3DEJCSL9S6la0C%26q%3Dfollows%26source%3Dgbs_word_cloud_r%26hl%3Den\u0026hl=en","isEntityPageViewport":false,"showViewportOnboarding":false,"showViewportPlainTextOnboarding":false},{"page":[{"pid":"PA177","highlights":[{"X":235,"Y":344,"W":38,"H":12},{"X":102,"Y":595,"W":39,"H":12},{"X":235,"Y":652,"W":39,"H":11}],"flags":8,"order":190,"vq":"follows"}]},null,{"number_of_results":83,"search_results":[{"page_id":"PA37","page_number":"37","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that DF = DG , so the triangle DFG is isosceles . Therefore , the angles at F and G are equal . Then the triangles DEG and DEF are congruent by AAS ( 1.26 ) . But DEG is congruent to ABC , so the two original triangles are\u0026nbsp;..."},{"page_id":"PA38","page_number":"38","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e directly from this one using vertical angles ( 1.15 ) or supplementary angles ( 1.13 ) . The fifth postulate is used to prove the converse of ( 1.27 ) , which is ( 1.29 ) : If the lines are parallel , then the alternate interior\u0026nbsp;..."},{"page_id":"PA39","page_number":"39","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that 2 + 3 is less than two right angles , and hence the line l \u0026#39; is different from m ( 1.13 ) . Now we can apply ( P ) . Since l \u0026#39; passes through P 4 é 3 2 m Я and is parallel to 1 , it must be the 3. Euclid\u0026#39;s Axiomatic Method 39."},{"page_id":"PA45","page_number":"45","snippet_text":"... ) ) Let A , B be two points chosen at random . 1. Draw line AB . Next , construct a perpendicular to AB at A , as \u003cb\u003efollows\u003c/b\u003e : 2. Circle AB , get C. 3. Circle BC . 4. Construction of the Regular Pentagon 45 Construction of the Regular\u0026nbsp;..."},{"page_id":"PA47","page_number":"47","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that ABKL is isosceles , so KL = BL = AK . Hence AAKL is also isosceles , so d = a . Now ẞ = LBLA = 2a as required . Once we have the isosceles triangle constructed in ( 4.1 ) , the construction of the pentagon \u003cb\u003efollows\u003c/b\u003e naturally\u0026nbsp;..."},{"page_id":"PA49","page_number":"49","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that KDH and △ LDI are both equal to the angle ẞ of the triangle AABC at B. From there it \u003cb\u003efollows\u003c/b\u003e that the angles of ADMN at M and N are both equal to B , because they subtend the same arcs cut off by the tangent line and the\u0026nbsp;..."},{"page_id":"PA52","page_number":"52","snippet_text":"... , and the four small triangles formed are all congruent to each other . B Proof From the proposition it \u003cb\u003efollows\u003c/b\u003e . that each side of the triangle DEF is par- D A E C F allel to and equal to one - half of a. 52 1. Euclid\u0026#39;s Geometry."},{"page_id":"PA54","page_number":"54","snippet_text":"... \u003cb\u003eFollows\u003c/b\u003e from the proof of ( 5.4 ) . Proposition 5.6 The three altitudes ( lines through a vertex , perpendicular to the opposite side ) of a triangle meet in a single point ( the orthocenter of the triangle ) . Proof Let ABC be the\u0026nbsp;..."},{"page_id":"PA55","page_number":"55","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that H \u0026#39; also lies on the other altitudes of ABC , so H \u0026#39; = H is the orthocenter and our conclusions O , G , H collinear and GH≈ 20G \u003cb\u003efollow\u003c/b\u003e . A -λ B M G 6 By the way , this argument provides another independent proof of the\u0026nbsp;..."},{"page_id":"PA60","page_number":"60","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e . Let ABC be the given triangle . Let the alti- tudes BL and CK meet at H. Let AH meet the opposite side at M. Then show that AML BC . ( This proof is probably the one known to Archimedes . ) K 5.8 Show that the opposite angles\u0026nbsp;..."},{"page_id":"PA66","page_number":"66","snippet_text":"... enclose a space , \u0026quot; \u003cb\u003efollows\u003c/b\u003e here from the uniqueness part of axiom ( I1 ) . This should indicate the importance of stat- ing explicitly the uniqueness of an object , which was 66 2. Hilbert\u0026#39;s Axioms Axioms of Incidence."},{"page_id":"PA70","page_number":"70","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that if T is consistent , then also your system of axioms is consistent . For any contradiction that might \u003cb\u003efollow\u003c/b\u003e from your axioms would then also appear in the theory T , contradicting its consistency . So for example , if you\u0026nbsp;..."},{"page_id":"PA72","page_number":"72","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e : In a certain school there are 15 girls . It is desired to make a seven - day schedule such that each day the girls can walk in the garden in five groups of three , in such a way that each girl will be in the same group with\u0026nbsp;..."},{"page_id":"PA76","page_number":"76","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that AB does not meet 1. So A ~ OB as required . Case 2 Suppose A , B , C lie on a line m . As in Case 2 of ... \u003cb\u003efollow\u003c/b\u003e immediately from the previous proposition . D A B C l E A l The only mildly nontrivial part is to show\u0026nbsp;..."},{"page_id":"PA84","page_number":"84","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that AE A\u0026#39;E \u0026#39; as required . Note : Since the segment AB is equal to the segment BA , it \u003cb\u003efollows\u003c/b\u003e in particular that the sum of two segments is independent of the order A , B chosen , up to congruence . Thus addition is well\u0026nbsp;..."},{"page_id":"PA85","page_number":"85","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e . Proposition 8.3 Given three points A , B , C on a line such that A * B * C , and given points E , F on a ray originating from a point D , suppose that AB DE and AC≈ DF . Then E will be between D and F , and BC≈ EF . ( We\u0026nbsp;..."},{"page_id":"PA86","page_number":"86","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e by applying the same argument starting with A\u0026#39;B \u0026#39; \u0026lt; C\u0026#39;D \u0026#39; . ( b ) ( i ) Suppose we are given AB \u0026lt; CD and CD ... \u003cb\u003efollows\u003c/b\u003e that E * Z * F ( Exercise 7.1 ) and that AB≈ EZ . Hence AB \u0026lt; EF as required . E ( ii ) Given line\u0026nbsp;..."},{"page_id":"PA90","page_number":"90","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e . Take the real Cartesian plane IR2 with the usual notions of lines and betweenness . Using the Euclidean distance function d ( A , B ) , define a new distance function d \u0026#39; ( A , B ) = { d ( A , B ) if the segment AB is either\u0026nbsp;..."},{"page_id":"PA94","page_number":"94","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that A \u0026#39; , B \u0026#39; , C \u0026#39; are not collinear , so B\u0026#39;A\u0026#39;C \u0026#39; is an angle . Since B \u0026#39; and C \u0026#39; are on opposite sides of the line A\u0026#39;D \u0026#39; , it \u003cb\u003efollows\u003c/b\u003e that B \u0026#39; * D\u0026#39;C \u0026#39; , and so the ray A\u0026#39;D \u0026#39; is in the interior of the angle LB\u0026#39;A\u0026#39;C \u0026#39; , as\u0026nbsp;..."},{"page_id":"PA98","page_number":"98","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e from our choice of F. At the last step , subtracting angles , we need to know that the ray BC is in the interior of the angle LABG . This \u003cb\u003efollows\u003c/b\u003e from the fact that C is between A and G. So in the following , when we say that\u0026nbsp;..."},{"page_id":"PA101","page_number":"101","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that E and F are on the same side of BC . Since A * E * C , it \u003cb\u003efollows\u003c/b\u003e that A and E are on the same side of AC . By transitivity ( 7.1 ) it \u003cb\u003efollows\u003c/b\u003e that A and F are on the same side of the line BC = CD . So by definition , F\u0026nbsp;..."},{"page_id":"PA107","page_number":"107","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that LOBA LO\u0026#39;BA , which contradicts axiom ( C4 ) . ( This argument also applies if O \u0026#39; * O * A. ) Case 2 O * A * O \u0026#39; . Again using ( 1.5 ) we find that LOAB≈ LOBA and O\u0026#39;AB≈ LO\u0026#39;BA . But the two angles at A are supplementary\u0026nbsp;..."},{"page_id":"PA108","page_number":"108","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e from Exer- cise 11.3 and ( 11.5 ) that they will then meet in exactly two points . ) Proposition 11.6 ( Line - circle intersection property LCI ) B A A In a Hilbert plane with the extra axiom ( E ) , if a line I contains a point\u0026nbsp;..."},{"page_id":"PA110","page_number":"110","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that the angles at B are equal , so they are right angles , so BE is equal to the line 1 , and so E lies on 1 and г , as required . Remark 11.6.1 E B We will see later ( 16.2 ) that in the Cartesian plane over a field , the\u0026nbsp;..."},{"page_id":"PA113","page_number":"113","snippet_text":"Robin Hartshorne. So for example , to prove ( 1.29 ) we proceed as \u003cb\u003efollows\u003c/b\u003e . Given two parallel lines l , m , and a ... \u003cb\u003efollow\u003c/b\u003e without difficulty . In particular , we have the famous ( 1.32 ) , that \u0026quot; the sum of the angles of a\u0026nbsp;..."},{"page_id":"PA114","page_number":"114","snippet_text":"... \u003cb\u003efollow\u003c/b\u003e without difficulty . Note in particular the Pythagorean theorem ( 1.47 ) , which says that the sum of the squares on the legs of a right triangle have equal content with the square on the hypotenuse . Also , the results of Book\u0026nbsp;..."},{"page_id":"PA124","page_number":"124","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e immediately . √2 450 2 30 ° √3 So for example , the side of the regular octagon inscribed in the unit circle . will be Proposition 13.4 d = √2-2 cos 45 ° = √2 - √2 . In a circle of radius 1 , the length of the side of a\u0026nbsp;..."},{"page_id":"PA138","page_number":"138","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e : Let A = ( a1 , a2 ) , B = ( b1 , b2 ) , C = ( C1 , C2 ) be three distinct points on a line y = mx + b . We say that B is between A and C ( A * B * C ) if either a1 \u0026lt; b1 \u0026lt; c1 or a1 \u0026gt; b1 \u0026gt; c1 . If the line is vertical , we use\u0026nbsp;..."},{"page_id":"PA161","page_number":"161","snippet_text":"... \u003cb\u003efollow\u003c/b\u003e the same plan of proof as for ( 18.2 ) , except that now we con- sider the space \u0026#39; as \u003cb\u003efollows\u003c/b\u003e : \u0026#39; consists of continuous real - valued functions de- fined on some interval ( ao , ∞ ) of IR that are never 0. Two functions fon\u0026nbsp;..."},{"page_id":"PA168","page_number":"168","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e . Choose points A , B such that the segment AB represents the class a . a b A B C Then on the line AB choose a point C with A * B * C , such that the segment BC represents the class b . Then we define a + b to be represented by\u0026nbsp;..."},{"page_id":"PA170","page_number":"170","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e . First make a right triangle ABC with AB € 1 and BC e a , where the right angle is at B. Let a be the angle LBAC . Now make a new right triangle DEF with DE e b and having the same angle a at D. Then we define ab to be the\u0026nbsp;..."},{"page_id":"PA172","page_number":"172","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that the angles LDAE and LDCE are equal ; call this class B. To compute the product ba we first use the triangle ABD , obtaining the angle ẞ , and then use the triangle CBE , which has angle ẞ and side a . This shows that BE\u0026nbsp;..."},{"page_id":"PA177","page_number":"177","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that the sides are proportional . B A Conversely , suppose we are given B \u0026#39; , D such that AB , AC are ... \u003cb\u003efollows\u003c/b\u003e ( 20.2 ) that the triangles A\u0026#39;B\u0026#39;C \u0026#39; and DB\u0026#39;E are similar , and in particular , their sides are proportional\u0026nbsp;..."},{"page_id":"PA178","page_number":"178","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that all three sides of ABC are congruent to all three sides of DB\u0026#39;E . Then by the congruence criterion ... \u003cb\u003efollow\u003c/b\u003e easily , replacing Euclid\u0026#39;s references to Book V by algebraic reasoning in the field of segment arithmetic\u0026nbsp;..."},{"page_id":"PA180","page_number":"180","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that corresponding sides are proportional : a / c = d / b . Cross multiplying , we obtain ab = cd . Proposition 20.9 ( cf. ( III.36 ) ) Let A be a point outside a circle , let the line AB be tangent to the circle at B , and let\u0026nbsp;..."},{"page_id":"PA183","page_number":"183","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e . Let AB be a given line seg- ment . Construct AC AB and per- pendicular to it . Let D be the midpoint of AC . Then find E on AC such that DB . Find F on AB such that AF . Prove that DE AE ( AF ) 2 = ( AB ) ( BF ) in the field\u0026nbsp;..."},{"page_id":"PA186","page_number":"186","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that any construction possible with Hilbert\u0026#39;s tools ( Section 10 ) is actually possible using only the ruler and the dividers : The present construction makes the transporter of angles superfluous . 21 Introduction of\u0026nbsp;..."},{"page_id":"PA201","page_number":"201","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e . Z. ( de Zolt\u0026#39;s axiom ) . If Q is a figure contained in another figure P , and if P - Q has a nonempty interior , then P and Q do not have equal content . We can think of ( Z ) as a precise formulation of Euclid\u0026#39;s Common Notion\u0026nbsp;..."},{"page_id":"PA202","page_number":"202","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e using tran- sitivity of equal content . But in the proof of ( 1.37 ) Euclid uses the property that \u0026quot; halves of equals are equal , \u0026quot; which depends on ( Z ) ( Exercise 22.8 ) . So we will give another proof , which does not depend\u0026nbsp;..."},{"page_id":"PA203","page_number":"203","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that the triangles ABC and DBC have equal content . Continuing with our examination of Euclid\u0026#39;s results , ( 1.38 ) \u003cb\u003efollows\u003c/b\u003e by tran- sitivity . Its converse ( 1.39 ) uses \u0026quot; the whole is greater than the part \u0026quot; in its proof , and\u0026nbsp;..."},{"page_id":"PA206","page_number":"206","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e from the def- inition of a measure of area function that a ( P ) = x ( T ) , and each ( Ti ) \u0026gt; 0 , so α ( P ) \u0026gt; 0 . ( b ) This \u003cb\u003efollows\u003c/b\u003e from the property that congruent triangles have equal area function . ( c ) If P and P \u0026#39; have\u0026nbsp;..."},{"page_id":"PA214","page_number":"214","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that GK BE , and so by subtraction , CD ~ AB KH . Now by ( ASA ) again , ACDF AKHE . This gives a dissection of the rectangle ABCD into the rectangle AEGH , as required . C D K L H F A B E I Note that in order for this\u0026nbsp;..."},{"page_id":"PA215","page_number":"215","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e from the hypothesis AB \u0026lt; AE \u0026lt; 2AB , because the line from C to the midpoint of BD would meet the line AB at a point M with AM = 2AB . Proposition 24.5 Assume Archimedes \u0026#39; axiom ( A ) . Given any rectangle ABCD and given any\u0026nbsp;..."},{"page_id":"PA218","page_number":"218","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that O is also the mid- point of the segments KL and HJ . These two segments are also equal to each other , and from the parallelogram BCKL , they are equal to BC . Thus OK , ر S OL , OH , OJ are all equal to one - half of BC\u0026nbsp;..."},{"page_id":"PA232","page_number":"232","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that figures that are equivalent by dissection or by com- plementation ( the three - dimensional analogue of equal content - cf . Section 22 ) have the same invariant 8. We will compute 8 of a tetrahedron , which will be nonzero\u0026nbsp;..."},{"page_id":"PA236","page_number":"236","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e . Think of R as a vector space over Q. Since a ‡ 0 , aQ is a 1 - dimensional subvector space . Choose a complementary subspace V , so that every element be IR can be written uniquely as b = ra + v with re Q and ve V. For any\u0026nbsp;..."},{"page_id":"PA237","page_number":"237","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that ( a , α ) = 0 in R / лQ , and hence α € лQ , which is what we wanted to prove . Lemma 27.5 If a is an angle with cosa = 1 , then a is not a rational multiple of î . Proof We will offer two proofs of this fact . The first is\u0026nbsp;..."},{"page_id":"PA245","page_number":"245","snippet_text":"... \u003cb\u003eFollows\u003c/b\u003e from the quadratic formula : The roots of the equation ax2 + bx + c = 0 are given by a = ( 1 / 2a ) ( − b ± √b2 – 4ac ) . Remark 28.6.1 This is indeed an elementary result , but we thought it worth stating explicitly because\u0026nbsp;..."},{"page_id":"PA256","page_number":"256","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e . The question is whether α = 2 cos 2л / 17 is a constructible real number . Now , a is contained in the field Q ( 5 ) of 17th roots of unity . By ( 32.7 ) this is a normal extension of Q of degree 16 and with Galois group Zi\u0026nbsp;..."},{"page_id":"PA275","page_number":"275","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that deg Fx / F , and hence also deg F ( x ) / F , is of the form 2\u0026#39;3s for some r , s≥ 0 . In fact , a stronger result is true . Proposition 31.7 The quantity a Є IR is constructible by compass and marked ruler ( used between\u0026nbsp;..."},{"page_id":"PA276","page_number":"276","snippet_text":"... abelian of order 2\u0026#39;38 for some r , s , and the result \u003cb\u003efollows\u003c/b\u003e from ( 31.7 ) ( whose proof is much easier in the abelian case ) . Remark 31.9.1 As Gleason ( 1988 ) has pointed out 276 6. Construction Problems and Field Extensions."},{"page_id":"PA279","page_number":"279","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e : Let a be one root . Then show that the remaining two roots of f ( x ) are roots of the qua- dratic equation x2 + ax + ( p + α2 ) = 0 . Solve this using the quadratic formula . Then put the three roots into the definition of\u0026nbsp;..."},{"page_id":"PA282","page_number":"282","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that every polynomial f ( x ) e Q [ x ] has a root in C ( and sometimes even a root in IR ) . So if we write √2 , for example , it can be assumed that we are referring to the real number √2 = 1.414 ... , and not to some\u0026nbsp;..."},{"page_id":"PA286","page_number":"286","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e : To a subgroup HG we associate the field EH of elements of E left fixed by all elements of H. Conversely , to an intermediate field K we associate the subgroup HG of those elements of G that leave all elements of K fixed . ( d )\u0026nbsp;..."},{"page_id":"PA287","page_number":"287","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that σ ( √5 ) = -√5 . Now we make use of the identity a12 = √5 . Apply- ing σ we obtain σ ( α1 ) · σ ( α2 ) ... \u003cb\u003efollows\u003c/b\u003e that σ ( α2 ) = -α1 = αз . Finally , σ ( α3 ) = σ ( −α1 ) = -α2 = α4 . Thus σ = ( 1234 ) . So G is\u0026nbsp;..."},{"page_id":"PA288","page_number":"288","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that f ( x ) cannot be a product of two quadratic polynomials , because then f ( x ) would be also . Thus f ( x ) is irreducible , and so 4 divides the order of the Galois group . Now let us apply the proposition . The\u0026nbsp;..."},{"page_id":"PA317","page_number":"317","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e . Let the angle bi- sectors at A , B meet at a point C. Drop perpendiculars CD , CE from C to a , b . Join DE , and let c be the perpendicu- lar from C to DE . ( a ) Show that Cc is limiting parallel to Aa and Bb . ( b ) Show\u0026nbsp;..."},{"page_id":"PA324","page_number":"324","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e . First mark off BD = AB , and drop the perpendicular DE . Then extend BC and drop a perpendic- ular DF to the extended line . The verti- cal angles at B are equal , so by ( AAS ) , the triangles ABC and DBF are congru- A ent\u0026nbsp;..."},{"page_id":"PA326","page_number":"326","snippet_text":"... \u003cb\u003efollow\u003c/b\u003e Hilbert\u0026#39;s method , which we used already for Euclidean area in Sections 22 , 23. So recall that in any ... \u003cb\u003efollows\u003c/b\u003e . Recall first that in our development of a Hilbert plane , an angle is simply two rays , emanating from a\u0026nbsp;..."},{"page_id":"PA332","page_number":"332","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e : ( a ) Show that there exist convex rectilineal figures with arbitrarily large area . ( b ) Use ( 35.2 ) and ( 35.4 ) to get a contradiction if ( P ) does not hold . 36.2 Let ABC be an isosceles triangle , let D , E be the\u0026nbsp;..."},{"page_id":"PA338","page_number":"338","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e , either from thinking of the distance formula in terms of coordinates , or by using the ( SAS ) criterion for similar triangles ( 20.4 ) , that all distances are changed by the same ratio k . In particular , a dilation sends\u0026nbsp;..."},{"page_id":"PA354","page_number":"354","snippet_text":"... r orthogonal to y , because then y \u0026#39; will be sent into itself , saving us the trouble of finding its image under the circular inversion . P ୮ R Тоз S M N O2 So we proceed as \u003cb\u003efollows\u003c/b\u003e : Bisect O3E using G. 354 7. Non - Euclidean Geometry."},{"page_id":"PA358","page_number":"358","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e . Two P - angles are P - congruent if the Euclidean angles they define are congruent in the usual sense . For line segments , we proceed as \u003cb\u003efollows\u003c/b\u003e . Given two P - points , let the P - line joining them be the circle y\u0026nbsp;..."},{"page_id":"PA359","page_number":"359","snippet_text":"Robin Hartshorne. ( C5 ) \u003cb\u003efollows\u003c/b\u003e from the same statement for Euclidean angles , because congru- ence of angles is the same . Before proceeding to a discussion of the remaining axioms ( C1 ) , ( C6 ) , ( E ) , ( A ) , and ( D ) , we will\u0026nbsp;..."},{"page_id":"PA362","page_number":"362","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that is a circle . Since the transformed circle was a circle around O entirely contained inside I , the image is also entirely contained inside I. Conversely , given an ordinary circle completely contained inside I , with\u0026nbsp;..."},{"page_id":"PA367","page_number":"367","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e . Given a point A , a P - line y , and given a quan- tity be F , 0 \u0026lt; b \u0026lt; 1 , we need to find a point Be y such that ( AB , PQ ) = b . Do this by showing that in Euclidean geometry , the locus of points B such that BP / BQ is a\u0026nbsp;..."},{"page_id":"PA371","page_number":"371","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e . Use the Klein model ( Exercise 39.21 ) and place the center of the circum- scribed circle at the center O of the circle A. Then the perpendicular bisectors of the sides of ABC become diameters of the circle A. Conclude that\u0026nbsp;..."},{"page_id":"PA373","page_number":"373","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e . ( a ) If xe F with 0 \u0026lt; x and x2 \u0026lt; √2 , let AB be the segment from ( 0 , 0 ) to ( x , 0 ) in the Poincaré ... \u003cb\u003efollow\u003c/b\u003e in the axiomatic treatment from what we have done so far ( Exercises 39.24 , 39.28 ) . Therefore\u0026nbsp;..."},{"page_id":"PA377","page_number":"377","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e from ( ASAL ) = ( Exercise 34.9 ) that n is limiting parallel to m . в A l h Then by transitivity ( 34.11 ) it \u003cb\u003efollows\u003c/b\u003e also that I is limiting parallel to n . But this contradicts the exterior angle theorem ( 40.2 ) because the\u0026nbsp;..."},{"page_id":"PA383","page_number":"383","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e by elimination . Suppose two angle bisectors are limiting parallel . If the third is not , then it either ... \u003cb\u003efollows\u003c/b\u003e that the base angles of the triangle CDE are equal . Hence it is an isosceles triangle , and the angle\u0026nbsp;..."},{"page_id":"PA386","page_number":"386","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e . ( a ) Given a ( regular ) point P and an ideal point Q * , there is a unique line contain- ing them both . ( b ) Given an end a and an ideal point Q * , and assuming that a is not an end of the defining line q of Q * , then\u0026nbsp;..."},{"page_id":"PA391","page_number":"391","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e . Given an end y , which we may assume to be positive , let the line ( y , -7 ) meet ( 0 , ∞o ) at C. We define a rigid motion of the plane , called translation along the line ( 0 , ∞ ) by OC , as \u003cb\u003efollows\u003c/b\u003e . For any point P\u0026nbsp;..."},{"page_id":"PA415","page_number":"415","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that two Hilbert planes with ( P ) will be isomorphic , as abstract geometries , if and only if their associated fields are isomorphic , as ordered fields . In this section we will do the same thing for non - Euclidean geometry\u0026nbsp;..."},{"page_id":"PA424","page_number":"424","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that \u0026#39;10 IIo is a line of IIo . Now , l \u0026#39; meets one side of the triangle ABD . It cannot meet BD , since I does not , so by Pasch\u0026#39;s axiom it must meet AB . The intersection point is C , so С є По . E A B C ( b ) Given M a\u0026nbsp;..."},{"page_id":"PA431","page_number":"431","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that a meets d . ( a ) Show that the Lotschnitt axiom holds in any semi - Euclidean or semielliptic plane . ( b ) If Пlo is a full subplane of the Poincaré model II over a Euclidean ordered field F , corresponding to a nonzero\u0026nbsp;..."},{"page_id":"PA432","page_number":"432","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e . Given the triangle ABC , let two angle bisectors d , e meet at a point P. Drop a perpendicular x from P to a . Let f = xed by the theorem of three re- flections ( Exercise 17.14 ) . Then prove that fis the angle bisector at C\u0026nbsp;..."},{"page_id":"PA445","page_number":"445","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e . Let A , F be opposite vertices of our figure . Then B , C , D , E are all equidistant from A and F , so they must lie in the plane that bisects the segment AF . But they are also equidistant from A , so they lie on a sphere\u0026nbsp;..."},{"page_id":"PA446","page_number":"446","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e from ( 44.4 ) that the only regular polyhedra are the five Platonic solids constructed in ( 44.2 ) , and that they all have the extra properties ( d ) , ( e ) , ( f ) of ( 44.4 ) . Alternatively , one could define a regular\u0026nbsp;..."},{"page_id":"PA450","page_number":"450","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e : Σov = ( 27- ( face angles at δν Σ V Σπυ = 2πv - ( all face angles ) , v ) ) where v is the number of vertices . Now the sum of the face angles of an n - sided polygon is ( n - 2 ) л . For each n , let fn be the number of faces\u0026nbsp;..."},{"page_id":"PA451","page_number":"451","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e by applying the induction hypothesis to the new poly- gons of n - 1 vertices obtained by omit- ting A , and Bi . A , B1 Bu An Bi A : ... Case 3 Suppose that n ≥ 4 and all. 45. Euler\u0026#39;s and Cauchy\u0026#39;s Theorems 451."},{"page_id":"PA462","page_number":"462","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that b = d . This restriction , together with the inequality , limits possible vertex types to those in ... \u003cb\u003efollow\u003c/b\u003e from Cauchy\u0026#39;s theorem ( 45.5 ) . As for existence , all except the last two can be constructed using\u0026nbsp;..."},{"page_id":"PA463","page_number":"463","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e . Take a cube , and in the middle of each face draw a smaller square with edges paral- lel to the edges of the cube . Now re- move the edges of the cube , and join squares in adjacent faces by squares ( after adjusting the size\u0026nbsp;..."},{"page_id":"PA465","page_number":"465","snippet_text":"... \u003cb\u003efollows\u003c/b\u003e that 1 1 1 1 - 2 a \u0026lt; b n Now , the minimum nonzero value of the expression on the left , for a , b ≥ 3 , is 1/42 ( Exercise 46.6 ) . So if we take n ≥ 42 , this inequality implies 1 1 + a b 1 2 == so ( a , b ) = ( 3,6 ) or ( 4\u0026nbsp;..."}],"search_query_escaped":"follows"},{});</script></div></div></div><script>(function() {var href = window.location.href;if (href.indexOf('?') !== -1) {var parameters = href.split('?')[1].split('&');for (var i = 0; i < parameters.length; i++) {var param = parameters[i].split('=');if (param[0] == 'focus') {var elem = document.getElementById(param[1]);if (elem) {elem.focus();}}}}})();</script>