本文目录一览：
介绍一下欧几里德
欧几里德
欧几里德(Euclid of Alexandria)，希腊数学家。约生于公元前330年，约殁于公元前260年。
欧几里德是古代希腊最负盛名、最有影响的数学家之一，他是亚历山大里亚学派的成员。欧几里德写过一本书，书名为《几何原本》(Elements)共有13卷。这一著作对于几何学、数学和科学的未来发展，对于西方人的整个思维方法都有很大的影响。《几何原本》的主要对象是几何学，但它还处理了数论、无理数理论等其他课题。欧几里德使用了公理化的方法。公理(axioms)就是确定的、不需证明的基本命题，一切定理都由此演绎而出。在这种演绎推理中，每个证明必须以公理为前提，或者以被证明了的定理为前提。这一方法后来成了建立任何知识体系的典范，在差不多2000年间，被奉为必须遵守的严密思维的范例。《几何原本》是古希腊数学发展的顶峰。
欧几里得 (活动于约前300-)
古希腊数学家。以其所著的《几何原本》(简称《原本》）闻名于世。关于他的生平，现在知道的很少。早年大概就学于雅典,深知柏拉图的学说。公元前300年左右，在托勒密王（公元前364～前283）的邀请下，来到亚历山大，长期在那里工作。他是一位温良敦厚的教育家，对有志数学之士，总是循循善诱。但反对不肯刻苦钻研、投机取巧的作风，也反对狭隘实用观点。据普罗克洛斯（约410～485）记载，托勒密王曾经问欧几里得，除了他的《几何原本》之外，还有没有其他学习几何的捷径。欧几里得回答说： “ 在几何里，没有专为国王铺设的大道。 ” 这句话后来成为传诵千古的学习箴言。斯托贝乌斯（约 500）记述了另一则故事,说一个学生才开始学第一个命题，就问欧几里得学了几何学之后将得到些什么。欧几里得说：给他三个钱币，因为他想在学习中获取实利。
欧几里得将公元前 7世纪以来希腊几何积累起来的丰富成果整理在严密的逻辑系统之中，使几何学成为一门独立的、演绎的科学。除了《几何原本》之外，他还有不少著作，可惜大都失传。《已知数》是除《原本》之外惟一保存下来的他的希腊文纯粹几何著作，体例和《原本》前6卷相近，包括94个命题,指出若图形中某些元素已知,则另外一些元素也可以确定。《图形的分割》现存拉丁文本与阿拉伯文本，论述用直线将已知图形分为相等的部分或成比例的部分。《光学》是早期几何光学著作之一，研究透视问题，叙述光的入射角等于反射角，认为视觉是眼睛发出光线到达物体的结果。还有一些著作未能确定是否属于欧几里得，而且已经散失。
欧几里德的《几何原本》中收录了23个定义，5个公理，5个公设，并以此推导出48个命题
欧几里德
欧几里德如下：
欧几里德定理是指射影定律。
欧几里德算法又称辗转相除法，用于计算两个正整数a，b的最大公约数。其计算原理依赖于下面的定理： 定理：gcd(a,b) = gcd(b,a mod b) (ab 且a mod b 不为0) 证明：a可以表示成a = kb + r，则r = a mod b 假设d是a,b的一个公约数，则有 d|a, d|b，而r = a - kb，因此d|r 因此d也是(b,a mod b)的公约数 因此(a,b)和(b,a mod b)的公约数是一样的，其最大公约数也必然相等，得证
直角三角形射影定理，又称“欧几里德定理”，定理内容是直角三角形中，斜边上的高是两直角边在斜边上射
影的比例中项，每一条直角边是这条直角边在斜边上的射影和斜边的比例中项。
证明思路
因为射影就是将原图形的长度（三角形中称高）缩放，所以宽度是不变的，又因为平面多边形的面积比＝边长的平方比。所以就是图形的长度（三角形中称高）的比。
那么这个比值应该是平面所成角的余弦值。在两平面中作一直角三角形，并使斜边和一直角边垂直于棱（即原多边形图的平面和射影平面的交线），那么三角形的斜边和另一直角边的比值就是其多边形的长度比，即为平面多边形的面积比，而将这个比值放到该平面三角形中去运算即可。
欧几里得是谁
欧几里得，古希腊数学家，被称为“几何之父”。他最著名的著作《几何原本》是欧洲数学的基础，在书中他提出五大公设。欧几里得的《几何原本》被广泛的认为是历史上最成功的教科书。欧几里得也写了一些关于透视、圆锥曲线、球面几何学及数论的作品。
欧几里得在《几何原本》中还对完全数做了探究，他通过2^(n-1)·(2^n-1)的表达式发现头四个完全数的。
当n=2:2^1(2^2-1)=6当n=3:2^2(2^3-1)=28当n=5:2^4(2^5-1)=496当n=7:2^6(2^7-1)=8128一个偶数是完全数。
当且仅当它具有如下形式：2^(n-1).(2^n-1)，此事实的充分性由欧几里得证明，而必要性则由欧拉所证明。
其中2^（n）-1是素数，上面的6和28对应着n=2和3的情况。我们只要找到了一个形如2^（n）-1的素数（即梅森素数），也就知道了一个偶完全数。
在手算时代梅森素数可使人们更方便的计算完全数，在计算机时代更是得到了广泛深入的应用，计算机的CPU可以更方便的计算各种数。
尽管没有发现奇完全数，但是当代数学家奥斯丁·欧尔证明，若有奇完全数，则其形式必然是12p+1或36p+9的形式，其中p是素数。在10^300以下的自然数中奇完全数是不存在的。
