« first day (1055 days earlier)      last day (4262 days later) » 
00:00 - 22:0022:00 - 00:00

00:05
@Kasper I cannot read that.
$a x+b y=1$ is completely solveable for integers, what about $a x+b y+c x y=1$?
sec
you mean for $x,y$ fixed $a,b,c$?
also your first one is only solveable in (x,y) if gcd(a,b)=1
@Ethan iff =)
why would I say that lol
@Ethan yes
00:10
oh I see the existence of each other implies the latter
and gcd(a,b,c)=1
whatever
@Ethan Because if $\gcd(a,b)=1$ then by Euclid we get a solution. And if for some $x,y$ we have $ax+by=1$ then $\gcd(a,b)=1$.
@cyclochaotic uhm, I don't know
@PeterTamaroff yes, but It wasn't neccisary to tell him that the converse also applies lol
its obv
imo
gcd(a,b) must divide both sides sense it divides both $a$ and $b$, and in order for it to divide 1, it must equal 1
@cyclochaotic i don't know, but can I ask why you care lol
@Ethan I made a mistake solving equations like a1x1+a2x2+a3x3+...=1 and ran into the form ax+by+cxy=1, so I was wondering if that was solved.
00:14
don't know, but counting solutions to linear equations can take nice forms in terms of divisor function convolutions
The number of positive solutions $a,b,x,y>0$ to $ax+by=n$ is given by
$$\sum_{k=1}^{n-1}d(k)d(n-k)$$
Where d(n) is the divisor function
@Ethan what about ax+by+cz=n?
in some cases certain sums similar to this can be evaluated explictly, which can be interpreted as identitys in the theory of modular forms
or complex combinatoral identitys
@cyclochaotic that would just be $$\sum_{a+b+c=n}d(a)d(b)d(c)$$
when d(n) is the divisor function and the sum runs over the positive integers $(a,b,c)>0$
@Ethan I am using them to construct prime numbers IE 2*3*x1+2*5*x2+3*5*x3=p if p is less than 7^2
which can be interpreted in terms of double sigma notation
and the proceeding sum
but it gets sorta complicated lol
@Ethan x1,x2,x3 are like a control panel if you can dial in a number less than 49 it must be prime
00:20
@cyclochaotic for example $$120\sum_{k=1}^{n-1}\sigma_3(k)\sigma_3(n-k)=\sigma_7(n)-\sigma_3(n)$$
Where $$\sigma_x(n)=\sum_{d\mid n} d^x$$ is the traditional divisor function
@Ethan is that the totient?
lol no
do you have mathjax enabled in chat?
number theory is fascinating
yes
how much do you know?
very little
00:23
do you know any analytic number theory
there is a couple more convoluition identitys here at the bottom of the page, en.wikipedia.org/wiki/Eisenstein_series
if your interested
I have skimmed through a few introduction to number theory pdfs
@cyclochaotic do you know about dirichlet series?
I got a question fo rya
do you know the zeta function is
What is more complicated, the physical universe or the natural numbers?
zeta yes dirchlet no
ive heard of dirchlet but never studied it
I put my money on the natural numbers
00:26
@cyclochaotic do you know $$\prod_{p}\frac{p^s}{p^s-1}=\sum_{n=1}^\infty \frac{1}{n^s}$$
Where the product on the rhs is over all the primes
yes Eulers golden key
lol I think read those exact words on wolfram alpha
@cyclochaotic $$\prod_{p}(1+f(p)+f(p^2)+f(p^3)...)=\sum_{n=1}^\infty f(n)$$ for any multiplictive function ignoreing convergence here lol
wow
what theorem is that?
its not really a theorem you can look up euler product
too basic to have a name
the only person who calls the euler product the golden key is derbyshire
leo
leo
00:30
What is a regular arc?
An arc which its derivative is no 0 at some point or everywhere?
correct, a curve is regular if the derivative wrt parameter is never zero
"no 0" is not how one would say it though
I am looking at $$\mathop {\lim }\limits_{t \to {1^ - }} {\left( {1 - t} \right)^\alpha }\sum\limits_{k = 1}^{ + \infty } {{k^{\alpha - 1}}{t^k}} $$
I believe
leo
leo
I see. Well that's the way the book says so. That's why I was confused
@Ethan My limit? $\alpha$ is real.
:10028119 Heh, I can see how that goes on, but $\alpha$ is just some real number.
00:34
from the lhs
?
@anon What do you call it the wooden stick?
it's just called the euler product
@PeterTamaroff Idk, maybe try to find an integral representation of the polylogarithm and manipulate it so your limit can be evaluated in terms of that
Not really sure lol
@Ethan Ah, I know what must be done.
@vvavepacket , Glodback conjecture is not solved to this moment as i think
it still open .
00:40
@MathsLover Hi :)
@Kasper , Hi , How are you ?
I'm doing quite good, you ?
@Kasper , not so good haha !
what is the last news about ur blog ?
how do you write doesn't divide in latex
\nmid
00:45
it's kind of working !
you can navigate in chapter 3
H3
and that works as I want it
so I'm quite excited :)
@Kasper , i will motivate and persuade you not to choose english text hahaha .
@MathsLover next text will be english, after my exams :)
does the menu work on your browser ?
@Kasper , Great ! yes it works perfectly !
why not to choose arabic text ? and put in the first , bighari , salam haha !!
What I like best about this menu, is that it changes automaticly if new content is available. So I only need to add the images, and the rest works automatic :)
haha arabic math text ?
yes arabic math text haha ! and then learn arabic !
:D
00:52
even I nobody comments, I guess this already helpful for me
I really like the way I can make nice mathjax comments to every part.
@MathsLover Like this one: euclidthegame.com/books/LA2/H3/Sectie%203.1/1-5.php chatjax works
@Kasper , you mean that you want to enable people from typing latex codes ?
@MathsLover Yes, it works with chatjax now. It would awesome to have realy mathjax support like MSE
2
Great although it don't know what is chatjax ! but it seems to be nice thing !
Oh, you need that man :P Then you can see things like $\sum$
as math symbols
@Kasper , so you try to make your blog support the latex code like mathe.SE ?
if this is the case , then , this will be Greaaat !!
01:07
Yes, exactly! Then you can type latex in comment section. But using chatjax, it already works :)
have u decided this english text which will work on it after your exams ?
@Kasper ,
cool , i thought it would be linear algebra .
I have already linear algebra on it :)
great :)
I'm more into analysis
You know that book I linked to ?
nope , i don't
i like group theory
01:12
It's really nice book :) in my opinion
and logic
nice
Oh I love group theory as well
That may be the third book
Great News :D
and the fourth one maybe arabic text hehehehehe :D :D :D
just kidding :)
in reality , there is no good text in maths in arabic :(
01:15
hello all
there is a few maths text in arabic , and more you go to advanced maths more you find less texts
hello @Damien
How is everyone?
i'm fine
@Kasper , i wrote those statments above about arabic text for you
am so glad to be on holidays
@MathsLover you may add them to my blog if you want to :P
Would be fun
01:27
it's a good idea :D :D
i think that arabians mathematicians have to be interested in translating more and more texts .
@MathsLover Hey did you see my ping yesterday?
when i bought the 7th edition of the translation of schaums in linear algebra , i was so sad ! every page have at least errors , and the style of the text is poor not like the english one . after that , i decided to start learning maths in english !
@Kasper
at least 2 errors *
@MathsLover hm.. that sucks inded
Dutch texts are also much worse than english texts
yes , i was searching for this word " sucks" but didn't find it haha !
but i guess that dutch texts is much better than arabic .
 
1 hour later…
02:56
@anon Duuuuuude.
03:08
@anon Duuuuuuuuuuuuuuuuuuuuuude.
 
4 hours later…
leo
leo
07:07
Is it easy to see that the derivative of an analityc function is continuous without using that it is in fact analityc?
 
3 hours later…
09:44
@leo the class of analytic functions is very big. too broad of a question probably. in practice it will generally be easy with experience.
10:40
@robjohn Are you here ?
10:54
@Mariano Hey are you around?
@anon Hey
yo
do you know much about grassmannians and stuff
nope
11:44
@LittleChild now I am
Hi @robjohn how are you?
@skullpatrol pretty good, and you?
@robjohn fine thanks.
@robjohn how's life?
12:09
Greetings
Greetings
@skullpatrol how are you? :D
@Chris'swisesister fine thanks, how are you?
@skullpatrol busy. I have a bad cold that seems to be getting worse.
@robjohn sorry to hear that :( try to get plenty of bed rest.
12:15
@skullpatrol amazingly nice today. Very creative! Ive been creating lots of problems and prepare lots of solutions.:-)
@Chris'swisesister cool :D
This is simply ecstasy! :-)
@skullpatrol one of my teachers sent me an e-mail yesterday and wrote at a certain point: " ... the beauty of the solutions made me cry. So great!" Actually, I sent him $7$ solutions to a calculus question ...
That feedback made me feel just nice.
@skullpatrol hehe, nice picture.
@skullpatrol however, it's better to be in an excellent state of mind no matter the others say, think about you.
True dat^
The site reached 150000 questions a few minutes ago.
@skullpatrol do you know what I'm doing right now? I'm talking to you, dancing and thinking of some solutions to a calculus problem. (true!)
:-)
@Chris'swisesister Great to hear you're having fun :D
@skullpatrol :-))))))))))
@skullpatrol hehe, nice song (a star to you) ;)
thanks :D
13:03
@GustavoBandeira hey
13:24
I'm about to get surgery, hooray.
For what?
13:41
@BenjaLim Hello.
 
