Page 5 of 6

Re: The Math Thread

PostPosted: May 12th, 2015, 11:57 am
by Supershroom
I'm too lazy to calculate it all like OJ did but backtracking was also my first thought

Re: The Math Thread

PostPosted: September 11th, 2015, 3:08 pm
by lordpat
This is so ded. I am gonna try to revive this. Here is something prety cool our calculus proffesor taught us. You only thing you have to know is Intermidiate value theorem. To make it short, the IVM says that if a function is continuous on an interval (that means, it doesn't jump from one value to another and has no holes in it) and in one of the extremes the funcion is positive and in the other is negative, then at some point it must cross the zero. Perphabs it is easier to see with a drawing:

Image
As you can see a is negative and b is positive, so it is inevitable that a continius funcion will cross the zero at some point. Note that it can cross it multiple times, like the red function. But we are guaranteed that at some point the function becomes zero. It can't have a hole where it would cross or have a jump because it is continuous.
Another thing we will use is the fact that the sum or substraction of two continuous functions is also continuous.

So what are we going to prove? That there are two points on earth, diametrically opposed that have the exact same temperature. Pretty cool, huh?

We will have to make an assumption though: that the variation of temperature on the surface is continuous. I don't think that is too much of assumption, since metheorologists say it has a second derivative, so no probs.

Ok, so what we are going to do is actually cut the earth, vertically, in one of its meridians. So the drawing would look something like this:

Image

Good so far? Ok, so let's define a function that meassures temperature in this new circle. We are gonna do it by meassuring the angle the point is in respects to the north pole, we are gonna call it T1. And we are calling T2 the point diametrically opposed to it on the circle. Something like this:

Image

Now, let's look at something intresting. T1(o°) is the temperature one the north pole, and T2(o°) is the temperature on the south pole. Now, here is where it gets juicy, what is T1(180°) and T2(180°)? Well, 180°is half a turn, so it would reverse, T1(180°) is the temperature one the south pole, T2 (180°) is the temperature on the north pole. In other words:


Image

Ok, so there are three cases possible. 1) The temperature at the south pole and on the north pole are the same (T1(0)=T2(0)), 2) the temperature on the north pole is higher than on the south pole (T1(0)>T2(0)) or 3) the temperature on the south pole is higher than on the north pole (T1(0)<T2(0))

In 1) there is nothing left to prove, since the north pole and the south pole are diametrically opposed and they have the same temperature, so yeah.

Let's focus on 2)

We will build a new function F(alpha). What this function will do is subtract T1(alpha) and T2(alpha) (aka substract the temperature of two diametrically opposed points)
Is this function positive or negative at 0°?
Well, since T1(0)>T2(0), T1(0)-T2(0) is larger than zero (we are taking a smaller number from a bigger number).
But what about F(180°)?
Well, at 180° the functions switch, so T1(180°)-T2(180°)=T2(0°)-T1(0°), which is negative.
Is F(aplha) continous? Well, it is the substraction of to continuous functions, so yeah.
But wait, at 0° it is positive, at 180° is negative, so at some point in the middle the difference between T1(alpha) and T2(alpha) must be zero, hence T1(alpha)=T2(alpha) for some alpha between 0 and 180, which means that two points diametrically oposed have the same temperature.

Case 3) is the same thing but reversed, T1(0)-T2(0) is negative, T1(180°)-T2(180°) is positive, so at some point the function must be zero, and the same happens.

Q.E.D

(Please forgive all mistakes I might have made, which I am sure are many)

Re: The Math Thread

PostPosted: September 12th, 2015, 1:50 am
by Joshio01
too much math. my brain hurts. XS

Re: The Math Thread

PostPosted: September 12th, 2015, 2:00 am
by Supershroom
A script with 100+ pages like I'm working through it could be considered as a lot of math. If you already have trouble trying to understand what makes a function continuous, I've learned this mnemonic:

