Mathematics - 2012-01-11 (page 2 of 2)

Matt

9:02 PM

Regarding this and this: can we close the latter, non-migrated version, rather than the first (with 4 votes at the moment)?

Srivatsan

@Kannappan The point of this "jury duty" chatroom is to separate out the "duty" messages from other ones. We should take that discussion to here... =)

Matt

The answers to the migrated one won't ever be accepted as the account doesn't exist anymore.

Martin Sleziak

But well I think no harm done, if the question stays open for a while. (Not that I fell particularly good about abandoning question like that, but we have plenty of such questions at MSE.)

Kannappan Sampath

@Srivatsan I see.

Srivatsan

@KannappanSampath Having brought you here, I should immediately add that now is not a good time for me. With real life things to take care of.

Kannappan Sampath

9:04 PM

OK @Srivatsan!

Srivatsan

@KannappanSampath Sorry about that.

Kannappan Sampath

@Srivatsan That is no issue with me!

Martin Sleziak

@Matt Wouldn't it be simpler to ask moderators to merge accounts? I mean only 1 close vote is missing there...

I voted to close already, I am not sure if I will be allowed to vote for reopen there.

Matt

@MartinSleziak Sure, is it the same user?

Ideal would be if the one with the close votes disappeared and the one with the answers got attached to the user's account.

Martin Sleziak

@Matt What are the odds that two people would come here with the same question, same wording and same login name.

Matt

9:07 PM

Didn't look at the name. Well then...

I'll vote to close. How do I contact a moderator?

Kannappan Sampath

1

Q: Aut(V) is isomorphic to S3

I'm currently working my way through Harvard's online abstract algebra lectures (if you're interested, you can find them here). The lectures come complete with notes and homework problems. Of course, since I don't actually go to Harvard, I can't hand in the homework assignments to find out if I...

abstract-algebra

Korgan Rivera

"Are you being rhetorical or do you want to do the math?" :)

Srivatsan

@Matt "Flag" option right under the text of the post.

Martin Sleziak

@Matt I believe the correct way is to flag for moderator attention. Then you'll get a window where you can write message explaining what you're asking from moderators.

I don't think it is possible to flag a user, so you probably have to flag question to do this.

Srivatsan

@MartinSleziak Man, you are thorough in your instructions. :=)

Kannappan Sampath

9:09 PM

In the question whose link I just posted, OP wants us to apparently grade all the problems assigned at Harvard Algebra course in Group Theory! Is it a good idea for the site?

QED

no

people need to learn to check for themselves

Martin Sleziak

@Srivatsan Well I was looking if it is possible to flag a person rather than question. (I wasn't sure.) My guess was that Matt might be looking for that too.

That was the reason why I tried to elaborate that much.

Kannappan Sampath

@QED So, someone could add a comment!

QED

I think that question you linked it fine

Srivatsan

@MartinSleziak No, you cannot flag a user. Even if you want to merge accounts, the only possibility is to flag a post (question/answer).

Kannappan Sampath

9:11 PM

I am willing to as well!

Asaf Karagila

@Srivatsan, nice with the Archaeologist badge.

Matt

@Srivatsan, @MartinSleziak Done! Now I'm off, I have something I'm looking forward to reading : )

Martin Sleziak

Bye matt

And thanks!

Srivatsan

Bye Matt.

@AsafKaragila Yep. The only one in town. :D

Asaf Karagila

@Srivatsan I know how that's like. I recall being the only Outspoken guy...

Srivatsan

9:14 PM

But I got it a while ago...

Asaf Karagila

I only noticed recently.

I now just need to give a bounty on someone else's question, and award it, then I'll have all the feasible bronze badges :-)

Srivatsan

I want this deputy badge.

Asaf Karagila

I aspire higher: math.stackexchange.com/badges/132/marshal

Srivatsan

Ah, wish you luck.

Asaf Karagila

Well. I am one vote from 200 points and 50 from the limit today. Someone find me a nice question to answer and have five upvotes on my answer ;-)

Srivatsan

