Lounge of Tomorrow

Lounge of Tomorrow (http://74.208.121.111/LoT/index.php)
-   Egg Head (http://74.208.121.111/LoT/forumdisplay.php?f=13)
-   -   Math geeks only (http://74.208.121.111/LoT/showthread.php?t=8071)

Ghoulish Delight 06-18-2008 12:51 AM

Yes, the graphs seem to be visual proof. And my rather wordy "proof" above was essentially saying what the graph would say. But that feels a little circumstantial to me and may or may not be solid enough proof to include it as a rather pivotal step in a larger proof (the crux of number theory being to avoid any ambiguity where you just never know, somewhere waaaaay out on the number line you might run across a weird hiccough in the procedings).

A little bit of hand waving is acceptable in proofs. You don't have to go back and prove that 2>1 every time you start a proof. And I know this one is pretty trivial. I'm just not well versed in the theory enough to know if it's trivial enough for me to get away with leaning on some higher level concepts (exponential and linear growth) rather than formally proving the nuts and bolts.

Ghoulish Delight 06-18-2008 12:52 AM

Quote:

Originally Posted by Strangler Lewis (Post 218674)
Then how much of a number theory problem is it?

Is "For all C > -40: 9/5 * C + 32 > C" a number theory problem?

Yes, it is. A very striaght forward one, but a provable theory none the less.

Like I said, I'm aware that it's a fairly self-evident truth. But in terms of mathematic rigor, would more detail be required (the answer may very well be no)?

Morrigoon 06-18-2008 12:52 AM

Quote:

Originally Posted by Strangler Lewis (Post 218674)
Then how much of a number theory problem is it?

Is "For all C > -40: 9/5 * C + 32 > C" a number theory problem?

Is it warm in here, or is it just me... anyone got a thermometer? ;)

tracilicious 06-18-2008 01:13 AM

Mori's getting all moist in the math thread!

</invasion of math thread by non-geek>

Pirate Bill 06-18-2008 01:23 PM

Solving for y1=x*7 at x=3; y=21.
Solving for y2=10^(x-1) at x=3; y=100.

Slope:
Derivative of y1: y1'=7 at x=3 (and all values of x)
Derivative of y2: y2'=10^(x-1); at x=3, y2'=100
Second derivative of y2: y2''=10^(x-1)

y1<y2 at x=3
y1'<y2' at x=3
y2'' is positive for all values of x indicating that y2' increases as x increases
therefore y1<y2 for all integers where x>2

That's way more complicated than just a pretty picture showing the plot of each equation on one graph, but I think it satisfies the burden of proof.

Ghoulish Delight 06-18-2008 02:21 PM

Quote:

Originally Posted by Pirate Bill (Post 218764)
That's way more complicated than just a pretty picture showing the plot of each equation on one graph, but I think it satisfies the burden of proof.

And also a slightly more formal way of saying "linear growth vs. exponential growth," got it. I think that's good enough for me.

But where do you get y2'=y2? Isn't the derivative of 10^x=10^x ln (10)? (too brain fried to figure out how the "x-1" affects that)

BarTopDancer 06-18-2008 02:30 PM

I have to ask.

Where in real life did this come from?

Alex 06-18-2008 02:32 PM

Nevermind, ln not log.

Ghoulish Delight 06-18-2008 03:17 PM

Quote:

Originally Posted by BarTopDancer (Post 218772)
I have to ask.

Where in real life did this come from?

My warped mind and a cold that kept me awake.

A puzzle from NPR's Sunday Puzzle got me off on a tangent.

BarTopDancer 06-18-2008 03:28 PM

Good grief.

If you're that bored I have some math homework you can do ;)


All times are GMT -7. The time now is 07:57 PM.

Powered by vBulletin® Version 3.6.4
Copyright ©2000 - 2025, Jelsoft Enterprises Ltd.