A function is continous if and only if you can draw its graph without lifting your pen from the paper.

To sum it up:

T1(α) = temperature measuring the angle α from the north pole,
T2(α) = temperature measuring α from the south pole.

Obviously, T1(0) = T2(π/2) and T2(0) = T1(π/2). I usually prefer radian measure for angles

And in case of w.l.o.g. T1(0) > T2(0), the continuous function F := T1 - T2 is positive for α = 0 and negative for α = π/2, hence it must have a zero in the interval (0, π/2). Simple as that.

Re: The Math Thread

PostPosted: September 16th, 2015, 12:40 am
by Supershroom
Chat wrote: show
9:32:19 AM <bowser07> oh hey supershroom
9:32:28 AM <bowser07> didn't notice you there
9:32:54 AM <bowser07> If I had known you were on chat I would have told you about the level here and not with a pm
9:34:11 AM <Shroom> yeah, I'll look at it later
9:34:15 AM <Shroom> right now I'm doing math a bit
9:35:08 AM <bowser07> what sort of math?
9:35:42 AM <bowser07> just random math?
9:36:35 AM <Shroom> no, probability theory
9:36:44 AM <Shroom> and it's NOT what you imagine, lol
9:37:47 AM <bowser07> oh. So it's not as easy as "If i flip a coin, I'll have a 50.000000000001% chance of getting a tails if I use a 10 cent coin."
9:38:46 AM <Shroom> well, at university you have a very abstract approach to mathematical context
9:39:17 AM <Shroom> one of the theorems being proved in this lecture is the "Strong law of large numbers"
9:40:30 AM <Shroom> it's one of the most difficult lectures at all, but I take the challenge
9:40:48 AM <bowser07> cool. I always knew you liked math, but I never thought you loved it that much.
9:41:15 AM <bowser07> I don't really know anyone who studies it as seriously as you do.
9:41:49 AM <Shroom> well, I've heard lordpat is starting it
9:42:17 AM <bowser07> Really? cool.
9:42:48 AM <bowser07> If I wasn't still in grade 10 I might try to understand what you two are talking about in that maths topic.
9:43:03 AM <Shroom> well, what is grade 10 in Australia
9:43:42 AM <bowser07> What do you mean? Do you mean like what sort of maths do we learn?
9:44:14 AM <Shroom> no, but some countries are counting classes backwards lol (e.g. France)
9:44:52 AM <bowser07> that's wierd
9:45:02 AM <bowser07> I guess it makes sense though.
9:45:25 AM <bowser07> X years until I get to study what I want!
9:45:42 AM <Shroom> okay, do you know stuff like the binomial distribution?
9:47:48 AM <bowser07> nope
9:47:52 AM <bowser07> lol
9:47:54 AM <@B-O-T> lol
9:48:11 AM <bowser07> I probably don't pay as much attention in class as I should
9:48:50 AM <Shroom> or the Pythagorean theorem?
9:49:07 AM <bowser07> Yep, we've done that
9:50:11 AM <Shroom> and did you already hear of random variables and expectation values?
9:50:42 AM <bowser07> Of course!
9:52:04 AM <bowser07> I do a basic level of programming so I use that sort of thing a lot.
9:52:12 AM <Shroom> well, then I can explain to you what the strong law of large numbers is
9:53:23 AM <bowser07> OK. Can you tell me? It will probably help for next year or something.
9:54:50 AM <Shroom> given a sequence X_n of random values and their sums S_n, meaning S_n = X_1 + ... + X_n
9:55:18 AM <Shroom> and the X_n are all independent and identically distributed (e.g. independent coin throws or such)
9:55:42 AM <Shroom> and the expectation value of X_1 (and therefore of all the X_n) exists
9:55:45 AM <Shroom> then
9:56:14 AM <Shroom> the term (1/n) * S_n converges almost surely against the common expectation value E(X_1)
9:59:36 AM <Shroom> for example, if X_n is a single random experiment (hit or miss with probability p)
10:00:02 AM <Shroom> then S_n will count the total number of all hits, and (1/n) * S_n will be the relative hit rate
10:00:28 AM <Shroom> E(X_1) exists of course, and therefore (1/n) * S_n will approach to p
10:00:50 AM <spukikaze> i always thought that goran ni narimasu meant become a torpedo
10:00:55 AM <spukikaze> but it means to see
10:01:12 AM <bowser07> ...that we have a new topic for some reason
10:03:03 AM <bowser07> anyway, shroom is there anything else I need to know about the strong law of large numbers
10:03:37 AM <Shroom> well, it's the reason for the well-known "players fallacy"
10:03:59 AM <Shroom> if you think that when playing roulette, Black came 10 times in a row, then Red now must come for sure
10:04:07 AM <bowser07> isn't that like rigged results and
10:04:10 AM <bowser07> stuff
10:04:25 AM <bowser07> oh, never mind
10:04:25 AM <Shroom> but the strong law only says that the RELATIVE hit rate becomes more and more constant, not the ABSOLUTE one
10:04:41 AM <Shroom> the absolute difference between hits and misses will even rise
10:05:38 AM <bowser07> So that's just another way of saying the actual result will get closer to the expected result gradually but can also be otherwise, right?
10:06:05 AM <Shroom> well, imagine a chain of throwing a dice 6000 times
10:06:30 AM <bowser07> I know, it will not be 1000 1's
10:06:46 AM <Shroom> *calculates some numbers, pls wait*
10:07:40 AM <Shroom> it could be, but ... imagine this:
10:08:00 AM <Shroom> after 600 throws, you have 95 1's, that's 5 away from what you would expect
10:08:13 AM <Shroom> and the relative quote is 95/600 = 0,1583333...
10:08:34 AM <Shroom> and after 6000 throws, let's say you have 980 1's, 20 away
10:08:53 AM <Shroom> but the relative rate is 980 / 6000 = 0,16333..., much closer to 1/6 than it was after 600 throws
10:09:14 AM <bowser07> ...so I was right.
10:10:25 AM <Shroom> also when I've said that for the strong law the expectation values must exist ... do you want an example of a random valuable whose expectation value DOESN'T exist (aka it's infinite)? :3
10:11:08 AM <bowser07> sure. I haven't ever used infinity in probability stuff before so why not.
10:12:01 AM <Shroom> imagine an infinite chain of throwing coins, and you win if you hit the emblem
10:12:29 AM <Shroom> your capital is infinite, and you keep throwing the coin until you have a total win of 1 for the first time, and then you stop immediately
10:12:56 AM <Shroom> X counts the amount of tries you need to reach a total win of 1
10:13:10 AM <Shroom> and E(X) is infinite
10:16:00 AM <bowser07> but wouldn't you think that the probability of winning would be 1?
10:16:15 AM <bowser07> sorry that was probably a stupid thing to say wasn't it.
10:17:00 AM <bowser07> It's just that, with infinite tries, how could you not succeed eventually?
10:17:07 AM <Shroom> well, it's not stupid, the set on where you're defining X (aka the chains which reach a win of 1 at a time) is indeed 1
10:17:22 AM <Shroom> but reaching that win could take a very long time eventually
10:17:37 AM <bowser07> an infinite amount of time
10:17:46 AM <Shroom> expectation-wise
10:18:13 AM <spukikaze> estimate sqrt(56) to three decimal places without using a calculator :^)
10:18:19 AM <bowser07> now I get it. thanks. :)
10:18:34 AM <bowser07> um, something starting with 7
10:18:41 AM <Shroom> X is a so-called stopping time, and there's a theorem called "you can't beat the system"
10:19:29 AM <Shroom> it says that you can't transform a fair game into an advantageous game with any stopping strategy or strategy of changing inputs
10:19:32 AM <Shroom> under a certain premise
10:19:39 AM <spukikaze> you do sqrt(49+7), take out the seven, and make it 7 * (1+1/7)^(1/2) and you can just expand it using binomial theorem
10:19:40 AM <Shroom> and that is that your capital is finite
10:20:39 AM <spukikaze> Probability is cool because often it goes against common sense
10:23:14 AM <bowser07> like when?
10:23:24 AM <bowser07> wait never mind
10:23:34 AM <Shroom> well, I have another nice example of throwing coins
10:23:38 AM <bowser07> question 1 in the maths forum
10:24:09 AM <bowser07> the one about two people in a family
10:24:45 AM <bowser07> what's your example shroom
10:25:02 AM <Shroom> you keep throwing coins as long as you consecutively hit emblems
10:25:14 AM <Shroom> if you hit the number at the first time, you win $2
10:25:24 AM <Shroom> if you hit emblem and then number, you win $4
10:25:37 AM <Shroom> if you hit emblem, emblem and number, you win $8
10:25:39 AM <Shroom> got it?
10:25:45 AM <bowser07> yep
10:25:53 AM <bowser07> and it keeps continuing right
10:25:58 AM <Shroom> now, what shall be your input so it's a fair game
10:26:21 AM <bowser07> $0 seems fair to me.
10:26:33 AM <Shroom> lol
10:26:34 AM <@B-O-T> haha
10:26:58 AM <Shroom> the thing is that this is another case of an infinite expectation value
10:27:07 AM <bowser07> sorry. I need to go have dinner. I'll be on later.
10:27:30 AM <bowser07> Can you put this on the maths forum so I can try properly later?