9:16 PM

You'll need some -- just so that your flags are deemed helpful.

Martin Sleziak

Srivatsan: I guess you have good chance for Taxonomist with martingales and fixed-point-theorems.

Srivatsan

t.b.'s flag weight is amazing.

Asaf Karagila

@Srivatsan As long as they are not deemed unhelpful which cuts away brutally 10 points from the current weight I'll be fine.

QED

what's a flag weight?

Srivatsan

@MartinSleziak Aha, I must go on a tagging spree now. I will add the [martingale] tag even to set-theory questions.

Asaf Karagila

9:18 PM

It's the way the system knows how valid are your flags.

Martin Sleziak

@Srivatsan lol

Asaf Karagila

I was sure I'll get Taxonomist on [descriptive-set-theory] but I ended up getting it for [examples-counterexamples] which I don't even recall starting :-D

Srivatsan

@MartinSleziak But realistically, those are more like long-term investments. I'm sure they will pay off eventually.

Martin Sleziak

When I saw Mariano at the chat today, I thought he wants to talk about algebra retagging. (You mentioned he left a comment at some post you edited, Srivatsan.)

Srivatsan

@AsafKaragila Did you get that recently.

Asaf Karagila

9:19 PM

@Srivatsan Not too long ago, a month perhaps.

Huh.. apparently three months ago.

Srivatsan

You might have to thank for me for that. Not sure how much I contributed, but I did tag quite a few posts with that tag.

@AsafKaragila Uh oh, not that long ago. My edits were more like a month ago.

Korgan Rivera

@QED Well Piracetam seems to be the nootropic that everyone talks about. Some people say it works incredibly well for them, others say no effect.

Asaf Karagila

@Srivatsan Well, you could add descriptive set theory tags ;-)

QED

I see

Srivatsan

@AsafKaragila Sure. :-) Search for Cantor function and tag random posts from the results with that tag.

That may not be that bad an idea, actually.

Asaf Karagila

9:22 PM

I think that my favourite comments correspondence with Gerry was one that I tagged something as desc. set theory and he untagged it saying that it's a technical term and whatnot, then posted another comment that he may have been wrong and he'll let someone familiar with the topic retag. Then I told him I've just finished a course on the topic and I have at least the basic knowledge to say that this is indeed a fitting tag :-P

Srivatsan

Not to add that you had just written an answer to that question. =)

Asaf Karagila

And quite the long answer too!

That was the question

Martin Sleziak

I have to go. See you later!

QED

bye

Asaf Karagila

Bye Martin

Srivatsan

9:26 PM

@AsafKaragila Ah man. I wanted to vote up your answer this week. I read it and found some bits useful, although I don't have a big picture yet. :/

Asaf Karagila

Which answer? I have almost 400 of them by now :-)

Srivatsan

@AsafKaragila Your answer, for the question you just linked to.

Asaf Karagila

Oh... I think that after this I'll only have +8 and +10 voted questions, no +9...

Oh right, I have another one with +9 on which I am actually working right now :-D How could I have not noticed that??

Pureferret

Hi everyone

QED

Hi

Pureferret

9:28 PM

Has anyone here seen my percolation question?

QED

HAHA your picture is great

I saw it

Pureferret

I think I left it around here somewhere

Asaf Karagila

Please don't post a question on the main site and then come here and ask people to look at it, at least not just out of the blue.

Pureferret

@AsafKaragila I was just asking if people had seen it

I'm not expecting people to rush out to view it =p

Asaf Karagila

I will answer your question if you can help me prove that in the second model of Cohen every infinite set has a surjection onto $\omega$. :-)

Pureferret

9:31 PM

Don't ask a physicist to do maths. He'll use the word prove and make every mathematician in the room cry.

Srivatsan

@AsafKaragila Wait, is that true in ZF? [newbie, so be gentle... =)]

Asaf Karagila

What's up with all the physicists coming in here lately?

t.b.

@AsafKaragila well, I prefer them to ask about induction, rather than topologists...

Srivatsan

