« first day (246 days earlier)      last day (153 days later) » 

00:01
Hey @simply!
Hey
I mean
I'm not here
>.>
XD
In my calc class we're doing differential equations
Mmm
Separating those differentials all the time
and now I know what you meant when you said that they can easily be turned into difference equation problems
Also
the differential equations too easy
x'D
00:03
I have a problem for you
...that is, if you aren't busy
I'm considering writing more ordinals and pinging my 'students'.
@Nilknarf Eh...
Hit me anyways
Okay
I'll dream it over.
If $f(x)=x^{\ln(x)+2}$, find $f^{\circ n}(x)$.
Mmm....
Okay
Does it come out pretty?
00:04
Oh yes
very satisfying :D
Cuz I can always brute-force the solution out.
haha
00:05
meanwhile, I'm struggling with an infinite series problem :P
:o
I haven't been on MSE much lately
no?
why not?
Nah. Its mostly that when I get on it, I end up spending multiple hours...
And I'm kinda busy atm
Also diverting lots of brain power towards my program.
Ah, I see
code golfing, you mean?
Yeah. Once I'm not so busy I'll be back on mse
@Nilknarf yes, a bit.
The codegolf is mostly something I can fit between things
But its hard being on mse for only a few minutes
00:08
WHOAH
whoops, nevermind
I solved an interesting iteration problem the other day
(In secret, I kinda hope that if @user202729 and @Mr.Xcoder learn about the ordinal approximations of TREE(3) well enough, they'll be able to write some programs for the TREE(3) challenge. Even if their solutions aren't super golfy, there's a level of respect I feel for anyone who can even write a program to go up to TREE(3), and for them to have made it that far because of me, there's also a small bit of pride.)
@Nilknarf ofc you did.
00:13
Haha, ok
those are your "students"?
I guess
Need to also check in with the calculus people
ARGH, help me
$$\sum_{n=1}^\infty \arctan\bigg(\frac{(-1)^{n+1}}{F_{n+1}(F_n+F_{n+2})}\bigg)$$
D:<
I know it's gonna telescope, but I can't figure out how!
00:17
I know, that's where I got the problem
Oh, lol
Well
Split it over even and odd cases.
Hm
jeez, how long is it gonna take for me to get an intuition about this type of problem?!
Its supposed to take a while
the problems in that PDF are supposed to be horrendously tricky.
Courtesy of Jack D'Aurizio lol.
yeah
$$\arctan(x)\pm\arctan(y) = \arctan\left( \frac{x\pm y}{1\mp xy} \right)$$
00:21
right right right, I got that
I already set up a functional equation for my telescope, but I can't solve it :P
We could attempt to set $x\pm y/1\mp xy=1/(F_{n+2}^2-F_n^2)$
@Nilknarf oh?
Yeah
$$b_{n+1}=\frac{1-b_nF_{n+1}(F_n+F_{n+2})}{b_n+F_{n+1}(F_n+F_{n+2})}$$
oh, no thanks.
00:23
Heheh, yeah
No, bad @Nilknarf
Well
We know that $x(n+2) = y(n)$. Or at least I'll assume such.
Sure
Or not.
Hm
Something about that $F_{n+2}^2-F_n^2$ bothers me.
00:27
aha
Oh
$F_{n+1}(F_n+F_{n+2})=F_{2n+2}$
No, that won't help
Hold on, I may have something good
It doesn't?
Hm
Okay
so
if we let
$$x=\frac{\sqrt 5}{2}+F_n^2-F_{n+2}^2$$
Then $$\frac{2x}{1+x^2}=\frac{1}{F_{n+2}^2-F_n^2}$$
:o
Nice find
Except
00:30
and so our sum is equal to
Doesn't fit the equation quite right
$$\sum_{n=1}^\infty (-1)^{n+1}\arctan \frac{2x}{1+x^2}=2\sum_{n=1}^\infty (-1)^{n+1}\arctan x$$
now the real question is:
does that even matter? :P
$F_{n}^{2}-F_{n+1}F_{n-1}=(-1)^{n-1}$?
Is that true?
Oh ho! Is that so? XD
I mean
In mathematics, the Fibonacci numbers are the numbers in the following integer sequence, called the Fibonacci sequence, and characterized by the fact that every number after the first two is the sum of the two preceding ones: 1 , 1 , 2 , 3 , 5 , 8 , 13 , 21 , 34 , 55 , 89 , 144 , ...
And hi @user202729
00:34
Ok, maybe that helps
argh argh argh
 
5 hours later…
05:29
@SimplyBeautifulArt Awww, flattering xD

« first day (246 days earlier)      last day (153 days later) »