《海島算經》是三國時期魏國數學家劉徽所著的測量學著作，於三國魏景元四年（西元263年）所撰。
簡介
《海島算經》本為《九章算術注》之第十卷，題為《重差》。唐初開始單行，體例亦是以應用問題集的形式。研究的對象全是有關高與距離的量測，所使用的工具也都是利用垂直關係所連接起來的測竿與橫棒。有人說是實用三角法的啟蒙，不過其內容並未涉及三角學中的正余弦概念。所有問題都是利用兩次或多次測望所得的數據，來推算可望而不可及的目標的高、深、廣、遠。
此卷書被收集於明成祖時編修的永樂大典中，現保存在英國劍橋大學圖書館。劉徽也曾對九章算數重編並加以注釋。全書共9題，全是利用量測來計算高深廣遠的問題，首題測算海島的高、遠，故得名。
望海島圖
作者簡介
劉徽（生於西元250年左右），是中國數學史上一個非常偉大的數學家，在世界數學史上，也佔有傑出的地位。他的傑作《九章算術注》和《海島算經》，是我國最寶貴的數學遺產。
《九章算術》約成書於東漢之初，共有246個問題的解法，在許多方面如解聯立方程，分數四則運算，正負數運算，幾何圖形的體積面積計算等，都屬於世界先進之列，但因解法比較原始，缺乏必要的證明，而劉徽則對此均作了補充證明。在這些證明中，顯示了他在多方面的創造性的貢獻。他是世界上最早提出十進小數概念的人，並用十進小數來表示無理數的立方根。在代數方面，他正確地提出了正負數的概念及其加减運算的法則；改進了線性方程組的解法。在幾何方面，提出了“割圓術”，即將圓周用內接或外切正多邊形窮竭的一種求圓面積和圓周長的方法。他利用割圓術科學地求出了圓周率π=3.14的結果。劉徽在割圓術中提出的“割之彌細，所失彌少，割之又割以至於不可割，則與圓合體而無所失矣”，這可視為中國古代極限觀念的佳作。
內容
《海島算經》共九問。都是用表尺重複從不同位置測望，取量測所得的差數，進行計算從而求得山高或穀深，這就是劉徽的重差理論。《海島算經》中，從題目文字可知所有計算都是用籌算進行的。“為實”指作為一個分數的分子，“為法”指作為分數的分母。所用的長度單位有裏、丈、步、尺、寸；1裏=180丈=1800尺；1丈=10尺：1步=6尺，1尺=10寸。
望海島
今有望海島，立兩錶，齊高三丈，前後相去千步，令後錶與前錶三相直。從前錶卻行一百二十三步，人目著地取望島峰，與錶末三合。從後錶卻行一百二十七步，人目著地取望島峰，亦與錶末三合。問島高及去錶各幾何？答曰：島高四裏五十五步；去錶一百二裏一百五十步。術曰：以錶高乘錶間為實；相多為法，除之。所得加錶高，即得島高。求前錶去島遠近者：以前錶卻行乘錶間為實；相多為法。除之，得島去表裡數。
由於前錶去島的距離不能直接量測，劉徽用同樣高度的錶杆前後量測，錶杆與地面垂直，人眼貼地，望錶杆頂和島上山頂對齊，這時測得人眼和前錶杆的水准距離叫“前錶卻行”DG=123步；再將錶杆往後移動，兩錶杆間距稱為“錶間”=1000步，依法測出“後錶卻行”FH=127步。
依法得島高AB= C D××-->D F F H−−--> D G + C D {\displaystyle{ frac {CD imes DF}{FH-DG}}+CD}
依法得前錶去島遠近BD= D G××-->D F F H−−--> D G {\displaystyle { frac{DG imes DF}{FH-DG}}}
望松生山上
今有望松生山上，不知高下。立兩錶齊，高二丈，前後相去五十步，令後錶與前錶三相直。從前錶卻行七步四尺，薄地遙望松末，與錶端三合。又望松本，入錶二尺八寸。複從後錶卻行八步五尺，薄地遙望松末，亦與錶端三合。問松高及山去錶各幾何？答曰：松高一十二丈二尺八寸；山去錶一裏二十八步、七分步之四。術曰：以入錶乘錶間為實。相多為法，除之。加入錶，即得松高。求錶去山遠近者：置錶間，以前錶卻行乘之為實。相多為法，除之，得山去錶。
CD EF表示前後兩支錶杆，前錶杆有刻度，用作兩次量測，第一次從G點瞄準A、C兩點成直線，第二次從G點校準樹根J，讀出前錶杆上度數（入錶）。
松高=AJ= C K××-->D F（F H−−--> D G）+ C K {\displaystyle{ frac {CK imes DF}{（FH-DG）}}+CK}
前錶去山遠近=BD= D F××-->D G（F H−−--> D G）{\displaystyle { frac{DF imes DG}{（FH-DG）}}}
《海島算經》今有南望方邑示意圖
南望方邑
今有南望方邑，不知大小。立兩錶東、西去六丈，齊人目，以索連之。令東錶與邑東南隅及東北隅三相直。當東錶之北卻行五步，遙望邑西北隅，入索東端二丈二尺六寸半。又卻北行去錶一十三步二尺，遙望邑西北隅，適與西錶相三合。問邑方及邑去錶各幾何？答曰：邑方三裏四十三步、四分步之三；邑去錶四裏四十五步。術曰：以入索乘後去錶，以兩錶相去除之，所得為景差；以前去錶减之，不盡以為法。置後去錶，以前去錶减之，餘以乘入索為實。實如法而一，得邑方。求去錶遠近者：置後去錶，以景差减之，餘以乘前去錶為實。實如法而一，得邑去錶。
由於待測的方城寬度AB，在東西方向，與地面平行，囙此兩支在C點D點插入地面與地面垂直的錶杆，在此不用作直接量測，量測是依靠一根拴在C、D兩根垂直錶杆中間的一條水准量測繩索CD完成的。此題中一根水准量測繩作兩次量測用。
望深谷
今有望深谷，偃矩岸上，令勾高六尺。從勾端望穀底，入下股九尺一寸。又設重矩於上，其矩間相去三丈。更從勾端望穀底，入上股八尺五寸。問穀深幾何？答曰：四十一丈九尺。術曰：置矩間，以上股乘之，為實。上、下股相减，餘為法，除之。所得以勾高减之，即得穀深。
登山望樓
今有登山望樓，樓在平地。偃矩山上，令句高六尺。從句端斜望樓足，入下股一丈二尺。又設重矩於上，令其間相去三丈。更從句端斜望樓足，入上股一丈一尺四寸。又立小錶於入股之會，複從句端斜望樓岑端，入小錶八寸。問樓高幾何？答曰：八丈。術曰：上下股相减，餘為法；置矩閑，以下股乘之，如句高而一。所得，以入小錶乘之，為實。實如法而一，即是樓高。樓高=（距間*下股）*（入小錶）/句高/（下股-上股）。
南望波口
今有東南望波口，立兩錶南、北相去九丈，以索薄地連之。當北錶之西卻行去錶六丈，薄地遙望波口南岸，入索北端四丈二寸。以望北岸，入前所望表裡一丈二尺。又卻後行1去錶一十三丈五尺。薄地遙望波口南岸，與南錶三合。問波口廣幾何？答曰：一裏二百步。術曰：以後去錶乘入索，如錶相去而一。所得，以前去錶减之，餘以為法；複以前去錶减後去錶，餘以乘入所望表裡為實，實如法而一，得波口廣。
此題中一根水准量測繩，作三次量測用。
望清淵
今有望清淵，淵下有白石。偃矩岸上，令句高三尺。斜望水岸，入下股四尺五寸。望白石，入下股二尺四寸。又設重矩於上，其間相去四尺。更從句端斜望水岸，入上股四尺。以望白石，入上股二尺二寸。問水深幾何？答曰：一丈二尺。術曰：置望水上下股相减，餘以乘望石上股為上率。又以望石上下股相减，餘以乘望水上股為下率。兩率相减，餘以乘矩間為實；以二差相乘為法。實如法而一，得水深。又術：列望水上下股及望石上下股，相减，餘為法。以望石下股减望水下股，餘以乘矩間為實，實如法而一，得水深。
A標誌水岸，S標誌白石，C標誌岸邊；句是古代量測用具之一，有兩個邊成直角（如今三角板）：使用時句的一邊務必與地面垂直。此題用兩個句，一個在C，一個在D，各量測水岸和水底白石。此題用四次測望術。
登山望津
今有登山望津，津在山南。偃矩山上，令句高一丈二尺。從句端斜望津南岸，入下股二丈三尺一寸。又望津北岸，入前望股裏一丈八寸。更登高岩北，卻行二十二步，上登五十一步，偃矩山上。更從句端斜望津南岸，入上股二丈二尺。問津廣幾何？答曰：二裏一百二步。術曰：以句高乘下股，如上股而一。所得以句高减之，餘為法；置北行，以句高乘之，如上股而一。所得以减上登，餘以乘入股裏為實。實如法而一，即得津廣。
登山臨邑
今有登山臨邑，邑在山南。偃矩山上，令勾高三尺五寸。令勾端與邑東南隅及東北隅三相直。從勾端遙望東北隅，入下股一丈二尺。又施橫勾於入股之會，從立勾端望西北隅，入橫勾五尺。望東南隅，入下股一丈八尺。又設重矩於上，令矩間相去四丈。更從立勾端望東南隅，入上股一丈七尺五寸。問邑廣長各幾何？答曰：南北長一裏一百步；東西廣一裏三十三步、少半步。術曰：以勾高乘東南隅入下股，如上股而一，所得减勾高，餘為法；以東北隅下股减東南隅下股，餘以乘矩間為實。實如法而一，得邑南北長也。求邑廣：以入橫勾乘矩間為實。實如法而一，即得邑東西廣。
此題用四次測望術
歷代研究
南北朝數學家祖沖之曾為《九章重差圖》作注。唐朝將《九章重差圖》從《劉徽九章算術注》中分離出來單獨成書，以第一題“今有望海島”取名為《海島算經》。唐高宗顯慶元年（656年）數學家李淳風等注釋《算經十書》，作為國子監學習和考試用書，《海島算經》就是《算經十書》之一，並且規定《海島算經》的學習期限為三年，是其他算經學習期限的三倍，可見《海島算經》在唐代受重視的程度。北宋元豐七年（1084年）和南宋寧宗嘉定六年（1213年）先後刻印兩次。但宋刻本《海島算經》後來遺失。南宋秦九韶研究過類似於海島算經的量測書題目《錶望浮屠》，南宋數學家楊輝《續古摘奇算法》討論了四種量測問題，包括來自《海島算經》海島題，並指出“登高望松，遙望波口，非三望之術乎？清淵白石、登山臨邑，非四望之術乎？”明永樂年間收入《永樂大典》，但只存劉徽文字和李淳風注，劉徽原圖和劉徽所作的注釋已不存。元朝數學家朱世傑《四元玉鑒》《勾股測望》門第四，六，七，八等四問用天元術闡述《海島算經》的《望海島》《望深穀》《南望方邑》《望清淵》。清乾隆時代，經學家戴震將《海島算經》文字，從《永樂大典》中輯錄出來收入《四庫全書》。清代數學家李潢著《海島算經細草圖說》，沈欽裴著《重差圖說》，均以歐幾裡德幾何學論證，已失劉徽原意。李鏐著《海島算經緯筆》。到民國時期，中算史家李儼《重差術流源及其新注》和《中國古代中算家的測繪術》，《海島算經新注》都對《海島算經》有所論述。
近年中國數學家白尚恕對海島算經有較詳細的論證。吳文俊院士論文《我國古代測望之學重差理論評介兼評數學史研究中的某些方法問題》與《海島算經古證探源》兩篇論文對《海島算經》有詳細的論證，前文責備一些前人對《海島算經》的論證中添加歐幾裡德幾何的平行線或利用相似形理論或後代的代數論證的方法，顛倒歷史，都是錯誤的方法，並提出正確的論證，必須以劉徽時代的出入相補原理為基礎，才能還原《海島算經》的本來面目。
傳播
《海島算經》在唐代傳入朝鮮、日本。最早向西方介紹《海島算經》的是19世紀來華傳教士偉烈亞力。他1852年在《北華捷報》（North ChinaHerald，《字林西報》前身）發表的論文：《中國數學科學劄記》（Jottings on the Sciences of ChineseMathematics）。偉烈亞力在文中介紹了《海島算經》，說此書是“一部關於實用三角學的九個問題”。1913年日本數學史家三上義夫在其英文著作《中國與日本數學的發展》第五章《海島算經》中譯出頭三則問題，1932年法國數學家L·van·Hee翻譯《海島算經》全文。1986年澳大利亞華人數學家洪天賜和美國數學家弗蘭克·斯委特茲將《海島算經》全文翻譯成英文。此外還有日文翻譯本和俄文翻譯本。
評估
3世紀劉徽《海島算經》運用二次、三次、四次測望法，是測量學歷史上領先的創造。中外學者對《海島算經》的成就，給予很高的評估。《海島算經》的英譯者和研究者，美國數學家弗蘭克·斯委特茲，在比較西歐測量學從古代希臘、羅馬直到文藝復興時期的發展，認為希臘測量術，重點在量測器具的運用，而其數學水準遠不如劉徽《海島算經》，直到文藝復興時代，才差强達到《海島算經》水準。他還指出17世紀初義大利來華傳教士利瑪竇和中國徐光啟合著的《測量法義》十五題，並未能達到或超越《海島算經》。他結論；“簡而言之，在量測數學領域，中國人的成就，超越西方世界約一千年。”
《中國數學大系》一書中評估《海島算經》：“使中國測量學達到登峰造極的地步。在西歐直到16，17世紀，才出現二次測量術的記載，到18世紀，才有了三、四次量測之術，可見中國古代測量學的意境之深，功用之廣”。劉徽《海島算經》的測量術，實比歐洲早一千三百至一千五百年。