Does "infinite" mean "can be put in 1-1 correspondence with a proper subset"?

Asaf Karagila

@Srivatsan No, it is completely possible to have a model with an infinite set which has no surjection onto $\omega$.

@Srivatsan No, infinite means cannot be bijected with a finite ordinal.

Srivatsan

9:33 PM

@AsafKaragila Oh ok.

And they are not the same thing?

Asaf Karagila

Dedekind infinite means can be bijected with a proper subset, which in ZF is exactly as saying that there exists an injective function from $\omega$ into $x$.

@Srivatsan Not without some choice, as I said you can have this situation. It's one of the basic examples, actually.

Srivatsan

@AsafKaragila OK. I suspected that, but off the top of my head, I cannot distinguish proofs using choice vs. proofs not using choice vs. proofs using choice but can be reworded to avoid it.

Asaf Karagila

@Srivatsan Often the proof is not just to be reworded but completely reconstructed.

Srivatsan

@AsafKaragila Hm, that would be a fourth possibility. =)

Asaf Karagila

@Srivatsan e.g. the Cantor-Bernstein theorem.

Srivatsan

9:39 PM

I "know" (as in, I have seen it written) that it does not use choice. As I said, I cannot even tell them apart.

N3buchadnezzar

Heya =)

t.b.

two books on gereral topology that's ... like ... a representative sample.

Kannappan Sampath

@N3buchadnezzar Hi!

Asaf Karagila

@Srivatsan The point is that the theorem's original proof is describing how the function is defined based on the two injective functions.

It's not very complicated but not too simple either. With AC it amounts to a triviality using ordinals.

N3buchadnezzar

Any tips to finding the slant asymptote to

$$ y = \frac{3y^2 x}{y^3 + x^3} $$ ?

I know what it is, just not how to find it =)

Srivatsan

9:41 PM

@AsafKaragila I think I know the overall story. Pair of injective functions $\rightarrow$ bijective can be done without choice. Other situations need some choice.

QED

what is slant asymptote

N3buchadnezzar

Eh, an asymptote that is not horizontal or verticall. It looks like \

Kannappan Sampath

@N3buchadnezzar Heuristically, you'll get a asymptote along the curve where the denominator will vanish. This means $x^3+y^3=0$ which means $x=-y$.

Asaf Karagila

@Srivatsan Quite.

QED

I meant what's the math definition

N3buchadnezzar

9:44 PM

@KannappanSampath So this will give the result of $y = x - 1$ ? =)

QED

http://www.wolframalpha.com/input/?i=plot+y+%3D+3*y^2*x%2F%28y^3%2Bx^3%29

wow that is horrible

Asaf Karagila

Sweet. I am beginning to see the picture of how I'm supposed to prove something complicated. However I don't see immediately the fine details and it seems some combinatorics will be in order.

Srivatsan

@AsafKaragila Where do you want to prove something compleicated?

Kannappan Sampath

@N3buchadnezzar I don't quite understand!

t.b.

wolframalpha.com/input/…

QED

9:46 PM

can you put it in ``'s?

so I can copy it

Asaf Karagila

@Srivatsan David Roberts' question about Cohen's second model. I want to prove that thing I mentioned not long ago, that every infinite set in that model surjects over $\omega$. I have an idea how to show this, but it's not a trivial idea. It might also be wrong.

Oh shoo! It's fading away!!!

QED

oh how did you do that!

N3buchadnezzar

@KannappanSampath The asymptote can be expressed as that line =)

Asaf Karagila

Let me write a few notes down, hopefully it will make sense tomorrow :-D

QED

@N3buchadnezzar, do you have a mathematical definition of the thing you're looking for?

robjohn

9:47 PM

@QED @Srivatsan: I added the stuff we worked out, plus a proof of the roots, here. I think it is pretty much the same as the proof by David Speyer. Should I just remove it, or do you think it is unique enough?

t.b.

@QED I replaced * by %2A and ^ by %5E.

QED

aha

cool

t.b.

percent encoding

