【轉】樂強德
http://episte.math.ntu.edu.tw/images/portraits/p_legendre.gif Legendre（1752∼1833），生卒於巴黎。法國科學院的祕書說：「Laplace 是法國的牛頓，而 Legendre 則是法國的歐拉。」他們兩位加上 Lagrange 稱為三巨頭，其姓氏都以 L 作為開頭。 Legendre 研究重心擺在數論，橢圓函數論，他也花了許多時間在非歐幾何上。 他是第三位（在 Saccheri 與 Lambert 之後）為想建立歐氏平行公設而下了很大功夫的數學家。他證明了 定理： 若三角形的內角和等於兩直角，則歐氏平行公設成立。 然後他想證明三角形的內角和不能小於兩直角，卻產生了瑕疵。他鍥而不捨地在平行問題上下功夫，堅持最久。1833年在他死那年還出版了最後一篇論文。可惜未有多大進步。 至於數論中的二次互逆律，他於1785年在科學院宣讀了一篇論文，可惜他假定了一個明顯的定理，事實上此定理的證明和互逆律一樣困難。 二次互逆律是關於一組兩個二次同餘式http://episte.math.ntu.edu.tw/people/p_legendre/img1.gif
是否可解？其中 p 與 q 互為相異的奇質數。他說兩個同餘式 http://episte.math.ntu.edu.tw/people/p_legendre/img2.gif 與 http://episte.math.ntu.edu.tw/people/p_legendre/img3.gif 同時可解或同時不可解，除非 p 及 q 都是 4n+3 型，此時同餘式一個可解而另一個不可解。 今日，對不被質數 p 整除的 a，我們定義符號 http://episte.math.ntu.edu.tw/people/p_legendre/img4.gif，若 a 與一平方數模 p 同餘； http://episte.math.ntu.edu.tw/people/p_legendre/img5.gif，若 a 不與平方數模 p 同餘，而這種符號 (-) 稱為 Legendre 符號。 http://episte.math.ntu.edu.tw/people/p_legendre/img6.gif，因為 http://episte.math.ntu.edu.tw/people/p_legendre/img7.gif 有解，而 http://episte.math.ntu.edu.tw/people/p_legendre/img8.gif 因為 http://episte.math.ntu.edu.tw/people/p_legendre/img9.gif 無解。
頁:
[1]