序
厯家所憑全恃測騐昔者蔡邕上書願匍匐渾儀之下按度考數著於篇章以成一代盛典古人之用心蓋可想見然則儒者端居斗室足不履觀臺目不睹渾象安所得測騐之事而親之而安從學之曰所恃者有測騐之法之理在則句股是也遭秦之厄天官書器散亡漢落下閎鮮于妄人等追尋墜緒厯代相承攷訂加詳至于今日厥理大著則句股之用于渾圓是也今夫測量之法方易而圓難古用徑一圍三聊舉成數非有所不知也自劉徽祖沖之各為圓率逮元趙友欽定為徑一則圍三一四一五九二與今西術略同皆割圓以得之非句股奚藉焉西法割圓比例以直角三邊形為主即句股也但異其名不異其實然用句股測平圓猶易用句股測渾圓更難厯家所測皆渾圓也非平圓也古有黄赤道相準之率大約於渾器比量僅得梗槩未能彰諸笇術近代諸家以相減相乘推變其差損益有序稍為近之而未親也惟元郭太史守敬始以弧矢命笇有平視側視諸圖推步立成諸數黄赤相求斯有定率視古為密由今觀之皆句股也但其立法必先求矢又用三乗方取數不易故但能列其一象限中度率不復能求其細分之數厯書之法則先求角既因弧以知角復因角以知弧而句股之形能預定其比例又佐之八線互用以通其窮其法以三弧度相交輒成三角則此三弧度者各有其相應之弦弧與弧相割即弦與弦相遇而句股生焉茍熟其法則正反斜側八線犁然各相得而成句股八線比例以半徑全數為弦正弦餘弦為句為股又以割線為弦切線與半徑全數為其句股表中所列句股形凡五千四百於是乎黃可變赤赤可變黃可以經度知緯可以緯度知經羅絡鉤連旁通曲暢分秒忽微臚陳笇位求諸中心可無纎芥之疑告諸同學亦如指掌之晰即不必匍匐渾儀之下可以不窺牖而見天道賴有此具也全部厯書皆弧三角之理即皆句股之理顧未嘗正言其為句股使人望洋無際彼云直角三邊形此云句股乃西國方言譯書時不知此理遂生分别又譯書者識有偏全筆有工拙語有淺深詳略所載圖説不無滲漏之端影似之談與臆參之見學者病之兹稍為摘其肯綮從而䟽剔訂補以直截發明其所以然竊為一言以蔽之曰析渾圓㝷句股而已蓋于是而知古聖人立法之精雖弧三角之巧豈能出句股範圍然句股之用亦必至是而庶無餘藴爾厯法之深㣲奥衍不啻五花八門其章句之詰曲離竒不啻羊腸絙度而由是以啓其扃鑰庶將掉臂游行若揭日月而騁康莊矣文雖不多實為此道中開闢塗徑蓋積數十年之探索而後能㑹通簡易故亟欲與同志者共之余老矣禹服九州之大厯代聖人教澤所漸被必有好學深思其人所冀大為闡發俾古人之意晦而復昭一綫之傳引而弗替則生平之志願畢矣豈必身擅其名然後為得哉余拭目竢之康熙二十三年上元甲子長至之吉勿菴梅文鼎書於柏梘山中
厯算全書卷七
宣城梅文鼎撰
弧三角舉要卷一弧三角體勢弧三角與平異理故先體勢知體勢然後可以用算而算莫先於正弧猶平三角之有句股形也故以為弧度之宗正弧形之之角取法于黄赤交角則有定度而餘角取法于過極圏交黄道之角則隨度而移互用之其理益顯故有求餘角法弧三角以一角對一邊而比例等與平三角同而其理迴别故有弧角比例法斜弧無相對之弧角則比例之法窮故有垂弧法三角求邊則垂弧之法又窮故有次形法垂弧與次形合用則有捷法弧與角各有八綫而可以互視故有相當法餘詳環中秦尺及塹堵測量
弧度與天相應弧三角之法以測渾員渾員之大者莫如天員之至者亦莫如天故弧三角之度皆天度也以平測員其難百倍以員測員其簡百倍而得數且真是故測天者必以弧度而論弧度者必以天為法測弧度必以大圏渾球上弧度有極大之圏乃腰圍之一綫也如赤道帶天之紘原止一綫如黄道如子午規如地平規盡然又如測得兩星相距之逺近亦為大圏之分若以此兩星之距弧引而長之必匝於渾員之體而成大圏不論從衡斜側皆同一法球上大圏必相等所以必用大圏者以其相等也 渾球上從衡斜側皆可為大圏而其大必相等者以俱在腰圍之一綫也如黄道赤道及子午規地平規俱係大圏必皆相等不相等即非大圏故惟大圏可相為比例任測兩星之距不必當黄赤道而能與二道相比例者以其皆大圏也
球上兩大圏無平行者大圏在渾球既為腰圍之一綫則必無兩圏平行之法若平行即非大圏如黄赤道並止一綫而無廣即無地可容平行綫也子午規地平規亦然球上圏能與大圏平行者皆小圏謂之距等圏離大圏左右作平行圏皆曰距等圏謂其四圍與大圏相距皆等如于黄道内外作緯圏其與黄道相距或近則四靣皆近或逺則四面亦皆逺無毫忽之不同平行故也赤道緯圏地平髙度並同而其自相距亦等故曰距等也如黄道内外或近或逺處處可作距等圏而皆與黄道平行即其圏亦自相平行故並為等距距等圏皆小于大圏如黄道内外緯圏但離數分其圍即小于黄道其距益逺其圏益小小之極至一㸃而止諸緯圏並然不能與大圏為比例大圏惟一距等圏無數無一同者無法可為比例故為比例者必大圏也如圖甲乙為大圏大圏只一丙丁及戊庚等皆小圏小圏無數漸近圎頂己即其圏愈小而成一㸃大小懸殊故不可以相為比例
大圏之比例以度不拘丈尺凡圏皆可分三百六十度每圏平分之成半周四平分之成象限象限又各平分之為九十度成三百六十度而球大者其大圏大球小者其大圏小皆以本球之圍徑自為比例不拘丈尺儘本球之圍分為全周之度其球上之度即皆以此為準但在本球上為最大故謂之大圏非以丈尺言其大小古人以八尺渾儀準周天蓋以此也又如古渾儀原有三重其在内之環周必小于外而其度皆能相應者在内環周雖小而在内之渾員以此為大圏即在内之各度並以此為準故也
大圏之度為公度凡球上距等圏亦可平公三百六十度而其圈皆小于本球之大圏又大小不倫則其所分之細度亦皆小于大圈而大小不倫矣惟本球腰圍大圏上所分之度得為公度故凡言度者必大圏也如圖甲乙為大圏一象限丙丁及戊庚各為距等小圏一象限象限雖同而大小迥異又如甲辛為大圈三十度丙壬及戊癸亦各為小圏之三十度其為三十度雖同而大小亦異再細攷之至一度或至一分亦大小異也故惟大圏之度為公度
大圏即本球外周其度即外周之度而横直皆相等平員有徑有周渾員亦有徑有周立渾員于前則外周可見即腰圍之大圏也旋而視之皆可為外周故大圏之横直皆等皆以外周度為其度故等
如圖子午規為渾儀外周其度三百六十乃横度也地平為腰圍度亦三百六十乃横度也横度直度皆得為外周故其度相等若依北極論之則赤道又為腰圍而亦即外周也推是言之渾球上大圏從衡斜側皆相等何則旋而視之皆得為腰圍即皆得為外周故也
大圏上相遇有相割無相切大圏相割各成兩半分球上從衡斜側既皆成大圏則能相割矣而皆為渾員之外周則必無相切之理若相切者必在外周之内為距等小圈
如圖甲丙乙為大圏半周能割大圏于甲于乙而不能相切丙丁成小圈則能切大圏于丙于丁
如圖甲庚辛乙為大圏半周割外圏于甲于乙則甲己乙乙子甲亦各成半周若壬癸距等圏割大圏于庚于辛而庚辛非半周
球上兩大圏相割必有二處此二處必相距一百八十度而各成兩平分如黃赤二道相交於春分必復相交於秋分即二分之距必皆半周一百八十度而黃道成兩半分赤道亦兩平分也若距等圏與大圏相割必不能成兩平方
兩大圏相遇則成角球上大圏既不平行則其相遇必相交相割而成角弧三角之法所由以立也角有正有斜斜角又有銳鈍共三種而角兩旁皆弧綫與直綫角異如圖己午戊子為子午規辛午乙子為地平規兩大圏正相交于南地平之午北地平之子則皆正角而四角皆等並九十度角也正角一名直角一名十字角一名正方角如圖午辛子為地平規丁辛癸為赤道規兩大圏斜相交于辛則丁辛子鈍角大于九十度丁辛午銳角小于九十度兩角相並一百八十度減銳角其外角必鈍若減鈍角亦得鋭角也故有内角即知外角 又兩銳角相對兩鈍角相對其度分必等故有此角即知對角凡此數端並與平三角同然而實有不同者以角兩旁之為弧綫也
弧綫之作角必兩直綫剖平員作角形如分餅角旁兩綫皆半徑至周而止弧綫剖渾冪作角形如剖𤓰角旁兩弧綫皆半周必復相交作角而等如黄赤道交于二分其角相等角有大小量之以對角之弧其角旁兩弧必皆九十度弧綫角既如𤓰瓣則其相距必兩端狹而中濶其最濶處必離角九十度此處離兩角各均即球上腰圍大圏也故其度即為角度如黄赤道之二分交角二十三度半即二至時距度此時黄赤道離二分各九十度乃腰圍最濶處也
大圈有極大圏能分渾員之面冪為兩則各有最中之處而相對是為兩極兩極距大圏四靣各九十度如圖甲辛乙為赤道大圈己為北極己為南極甲己丁己等弧綫距北極各九十度距南極亦然 若己為天頂甲辛乙為地平大圏亦同如甲正北辛正東乙正南丁東北丙東南所在不同而甲乙等髙弧距天頂各九十度皆等
大圏上作十字弧綫引長之必過兩極兩極出弧綫至大圏必皆十字正交如赤道上經圏皆與赤道正交為十字角則其圏必上過北極下過南極也然則從兩極出弧綫過赤道必十字正交矣
大圏之極為衆角所輳如赤道上逐度經圏皆過兩極則極心一㸃為衆角之宗經圏之弧在赤道上成十字者本皆平行漸逺漸狹至兩極則成角形之銳尖角無論大小皆輳于極而合成一㸃離此一㸃外即成銳鈍之形而皆與赤道度相應所謂量角以對弧度而角兩旁皆九十度以此
如圖己為北極即衆角之頂鋭其所當赤道之度如乙丙等則己角為鋭角如丙庚等則己角為鈍角 若己為天頂外圏為地平亦然
角度與角旁兩弧之度並用本球之大圏度故量角度者以角為極有弧線角不知其度亦不知角旁弧之度法當先求本球之九十度其法以角旁二弧各引長之使復作角乃中分其弧即成本弧之九十度而角旁弧之度可知以角為心九十度為界作大圏與角旁兩弧並本球大圏而其分度等乃視角所當之弧即角旁兩九十度弧所界於大圏上得若干度分即角度也故曰以角為極
三大圏相遇則成三角三邊此所謂弧三角形也如黄道赤道既相交於二分又有赤道經圏截兩道而過之則成乙丙甲弧三角形知圖己為北極戊辛為赤道丁庚為黄道二道相交於春分成乙角又己壬為過極經圏自北極己出弧線截黄道於丙得丙乙邊為黄道之一弧亦截赤道於甲成甲乙邊為赤道之一弧而過極經圏為二道所截成丙甲邊為經圏之一弧是為三邊即又成丙角甲角合乙角為三角
弧三角不同於平三角之理弧三角形有三角三邊共六件以先有之三件求餘三件與平三角同所不同者平三角形之三角并之皆一百八十度弧三角不然其三角最小者比一百八十度必盈三邊在一度以下可借平三角立算因其差甚微然其角度視半周必有微盈但不得滿五百四十度角之極大者合之以比三半周必不能及平三角之邊小僅咫尺大則千百萬里弧三角邊必在半周以下不得滿一百八十度合三邊不得滿三百六十度如滿全周即成全員而不得成三角
平三角有兩角即知餘角弧三角非算不知平三角有一正角餘二角必銳弧三角則否有三正角兩正角者其餘角有鈍有鋭或兩鋭兩鈍或一鋭一鈍不等
平三角有一鈍角餘二角必銳弧三角則否其餘角或鋭或正或鈍甚有三鈍角者
平三角以不同邊而同角為相似形同邊又同角為相等形弧三角則但有相等之形而無相似之形以同角者必同邊也
平三角但可以三邊求角不可以三角求邊弧三角則可以三角求邊弧三角之邊皆員度也初無丈尺可言故三角可以求邊若干三角邊各有丈尺則必有先得之邊以為之例所以不同相前條言有相等之形無相似之形亦謂其所得之度等非謂其丈尺等也
弧三角用八綫之理平三角用八綫惟用於角弧三角用八綫并用於邊平三角以角之八綫與邊相比弧三角是以角之八綫與邊之八綫相比平三角有正角即為句股若正弧三角形實非句股而以其八綫輳成句股平三角以角求邊是用弧綫求直綫也有角即有弧以邊求角是用直線求弧線也然角以八綫為用仍是以直綫求直綫也句股法也弧三角以邊求角以角求邊並是以弧綫求弧綫也而角與邊並用八綫仍是以直綫求直綫也亦句股法也蓋惟直綫可成句股所不同者平三角所成句股形即在平靣而弧三角所成句股不在弧靣而在其内外
弧三角之㸃綫面體測量家有㸃綫面體弧三角備有之其所測之角即㸃也但其㸃俱在弧靣如于渾球任指一星為所測之㸃即角度從兹起如太陽太陰角度並從其中心一㸃論之
弧三角之邊即綫也但其綫皆弧綫如渾球上任指兩星即有距綫或于一星出兩弧綫與他星相距即成角而角旁兩綫皆弧綫也弧三角之形即靣也但其靣皆渾球上面冪之分形弧三角之所麗即渾體也剖渾員至心即成錐體而並以弧三角之形為底詳塹堵測量
渾員内㸃綫面體與弧三角相應前條㸃綫面體俱在球面可以目視器測但皆弧綫難相比例比例必用句股句股必直綫故也賴有相應之㸃綫面惟在渾體内厯員可指雖不可以目視而可以算得弧三角之法所以的確不易也 如渾球中剖則成平員即靣也于是以球面之各㸃即弧三角之各角依視法移于平員面即渾員内相應之㸃也又以弧與角之八綫移至平面成句股以相比例是渾員内相應之綫也 又如弧三角之三邊各引長之成大圏各依大圏以剖渾員即各成平員面是亦渾員内相應之面也二平員面相割成𤓰瓣之體三平員面相割成三楞錐體若又依八線横割之即成塹堵諸體是渾員體内相應之分體也此皆與弧面相離在渾員之内非剖渾員即不可見而可以算得即不啻目視而器測矣
大圏與渾員同心球上大圏之心即渾員之心若依各大圏剖渾員成平員面其平員心即渾員之心若距等小圏則但以渾員之軸為心而不能以渾員心為心同心者亦同徑大圏以渾貟徑為徑若距等圏則但以通弦為徑渾體内諸綫能與弧三角相應者以此渾員體内諸綫皆宗其徑弧三角既以大圏相割而成必宗大圏之徑徑同故内外相應弧三角之邊不用小圏亦以此也距等圏既與大圏異徑則其度不齊不能成邊而所作之角必非真角無從考其度分也
弧三角視法弧三角非圖不明然圖弧綫於平面必用視法變渾為平平置渾儀從北極下視則惟赤道為外周不變而黄道斜立即成撱形 其分至各經圏本穹然半員今以正視皆成員徑是變弧綫為直綫也立置渾儀使北極居上而從二分平視之則惟極至交圏為外周不變其赤道黄道俱變直綫為員徑而成輳心之角即大距度平面角是變弧綫角為直綫角也又距等圏亦變横綫而成各度正弦與員徑平行其赤道上逐度經圏之過黄赤道者雖變撱形而其正弦不變且厯算可見如在平面而與平面上之大距度正弦同角成大小句股比例是弧面各綫皆可移于平面也故視法不但作圖之用即步算之法已在其中
以上謂之正視以黄赤道為式若于六合儀取天頂地平諸綫亦同他可類推以上謂之旁視渾員上有垜疊諸綫從旁側視之庶幾可見雖不能按度肖形而大意不失以顯弧三角之理為用亦多角之矢如圖甲丙乙丁半渾員以甲戊乙弧界之則其弧面分兩角為一鋭一鈍以視法移此弧度于相應之平面亦一鋭一鈍即分員徑為大小二矢而戊丙正矢為戊甲丙鋭角之度戊乙丙亦同戊丁大矢為戊甲丁鈍角之度戊乙丁亦同故得矢即得角角之八線如前圖丙戊弧為甲銳角之度與丙庚等則丙戊之在平面者變為直綫即爲甲鋭角之矢而戊巳為角之餘弦戊庚為角之正弦丙辛爲角之切綫己辛為角之割綫皆與平面丙庚弧之八綫等丁巳戊過弧為甲鈍角之度與丁乙庚過弧等則丁戊在平面者變為鈍角之大矢而戊巳餘弦戊庚正弦丙辛切綫己辛割綫並與鋭角同平面鈍角之八綫與外角同用弧三角亦然正弧斜弧之角與邊分為各類凡三角内有一正角謂之正弧三角形三角内並無正角謂之斜弧三角形正弧三角形之角有三正角者有二正角一鋭角者有二正角一鈍角者以上種種不須用算又有一正角兩鋭角者内分二種一種兩銳角同度一種兩銳角不同度有一正角兩鈍角者内分二種一種兩鈍角同度一種兩鈍角不同度有一正角一銳角一鈍角者内分二種一種銳鈍角角合之成半周一種合銳鈍兩角不能成半周計正弧之角九種而用算者六也正弧三角形之邊有三邊並足者足謂足九十度有二邊足一邊小者在象限以下為小有二邊足一邊大者過象限以上為大○以上三種可不用算有三邊並小者内分二種一種二邊等一種二邊不等有二邊大而一小者内分三種一種二大邊等一種二大邊不等一種小邊為一大邊減半周之餘計正弧之邊八種而用算者五也二邊俱小則餘邊必不能大故無二小一大之形二邊俱大則餘邊亦不能大故無三邊並大之形一邊若足則餘邊亦有一足故無一邊足之形正弧三角形圖一計三種
以上正弧形三種有同度之邊與角謂之二等邊形内有己形雖無同等之邉角而有共為半周之邉角度雖不同而所用之正弦則同即同度也凡邉等者角亦等後倣此正弧三角形圖三計三種
以上正弧形三種邊角與丁戊巳三種無異但無同度之邊凡正弧三角形共九種斜弧三角形之角有三角並鋭者内分三種一種有二角相等一種三角不相等一種三角俱等有二角銳而一鈍者内分四種一種二銳角相等一種二銳角不相等一種鈍角為一銳角減半周之餘一種二銳角相等而又並為鈍角減半周之餘有二角鈍而一銳者内分四種一種二鈍角相等一種二鈍角不相等一種銳角為一鈍角減半周之餘一種二鈍角相等而又並為銳角減半周之餘有三角並鈍者内分三種一種有二角相等一種三角不相等一種三角相等計斜弧之角十有四種斜弧三角形之邊有一邊足二邊小者内分二種一種二小邊相等一種二小邊不等有一邊足二邊大者内分二種一種二大邊等一種二大邊不等有一邊足一邊小一邊大者内分二種一種大小二邊合之成半周一種合二邊不能成半周有三邊並小者内分三種一種三邊不等一種二邊等一種三邊俱等有二邊大而一小者内分四種一種二大邊等一種二大邊不等一種小邊為一大邊減半周之餘一種二大邊等而又並爲小邊減半周之餘有二邊小而一大者内分四種一種二小邊等一種二小邊不等一種大邊為一小邊減半周之餘一種二小邊等而又並為大邊減半周之餘有三邊並大者内分三種一種三邊不等一種二邊等一種三邊俱等計斜弧之邊二十種斜弧三角形圖一計四種
以上斜弧形四種並三角三邊同度謂之三等邊形内有二等邊者其一邊為等邊減半周之餘與三等邊同法以同用正弦故斜弧三角形圖二計十二種
以上斜弧三角形十二種並二等邊形内有四種以大小二邊度成半周與二等邊同法小邊為大邊減半周之餘則同用一正弦斜弧三角形圖三計十種鋭厯書只九種遺一二鈍形
以上斜弧三角形十種並三邊不等用算只四種凡斜弧三角形共二十六種通共弧三角形三十五種内除正弧三種不須用算實三十二種
乙丁寅為赤道乙丙癸為黄道乙與寅為春秋分癸為夏至午癸丁辰為極至交圏午與辰為南北極午丙甲為過極經圈
丙乙為黄道距二分之度甲乙為赤道距二分之度卯同升度丙甲為黄赤距緯成丙乙甲三角弧形甲為正角乙春秋分角與渾員心卯角相應癸丁弧為黄赤大距即乙角之弧亦為夘角之弧癸巳為乙角正弦卯巳其餘弦戊丁為乙角切線戊卯其割線卯癸及夘丁皆半徑成癸巳夘及戊丁夘兩句股形又午夘半徑庚午為乙角餘切庚夘為乙角餘割成午夘庚倒句股形
丙辛為丙甲距度正弦丙壬為丙乙黄道正弦作辛壬線與丁卯平行成丙辛壬句股形子甲為丙甲距度切線甲丑為甲乙赤道正弦作子丑線與丙壬平行成子甲丑句股形酉乙為丙乙黄道切線未乙為甲乙赤道切線作酉未線與子甲平行成酉未乙句股形
前二句股形在癸丁大距弧内外癸巳邜用正餘弦在弧内戊丁夘用割切線出弧外後三句股形在丙乙甲三角内外丙辛壬在丙角用兩正弦在渾員内子甲丑在甲角兼用正弦切線半在内半在外酉未乙用兩切線在渾員外論曰此五句股形皆相似故其比例等何也赤道平安從乙視之則丁乙象限與丁夘半徑視之成一線而辛壬聨線甲丑正弦未乙切線皆在此線之上矣以其線皆平安皆在赤道平面與赤道半徑平行故也是為句線赤道平安則黄道之斜倚亦平其癸乙象限與癸夘半徑從乙視之亦成一線而丙壬正弦子丑聨線酉乙切線皆在此線之上矣以其線皆斜倚皆在黄道平面與黄道半徑平行故也是為弦線黄赤道相交成乙角而赤道既平安則從乙窺夘卯乙半徑竟成一㸃而乙丑壬夘角合成一角矣諸句股形既同角而其句線皆同赤道之平安其弦線皆同黄道之斜倚則其股線皆與赤道半徑為十字正角而平行矣是故形相似而比例皆等也其夘午庚倒句股形為相當之用與諸句股形亦相似而比例等又論曰丙辛壬形兩正弦丙辛丙壬俱在渾體之内其理易明子甲丑形甲丑正弦在渾體内子甲切線在渾體之外已足詫矣酉未乙形兩切線酉乙未乙俱在渾體之外雖習其術者未免自疑厯書置而不言蓋以此耶今為補説詳明欲令學者了然心目庶以用之不疑用法假如有丙乙黄道距春分之度求其距緯丙甲法為半徑癸夘與乙角之正弦癸巳若丙乙黄道之正弦丙壬與丙甲距緯之正弦丙辛也一 半徑全數 癸夘 弦二 乙角正弦 癸巳 股三 黄道正弦 丙壬 弦四 距緯正弦 丙辛 股若先有丙甲距度而求丙乙黄道距二分之度則反用之為乙角之正弦癸巳與半徑癸夘若欲用半徑為一率以省除則為半徑午夘與乙角之餘割庚夘其比例亦同若丙甲距緯之正弦丙辛與丙乙黄道之正弦丙壬也
二 半徑全數 癸夘 乙角餘割 庚夘 弦
三 距緯正弦 丙辛 股
四 黄道正弦 丙壬 弦
右丙辛壬形用法假如有甲乙赤道同升度求距緯丙甲法為半徑夘丁與乙角之切線丁戊若甲乙赤道之正弦甲丑與丙甲距緯之切線子甲也一 半徑全數 卯丁 句二 乙角正切 丁戊 股三 赤道正弦 甲丑 句四 距緯正切 子甲 股若先有丙甲距緯而求甲乙赤道則反用之為乙角之切線戊丁與半徑丁夘或用半徑為一率則為半徑夘午與乙角之餘切午庚若丙甲距緯之切線子甲與甲乙赤道之正弦甲丑也一 乙角正切 戊丁 半徑全數 卯午 股二 半徑全數 丁夘 乙角餘切 午庚 句
三 距緯正切 子甲 股
四 赤道正弦 甲丑 句
右子甲丑形用法論曰以上四法厯書所有但于圖増一夘午庚句股形則互視之理更明假如有丙乙黄道距二分之度徑求甲乙赤道同升度法為半徑夘癸與乙角之餘弦夘巳若丙乙黄道之切線酉乙與甲乙赤道之切線未乙也一 半徑全數 夘癸 弦二 乙角餘弦 卯巳 句三 黄道正切 酉乙 弦四 赤道正切 未乙 句若先有甲乙赤道而求其所當黄道丙乙法為半徑丁夘與乙角之割線戊夘若甲乙赤道之切線未乙與丙乙黄道之切線酉乙也一 半徑全數 丁夘 句二 乙角正割 戊夘 弦三 赤道正切 未乙 句四 黄道正切 酉乙 弦論曰以上兩條酉未乙形用法予所補也有此二法黄赤道可以自相求而正角弧形之用始備矣外此仍有三弧割線餘弦之用具如别紙十餘年前曽作弧三角所成句股書一册稿存兒輩行笈中覓之不可得也庚辰年乃復作此至辛己夏復得舊稿為之惘然然其理固先後一揆而説有詳略可以互明不妨並存以徵予學之進退因思古人畢生平之力而成一事良自不易世有子雲或不以覆瓿置之乎康熙辛己七夕前兩日勿菴梅文鼎識是日也爲立秋之辰好雨生涼炎歊頓失稍簡殘帙殊散人懐
測員之用甚博非止黄赤也然黄道赤道南北極二分二至諸名皆人所習聞故仍借用其號以便識别案圖中句股形凡五皆形相似其一癸巳夘形
以癸卯半徑為弦即黄道半徑癸巳正弦為股即黄赤大距弧之正弦巳夘餘弦為句即黄赤大距弧之餘弦其二戊丁夘形
以戊夘割線為弦即黄赤大距弧之正割線戊丁切線為股即黄赤大距弧之正切線丁夘半徑為句即赤道半徑
以上二句股形生於黄赤道之大距度乃總法也兩句股形一在渾體之内一出其外同用夘角即黄道心亦即春分角其三丙辛壬形以丙壬正弦為弦即黄經乙丙弧之正弦以丙夘黄道半徑為其全數而夘壬其餘弦丙辛正弦為股即黄赤距緯丙甲弧之正弦亦以丙夘黄道半徑為其全數而辛夘其餘弦辛壬横線為句
法於赤道平面上作横線聨兩餘弦成夘壬辛平句股形此形以距緯餘弦夘辛為弦黄經餘弦夘壬為股而辛壬其句也此辛壬線既為兩餘弦平句股形之句亦即能為兩正弦立句股形之句矣厯書以辛壬為丙辛之餘弦誤也然則當命為何線曰此非八線中所有乃立三角體之楞線也其四子甲丑形以子丑斜線為弦此亦立三角體之楞線也非八線中之線子甲切線為股即黄赤距緯弧之正切線以赤道半徑甲夘為其全數而子夘其割線也甲丑正弦為句即赤經乙甲弧之正弦亦以赤道半徑甲夘為其全數而丑夘其餘弦也其五酉未乙形以酉乙切線為弦即黄經丙乙弧之正切線以黄赤半徑夘乙為其全數而酉夘其割線也酉未立線為股此亦立三角之楞線非八線中之線未乙切線為句即赤經乙甲弧之正切線亦以黄赤半徑夘乙為其全數而未夘其割線也以上三句股形生於設弧之度第三形在渾體之内第四形半在渾體之内而出其外第五形全在渾體之外
問既在體外其狀何如曰設渾圓在立方之内而以兩極居立方底葢之心以乙春分居立方立面之心則黄赤兩經之切線酉乙未乙皆在方體之立面而未乙必為句酉乙必為弦于是作立線聨之即成酉未乙句股形矣此一形厯書遺之予所補也詳塹堵測量論曰此五句股形皆同角故其比例等然與弧三角真同者乙角也第一癸巳夘形第二戊丁夘形兩形皆乙角原有之八線即春秋分角也其度則兩至之大距也或先有角以求邊則以此兩形中線例他形中線得線則得邊矣
或先有邊以求角則以他形中線例此兩形中線得線則亦得角矣蓋夘角即乙角也○若欲求丙角則以丙角當乙角如法求之第三形丙辛壬形以黄經之正弦丙壬黄赤距度之正弦丙辛為弦與股是以黄經與距緯相求或先有乙角有黄經以求距緯用乙角實用壬角下同或先有乙角有距緯以求黄經或先有黄經距緯可求乙角亦可求丙角第四形子甲丑形以黄赤距緯之切線子甲赤經之正弦甲丑為股與句是以距緯與赤經相求或先有乙角有赤經以求距緯用乙角實用丑角下同或先有乙角有距緯以求赤經或先有赤經距緯可求乙角亦可丙角第五形酉未乙形以赤經之正切未乙黄經之正切酉乙為句與弦是黄赤經度相求
或先有乙角有黄經以求赤道同升度或先有乙角有赤道同升以求黄經或先有黄赤二經度可求乙角亦可求丙角又論曰諸句股形所用之夘壬丑乙四角實皆乙角何也側望則弧度皆變正弦而體心夘作直線至乙為夘壬丑乙線即半徑也今以側望之故此半徑直線化為一㸃則乙角即夘角亦即壬角亦即丑角矣
癸丁為乙角之度即黄赤大距二至緯度癸乙為黄道半徑丁乙為赤道半徑戊丁為乙角切線癸巳為乙角正弦戊乙爲乙角割線已乙為乙角餘弦癸巳乙戊丁乙皆句股形其乙角即夘角
丙甲為設弧距度其正弦丙辛其切線子甲丙乙為所設黄道度其正弦丙壬因側望弧度正弦成一線偕距度正弦丙辛成句股形其乙角即壬角甲乙爲所設赤道同升度其正弦甲丑因側望弧度正弦成一線偕距度切線子甲成句股形其乙角即丑角酉乙為所設黄經切線未乙為赤道同升度切線此兩線成一酉未乙句股形在體外真用乙角正弧三角形求餘角法
凡弧三角有三邊三角先得三件可知餘件與平三角同理前論正弧形以黄赤道為例而但詳乙角者因春分角有一定之度人所易知故先詳之或疑求乙角之法不可施於丙角兹復為之條析如左仍以黄道上過極經圏之交角為例
假如有乙丙黄道度有乙甲赤道同升度而求丙交角則爲乙丙之正弦與乙甲之正弦若半徑與丙角之正弦也
假如有丙甲距度及乙甲同升度而求丙交角則為丙甲之正弦與乙甲之切線若半徑與丙角之切線假如有丙甲距度及乙丙黄道度而求丙交角則為乙丙之切線與丙甲之切線若半徑與丙角之餘弦
又如有丙交角有乙丙交道度而求乙甲同升度則為半徑與丙角之正弦若乙丙之正弦與乙甲之正弦或先有乙甲同升度而求乙丙黄道度則以前率更之為丙角之正弦與半徑若乙甲之正弦與乙丙之正弦
又如有丙交角有乙甲同升度而求丙甲距度則為丙角之切線與半徑若乙甲之切線與丙甲之正弦或先有丙甲距度而求乙甲同升度則以前率更之為半徑與丙角切線若丙甲正弦與乙甲切線
又如有丙交角有乙丙黄道度求丙甲距度則為半徑與丙角餘弦若乙丙切線與丙甲切線或先有丙甲距度而求乙丙黄道則以前率更之為丙角餘弦與半徑若丙甲切線與乙丙切線
論曰求丙角之法一一皆同乙角更之而用丙角求餘邊亦如其用乙角也所異者乙角定為春分角則其度不變丙角為過極經圏交黄道之角隨度而移交角近大距則甚大類十字角近春分只六十六度半弱中間交角度度不同他形亦然皆逐度變丙角有時大於乙角有時小於乙角乙角不及半象限則丙角大乙角過半象限則丙角有時小故必求而得之又論曰丙交角既隨度移而甲角常為正角何也凡球上大圏相交成十字者必過其極今過極經圏乃赤道之經線惟二至時則此圏能過黄赤兩極其餘則但過赤道極而不能過黄道極故其交黄道也常為斜角即丙角交赤道則常為正角即甲角
又論曰丙角與乙角共此三邊一乙丙黄道一乙甲赤道一丙甲距度其所用比例者亦共此三邊之八線三邊各有正弦亦各有切線而所成句股形遂分兩種可互觀也乙角所成諸句股皆以戊丁夘為例内角所成諸句股皆以亥辰夘為例並如後圖
如圖丙角第一層句股兊乙心形即乙角之壬丙辛也在乙角兩正弦交于丙在丙角兩正弦交于乙皆弦與股之比例而同弦不同股乙角丙角並以乙丙黄道正弦為弦而乙角所用之股為丙甲正弦丙角所用則乙甲正弦皆正弦也而弦同股别
丙角第二層句股女甲亢形即乙角之子甲丑也乙角丙角並以一正弦一切線交于甲為句與股之比例而所用相反乙角于乙甲用正弦于丙甲用切線丙角則于乙甲用切線于丙甲用正弦皆乙甲丙甲兩弧之正弦切線而所用逈别
丙角第三層句股艮丙氐形即乙角之酉乙未也在乙角以兩切線聨于乙在丙角以兩切線交于丙皆弦與句之比例而同弦不同句乙丙兩角並以乙丙切線為弦而乙角以乙甲切線為句丙角以丙甲切線為句皆切線也而弦同句别
正弧三角形以一角對一邊則各角正弦與對邊之正弦皆為同理之比例
如圖乙甲丙弧三角形甲為正角 法為半徑與乙角之正弦若乙丙之正弦與丙甲之正弦更之則乙角之正角與對邊丙甲之正弦若半徑與乙丙之正弦也又丙角之正弦與其對邊乙甲之正弦亦若半徑與乙丙之正弦也合之則乙角之正弦與其對邊丙甲之正弦亦若丙角之正弦與其對邊乙甲之正弦論曰乙丙兩角與其對邊之正弦既並以半徑與乙丙為比例則其比例亦自相等而兩角與兩對邊其正弦皆為同比例
又論曰甲為正角其度九十而乙丙者甲正角所對之邊也半徑者即九十度之正弦也以半徑比乙丙之正弦即是以甲角之正弦比對邊之正弦故以三角對三邊皆為同比例
第二題凡四率比例二宗内有二率三率之數相同則兩理之首末二率為互視之同比例即斜弧比例之所以然故先論之假如有甲乙丙丁四率甲四與乙八若丙六與丁十二皆加倍之比例也又有戊乙丙辛四率戊二與乙八若丙六與辛二十四皆四倍之比例也此兩比例原不同理特以兩理之第二第三同為乙八丙六故兩理之第一第四能互用為同理之比例先理之第一甲四與次理之第四辛二十四若次理之第一戊二與先理之四丁十二皆六倍之比例也
論曰凡二率三率相乘為實首率為法得四率今兩理所用之實皆乙八丙六相乘四十八之實惟甲四為法則得十二若戊二為法則得二十四矣法大者得數小法小者得數大而所用之實本同故互用之即為同理之比例也
試以先理之四率更為首率其理亦同丁與辛若戊與甲皆加倍比例若反之令兩四率並為首率亦同甲與戊若辛與丁皆折半比例並如後圖
第三題斜弧三角形以各角對各邊其正弦皆為同比例乙丙丁斜弧三角形任從乙角作乙甲垂弧至對邊分元形為兩正角形甲為正角依前正角形論各對邊之正弦與所對角之正弦比例皆等乙甲丁形丁角正弦與乙角正弦若半徑即甲角正弦與丁乙正弦是一理也乙甲丙形丙角正弦與乙甲正弦若半徑與乙丙正弦是又一理也兩理之第二同為乙甲第三同為半徑則兩理之首末二率為互視之同比例故丁角之正弦與乙丙之正弦若丙角之正弦與丁乙之正弦也又如法從丁角作丁戊垂弧至對邊分兩形而戊為正角則乙角正弦與丁丙正弦亦若丙角正弦與乙丁正弦 又從丙作垂弧分兩形而壬為正角則乙角與丁丙亦若丁角與乙丙
一 丁角正弦 丙角正弦
乙丙丁斜弧三角形丁為鈍角 法從乙角作乙甲垂弧於形外亦引丙丁弧㑹於甲成乙甲丁虚形亦凑成乙甲丙虚實合形甲為正角
乙甲丁形丁角之正弦與乙甲邊若半徑與乙丁邊正弦一理也 乙甲丙形丙角之正弦與乙甲邊若半徑與乙丙正弦又一理也 准前論兩理之第二第三既同則丁角正弦與乙丙正弦若丙角正弦與乙丁正弦也
論曰丁角在虚形是本形之外角也何以用為内角曰凡鈍角之正弦與外角之正弦同數故用外角如本形角也
若用乙角與丁丙邊則作丙庚弧於形外取庚正角其理同上或作丁戊垂弧於形内取戊正角分兩形則如前法並同
用法凡弧三角形不論正角斜角但有一角及其對角之一弧則其餘有一角者可以知對角之弧而有一弧者亦可以知對弧之角皆以其正弦用三率比例求之
假如乙丁丙三角形先有丁角及相對之乙丙弧則其餘但有丙角可以知乙丁弧有乙角可以知丁丙弧此為角求弧也若有乙丁弧亦可求丙角有丁丙弧亦可求乙角此為弧求角也
一 丁角正弦 一 乙丙正弦
二 乙丙正弦 二 丁角正弦
三 丙角正弦 乙角正弦 三 乙丁正弦 丁丙正弦四 乙丁正弦 丁丙正弦 四 丙角正弦 乙角正弦