2 hours later…
15:52
Hm, what to do with a faithful, dense (but non-full) functor?
Can someone please tell how they could omit the product sign in the last equatlity
I know that $x_{n+1}=x^n+nx_n$ and $x\in \mathbb{R}$ and $x_1=1$
16:11
@robjohn Can you help me please?
@pourjour that is a telescoping product
$$
\prod_{k=1}^n\frac{x_k}{x_{k+1}}=\frac{x_1}{x_{n+1}}
$$
just write out the terms of the product to see what is going on.
@robjohn Thank you
@pourjour the factorial you understand, I assume
@robjohn yes $n!=n.(n-1)....1$
16:39
hello
@EvilGoat hi
oh someone is here :D
so I wanna ask something concerning eigenvectors, can you help me? :)
@EvilGoat read the second starred message on the right
3
ok
so I have a matrix
{{1,2,1},{3,6,3},{4,8,4}}
and i try to get the eigenvectors
i have found eigenvalues 0,0,11
for zeroes I am totally fine
for the 11 it seems like all my x,y and z are 0
and it cannot really be cause all websites show me {1,3,4} as a vector from value 11
so I am missing something obviously
and I hoped someone could show me what
I tried both Gauss method and Cramer but yeah Cramer got me to all zeroes and Gauss did not help either
so, what do you do to compute the eigenvector to 11?
16:55
I subtract 11 from the items on the main diagonal of the matrix (as my classes books suggest)
gauss or cramer on what
and then write down the system equal to zero
so you solve {{-10,2,1},{3,-5,3},{4,8,-7}}, right?
yup
I tried Gauss but I seem to either miscalculate something or I dunno
does it actually turn out to be 1,3,4 somehow or did I totally miss it somewhere?
so far it is the right approach
there has to be an error in your calculations
16:57
oh I think I found a miscalculation...
yeah probably...
by the way in general terms in order for the system to be solvable by Gauss and to produce a proper eigenvector, should the new matrix always have a determinant equal to 0? Because otherwise I can use Cramer and it gets me 0 for x,y and z
(yeah I have a miscalc again dammit)
the determinant will always be zero, since it is an eigenvalue, i.e. det(A-xE)=0 for x
this is why we computed the zeroes of det(A-xE) in the first place
yup and I actually messed it up later on so I think I got it now
thanks a lot ;)
didn't do anything, but you're welcome :-)
17:20
hello
please i have a function g sucht that k<g(t)<k+1 , what it means : "by the unique continuity property" we see that either g(t)=k or g(t)=k+1
@Vrouvrou something must be wrong there, because your first condition contradicts the conclusion
@Vrouvrou Is $g$ supposed the be integer-valued?
17:36
k\leq g\leq (k+1)
i'm sorry
$g(a,t)=1+a/2 k^2+1-a/2(k+1)^2 +a \alpha(t) $ , $\alpha \in L^2$
@amWhy changing $\times$ to $\cdot$ moves away from the notation in the question. For an answer over 6 months old, it seems needless.
If I didn't know better, I would think you were trying to revive the question on the main list.
@Vrouvrou Is this the same $g$? why does it now have two arguments?
17:53
@robjohn Do you want me to "roll back"? Fine...but that might appear like I'm trying to "bump the question." (OH NO!) If the point is: do not edit old posts, Fine... I won't. Did this issue come up when Jasper edited all his old posts before leaving?
@amWhy To me the $\times$ is more in tune with the question. any action on the main page is done.
@robjohn Done: rolled back. Apologies all for bumping a rather uninteresting question.
@amWhy If Jasper did it just before leaving, it did him little good. I think I had told him not to, but I didn't see it.
@amWhy It just caught my attention when I went to answer and I saw that everything was over 6 months old and there was just this minor, and what seemed backward, edit.
The point of Jasper's editing, and the point of my editing, was not to "do (him) me any good." I came across the post when searching for a duplicate...didn't even notice the "date" of the post...Again. Apologies all
I was trying to re-read my post, and I personally find the $\times$ distracting, as to what's happening. I didn't look to see why I chose to use it in the first place. Again. APOLOGIES.
hi @robjohn
18:04
hi all
@LittleChild hey there
Learned Cauchy-Reimann equations
applied it to $f(z)$ when it is a polynomial
@LittleChild so you know what a complex differentiable function is?
only when it is a polynomial
@robjohn
0
Q: Is my application of Cauchy-Riemann right?