Yeah, let's continue from there. The expectation value of this game is infinite because the probability for the prize level 2^n is exactly (1/2)^n, meaning if you wanna build the expectation value, you get an infinite amount of 1's in your sum. Whatever you want to offer as an input, it's always too less, your expectated win breaks all limits, people would have to queue if someone offers to play this game.

But ... they don't do it. If someone asks you "Hey, would you pay $1000 for this game?", you'd rather respond: "I guess you're crazy!"

This is a case where there's a serious gap between mathematical theory and real life experience, for two reasons. First, the offerer of this game would never be able to pay out the cash if the emblem should really come 40 times in a row or such. Imagine that you're playing this with the richest man in the world, with a capital of 100 billions. Then you would win all of his capital after 37 emblems in a row, and if you agree on a maximum win of 100 billions which is paid out after 37 emblems, then your expectated win is not infinite, but only $37, and that's indeed a huge difference.

Second, even if the offerer's capital would be infinite, we would have a rather rational reason of not betting all too much: "what the one ruined, are peanuts for the other". The fear of a possible loss weights more than the hope for an equal win, e.g. if there's a winning game with prizes $0 and $2000, both with probability 1/2, most peoples wouldn't be willing to bet $1000 for it. Same here: The expectated win may finely be infinite and yet we're rationally authorised of betting not more than $20 or $30 for this game.