N3buchadnezzar

@QED Perhaps Oblique asymptote is a better word, I will look up a wikipedia article for you. If that suffices =)

QED

@N3buchadnezzar, no definition then?

Srivatsan

9:48 PM

@robjohn I'm not sure if it is unique enough. But I think you explain better than David. =)

Kannappan Sampath

@AsafKaragila I just told you the asymptote was $x=-y$ and NOT $y=x-1$

Srivatsan

@robjohn I think it's just that seeing such a chain of (in)equalities engages me more than text... =)

robjohn

@tb also known as URLencoding

Asaf Karagila

No, you told that to someone else!

N3buchadnezzar

@KannappanSampath But both my plots and the textbook says otherwise...

Asymptote

In analytic geometry, an asymptote () of a curve is a line such that the distance between the curve and the line approaches zero as they tend to infinity. Some sources include the requirement that the curve may not cross the line infinitely often, but this is unusual for modern authors. In some contexts, such as algebraic geometry, an asymptote is defined as a line which is tangent to a curve at infinity. The word asymptote is derived from the Greek ἀσύμπτωτος (asímptotos) which means "not falling together," from ἀ priv. + σύν "together" + πτωτ-ός "fallen." The term was introduced by...

QED

9:50 PM

I don't want a wiki link...

robjohn

@Srivatsan I think that long stretches of text are harder to follow that a fairly easy to read sequence of equations

Asaf Karagila

@N3buchadnezzar You're Norwegian, right? Can you translate me the title "Det Lys Aldri I Livet Orke" please?

Srivatsan

@robjohn Hey, we think alike. =)

N3buchadnezzar

That sentence makes no sense

Asaf Karagila

I was told that it makes no sense about 5 years ago, it should be broken Norwegian.

QED

9:52 PM

@N3buchadnezzar, this curve is called the Folium of Descartes

Asaf Karagila

You know, the time where Norwegian black metal bands sang in German and German black metal bands sang in Norwegian, and no one was doing that right.

robjohn

@Srivatsan Equation $(5)$ was the part that took a long time. It took me a long time to get to the point that I realized $\operatorname{Re}\left(\frac{1}{e^{ix}+1}\right)=\frac12$

N3buchadnezzar

@AsafKaragila "That" "light" "never" "in" "life" "have the energy to"

Asaf Karagila

@robjohn Isn't that the Riemann hypothesis?

Srivatsan

@robjohn One more problem I found with David's answer is that it is very back-and-forth. It is somehow how he discovered the solution, not the solution itself. =)

N3buchadnezzar

9:53 PM

@QED Yeah, even my book states it by that name. alas no means to find the asymptote. Or the behaviour of the functions when x becomes arbitarily large.

robjohn

@AsafKaragila Yeah, right. Gimme my Millennium prize :-p

Asaf Karagila

@robjohn I am not made out of Clay! :-)

QED

@N3buchadnezzar, anyway the first thing you should d obefore trying to solve the problem is get the definitions of all the things in involved formalized and clear

Srivatsan

@robjohn Sorry, officially your proof was the second one.

QED

e.g. remember when you got stuck proving that identity about absolute values, the instant you saw the definition (|v| = v . v) you could prove it

it's very often like that

robjohn

9:55 PM

@Srivatsan Yeah, I had everything but Equation $(5)$ as soon as the question was posted. I had a day of work getting ready for yesterday's 6 hour meeting and then yesterday gone for the meeting. I finally finished $(5)$ this morning

Srivatsan

@robjohn Rob: I will go through your answer later. But tell me this: do you have an estimate of the error.

N3buchadnezzar

Let $f(x)$ denote my function, I am then looking for a function g(x) on the form
$g(x) = ax + b$
such that
$$\lim_{x\to \pm \infty} [f(x) - g(x)] = 0$$

Srivatsan

@robjohn Damn that elusive one.

robjohn

@Srivatsan I don't, but I will see if I can get one.

QED

@N3buchadnezzar, you can't write your function as 'y = f(x)'

N3buchadnezzar