Little Child Question: Given $f(z) = 3z^2 + 9z^3 -z$. 1. Find $f\prime(z)$ 2. Find $f(z)$ when $z = 3 + 2i$ 3. Use Cauchy-Riemann to find if $f(z)$ is differentiable at $3 + 2i$ My Attepmt: $f\prime(z) = 6z + 27z^2 - 1$ $$f(3 + 2i) = 3(3+2i)^2 + 9(3+2i)^3 - (3 + 2i)$$ $$= 3(9-4+6i)+9(9-8i+54i-...

18:06
@LittleChild the same thing works for convergent power series, and essentially all complex differentiable functions are locally convergent power series.
@robjohn That question sums up what I know. I conjured up that question, solved it and posted my workings there
@robjohn I have been given this: @LittleChild try to prove/disprove differentiability of f(z)=z¯. This is a very interesting one.
that is z bar :)
@robjohn Can you gimme an example where $f(z)$ is not a polynomial
@robjohn are you busy ?
@LittleChild That comment thread to Robert Israel's answer should be a new question.
which ??
@LittleChild the one in which you are asked about $\bar{z}$.
18:27
Yes, so where do I begin
@robjohn
@robjohn yes
@robjohn Thanks for correcting the markup :)
@robjohn
Hey all
18:33
I am having trouble ading mathjax support for latex to my wordpress blog
@RajeshD Hm.. I've read there is a solution for that..
@Vrouvrou there seems to be a lot of preamble to that that is not goven there.
@RajeshD hey there
I'm not sure if it is still up to date.
I am really tired, I am goin to bed. Godd night folks. thanks Kasper I'll look at it later.
i don't understand
18:35
sorry Good night
@robjohn I've been trying to get mathjax to work on my website, for some reasons my comment system block the mathjax. However if I click on chatjax, it does work. I wonder if it possible to load chatjax automaticly on my website. (Sorry i'm a little bit of a noob with programming )
Someone was wondering about the asymptotics of $\sum_{v=0}^n\binom{n}{v}^k$ for $n\to\infty$ some days ago here. Anyways $$\sum_{v=0}^n{\binom{n}{v}}^k\sim \frac{2^{nk}}{\sqrt k}\left(\frac{2}{n\pi}\right)^{\frac{k-1}2}$$
19:02
Argh, now I carry the burden of the proof.
@Kasper ChatJax is run completely in the browser, but you need a special Javascript header (that is included in the ChatJax bookmark) to make the MathJax render
@robjohn Hm.. that sounds simple, I'll try !
@Kasper Let me look up the relevant part of the MathJax website.
@robjohn It works ! Brilliant, I just replaced the mathjax for the chatjax in the header: euclidthegame.com/books/LA2/H3/Sectie%203.1/4-1.php
@PeterTamaroff how are you
@Kasper hi
@rob hey
19:12
@vvavepacket Good, you?
@vvavepacket hi :)
whats the difference between $\forall x\in \mathbb{Z} \exists y\in \mathbb{Z}\left ( y>x \right )$ and $\exists y\in \mathbb{Z} \forall x\in \mathbb{Z}\left ( y>x \right )$ i see no difference at all.
@vvavepacket Write it out in words.
@Kasper Looks good! and you fixed it faster than I was able to pull out the code :-)
@vvavepacket howdy
19:18
@robjohn, fine, been stumbling about this confusing problem..
For example, what is the different between "For each person $P$ in the world, there is a person that loves $P$" and "There exists a person $P$ such that everybody in the world loves"?
i see no difference..
@PeterTamaroff do that with a $(-1)^v$ out front?
You have above something similar $$\forall x\exists y$$ versus $$\exists y\forall x$$
my english bad
19:20
@robjohn Sorry?
@robjohn haha, but I really don't understand how mathjax doesn't work, and chatjax does work, maybe that is beyond my scope :P I always thought of chatjax as mathjax on demand
@PeterTamaroff do the alternating sum, only interesting for even $n$.
@robjohn I didn't even prove the first! I have to think about that.
@vvavepacket OK, let's try again. The first one is saying that for each $x$ we choose, there exists a $y$ such that $y>x$. Is this true?
@Kasper It is, but if you want others to see the content of your pages, you need to have the MathJax headers in the <head> section of your page. Otherwise, you require the reader to install ChatJax
brb Peter in 15 mins.
im back Peter
19:30
@vvavepacket So, can you write out what it means to say $\forall x\in\Bbb Z(\exists y\in\Bbb Z:(y>x))$?
for all x such that there exists y where y is greater than x
@vvavepacket Hm... we got a problem.
That should be read as "For every integer $x$ there exists an integer $y$ such that $y>x$".
For example, $y=x+1$ works.
For every integer $x$, $x+1>x$.
19:45
@vvavepacket Now the other is saying something different.
It is saying that "There exits one integer $y$ such that, for any integer $x$, it is true that $y>x$".
hmm
@Peter, whats the difference between: 'for every ipad there exists a case' vs 'there exists a case for every ipad'
@vvavepacket In the first, we're saying the for every iPad there exists a case, but this last case is a function of the iPad I give you. In the second case, what we interpret is that there is one "universal" case for any iPad you give me. See the difference?
Look at it this way "For every key, there is a door that key opens." and "There is a key that opens every door."
yes, they have different meanings --> Look at it this way "For every key, there is a door that key opens." and "There is a key that opens every door."
@vvavepacket So, you got it?
i think you got the comparison incorrect. it should be, 'for every key, there exists a door that opens ' vs 'there exists a door for every key'
19:58
@vvavepacket Hmm, not really, but I did mess up. What you mean is "For every key, there is a door that key opens". and "There is a door that is opened by every key."
20:09
@robjohn hm.. but if I put mathjax in the header, only some latex is converted, if I put chatjax in the header, all latex is converted (including the latex in the comment section)
I don't understand tha
20:28
Off topic: Are there any exponential functions which are approximately equal to the Fibonacci sequence?
@Kasper how do you put ChatJax in the header?
I put in:
<script>
function startChatJax()
{
if (window.MathJax===undefined)
{
var script = document.createElement("script");
script.type = "text/javascript";
script.src = "http://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-AMS_HTML";
var config = 'MathJax.Hub.Config({' + 'extensions: ["tex2jax.js"],' + 'tex2jax: { inlineMath: [["$","$"],["\\\\\\\\\\\\(","\\\\\\\\\\\\)"]], displayMath: [["$$","$$"],["\\\\[","\\\\]"]], processEscapes: true },' + 'jax: ["input/TeX","output/HTML-CSS"]' + '});' + 'MathJax.Hub.Startup.onload();';
20:50
</script>
21:03
@Kasper That will start an unnecessary loop checking for updates every second. What doesn't work when you just enable MathJax?
@robjohn Rob.
@PeterTamaroff Peter
@robjohn How is it going?
@PeterTamaroff pretty good, and you?
Here is what is in the MSE header:

<script type="text/x-mathjax-config">
MathJax.Hub.Config({"HTML-CSS": { preferredFont: "TeX", availableFonts: ["STIX","TeX"], linebreaks: { automatic:true }, EqnChunk: (MathJax.Hub.Browser.isMobile ? 10 : 50) },
tex2jax: { inlineMath: [ ["$", "$"], ["\\\\(","\\\\)"] ], displayMath: [ ["$$","$$"], ["\\[", "\\]"] ], processEscapes: true, ignoreClass: "tex2jax_ignore|dno" },
TeX: { noUndefined: { attributes: { mathcolor: "red", mathbackground: "#FFEEEE", mathsize: "90%" } }, Macros: { href: "{}" } },
@robjohn It's been a good day today. But I have a question.
21:16
@PeterTamaroff you do?
@robjohn Indeed. And it is not hard.
@robjohn Goes as follows: suppose $\varphi:[0,\infty)\to\Bbb R$ is such that, for $x\geqslant M$ we can write $$\varphi(x)=\sum_{k\geqslant 0}a_k x^{-k}$$ Then $\sum\limits_{k\geq 1} \varphi(k)$ converges $\iff a_0=a_1=0$.
@PeterTamaroff you mean $x\ge M$?
What I want to produce is a rigorous proof, as opposed to some handwavy argument using $p$-series.
@robjohn Heh, sure-.
Note that there is no restriction on the $a_k$. Of course, the series converges absolutely on $\{x>M\}$.
So one has to argue for example that $$\sum_{k>M}\sum_{\ell\geq 2} \frac{a_\ell}{k^\ell}=\sum_{\ell\geq 2}a_\ell \sum_{k>M}\frac{1}{k^\ell}$$ and that this last sum converges, @robjohn
I just started studying analysis (about half way through chapter 1 of rudin), so now I am getting into the exercises about complex numbers. I am curious how much complex analysis vs real analysis is in further chapters, or maybe there is a really close correspondence so there isn't even much of a distinction between the real and complex analysis? (I don't know much about analysis so I am not sure how easily real techniques extend to complex techniques)
21:44
@Bageer Rudin is Real Analysis. Complex Analysis is a whole different story.
Alright. Is there a reason that he does go over some basic complex stuff if it isn't really preperation for complex analysis. @PeterTamaroff
@Bageer Well, it is good to know about complex numbers. And sometimes we can use some about them to tackle real analysis problems. For example, in the computation of $$\sum_{k=1}^n \sin k$$
00:00 - 22:0022:00 - 00:00

« first day (1055 days earlier)      last day (4262 days later) »