配色: 字号:
“玲瓏開方式”及焦循之《開方通釋》淺說
2017-09-14 | 阅:  转:  |  分享 
  
-1-

“玲瓏開方式”及焦循之《開方通

釋》淺說



上傳書齋:瀟湘館112

何世強

HoSaiKeung



提要:本文主要談及焦循之《開方通釋》中解高次方程式之法。其法主要

為現代數學之分解因式法,本文並介紹書中之列式。

關鍵詞:開方通釋、七椉方圖、實、積、廉、隅、玲瓏開方式







第1節焦循略傳





焦循(公元1763年-1820年),生於乾隆二十八年(公元1763年),病

歿於嘉慶二十五年(公元1820年),享年57。字理堂(一字里堂),江蘇揚州

黄珏鎮人。幼年好《易》,乃易學名家。少年曾就讀於揚州安定書院。乾隆四十

四年己亥(公元1779年),受業於劉墉,習經史、曆算、訓詁諸學。乾隆五十

二年丁未(公元1787年),友人顧鳳毛贈以《梅氏叢書》,遂深治天文、曆算

諸學。嘉慶六年(公元1801年)中舉人,翌年應禮部試,不第,即託足疾不仕。

嘉慶十一年(公元1806年)揚州知州伊秉綬聘其與阮元等編《揚州圖經》及《揚

州文粹》,頗具名聲,當時與阮元齊名。焦循並自構“雕菰樓”,在其中讀書及

著述。

焦循《易》著方面著有《易章句》十二卷、《易圖略》八卷,《易通釋》二

十卷(以上四十卷合輯爲《雕菰樓易學三書》)、《易廣記》三卷、《易話》二

卷。

除經學與《易》著外,焦循亦多算學之著述,如《天元一釋》二卷、《開方

-2-

通釋》一卷、《釋弧》三卷、《釋輪》二卷、《釋橢》一卷。焦循與元和李銳、

歙縣汪萊齊名,李與汪皆為清代算學名家。《開方通釋》有汪萊之叙,此叙寫於

嘉慶六年﹝1801年﹞九月:

至於帶縱之方,有舉多少而分正負者,則不外乎同名相加,異名相減。二術

而自宋?秦道古﹝九韶﹞、元?李欒城﹝冶﹞,而後至今罕有能綜其條理者。

吾友元和李尚之﹝銳﹞、江都焦里堂﹝循﹞,各立天元一術,於古開方法皆

有所發明。

於此可見三人友誼之深厚。

焦循其他著述尚有《雛菰樓集》二十四卷、《北湖小志》六卷、《揚州足徵

錄》二十七卷,分見其《焦氏遺書》。本文即取材自《開方通釋》。







第2節高次方程式與“玲瓏開方式”解法



注意以下之〈古法七椉方圖〉:



-3-

“椉”,古同“乘”。“實”與“積”近義,指常數;“隅”指x之最高次

方。“方法”簡稱為“方”,指x之係數。除“積”、“方”及“隅”其餘皆

稱為“廉”,“上廉”指x2之係數,“二廉”指x3之係數。“三椉”指x4,

“四椉”指x5,“五椉”指x6,“六椉”指x7,“七椉”指x8;“三廉”

指x4之係數,“四廉”指x5之係數,“五廉”指x6之係數,“六廉”指x7

之係數,“七廉”指x8之係數。若,x8為最高次冪,習慣上不稱為“七廉”,

而稱為“隅”。

以下為兩項定理之係數表﹝即上圖之古法七椉方圖﹞:

1



11

實方

121

積方隅

1331

積方廉隅

14641

積方上廉二廉隅

15101051

積方上廉二廉三廉隅

1615201561

積方上廉二廉三廉四廉隅

172135352171

積方上廉二廉三廉四廉五廉隅

18285670562881

積方上廉二廉三廉四廉五廉六廉隅

-4-

隅之前一廉又稱為下廉。以下為《開方通釋》其中一題:

假如積五百十二,隅二,開三乘方,得幾何?答曰:得四。

解:

此題相當於解方程式2x4–512=0。“三乘方”乃指x冪為4,“開三乘

方”乃指求x。注意本題之512為負數。