Re: The Math Thread

PostPosted: October 12th, 2015, 1:44 pm
by lordpat
Hello! Lordpat back with an intresting calc problem. Also shroom, right now I am studying for being a math teacher, though in the future I might study mathematics.

Notation: "=<": larger or equal to
Anyway, let's get rolling:

"Let dn be the sequence that calculates the number of digits of n!. Calculate:
Image

Ok, let's get rid of the elephant in the room. "the number of digis of...." and transform that into something we can work with. Now, this is actually pretty simple. We want a function that for 0<n<10, it returns 1, for 10=<n<100, sounds familiar? Well, we know that the log function in base 10 does something similar. If n is between 10^1 and 10^2, it returns something that starts with 1. something. First, but look at the fact that number of digits is always a natural number and many times log(n) will return an irrational number, so we might need to get an integer lower than it. So, let's use another function: the floor function.

What is the floor function? Very simple, it takes any number and it returns the largest integer lower than it. For example:
Image
Remember that for values between 10 and 99 we would get 1. something, but if we apply the floor function we would get 1 alone. But wait! Numbers between 10 and 99 have two digits, not one! Yes, that is why we must add one. So, we would get that the number of digits of a number k is...
Image

What is k? Well, it is n!, so the limit we have to calculate in the end is...
Image

