مشکلی در خروجی Mathematica وجود ندارد و پاسخ درست است. همانطور که در چند پست دیگر (برای نمونه اینجا کلیک کنید) به شما و دوستان‌تان گفته‌بودم، دستورِ FindSequenceFunction در Mathematica ابتدا یک دنبالهٔ بازگشتی پیدا می‌کند که در چند جملهٔ نخستش با عددهایی که داده‌اید برابر باشد (بینهایت دنباله با این ویژگی وجود دارد، یکی از اینها را که متناسب با الگوریتم تهیه‌شده‌اش ساده‌ترین است را به شما می‌دهد). سپس ممکن است دنبالهٔ بازگشتیِ یافت‌شده را بیشتر بررسی کند و یک جملهٔ عمومی سرراست به شما بدهد، ولی دلیلی ندارد که همیشه این کار را بکند. الآن خروجی‌ای که به شما داده‌است یک دنبالهٔ بازگشتی است. خروجی‌ای که گرفته‌اید به این شکل خوانده می‌شود:
$$\left\lbrace\begin{array}{l}
y_{n+1}=y_n\;;\;n\geq 17\\
y_1=1\\
y_2=-1\\
y_3=-1\\
\vdots\\
y_{16}=-1
\end{array}\right.$$
سه‌نقطه دقیقا همان جمله‌های خودتان تا ۱۶اُمین جمله است که Mathematica هم یکی یکی نوشته‌است. پس از آن را همه را برابر منفی یک می‌گیرد که با ۲۱ جملهٔ ورودی شما برابر است. قسمت $y_{n+1}=y_n$ در خروجی Mathematica در واقع به شکل $-y_n+y_{n+1}=0$ بیان شده‌است که فرقی ندارد. این دنباله یک دنباله است که ۱۶ جملهٔ اولش به همان ترتیبی که خودتان داده‌اید است پس یک پاسخ درست از بینهایت پاسخ درست به پرسشی است که شما دارید «دنباله‌ای بیابید که ۱۶ جملهٔ نخستش به ترتیب فلان باشند». پس اشتباهی در پاسخ Mathematica دیده نمی‌شود.
اما برای سرگرمی بیاییم فرض کنیم به جای دادن فقط ۲۱ جمله بگوئیم، دنباله‌ای را بیابید که جمله‌هایش مثبت و منفی یک هستند به این شکل که تعداد مثبت و منفی یک‌های پشت‌سرهم به ترتیب یک واحد افزایش می‌یابد پس ۱ مثبت یک، سپس ۲ تا منفی یک، سپس ۳ تا مثبت یک و الی آخر. اینطوری گفتن، دنباله را یکتا مشخص می‌کند (نه فقط گفتن ۲۱ جملهٔ نخستش). در اینصورت خیلی ساده می‌توانید با فرمول زیر یک جمله عمومی بدهید.
$$a_n=(-1)^{1+[\frac{-1+\sqrt{1+8n}}{2}]} $$
که $[.]$ برای گرد‌کردن به بالا استفاده شده‌است نه جزءصحیح که به پائین گرد می‌کند. در نرم‌افزار Mathematica می‌توانید این تابع را به شکل زیر بنویسید.
(-1)^(1+Ceiling[(-1+Sqrt[1+8*i])/2])
اگر می‌خواهید Mathematica یکی یکی از ۱ تا ۲۱ به ضابطهٔ بالا عدد بدهد و خروجی را نشان‌تان بدهد، دستور زیر را تایپ کنید.
For[i=1,i<=21,i++,Print[(-1)^(1+Ceiling[(-1+Sqrt[1+8*i])/2])]]
می‌توانید عدد ۲۱ را بیشتر بدهید تا بببینید که ادامه هم بر همان روندی که انتظار دارید پیش می‌رود یعنی بعد از آخرین جمله‌ای که نوشته‌اید ۷ تا مثبت یک خواهید گرفت و ... .
شاید برایتان پرسش شود که $\frac{-1+\sqrt{1+8n}}{2}$ از کجا آمده‌است، که باید بگویم با توجه به فرمول گاوس برای جمع اعداد طبیعی $\sum_{i=1}^ni=\frac{n(n+1)}{2}$ کافیست برابریِ $\frac{n(n+1)}{2}=m$ را حل کنید (که دو پاسخ دارد و ما پاسخ مثبت را برمی‌داریم) که یک برابری درجه دو با متغیر $n$ و پارامتر $m$ است. بقیهٔ ایده را هم خودتان احتمالا متوجه شده‌باشید.