x4x3x2xx0

2000–512

隅下廉上廉方積

分解因式得:

(x–4)(2x3+8x2+32x+128)=0,

於是x–4=0,即x=4。

2x4–512=0本可約簡為x4–256=0,但《開方通釋》不作此解。

古法先求512之二因子積﹝兩數之相乘﹞,因√512=22.6,故可取512之

1至22間之因子。1不取,故可試2、4、8與16四因子,此四數皆為512

之因子。至於大於22之因子可不必試,理由可參閱筆者另文〈《御製數理精蘊

表》之“質數表”及“最少差兩因數積”說〉。

512在題中可稱為“積”或“實”。

從2開始,512÷2=256﹝為常數﹞

256÷2=128﹝為x係數﹞

128÷2=64﹝為x2係數﹞

64÷2=32﹝為x3係數﹞

此x3係數應等於原式x4之係數,即“隅”。但“隅”為2,故因子2不

合。

試8,512÷8=64﹝為常數﹞

64÷8=8﹝為x係數﹞

8÷8=1﹝為x2係數﹞

1÷8=0.125﹝為x3係數﹞

此x3係數為0.125非2,故因子8不合。顯然16亦不合。

試4,512÷4=128﹝為常數﹞

-5-

128÷4=32﹝為x係數﹞

32÷4=8﹝為x2係數﹞

8÷4=2﹝為x3係數﹞

此x3係數等於原式x4之係數,即2,故因子4合。4稱為商,故原式之

解為4。

以下為長除式:

_____2x3+8x2+32x+128

x–4│2x4–512

2x4–8x3

8x3

8x3–32x2

32x2

32x2–128x______

128x–512

128x–512

========

以下為《開方通釋》之算式:



上圖乃《開方通釋》之列式法。假設2、8及16皆不合,今以4試之。

上圖右式從下至上乃表示2x4+0x3+0x2+0x–512,2標示為隅,512為

實,將商即x=4置於上方。512之籌算表示法應有一斜線,表示為負數。

上圖左式從上至下運算,將實512重寫一次,除以4後得128,寫於512

之下方,128除以4後得32,寫於128之下方,32除以4後得8,寫於32

之下方,8除以4後得2,寫於8之下方,2必須與右式下方之2相同,若

不相同,則表示算式錯誤,即所用之商不合。

上圖左式512之實不算在內,表示2x3+8x2+32x+128,可參閱長除式。

《開方通釋》有所謂“玲瓏開方式”即指一多項式從隅開始相間之係數為

0。以下為“玲瓏開方式”圖:

-6-



假如積四千二百八十八,方空,上廉三,下廉空,隅一,開三乘方,得幾何?

答曰:得八。

解:

方空,指x係數為0,上廉三指x2之係數為3,下廉空,即隅之前一廉

x3之係數為0,隅之x4之係數為1,此式為“玲瓏開方式”。

x4x3x2xx0

2030–4288

隅下廉上廉方積

此題即解x4+3x2–4288=0,積為負數。

依上題之法先分解4288為兩數之積。因為√4288=65.4,故可取4288之

1至65間之因子。即可試2、4、8、16、32、64諸數。

從2開始,4288÷2=2144﹝為常數﹞

2144÷2=1072﹝為x係數﹞

(1072–3)÷8=1069÷8=133.625﹝為x2係數﹞

133.625÷2=66.8125﹝為x3係數﹞

此x3係數不等於原式x4之係數,因“隅”為1,故因子2不合。

-7-

試4,4288÷4=1072﹝為常數﹞

1072÷4=268﹝為x係數﹞

(268–3)÷8=265÷8=33.125﹝為x2係數﹞

33.125÷8=4.140625﹝為x3係數﹞

此x3之係數不等於原式x4之係數,故因子4不合。

試8,4288÷8=536﹝為常數﹞

536÷8=67﹝為x係數﹞

(67–3)÷8=8﹝為x2係數﹞

8÷8=1﹝為x3係數﹞

此x3係數等於原式x4之係數,即1,故因子8合。

故原式解為8。

以下為長除式:

_____2x3+8x2+67x+536

x–8│x4+3x2–4288