Ok, now what? This limit seems horribly hard to analyze. A factorial inside a log, all that inside a floor function, plus one? Well, there might be one theorem that can save us: the squeeze theorem (or as we call it the sandwich theorem).

Let's say we have two sequences that converge (that means, that they go to as n goes larger and larger to a limit) to the same value, and we have a function that is always between those two functions, then that function converges to that same limit. Seems confusing? Let me give you an example. Let's say we've proven rigorously than 1/n converges to zero, and we want to see if 1/n^2 goes to zero. Rather than solving the limit manually you can do the following:
We know that 1/n^2 is always less than 1/n, since the denominator is larger, but it is also larger than zero, since it is a division of positive numbers. So we would get:

Image

Therefore, 1/n^2 also goes to zero.

Ok, so how can we do that to solve this problem? Well, let's try using the calculator and see what this tends to, just to get a clue and get where we should use squeeze. It seems that the numbers are getting closer and closer to zero, isn't it? Well, that might give us a clue then. We can put zero on the left, since both the numerator and denominator are positive for natural numbers. But what do we put on the right? Well, before putting something that goes to zero for sure, we could try to get rid of that annoying floor function. Well, we know that if we remove the floor function, the function will always be larger or equal to the one with it, since if you remember the floor function always took a number lesser or equal to log(n!). (In this case it is always less, can you think why?)

Image

This is starting to look less awful, but we still have the problem of the factorial and the logarithm. So what do we do? Squeeze again of course. We need a function that is: a) larger than n! and b) interacts well with logs. Well, n^n seems like a good one (I am gonna leave a) as a proof to you, because I am that mean). if we do log(n^n), by properties of logarithms, the exponent goes to the left and multiplies and we get nlog(n). So we would get.
Image

(I removed the third function to save space below, seeing how it is no longer relevant for the analysis)

We take out common factor n. Dividing the function on the numerator and the denominator by "n", we would get:

Image


Followed me so far? Well, ther is one last step, we are almost done, log(n)<sqrt(n) for all n. (You can prove that with continious variable and derivatives). So using squeeze again we would get:

Image

(The limit on the right aproaches zero because the largest power of the denominator (1) is larger than the largest power of the numerator (1/2). You can always divide everything by n and simplify powers if you don't believe me.)

HALLELUJAH. Since the extreemes aproach the same, all functions in between do so too. AND THERE WE GOT IT! The limit is equal to zero.
___________________________________________________________________________________________________

Phew, that was a lot. Hope you liked it! I am having a calc exam on wensday, wish me luck!

Re: The Math Thread

PostPosted: November 27th, 2015, 8:29 pm
by Oranjui
I'm really ♥♥♥♥ mad about this and I need to share it somewhere okay so

Consider the equation z3 + (5 + 8i) z2 = 2 z + 9 and the statements:
I) "The sum of the three roots of this equation is a (non-real) complex number."
II) "The product of the three roots of this equation is a (non-real) complex number."
Which of the following statements is true?
A) I is true and II is false.
B) I is false and II is true.
C) Both I and II are true.
D) Both I and II are false.
Spoiler: show
Okay ignore everything above for a minute and let's look at a general cubic:
az3 + bz2 + cz + d = 0

Given that it has roots z = α, β, and γ, we can rewrite it as:
az3 + bz2 + cz + d = a(z - α)(z - β)(z - γ)
... = a(z2 - αz - βz + αβ)(z - γ)
... = a(z3 - αz2 - βz2 + αβz - γz2 + αγz + βγz - αβγ)
... = a[z3 - (α + β + γ)z2 + (αβ + αγ + βγ)z - αβγ]
... = az3 - a(α + β + γ)z2 + a(αβ + αγ + βγ)z - aαβγ

