با نرمافزار Maple به شکل زیر میتوانید این سری (جمع نامتناهی) را امتحان کنید.
sum(1/(k^2/2 - k/2 + 1), k = 1 .. infinity);
که به شما این پاسخ را میدهد؛
$$\frac{2\sqrt{7}\pi\tanh(\frac{\pi\sqrt{7}}{2})}{7}$$
اکنون با مهندسیِ وارونه به اینکه چرا چنین پاسخی درست است برسیم. در پیوند زیر از سایت wolfram که متعلق به نرمافزار Mathematica است میتوانید یک تعداد از بسطهای تابع $\tanh$ را ببینید.
https://functions.wolfram.com/ElementaryFunctions/Tanh/06/ShowAll.html
به یکی از آنها که به شکل زیر است دقت کنید.
$$\tanh(z)=8z\sum_{k=1}^\infty\frac{1}{\pi^2(2k-1)^2+4z^2}\;;\;\frac{iz}{\pi}-\frac{1}{2}\not\in\mathbb{Z}$$
بیایید ببینیم آیا میتوان $z$ را به گونهای برگزید که شکل سری سمت راست برابریِ بالا با سریِ پرسش یکسان شود.
\begin{align}
\tanh(z) &= 8z\sum_{k=1}^\infty\frac{1}{\pi^2(2k-1)^2+4z^2}\\
&= \frac{8z}{4\pi^2}\sum_{k=1}^\infty\frac{1}{k^2-k+\frac{1}{4}+(\frac{z}{\pi})^2}
\end{align}
با قرار دادنِ $(\frac{z}{\pi})^2=2-\frac{1}{4}$ داریم $z=\frac{\pi\sqrt{7}}{2}$. اکنون
\begin{align}
&\Longrightarrow \tanh(\frac{\pi\sqrt{7}}{2})=\frac{2\frac{\pi\sqrt{7}}{2}}{\pi^2}\sum_{k=1}^\infty\frac{1}{k^2-k+2}\\
&\Longrightarrow \tanh(\frac{\pi\sqrt{7}}{2})=\frac{\sqrt{7}}{\pi}\sum_{k=1}^\infty\frac{1}{k^2-k+2}\\
&\Longrightarrow\frac{\pi}{\sqrt{7}}\tanh(\frac{\pi\sqrt{7}}{2})=\sum_{k=1}^\infty\frac{1}{k^2-k+1}
\end{align}
دیگر همه چیز آمادهاست.
\begin{align}
\sum_{k=1}^\infty\frac{1}{\frac{k^2}{2}-\frac{k}{2}+1} &= 2\sum_{k=1}^\infty\frac{1}{k^2-k+2}\\
&= \frac{2\pi}{\sqrt{7}}\tanh(\frac{\pi\sqrt{7}}{2})
\end{align}
و نرمافزار Maple یک گویاسازی مخرج هم انجام دادهاست، یعنی صورت و مخرج را در $\sqrt{7}$ ضرب کردهاست. اما اگر بیشتر از این به این پرسش علاقه دارید میتوانید در این مورد فکر کنید که چه رابطهای بین پاسخ و ریشههای برابریِ $x^2-x+2=0$ وجود دارد.