9:56 PM

Pardon me not being very good in mathematics, would this definition suffice ?

QED

no

N3buchadnezzar

I know, thats part of the problem...

QED

so there's no worry that you can't solve the problem it's not even well posed (given that definition)

Srivatsan

@robjohn See: for the given interval $[0,1]$, the error is exponentially small. Why? Because the norm of the polynomial $(x-\frac12)^n$ is constant times $2^{-n}$. But I think the question is more interesting for $[-1,1]$. There plugging in $x^n$ gives a distance of $\frac{\mathrm{const}}{n+1}$. But is the minimum distance much smaller?

N3buchadnezzar

I guess you cant call it a function either, more a curve.

Well my curve sort of looks like y = x -1 without the curl at the origo though...

Asaf Karagila

9:59 PM

Hm. Perhaps this new answer will get me over the curve :-D

QED

@N3buchadnezzar, do you see what I mean though

Asaf Karagila

Huzzah. >200 points!

Srivatsan

@robjohn I hope I conveyed the motivation nicely. =)

Asaf Karagila

One day closer to Epic.

N3buchadnezzar

@AsafKaragila I do

QED

10:00 PM

so you can't really attempt to solve a question that isn't well posed

Asaf Karagila

Huh?

Srivatsan

I think QED is addressing N3.

N3buchadnezzar

Well here it just states the asymptote... =( en.wikipedia.org/wiki/Folium_of_Descartes

Kannappan Sampath

@Asaf Good that you pointed out to the OP from Nepal it is not good to sign his posts with notes such as those!

QED

@N3buchadnezzar, but does the book not define it?

before asking you to find it

assuming you're working from a book

robjohn

10:03 PM

@Srivatsan Why would the problem be much different on [-1,1] than on [0,1]? For a polynomial $P(x)$ on $[0,1]$, $P\left(\frac{x+1}{2}\right)$ is a function on $[-1,1]$

So we have a factor of $2^n$ on the lead coefficient

QED

@N3buchadnezzar, even if someone claims to have given you "the answer" you have no way of checking it for yourself

Asaf Karagila

Yeah.

N3buchadnezzar

@QED Not in terms of generall curves, Just the definition I gave based on functions.

Asaf Karagila

@N3buchadnezzar Thanks. I guess. Regardless to the fact that the title is near meaninglessness the track itself is still pretty awesome.

QED

so just say "the folium is not the graph of any function therefore the definition of 'asymptote' doesn't apply"

Srivatsan

10:05 PM

@robjohn Yes, I think that $2^{-n}$ is a distraction. My point is that: let's say that the error for QED's question is $3^{-n}$; that doesn't seem surprising. But that implies that the error for my question is $(3/2)^{-n}$: this seems quite surprising to me. I know this is just psychological or whatever, but it helps bring the relevant question to the fore.

Now, I can simply ask: is the error in $[-1, 1]$ exponentially small or polynomially small? =)

Well, you don't necessarily have to see it the same way. As long as you understood my question, it's fine. =)

robjohn

@Srivatsan I think the error in the $[0,1]$ problem is $2^{-n}$ times the error in the $[0,1]$ case because of the scaling of the polynomials. Assuming a lead coefficient of $1$.

What is QED's question?

QED

what?

robjohn

@QED is that better? :-)

Srivatsan

@robjohn QED's question is over [0,1]. Mine is over [-1, 1]. So they are just a scaled version of each other.

robjohn

@Srivatsan yes, I believe so.

Since there is that nice mapping from one to the other.

QED

10:10 PM

no

robjohn

@QED no to what?

QED

not better

I don't know what to answer

Srivatsan

@robjohn OK, @robjohn, I feel that you think the scaling is not a big deal (and I agree). I just wanted to convey that I like to think of [-1,1] more than [0,1]; that's all. I think I blew up the difference a bit; so let's stop this discussion here. =)

robjohn

@QED I thought you were wondering about "what is QED's problem" which has a negative second meaning. I thought changing to "what is QED's question" would be better.