Comparing the coefficients of the left and right hand sides, we get:
a = a

b = - a(α + β + γ)
- b/a = α + β + γ [sum of roots]

c = a(αβ + αγ + βγ)
c/a = αβ + αγ + βγ

d = - aαβγ
- d/a = αβγ [product of roots]

Going back to the original problem, we need the sum of roots and the product of roots of z3 + (5 + 8i)z2 - 2z - 9 = 0, which can easily be derived just by looking at the coefficients and plugging stuff into the above expressions:
α + β + γ = -b/a = -(5+8i)/(1) = -5 - 8i ==> The sum of roots is a (non-real) complex number
αβγ = -d/a = -(-9)/(1) = 9 ==> The product of roots is a real number

which means I is true and II is false, or A
ahhsadflajsdjflkasdfkajdsflk this was way too concise and elegant of a derivation that I found on google to not share after seeing how much I overthought this

Re: The Math Thread

PostPosted: November 30th, 2015, 8:29 am
by lordpat
^I aprove of this.

Anyway, I just thought of something. It is like... well, a game. I want you to define the natural numbers, in your own way. It can be rigorous, I can be intuitive, it can be anything. I mean, you can just copy paste the first sentence from wikipedia, and that is okay, but that's not really what I think is the most fun. So yeah, have fun guys!

Re: The Math Thread

PostPosted: December 13th, 2015, 4:47 pm
by lordpat
I didn't remember the proof for the cuadratic formula, and so I wanted to drive away from calc and college algebra, so I went ahead and proved it. Apparently (after I looked it up) it's not the traditoinal proof, but discovered by some Cardano Vieta. EDIT: Apparently it is done by using Lagrange Resolvents, and has to do with early Galois theory, and can be generalized for 3rd degree and 4th degree polynomials. Cool.

We'll consider a=1, so the polynomial will be of the form x2+bx+c. Let s and t be the roots of x2+bx+c and s<=t (s lesser or equal than t). Then, because of polnyomial factorization, we'd get x2+bx+c=(x-t)(x-s). Then, by distributive law, we'd get x2+bx+c=x2-(t+s)*x+t*s.

This gives us two equations to work with:
1) t+s=-b
2) t*s=c

We'll square both sides of 1): (t+s)2=b2. Expanding the bynomial we'd get t2+2*t*s+s2=b2.
We'll multiply both sides of 2) by 4, and we'd get: 4*t*s=4c
We'll then subtract both equations and we'd get: t2+2*t*s+s2-4*t*s=b2-4c. Then we'd get: t2-2*t*s+s2= b2-4c. Now, (a-b)2=a2-2*a*b+b2, we'd get:
(t-s)2=(b2-4c), applying root in both sides we'd get: |t-s|=sqrt(b2-4c). Since s=<t, we can remove the absolute value.

3) t-s=sqrt(b2-4c)

Finding t:
We add 1) to 3), and we'd get: 2t=sqrt(b2-4c)-b
so,
t=[-b+sqrt(b2-4c)]/2

Finding s:
We bustract 1) from 3), and we'd get:
-2s=sqrt(b2-4c)+b
s=[-b-sqrt(b2-4c)]/2

The only thing left would be to consider a different from one, but then you make the substitution b=b'/a' and c=c'/a'. It is left as an excersise to the reader *is shot

Re: The Math Thread

PostPosted: December 18th, 2015, 7:33 pm
by GrandPiano
lordpat wrote:Anyway, I just thought of something. It is like... well, a game. I want you to define the natural numbers, in your own way. It can be rigorous, I can be intuitive, it can be anything. I mean, you can just copy paste the first sentence from wikipedia, and that is okay, but that's not really what I think is the most fun. So yeah, have fun guys!

If you can count to it from one in a finite amount of time, it's a natural number.