• Journal for History of Mathematics
• /
• v.23 no.3
• /
• pp.1-20
• /
• 2010

Hong Jung Ha(洪正夏, 1684~?) is the greatest mathematician in Chosun dynasty and wrote a mathematics book Gu Il Jib(九一集) which excels in the area of theory of equations including Gou Gu Shu. The purpose of this paper is to find his influence on the history of Chosun mathematics. He belongs to ChungIn(中人) class and works only in HoJo(戶曹) and hence his contact to other mathematicians is limited. Investigating his colleagues and kinship relations including the affinity and consanguinity, we conclude that he gave a great influence to those people and find that three great ChungIn mathematicans Gyung Sun Jing(慶善徵, 1684~?), Hong Jung Ha and Lee Sang Hyuk(李尙爀, 1810~?) are all related through marriage.

• Journal for History of Mathematics
• /
• v.20 no.4
• /
• pp.1-21
• /
• 2007

We investigate the Gou Gu Shu(句股術) in Hong Jung Ha's Gu Il Jib(九一集) and Cho Tae Gu's Ju Su Gwan Gyun(籌書管見) published in the early 18th century. Using a structural approach and Tien Yuan Shu(天元術), Hong has obtained the most advanced results on the subject in Asia. Using Cho's result influenced by the western mathematics introduced in the middle of the 17th century, we study a process of a theoretical approach in Chosun mathematics in the period.

• Journal for History of Mathematics
• /
• v.27 no.3
• /
• pp.155-164
• /
• 2014

Tianyuanshu and Zengcheng Kaifangfa introduced in the Song-Yuan dynasties and their contribution to the theory of equations are one of the most important achievements in the history of Chinese mathematics. Furthermore, they became the most fundamental subject in the history of East Asian mathematics as well. The operations, or the mathematical structure of polynomials have been overlooked by traditional mathematics books. Investigation of GuIlJib (九一集) of Joseon mathematician Hong JeongHa reveals that Hong's approach to polynomials is highly structural. For the expansion of $\prod_{k=11}^{n}(x+a_k)$, Hong invented a new method which we name Hong JeongHa's synthetic expansion. Using this, he reveals that the processes in Zhengcheng Kaifangfa is not synthetic division but synthetic expansion.

• Journal for History of Mathematics
• /
• v.24 no.4
• /
• pp.7-20
• /
• 2011

Investigating constructions of equations by Gou gu shu(勾股術) in Hong Jung Ha(洪正夏)'s GuIlJib(九一集), Nam Byung Gil(南秉吉)'s YuSiGuGoSulYoDoHae(劉氏勾股術要圖解) and Lee Sang Hyuk(李尙爀)'s ChaGeunBangMongGu(借根方蒙求), we study the history of development of Chosun mathematics. We conclude that Hong's greatest results have not been properly transmitted and that they have not contributed to the development of Chosun mathematics.

• Journal for History of Mathematics
• /
• v.22 no.2
• /
• pp.1-12
• /
• 2009

Zhu Shi Jie's Suan Xue Qi Meng is one of the most important books which gave a great influence to the development of Chosun Mathematics. Investigating San Hak Gye Mong Ju Hae(算學啓蒙註解) published in the middle of the 19th century, we study the development of Chosun Mathematics in the century. The author studied western mathematics together with theory of equations in Gu Il Jib (九一集) written by Hong Jung Ha(洪正夏) and then wrote the commentary, which built up a foundation on the development of Algebra of Chosun in the century.

• Journal for History of Mathematics
• /
• v.24 no.4
• /
• pp.1-6
• /
• 2011

We investigate a method to find the least common multiples of numbers in the mathematics book GuIlJib(구일집(九一集), 1724) written by the greatest mathematician Hong Jung Ha(홍정하(洪正夏), 1684~?) in Chosun dynasty and then show his achievement on Number Theory. He first noticed that for the greatest common divisor d and the least common multiple l of two natural numbers a, b, l = $a\frac{b}{d}$ = $b\frac{a}{d}$ and $\frac{a}{d}$, $\frac{b}{d}$ are relatively prime and then obtained that for natural numbers $a_1,\;a_2,{\ldots},a_n$, their greatest common divisor D and least common multiple L, $\frac{ai}{D}$($1{\leq}i{\leq}n$) are relatively prime and there are relatively prime numbers $c_i(1{\leq}i{\leq}n)$ with L = $a_ic_i(1{\leq}i{\leq}n)$. The result is one of the most prominent mathematical results Number Theory in Chosun dynasty. The purpose of this paper is to show a process for Hong Jung Ha to capture and reveal a mathematical structure in the theory.

• Proceedings of the Korean Society for Language and Information Conference
• /
• 2000.06a
• /
• pp.130-140
• /
• 2000

• Proceedings of the KHMA Conference
• /
• 2002.11a
• /
• pp.117-122
• /
• 2002

• Proceedings of KHEA Conference
• /
• 2002.04a
• /
• pp.91-91
• /
• 2002

• Journal for History of Mathematics
• /
• v.24 no.1
• /
• pp.1-13
• /
• 2011

In Tian mu bi lei cheng chu jie fa(田畝比類乘除捷法) of Yang Hui suan fa(楊輝算法)), Yang Hui annotated detailed comments on the method to find roots of quadratic equations given by Liu Yi in his Yi gu gen yuan(議古根源) which gave a great influence on Chosun Mathematics. In this paper, we show that 'Zeng cheng kai fang fa'(增乘開方法) evolved from a process of binomial expansions of $(y+{\alpha})^n$ which is independent from the synthetic divisions. We also show that extending the results given by Liu Yi-Yang Hui and those in Suan xue qi meng(算學啓蒙), Chosun mathematican Hong Jung Ha(洪正夏) elucidated perfectly the 'Zeng cheng kai fang fa' as the present synthetic divisions in his Gu il jib(九一集).