QED

I know the sense in which you meant it

I don't have any question though

It's N3buchadnezzar

although I don't think he wanted to accept what I was saying

Srivatsan

10:13 PM

Me and robjohn are discussing the $L^1$ approximation question, not N3buchadnezzar's question. robjohn has posted an answer to it now.

robjohn

@QED ah, the first I saw of the question was from you on the chat.

QED

hm

I don't know

robjohn

@QED I saw the question on the main site after that.

So we were attributing it to you. :-)

QED

attributing what to me?

robjohn

The polynomial approximation question

N3buchadnezzar

10:16 PM

Well I need to hand in these problems, so being picky about notation is not my forte at the moment ^^

robjohn

This one

N3buchadnezzar

I guess I will just ask my lecturer to clearify the question, and how to solve it.

QED

@N3buchadnezzar, that's a good idea

to get adefinition of asmyptote that actually applies to the curve defined in the question

Srivatsan asked about the L_1 distance from x^2 to a line, and I was wondering if that was just one example of a more general question - Approximation theory generalizes it greatly

Srivatsan

@robjohn robjohn, that is not N3buchadnezzar's question. I am fairly certain of that. =)

N3buchadnezzar

I guess I could define the definition as: Let A describe my curve, and let g, be a function on the form ax + b. Assume that A tends to infinity then the distance between A and g, should tend to zero, as A tends to infinity. If g is a asymptote to A.

robjohn

10:19 PM

@Srivatsan Yes, I was just checking and it is QED's

QED

I don't think you can say someone owns a question so primitive as this

robjohn

@Srivatsan But you asked about $x^2$ first, right?

QED

it's a pretty natural thing to ask (hence it being an entire field)

Srivatsan

@robjohn Yep, I believe so.

robjohn

@QED you posted it to the main site. So for the purposes of our discussion, it is your question :-)

Srivatsan

10:21 PM

Not the first human mostly (although we still don't have a reference for this problem).

robjohn

@Srivatsan and that is where we came up with the main attack using the signum function, etc

Srivatsan

@robjohn Yes. My interest in this comes a little bit before this particular discussion. One second, let me pull out a link.

@robjohn See this.

This happened 1-2 days prior to my posting the problem in this chat to you. I focused on a special case (thinking that an analytical solution is impossible).

My first instinct was to ask for some lower bound on the distance (an upper bound is easy), even if it wasn't the tightest one. The motivation for that is that the compactness argument naturally gives an ineffective bound, so I was led to wonder what the distance would look like.

QED

@Srivatsan, from Approximation Theory there are some important theorems

oh wait I got this for $L_\infty$ norm

you may not be interested in that

Srivatsan

@Srivatsan Unsurprisingly it seems that entirely new techniques are needed for answering such questions. As QED says and as GEdgar (?) pointed out in a comment, approximation theory is all about such questions. This might even be some standard problem somewhere (but nobody has supplied a reference to literature yet).

robjohn

It seems the Chebyshev polynomials answer both the $L^1$ and $L^\infty$ problems if I was reading correctly.

Is that correct?

Srivatsan

10:30 PM

David says so. I do not know the theory of Chebyshev polynomials.

robjohn

The article on Wikipedia indicated they were solutions for the $L^\infty$ question, and we seem to have shown they are for the $L^1$ question.

Srivatsan

@robjohn If that is true, there should be a direct explanation of that, no? Like: if $p$ is the best $L^{\infty}$ approximation, then the best $L^1$ approximation is blah.

After all, $\infty$ and $1$ are like duals or something.

robjohn

There might be. I haven't thought about it at all.

@Srivatsan See this

Srivatsan

@robjohn Hm, thanks.

I have seen this after reading the first answer; anything specific you want me to see?

robjohn

@Srivatsan Just that is shows these polynomials are the solution of the $L^\infty$ question

Srivatsan

10:38 PM

Oh, ok =)

QED

derivaties of chebychev

in the case of L_1 isn't it?

robjohn

@QED I think the roots are the same as what they claim for the Chebyshev polys

