• Bulletin of the Korean Mathematical Society
• /
• v.33 no.1
• /
• pp.39-44
• /
• 1996

Throughout this paper $Z^p, Q_p$ and C_p$ will denote the ring of p-adic rational integers, the field of p-adic rational numbers and the completion of the algebraic closure of $Q_p$, respectively. Let $v_p$ be the normalized exponential valuation of $C_p$ with $$\mid$p$\mid$_p = p^{-v_p (p)} = p^{-1}$. We set $p^* = p$ for any prime p > 2 $p^* = 4 for p = 2$.

• Journal for History of Mathematics
• /
• v.21 no.4
• /
• pp.1-10
• /
• 2008

In this paper, we investigate the part dealing with algebra in Hong Gil Ju's GiHaSinSul to analyze his algebraic structure. The book consists of three parts. In the first part SangChuEokSan, he just renames Die jie hu zheng(疊借互徵) in Shu li jing yun to SangChuEokSan and adds a few examples. In the second part GaeBangMongGu, he obtains the following identities: $$n^2=n(n-1)+n=2S_{n-1}^1+S_n^0;\;n^3=n(n-1)(n+1)+n=6S_{n-1}^2+S_n^0$$; $$n^4=(n-1)n^2(n+1)+n(n-1)+n=12T_{n-1}^2+2S_{n-1}^1+S_n^0$$; $$n^5=2\sum_{k=1}^{n-1}5S_k^1(1+S_k^1)+S_n^0$$ where $S_n^0=n,\;S_n^{m+1}={\sum}_{k=1}^nS_k^m,\;T_n^1={\sum}_{k=1}^nk^2,\;and\;T_n^2={\sum}_{k=1}^nT_k^1$, and then applies these identities to find the nth roots $(2{\leq}n{\leq}5)$. Finally in JabSwoeSuCho, he introduces the quotient ring Z/(9) of the ring Z of integers to solve a system of congruence equations and also establishes a geometric procedure to obtain golden sections from a given one.