LOADING...

書阿宅

從數學史中,體會數學是一種與自然界對話的語言。穆斯林數學家們開創了為世人所熟知的十進位算術系統, 以及與之相關的其他基本運算法則,如加、減、乘、除、求冪函數以及根的提取等,此外,“零”這個數字也是穆斯林數學家獻給這世界的一份厚禮。


拉馬努金

斯里尼瓦瑟 拉馬努金(Srinivasa Ramanujan),英國皇家學會院士,是印度史上最著名的數學家之一。擅長數論, 其中多牽涉\(π\)、質數等數學常數的求和公式,以及整數拆分。慣以數感導出公式,不喜歡做證明,而他的理論在之後往往被證明是對的。

矽谷野阿宅 景點

拉馬努金


拉馬努金出生於印度埃羅德,即便拉馬努金的家族屬於印度種姓制度中最高等級,他們家還是相當貧窮。 但拉馬努金憑藉著他超出常人的數學天份,被其他數學家們發現而展露頭角。 人們稱他為從未來穿越而來的天才數學家,而數學家哈代稱他為第二個牛頓。 人們說拉馬努金是天才的原因是,他從小沒有接受正規的訓練,只憑「直覺」寫下幾千個數學公式,由於他慣以不給出證明過程,所以當時沒有人能看懂這些公式。在很多年之後,數學家們才解開了其中的一些公式命題,甚至由此獲得重大數學成就。


Q(1): \(\phi=\small\sqrt{1+2\sqrt{1+3\sqrt{1+4\sqrt\cdots}}}\)

數字皆為正整數

Ramanujan's Nested Radical

\(x=x\)

\(x=\small\sqrt{x^2}\)

\(x=\small\sqrt{1+(x^2-1)}\)

\(x=\small\sqrt{1+(x-1)(x+1)}\)