All I computed were the roots of the minimal poly, and they look the same (mapping from $[-1,1]$ to $[0,1]$)

robjohn

10:59 PM

@QED Ah, looking at the roots listed in the WP article, these are the Chebyshev polys of the second kind, and the ones I linked to Srivatsan are the Chebyshev polys of the first kind.

@Srivatsan: So Chebyshev polys of the first kind solve the $L^\infty$ question and the second kind solve the $L^1$ question.

Srivatsan

@robjohn I guess that makes sense because: derivative of cos(nx) will be essentially sin(nx) and vice-versa.

robjohn

@Srivatsan yeah, I guess so...

It is interesting that that article doesn't mention the $L^1$ question.

Srivatsan

@robjohn :=)

robjohn

11:15 PM

@Srivatsan: Hmm... In David Speyer's answer, he claims that from $\left( 1+a_1 x + a_2 x^2 + \cdots + a_m x^m \right) \sqrt{1-x} = \left( 1+b_1 x + b_2 x^2 + \cdots + b_m x^m \right) + O(x^{n+1})$, he was able to solve for $a_n$ and $b_n$ by solving some linear equations. However, for any sequence $a_n$ we can find a sequence $b_n$ that satisfies that. Am I missing something there?

Srivatsan

I don't know what you're talking about... =)

I actually need some time. Could we chat later at night?

robjohn

@Srivatsan In his answer, he supposedly used that equation to solve for $a_n$ and $b_n$

Sure. I need to do some things, too. later

Srivatsan

@rob: Apparently the albatross is now solved. I haven't seen the solution fully.

robjohn

@Srivatsan I have questions about David Speyer's answer that I will have to ask in comments.

Srivatsan

@robjohn Don't forget to add: "This is a helpful hint, but not quite a proof." =)

robjohn

11:28 PM

:-)

I just don't think the whole story is in the answer. I don't see how he got the polys from his steps.

Srivatsan

Didn't I just say the same thing, in possibly different words?

robjohn

@Srivatsan Sort of. I wonder where his solution actually came from though.

I would like to see how Mathematica solved those linear equations.

Srivatsan

@robjohn What kind of wonderment is that?

As in: why do you wonder that about that solution?

robjohn

The answer is fine. The solution seems to have a big hole at the point of the equation I copied above.

By the answer, I mean the polynomials he arrived at. By the solution, I mean the way he achieved the polynomials.

Srivatsan

Just do yourself a favor and ignore me right now. I am pretty much following that advice myself. =)

[I am doing some three things at one time.]

robjohn

11:35 PM

I need to be paying some bills right now. I should concentrate on that now, too :-)

Srivatsan

@robjohn I eventually figured out what you meant: that's why I deleted my comment.

@robjohn Perhaps you should.

robjohn

@Srivatsan However, your point was correct, so in case someoe else might read it, I wanted to clarify.

Srivatsan

@robjohn I have this annoying habit of being correct. Cannot help it. =)

robjohn

@Srivatsan It's hard to live with. I don't know how my wife lives with it :-)

not your habit, but mine :-)

Srivatsan

Ahem. I was wondering if you are referring to your wife's -- that would be third valid interpretation.

Srivatsan

11:50 PM

Interesting: it seems the OP likes Bill's approach here. I guess that whenever we do understand the answer, it looks better than other answers...

QED

am so sick of these polynomial questions

Srivatsan

sick? Why so?

QED

especially "prove 9|p(n)"

because induction is a stupid way to deal with them

Srivatsan

@QED On the other hand, it is quite a bit non-arbitrary.

QED

more reliable than what?

Srivatsan

11:53 PM

I removed that bit on "more reliable".

QED

I just hate it because I feel like everyone is learning something bad

Srivatsan

It's not bad. No proof method could be bad, could it? What argument do you have against induction? That it is mechanical?

Asaf Karagila

Very good. The day ends and I have 225 points.

Now to eat something and catch some ZZZ.

Transcript for

$Mathematics$ Mathematics