x4–8x3

8x3–3x2

8x3–64x2

67x2

67x2–536x______

536x–4288

536x–4288

=========



上圖乃《開方通釋》之列式法。假設2、4皆不合,今以8試之。

上圖右式從下至上乃x4+0x3+3x2+0x–4288之表示法,1標示為隅,4288

為實,將商即x=8置於上方。上圖左式從上至下運算,將實4288重寫一次,

除以8後得536,寫於4288之下方,536除以8後得67,寫於536之下方,

67–3除以8後得8,寫於67之下方,8除以8後得1,寫於8之下方,1

-8-

與右式下方之1相同,即所用之商合。

上圖左式4288之實不算在內,表示2x3+8x2+67x+536,可參閱長除式。

本題之現代解法:

x4+3x2–4288=0,分解因式得:

(x2–64)(x2+67)=0

故x2–64=0,x=±8;

x2+67=0,x=±√67i;共四根。



以下為另一題:

假如積一十八萬一千四百三十一,方空,第一廉八,第二廉空,第三廉三十

四,第四廉空,第五廉二十,第六廉空,隅二十五,開七乘方,得幾何?答

曰:得三。

解:

方空,指x係數為0,第一廉八指x2之係數為8,第二廉空,即x3係

數為0,第三廉三十指x4之係數為34,第四廉空,即x5係數為0,第五廉

20指x6之係數為20,第六廉空,即x7係數為0,隅x8之係數為25,此

式亦為“玲瓏開方式”。

x8x7x6x5x4x3x2x1x0

25020034080–181431

隅下廉﹝下廉﹞五廉四廉三廉二廉上廉﹝一廉﹞方積

以下為該方程式:

25x8+20x6+34x4+8x2–181431=0。

依上題之法先分解181431為兩數之積,其因子為3、9、19、171、1061、…。

因為√181431=425,故只須取181431之1至425間之因子,即可試3、9、

19、171四數。

從3開始,181431÷3=60477﹝為常數﹞

60477÷3=20159﹝為x係數﹞

(20159–8)÷3=20151÷3=67175﹝為x2係數﹞

67157÷3=2239﹝為x3係數﹞

-9-

(2239–34)÷3=2205÷3=735﹝為x4係數﹞

735÷3=245﹝為x5係數﹞

(245–20)÷3=225÷3=75﹝為x6係數﹞

75÷3=25﹝為x7係數﹞

此x7係數等於原式x8之係數,即25,故因子3合。

故原式解為3。

以下為長除式:

__25x7+75x6+245x5+735x4+2239x3+6717x2+20159x+60477

x–3│25x8+20x6+34x4+8x2–181431

25x8–75x7

75x7+20x6

75x7–225x6

245x6

245x6–735x5

735x5+34x4

735x5–2205x4

2239x4

2239x4–6717x3

6717x3+8x2

6717x3–20151x2

20159x2

20159x2–60477x

60477x–181431

60477x–181431

=============

下圖乃《開方通釋》之列式法,以3為商:



-10-

上圖式從下至上乃25x8+20x6+34x4+8x2–181431之表示法,25標示為

隅,181431為實,將商即x=3置於實之上方。



上圖從上至下運算,將實181431重寫一次,除以3後得60477,寫於

181431之下方,60477除以3後得20159,寫於60477之下方,20159–8除

以3後得6717,寫於20159之下方,6717除以3後得2239,寫於6717之

下方,2239–34除以3後得735,寫於2239之下方,735除以3後得245,

寫於735之下方,245–20除以3後得75,寫於245之下方,75除以3後

得25,與隅相同,即所用之商合。以上結果可參閱長除式。

以下為本題原圖及“玲瓏開方式”定義:



《開方通釋》所涉及之解皆為整數,故可用“嘗試錯誤法”﹝tryanderror

-11-

method﹞而求其解。注意《開方通釋》所用之法乃從“積”或“實”算起,與現

代數學之長除法剛好相反。另一方面,本文所提及之“積”或“實”皆為負數,

其他冪次之x係數皆為正數,但《開方通釋》中並非所有高次方程式皆如此。

献花(0)
+1
(本文系瀟湘館112首藏)