\(\therefore\left\{\begin{array}{lc}\alpha=\small\sqrt{1+(\alpha-1)(\alpha+1)}&(a)\\(\alpha+1)=\small\sqrt{1+(\alpha)(\alpha+2)}&(b)\\(\alpha+2)=\small\sqrt{1+(\alpha+1)(\alpha+3)}&(c)\\(\alpha+3)=\small\sqrt{1+(\alpha+2)(\alpha+4)}&(d)\\(\alpha+4)=\small\sqrt{1+(\alpha+3)(\alpha+5)}&(e)\\\cdots&\cdots\end{array}\right.\)

\((c)\rightarrow(b)\;\Rightarrow(\alpha+1)=\small\sqrt{1+(\alpha)\small\sqrt{1+(\alpha+1)(\alpha+3)}}\)

\(insert\;(d)\;\Rightarrow(\alpha+1)=\small\sqrt{1+(\alpha)\small\sqrt{1+(\alpha+1)\small\sqrt{1+(\alpha+2)(\alpha+4)}}}\)

\(insert\;(e)\;\Rightarrow(\alpha+1)=\small\sqrt{1+(\alpha)\small\sqrt{1+(\alpha+1)\small\sqrt{1+(\alpha+2)\small\sqrt{1+(\alpha+3)(\alpha+5)}}}}\)

\(\therefore(\alpha+1)=\small\sqrt{1+(\alpha)\small\sqrt{1+(\alpha+1)\small\sqrt{1+(\alpha+2)\small\sqrt{1+(\alpha+3)\small\sqrt{1+\cdots}}}}}\)


\(\therefore3=(2+1)=\small\sqrt{1+2\small\sqrt{1+3\small\sqrt{1+4\small\sqrt\cdots}}}\;\;\;(\alpha)\)

\(\therefore4=(3+1)=\small\sqrt{1+3\small\sqrt{1+4\small\sqrt{1+5\small\sqrt\cdots}}}\;\;\;(\beta)\)

\(\therefore5=(4+1)=\small\sqrt{1+4\small\sqrt{1+5\small\sqrt{1+6\small\sqrt\cdots}}}\;\;\;(\gamma)\)

\((\beta)\rightarrow(\alpha)\;\Rightarrow\;3=(2+1)=\small\sqrt{1+2\cdot4}=\small\sqrt9=3\)

\((\gamma)\rightarrow(\beta)\;\Rightarrow4=(3+1)=\small\sqrt{1+3\cdot5}=\small\sqrt{16}=4\)


Reccurence 遞迴數學

若函數 \(f(x)=x(x+2)\),其中 \(x\) 是正整數,
則 \(f(x+1)=(x+1)(x+3)={(x+2)}^2-1\),
因此 \(f(x+1)+1={(x+2)}^2\),
\(\Rightarrow{(x+2)}^2=1+f(x+1)\),
得到 \((x+2)=\small\sqrt{1+f(x+1)}\),
所以 \(f(x)=x \small\sqrt{1+f(x+1)}\)。
使用函數 \(f(x) =x\small\sqrt{1+f(x+1)}\) 疊代計算可得 \(f(x+1)=(x+1)\small\sqrt{1+f(x+2)}\) ,
因此 \(f(x)=x\small\sqrt{1+(x+1)\small\sqrt{1+f(x+2)}}\)。
因為 \(f(x+2)=(x+2)\small\sqrt{1+f(x+3)}\),所以
\(f(x)=x\small\sqrt{1+(x+1)\small\sqrt{1+(x+2)\small\sqrt{1+f(x+3)}}}\)。
因為 \(f(x+3)=(x+3)\(\small\sqrt{1+f(x+4)}\),所以
\(f(x)=x\small\sqrt{1+(x+1)\small\sqrt{1+(x+2)\small\sqrt{1+(x+3)\small\sqrt{1+f(x+4)}}}}\)。
如此疊代計算下去,可得
\(f(x)=x\small\sqrt{1+(x+1)\small\sqrt{1+(x+2)\small\sqrt{1+(x+3)\small\sqrt{1+(x+4)\small\sqrt{...\small\sqrt{1+(x+n-1)\small\sqrt{1+f(x+n)}}}}}}}\),其中n是趨向無限大的正整數。
當上列恆等式中的\(x=1\)時,\(f(1)=1×3=3\)

\(3=f(1)=1\times{\small\sqrt{1+f(2)}}\)=\(1\times{\small\sqrt{1+2\times{4}}}\)
\(3=f(1)=1\times{\small\sqrt{1+2\small\sqrt{1+f(3)}}}\)=\(1\times{\small\sqrt{1+2\small\sqrt{1+3\times{5}}}}\)
\(3=f(1)=1\times{\small\sqrt{1+2\small\sqrt{1+3\small\sqrt{1+f(4)}}}}\)=\(1\times{\small\sqrt{1+2\small\sqrt{1+3\small\sqrt{1+4\times{6}}}}}\)
\(3=f(1)=1\times{\small\sqrt{1+2\small\sqrt{1+3\small\sqrt{1+4\small\sqrt{1+f(5)}}}}}\)=\(1\times{\small\sqrt{1+2\small\sqrt{1+3\small\sqrt{1+4\small\sqrt{1+5\times{7}}}}}}\)


In brief,

Let \(f(n,k)=\left\{\begin{array}{lc}\small\sqrt{1+k\cdot f(n,k+1)},&k<n\\n+1,&k=n\end{array}\right.\)

Then you could interpret that infinitely nested radical as

\(\displaystyle\lim_{n\rightarrow\infty}f(n,2)=\small\sqrt{1+2\cdot\small\sqrt{1+3\cdot\small\sqrt{1+4\cdot\small\sqrt{\dots+n\cdot\small\sqrt1}}}}\)


We can get a brand new general theorem based on this approach.

\({(n+Cm)}^2=n^2+C^2m^2+2Cnm=m^2+(C^2-1)m^2+2Cnm+n^2\)

\(=m^2+\lbrack n^2+2Cnm+(C^2-1)m^2\rbrack\)

\(=m^2+\lbrack n^2+2Cnm+(C-1)(C+1)m^2\rbrack\)

\(=m^2+\lbrack n+(C-1)m\rbrack\lbrack n+(C+1)m\rbrack\)

\(\therefore\forall n\forall m,\;n+Cm=\sqrt{m^2+\lbrack n+(C-1)m\rbrack\lbrack n+(C+1)m\rbrack},\;C\in\mathcal N\;正整數\)

apply to

\({(n+m)}^2=m^2+n(n+2m)\)

\(n+m=\sqrt{m^2+n(n+2m)}\)

\(\Rightarrow n+m=\sqrt{m^2+n\sqrt{m^2+(n+m)(n+3m)}}\)

\(\Rightarrow n+m=\sqrt{m^2+n\sqrt{m^2+(n+m)\sqrt{m^2+(n+2m)(n+4m)}}}\)

\(\Rightarrow n+m=\sqrt{m^2+n\sqrt{m^2+(n+m)\sqrt{m^2+(n+2m)\sqrt{m^2+(n+3m)(n+5m)}}}}\)


Q(2): \(\phi=\frac{1+\sqrt5}2=1+\frac1{1+\frac1{1+\frac1{\ddots+\frac n{1+\ddots}}}}\)

\(x^2-x-1=0\)

\(x^2=x+1\)

\(\Rightarrow x=1+\frac1x\)

\(as\;\;x=1+\frac1x\Rightarrow\;x=1+\frac1{1+\frac1x}\Rightarrow x=1+\frac1{1+\frac1{1+\frac1x}}\;and\;so\;on\)

\(as\;we\;know\;x\neq0\)

\(multiplied\;x\Rightarrow x^2=x+1\)

\(on\;the\;other\;hand\;\frac{x^2}x=\frac{x+1}x\Rightarrow x=1+\frac1x\)

\(x^2-x-1=0,\;x=\frac{1\pm\sqrt{1+4}}2\)

\(x≮0\;\therefore x=\frac{1+\sqrt5}2\)


Q(3): \(\phi=3+\frac1{3+\frac1{3+\frac1{\ddots+\frac n{3+\ddots}}}}\)

\(x=3+\frac1{3+\frac1{\ddots+{\textstyle\frac n{3+\ddots}}}}\)

\(x=3+\frac1{3+\frac1{\ddots+{\textstyle\frac n{3+\ddots}}}}\;implies\;x=3+\frac1x\;and\;x\neq0\)

\(x^2=3x+1\;\Rightarrow\;x^2-3x-1=0\)

\(x=\frac{3\pm\sqrt{3^2+4\cdot1}}2=\frac{3\pm\sqrt{13}}2\)

\(x≮0\;\therefore x=\frac{3+\sqrt{13}}2\)


\(x^2-3x-1=0\;\Rightarrow x^2=3x+1\)

\(x=3+\frac1x\)

\(=3+\frac1{3+\frac1x}\)


Q(4): \(\sqrt[3]{\sqrt[3]2-1}=\frac{1-\sqrt[3]2+\sqrt[3]4}x\)

\(x=\frac{1-\sqrt[3]2+\sqrt[3]4}{\sqrt[3]{\sqrt[3]2-1}}\)

\(let\;y=\sqrt[3]2\)

\(x=\frac{1-y+y^2}{\sqrt[3]{y-1}}\)

\(x^3=\frac{{(y^2-y+1)}^3}{y-1}\)

\(=\frac{{(y^2-y+1)}^3(y+1)}{(y-1)(y+1)}\)

\(=\frac{{(y^2-y+1)}^2\lbrack y^3-y^2+y+y^2-y+1\rbrack}{y^2-1}\)

\(=\frac{{(y^2-y+1)}^2(y^3+1)}{y^2-1}\)

\(=\frac{{(y^2-y+1)}^2({(\sqrt[3]2)}^3+1)}{y^2-1}\)

\(=3\cdot\frac{y^4-y^3+y^2-y^3+y^2-y+y^2-y+1}{y^2-1}\)

\(=3\cdot\frac{2y-2+y^2-2+y^2-y+y^2-y+1}{y^2-1}\)

\(=3\cdot\frac{3y^2-3}{y^2-1}=9\)

\(\Rightarrow x^3=9\)

\(x=\sqrt[3]{3^2}\)


Q(5): \(\phi=\small\sqrt{2+\small\sqrt{2-\small\sqrt{2+\small\sqrt{2-\cdots}}}}\)

\(x=\sqrt{2+\sqrt{2-\sqrt{2+\sqrt{2-\cdots}}}}\)

\(x^2=2+\sqrt{2-\sqrt{2+\sqrt{2-\cdots}}}\)

\(x^2-2=\sqrt{2-\sqrt{2+\sqrt{2-\cdots}}}\)

set \(y=\sqrt{2-\sqrt{2+\sqrt{2-\cdots}}}\)

\(y^2-2=-\sqrt{2+\sqrt{2-\cdots}}\)

\(x^2-2=y\)

\(y^2-2=-x\)

\(x^2-y^2=x+y\)

\((x+y)(x-y)=x+y\)

\(x-y=1\)

\(x=y+1\)

\(x^2-2=y=x-1\)

\(x^2-x-1=0\)

\(x=\frac{1\pm\sqrt5}2\Rightarrow\frac{1+\sqrt5}2\)


\(x^2-x-1=0\)

\(x^2=x+1\)

\(x=\sqrt{x+1}\)

\(x=x^2-1\)

\(x=\sqrt{2+x-1}\)

\(=\sqrt{2+\sqrt{{(x-1)}^2}}\)

\(=\sqrt{2+\sqrt{x^2-2x+1}}\)

\(=\sqrt{2+\sqrt{(x^2-1)-2x+2}}\)

\(=\sqrt{2+\sqrt{x-2x+2}}\)

\(=\sqrt{2+\sqrt{2-x}}\)

\(=\sqrt{2+\sqrt{2-\sqrt{2+\sqrt{2-x}}}}\)


Q(6): \(\phi=\small\sqrt{2\small\sqrt{4\small\sqrt{8\cdots}}}\)

\(\sqrt{2\sqrt{4\sqrt{8\cdots}}}=2^\frac12\cdot4^{\frac12\cdot\frac12}\cdot8^{\frac12\cdot\frac12\cdot\frac12}\cdot16^{\frac12\cdot\frac12\cdot\frac12\cdot\frac12}\cdot\cdots\)

\(=2^\frac12\cdot2^\frac24\cdot2^\frac38\cdot2^\frac4{16}\cdot\cdots\)

\(=2\cdot2^\frac38\cdot2^\frac4{16}\cdot\cdots\)


\(\sum_{n=1}^k\frac n{2^n}=2^{-k}(-k+2^{k+1}-2)\)


Let \(S=\sum_{n=1}^\infty\frac n{2^n}\)

\(S=\frac1{2^1}+\frac2{2^2}+\frac3{2^3}+\frac4{2^4}+\frac5{2^5}+\cdots\)

\(2S=\frac1{2^0}+\frac2{2^1}+\frac3{2^2}+\frac4{2^3}+\frac5{2^4}+\cdots\)

\(2S-S=\frac1{2^0}+(\frac2{2^1}-\frac1{2^1})+(\frac3{2^2}-\frac2{2^2})+(\frac4{2^3}-\frac3{2^3})+\cdots\)

\(S=1+\frac1{2^1}+\frac1{2^2}+\frac1{2^3}+\frac1{2^4}+\cdots\)

\(S=\frac1{1-{\frac12}}=2\)

\(\therefore2^\frac12\cdot2^\frac24\cdot2^\frac38\cdot2^\frac4{16}\cdot\cdots\)

\(=2^{(\frac1{2^1}+\frac2{2^2}+\frac3{2^3}+\frac4{2^4}+\frac5{2^5}+\cdots)}\)

\(=2^2=4\) ◼


Q(11): \(x^3+{(x^2-3x+4)}^2+2\)

Q(12): \(\frac1\pi=\frac{2\sqrt2}{9801}{\displaystyle\small\sum_{n=0}^\infty}\frac{{(4n)}!\cdot{(1103+26390n)}}{{(n!)}^4{\cdot}396^{4n}}.\)

Q(13): \(\sqrt{\phi+2}-\phi=\frac{e^{-\frac{2\pi}5}}{1+{\frac{e^{-2\pi}}{1+{\frac{e^{-4\pi}}{1+{\frac{e^{-6\pi}}{1+\cdots}}}}}}}=0.2840...\;\Rightarrow\phi=\frac{1+\sqrt5}2\)

Q(14): \(e=3+\frac{-1}{4+{\frac{-2}{5+{\frac{-3}{6+{\frac{-4}{7+\cdots}}}}}}}\)

Q(15): \(\frac e{e-2}=4-\frac1{5-{\frac2{6-{\frac3{7-{\frac4{8-\cdots}}}}}}}\)

Q(16): \(\frac4{3\pi-8}=3-\frac{1\cdot1}{6-{\frac{2\cdot3}{9-{\frac{3\cdot5}{12-{\frac{4\cdot7}{15-\cdots}}}}}}}\)

Q(17): \(\frac8{\pi^2}=1-\frac{2\cdot1^4-3\cdot1^3}{7-{\frac{2\cdot2^4-3\cdot2^3}{19-{\frac{2\cdot3^4-3\cdot3^3}{37-{\frac{2\cdot4^4-3\cdot4^3}{61-\ddots}}}}}}}\)

Q(18): \(\frac{e^{\frac{-2\pi}5}}{1+{\frac{e^{-2\pi}}{1+{\frac{e^{-4\pi}}{1+\ddots}}}}}=\sqrt{\frac{5+\sqrt{5}}2}-\frac{\sqrt{5}+1}2\)

Q(19): \(\frac{e^{\frac{-\pi}5}}{1+{\frac{e^{-\pi}}{1+{\frac{e^{-2\pi}}{1+\ddots}}}}}=\sqrt{\frac{5-\sqrt{5}}2}-\frac{\sqrt{5}-1}2\)

Q(20): \(\frac1\pi=\frac{2\sqrt2}{9801}{\displaystyle\small\sum_{k=0}^\infty}\frac{(4k)!(1103+26390k)}{(k!)^4396^{4k}}\) 1914

Q(21): \(\frac4\pi=\frac1{882}{\displaystyle\small\sum_{k=0}^\infty}\frac{{(-1)}^k(4k)!(1123+21460k)}{(4^kk!)^4882^{2k}}\) 1914

Q(22): \(\frac1\pi=12{\displaystyle\small\sum_{k=0}^\infty}\frac{{(-1)}^k(6k)!(13591409+545140134k)}{(3k)!(k!)^3{(640320^3)}^{k+{\small\frac12}}}\) Chudonovsky 1987

Q(23): \(\phi=\small\sqrt{\frac12(5+\sqrt5)}-\frac{e^{-\frac{2\pi}5}}{1+\frac{e^{-2\pi}}{1+\frac{e^{-4\pi}}{1+\frac{e^{-6\pi}}{1+\ddots}}}}\)

Q(24): \(\frac{e^{-\frac{2\pi}5}}{1+\frac{e^{-2\pi}}{1+\frac{e^{-4\pi}}{1+\frac{e^{-6\pi}}{1+\ddots}}}}=\sqrt[4]5\sqrt\phi-\phi\)

Q(25): \(\sqrt{\frac{\pi e}2}=1+\frac1{1⋅3}+\frac1{3⋅5}+\cdots+\frac1{(2n-1)!!}+\cdots+\frac{1}{1+\frac1{1+{\frac2{1+{\frac3{\ddots+{\frac n{1+\ddots}}}}}}}}\)

https://www.youtube.com/watch?v=6iTdNmDHfV0&t=1268s


Q(26): \(\frac{e^\pi-1}{e^\pi+1}=\frac\pi{2+{\frac{\pi^2}{6+{\frac{\pi^2}{10+{\frac{\pi^2}{14+\ddots}}}}}}}\)


Nested Radical
Q(B1): \(\sqrt[n]{a\cdot\sqrt[n]{a\cdot\sqrt[n]{a\cdots}}}=\sqrt[n-1]a\)

\(x=\sqrt[n]{a\cdot x}\)

\(x=\sqrt[n]{a\cdot\sqrt[n]{a\cdot x}}\)

\(x^n=a\cdot x\)

\(x^{n-1}=a\)

\(\therefore x=\sqrt[n-1]a\)


Q(B2): \(\sqrt[n]{\frac {a}{\sqrt[n]{\frac {a}{\sqrt[n]{\frac {a}\ddots}}}}}=\sqrt[n+1]a\)

\(x=\sqrt[n]{\frac ax}\)

\(x^n=\frac ax\)

\(x^{n+1}=a\)

\(x=\sqrt[n+1]a\)


Q(B3): \(\sqrt[n]{a\cdot\sqrt[m]{a\cdot\sqrt[n]{a\cdot\sqrt[m]{a\cdots}}}}=\sqrt[m\cdot n-1]{a^{(m+1)}}\)

\(x=\sqrt[n]{a\cdot\sqrt[m]{a\cdot x}}\)

\(x=\sqrt[n]{a\cdot\sqrt[m]{a\cdot\sqrt[n]{a\cdot\sqrt[m]{a\cdot x}}}}\\x=\sqrt[n]{a\cdot\sqrt[m]{a\cdot x}}\)

\(x^n=a\cdot\sqrt[m]{a\cdot x}\)

\(\frac1ax^n=\sqrt[m]{a\cdot x}\)

\(\frac1{a^{m+1}}x^{n\cdot m-1}=1\)

\(x^{n\cdot m-1}=a^{m+1}\)

\(x=\sqrt[n\cdot m-1]{a^{m+1}}\)


Q(B4): \(\sqrt[n]{a\cdot\sqrt[m]{b\cdot\sqrt[n]{a\cdot\sqrt[m]{b\cdots}}}}=\sqrt[m\cdot n-1]{a^m\cdot b}\)

\(x=\sqrt[n]{a\cdot\sqrt[m]{b\cdot x}}\)

\(x=\sqrt[n]{a\cdot\sqrt[m]{b\cdot\sqrt[n]{a\cdot\sqrt[m]{b\cdot x}}}}\)

\(x^n=a\cdot\sqrt[m]{b\cdot x}\)

\(\frac1ax^n=\sqrt[m]{b\cdot x}\)

\(\frac1{a^m}x^{n\cdot m}=b\cdot x\)

\(\frac1{a^m\cdot b}x^{n\cdot m-1}=1\)

\(x^{n\cdot m-1}=a^m\cdot b\)

\(x=\sqrt[n\cdot m-1]{a^m\cdot b}\)


Q(B5): \(\sqrt{a+\sqrt{a+\sqrt{a+\cdots}}}=\frac{1+\sqrt{4a+1}}2\)

\(x=\sqrt{a+x}\)

\(x^2=a+x\)

\(x^2-x-a=0\)

\(x=\frac{1\pm\sqrt{4a+1}}2\)

\(x>0\;\therefore x=\frac{1+\sqrt{4a+1}}2\)


Q(B6): \(\sqrt{a-\sqrt{a-\sqrt{a-\cdots}}}=\frac{-1+\sqrt{4a+1}}2\)

\(x=\sqrt{a-x}\)

\(x^2=a-x\)

\(x^2+x-a=0\)

\(x=\frac{-1\pm\sqrt{4a+1}}2\)

\(x>0\;\therefore x=\frac{-1+\sqrt{4a+1}}2\)




Elliptic integral



\( \lambda = \left(\frac{a - b}{a + b}\right)^2 \)

\( s = \pi(a + b)\frac{1 + 3\lambda}{10 + \sqrt{4 - 3\lambda}} \)


The system of equations describes Ramanujan's Second Approximation (published in 1914) for the perimeter (circumference) of an ellipse. Its perimeter requires evaluating a complex infinite series. Ramanujan designed this highly accurate empirical fraction to perfectly match that series.
The Equations:
\( \lambda = \left(\frac{a - b}{a + b}\right)^2 \)
\( s = \pi(a + b)\frac{1 + 3\lambda}{10 + \sqrt{4 - 3\lambda}} \)

1. The True Infinite Series

The exact perimeter (\(P\)) of an ellipse with semi-major axis \(a\) and semi-minor axis \(b\) is calculated using a complete elliptic integral of the second kind. When expanded as an infinite series using the parameter \(\lambda\), the exact formula yields:
\( P = \pi(a+b) \left[ 1 + \frac{1}{4}\lambda + \frac{1}{64}\lambda^2 + \frac{1}{256}\lambda^3 + \frac{25}{16384}\lambda^4 + \dots \right] \)

2. Ramanujan's Approximation Method

Ramanujan did not leave behind a traditional line-by-line derivation for how he structured the fraction \(\frac{1 + 3\lambda}{10 + \sqrt{4-3\lambda}}\). Instead, he derived it using a technique called asymptotic matching (or a truncated continued fraction expansion) to ensure the terms aligned seamlessly with the calculus-based expansion.

To see why his formula works so perfectly, we can expand his approximation as a Taylor series around \(\lambda = 0\) (which corresponds to a perfect circle where \(a=b\) and \(\lambda=0\)):

  1. First, isolate the square root term in the denominator and apply a binomial expansion:
    \( \sqrt{4 - 3\lambda} = 2\left(1 - \frac{3}{4}\lambda\right)^{1/2} = 2 - \frac{3}{4}\lambda - \frac{9}{64}\lambda^2 - \frac{27}{512}\lambda^3 - \dots \)
  2. Substitute this back into the full denominator:
    \( 10 + \sqrt{4 - 3\lambda} = 12 - \frac{3}{4}\lambda - \frac{9}{64}\lambda^2 - \frac{27}{512}\lambda^3 - \dots \)
  3. Expand the entire rational fraction expression \(\frac{1 + 3\lambda}{10 + \sqrt{4-3\lambda}}\) into a power series: \( \frac{1 + 3\lambda}{10 + \sqrt{4-3\lambda}} = 1 + \frac{1}{4}\lambda + \frac{1}{64}\lambda^2 + \frac{1}{256}\lambda^3 + \frac{25}{16384}\lambda^4 + \dots \)
3. The Brilliant Result

When you multiply this expansion by the leading term \(\pi(a+b)\), you get:
\( s \approx \pi(a+b) \left[ 1 + \frac{1}{4}\lambda + \frac{1}{64}\lambda^2 + \frac{1}{256}\lambda^3 + \frac{25}{16384}\lambda^4 + \dots \right] \)

Ramanujan's brilliantly engineered algebraic expression perfectly matches the exact calculus-based infinite series up to the \(\lambda^3\) term. Even at the \(\lambda^4\) term, the error is so remarkably small that for most real-world ellipses, the formula is accurate to within a tiny fraction of a percent.


Egyptian fraction

An Egyptian fraction is a finite sum of distinct unit fractions, each fraction in the expression has a numerator equal to 1 and a denominator that is a positive integer, and all the denominators differ from each other.

\(\frac27=\frac14+\frac1{28}=\frac15+\frac1{20}+\frac1{28}\)

Greedy algorithm

\(\frac{19}{20}\Rightarrow\frac{20}{19}=1,\;\frac{19}{20}-\frac1{1+1}=\frac9{20}\)

\(\frac9{20}\Rightarrow\frac{20}9=2,\;\frac9{20}-\frac1{1+2}=\frac7{60}\)

\(\frac7{60}\Rightarrow\frac{60}7=8,\;\frac7{60}-\frac1{1+8}=\frac1{180}\)

\(\frac{19}{20}=\frac12+\frac13+\frac19+\frac1{180}\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

Euler’s Series of Pi

https://www.youtube.com/watch?v=apODop1vnBg

https://www.youtube.com/watch?v=wlbKFvKTMNw

https://en.wikipedia.org/wiki/Madhava_of_Sangamagrama

https://mathworld.wolfram.com/NestedRadical.html

Ramanujan-Nagell equation

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

\(\)

∮ ∯ ∰ ∫∬ ∭⨌ > < ⋉ % § ↯

½, ↉, ⅓, ⅔, ¼, ¾, ⅕, ⅖, ⅗, ⅘, ⅙, ⅚, ⅐, ⅛, ⅜, ⅝, ⅞, ⅑, ⅒