Login

Welcome, Guest. Please login or register.

May 19, 2025, 07:39:57 pm

Author Topic: TT's Maths Thread  (Read 134667 times)  Share 

0 Members and 1 Guest are viewing this topic.

Ahmad

  • Victorian
  • Part of the furniture
  • *****
  • Posts: 1296
  • *dreamy sigh*
  • Respect: +15
Re: TT's Maths Thread
« Reply #345 on: December 07, 2009, 10:44:04 pm »
0
Here's one definition of trivial, but I forget who it's attributed to: a result is trivial when its proof is immediately and automatically conjured in one's mind. That means something that's obvious, such as that a torus and sphere are topologically different, might not be trivial (for most people). There's also the joke that trivial is synonymous with 'proved', so Fermat's last theorem is trivial. :P
Mandark: Please, oh please, set me up on a date with that golden-haired angel who graces our undeserving school with her infinite beauty!

The collage of ideas. The music of reason. The poetry of thought. The canvas of logic.


TrueTears

  • TT
  • Honorary Moderator
  • Great Wonder of ATAR Notes
  • *******
  • Posts: 16363
  • Respect: +667
Re: TT's Maths Thread
« Reply #346 on: December 08, 2009, 12:27:44 am »
0
Just wondering if this is the right way to do this problem:

In how many ways can we place red balls and white balls in boxes so that each box contains at least one ball of each colour?

Obviously

Consider a specific case:

, and

Let be the number of red balls in box respectively. We assume each box to be distinguishable.

We need to apply the restriction so that each box must contain at least one red ball and at least 1 white ball.

Let's consider just the "at least one red ball" part.

Obviously

Let represent a ball. We can represent one scenario like this:

o_o_o_o where _ represents a place to place a + sign.

Eg, o+o_o+o will represent o+oo+o which means 1 ball in , 2 in , 1 in .

Now notice we can't have this scenario +o_o_o+o. This means there will be 0 ball in , 3 in and 1 in but each box must contain at least 1 red ball.

So there are 3 empty _ to place 2 + signs. choices.

Doing the same for the white balls yields choices.

So in total for this specific case we have ways.

Now we can generalise.

We have red balls, white balls and boxes.

Let be the number of red balls in box

Obviously

Now there would be slots to place a + sign for red balls

For white balls there would be slots to place the + sign.

Total ways.


« Last Edit: December 08, 2009, 12:30:06 am by TrueTears »
PhD @ MIT (Economics).

Interested in asset pricing, econometrics, and social choice theory.

TrueTears

  • TT
  • Honorary Moderator
  • Great Wonder of ATAR Notes
  • *******
  • Posts: 16363
  • Respect: +667
Re: TT's Maths Thread
« Reply #347 on: December 08, 2009, 04:10:57 am »
0


I know this identity can be proved just by expanding

But I was wondering if anyone can show me how to prove it using induction and the use of the summation identity.

:)
PhD @ MIT (Economics).

Interested in asset pricing, econometrics, and social choice theory.

kamil9876

  • Victorian
  • Part of the furniture
  • *****
  • Posts: 1943
  • Respect: +109
Re: TT's Maths Thread
« Reply #348 on: December 08, 2009, 01:36:44 pm »
0
I like this way the best:
http://vcenotes.com/forum/index.php/topic,19896.msg207276.html#msg207276

It's also obvious for odd n.

You can do it by induction by using pascal's identity. ie suppose it is true for n, now we want to prove true for n+1:



now all we need to do is sub in (for all j>0 of course). So now because we have n's at the top, we can invoke the inductive hypothesis (ie true for n) and split the sums up etc. carefully doing it all.
Voltaire: "There is an astonishing imagination even in the science of mathematics ... We repeat, there is far more imagination in the head of Archimedes than in that of Homer."

Ahmad

  • Victorian
  • Part of the furniture
  • *****
  • Posts: 1296
  • *dreamy sigh*
  • Respect: +15
Re: TT's Maths Thread
« Reply #349 on: December 08, 2009, 01:44:58 pm »
0
The identity says that if you have a set of r elements, then the number of subsets containing an odd number of elements is the same as the number of subsets containing an even number of elements. Can you find a combinatorial proof of this? :)
Mandark: Please, oh please, set me up on a date with that golden-haired angel who graces our undeserving school with her infinite beauty!

The collage of ideas. The music of reason. The poetry of thought. The canvas of logic.


kamil9876

  • Victorian
  • Part of the furniture
  • *****
  • Posts: 1943
  • Respect: +109
Re: TT's Maths Thread
« Reply #350 on: December 08, 2009, 02:17:35 pm »
0
Voltaire: "There is an astonishing imagination even in the science of mathematics ... We repeat, there is far more imagination in the head of Archimedes than in that of Homer."

Ahmad

  • Victorian
  • Part of the furniture
  • *****
  • Posts: 1296
  • *dreamy sigh*
  • Respect: +15
Re: TT's Maths Thread
« Reply #351 on: December 08, 2009, 02:28:32 pm »
0
Sure is :)
Mandark: Please, oh please, set me up on a date with that golden-haired angel who graces our undeserving school with her infinite beauty!

The collage of ideas. The music of reason. The poetry of thought. The canvas of logic.


TrueTears

  • TT
  • Honorary Moderator
  • Great Wonder of ATAR Notes
  • *******
  • Posts: 16363
  • Respect: +667
Re: TT's Maths Thread
« Reply #352 on: December 08, 2009, 05:37:51 pm »
0
Quote

Base Case:

When



Inductive Hypothesis:

Assume it is true for



Proof:

Must show it is true for



But is true using our inductive hypothesis.

Using the summation identity:



















PhD @ MIT (Economics).

Interested in asset pricing, econometrics, and social choice theory.

TrueTears

  • TT
  • Honorary Moderator
  • Great Wonder of ATAR Notes
  • *******
  • Posts: 16363
  • Respect: +667
Re: TT's Maths Thread
« Reply #353 on: December 08, 2009, 11:34:36 pm »
0
Wow just finished reading a chapter on Complement PIE and I gotta say it's probs one of the funnest chapter I've read so far in combinatorics.

A few questions for thought :P

1. A random number generator randomly generates the integers with equal probability. Find the probability that after numbers are generated, the product is a multiple of .

2. Let be an ordered sequence of n distinct objects. A derangement of this sequence is a permutation that leaves no object in its original place. For example, if the original sequence is then is not a derangement, but is. Let denote the number of derangements of an -element sequence. Show that
 
3. Imagine you are going to give kids ice-cream cones, one cone per kid, and there are different flavours available. Assuming that no flavours get mixed, show that the number of ways we can give out the cones using all flavours is
« Last Edit: December 09, 2009, 05:52:52 pm by TrueTears »
PhD @ MIT (Economics).

Interested in asset pricing, econometrics, and social choice theory.

kamil9876

  • Victorian
  • Part of the furniture
  • *****
  • Posts: 1943
  • Respect: +109
Re: TT's Maths Thread
« Reply #354 on: December 08, 2009, 11:41:54 pm »
0
1.) by fundumanetal theorem of arithmetic it is equivalent to: how many different ways so that we don't choose:

5 and an even number.

so find how many ways there are where we have no 5 or no even number.
« Last Edit: December 09, 2009, 12:10:55 am by kamil9876 »
Voltaire: "There is an astonishing imagination even in the science of mathematics ... We repeat, there is far more imagination in the head of Archimedes than in that of Homer."

TrueTears

  • TT
  • Honorary Moderator
  • Great Wonder of ATAR Notes
  • *******
  • Posts: 16363
  • Respect: +667
Re: TT's Maths Thread
« Reply #355 on: December 09, 2009, 03:20:17 am »
0
Ah, yeah good strategy kamil.

So if the number is a multiple of 10 then it must have 5 amongst its prime factorization and the rest of the digits chosen must all be even.

We require the complement of this.

Let represent the set which contains no 5.

Let represent the set which contains even numbers.

Let represent the set which contains odd numbers.

The complement is



The total number of ways is



probability required

But the answer is . Where did I go wrong?




I'm confused to what the complement is now =.=
« Last Edit: December 09, 2009, 03:49:46 am by TrueTears »
PhD @ MIT (Economics).

Interested in asset pricing, econometrics, and social choice theory.

/0

  • Victorian
  • ATAR Notes Legend
  • *******
  • Posts: 4124
  • Respect: +45
Re: TT's Maths Thread
« Reply #356 on: December 09, 2009, 03:53:21 am »
0
So you want to find the number of ways to NOT pick 5 and and even number... hmm sounds like a good idea

You could do that by choosing n times.
So there are ways of picking from those n times.

You could do that by choosing n times.
So there are of picking from those n times.

But there is an overlap between them, namely .
There are ways of picking from those n times.

So there are ways of avoiding the deadly combination.

My reasoning's a bit shaky, but just going with my gut

Ahmad

  • Victorian
  • Part of the furniture
  • *****
  • Posts: 1296
  • *dreamy sigh*
  • Respect: +15
Re: TT's Maths Thread
« Reply #357 on: December 09, 2009, 01:21:50 pm »
0
In my opinion the best way to think about PIE is through indicator functions (sometimes called characteristic functions). In fact, once you've set up the very simple idea of indicator functions PIE is an immediate consequence, and there are lots of other useful consequences too.

So what's the idea of characteristic functions? Well suppose the set S contains all possible integer strings of length n output by the random generator. Then we define the function which intuitively represents "string does not contains an even number", and takes as input a possible integer string from the random number generator, and outputs the value 1 if "string does not contains an even number", and 0 otherwise. Notice that counts the number of outcomes which don't contain an even number.

Similarly we can define which represents "string does not contain a 5". In particular I chose to define and this way because the number of outcomes which satisfies the property associated with each of these indicator function is easily counted.

The intriguing thing about these indicator functions is that they convert logical operations into standard algebra. For example, what if we wanted to find the characteristic function which represents "string contains an even number", well this is just NOT(H_2), which has the indicator function . I'll leave you to verify the following,

where means that x translates into characteristic function y. The funny symbol represents "not".

represents "and"

represents "or"

Now we want to find the number of strings with products a multiple of 10. How do we represent this in terms of and ? Well we want neither nor to occur, i.e. we want strings that contain an even number and a multiple of 5. Representing this in logical terms this is exactly which using the above rules we can see has indicator function . So to find the number of outcomes that have products that are multiples of 10 we simply sum over this indicator function, which is easily evaluated because we can expand out to get everything in terms of and which as I've previously mentioned have been chosen in particular because they're easily summed over!







Of course we simply divide by to get the desired probability. It might seem that this is overkill, but that's because I was showing the gory details, on paper I'd maybe write one or two lines, or just the last line. Also, the case I've presented this for is simple and you can just think it through and work it out like /0 did, but it's rather helpful for more complicated scenarios which it easily adapts to.

Notice that in this language PIE can be stated as follows: suppose are indicator functions each associated with a property, and you want to count the number of outcomes not satisfying any of these properties, then,



So it's essentially been reduced to algebra.  :)


« Last Edit: December 09, 2009, 03:33:18 pm by Ahmad »
Mandark: Please, oh please, set me up on a date with that golden-haired angel who graces our undeserving school with her infinite beauty!

The collage of ideas. The music of reason. The poetry of thought. The canvas of logic.


TrueTears

  • TT
  • Honorary Moderator
  • Great Wonder of ATAR Notes
  • *******
  • Posts: 16363
  • Respect: +667
Re: TT's Maths Thread
« Reply #358 on: December 09, 2009, 05:23:06 pm »
0
Ahmad you have inspired me to use indicator functions for the next question lol I think it worked out pretty well.

Quote
2. Let be an ordered sequence of n distinct objects. A derangement of this sequence is a permutation that leaves no object in its original place. For example, if the original sequence is then is not a derangement, but is. Let denote the number of derangements of an -element sequence. Show that

Consider the specific case of just distinct objects.

Let represent the event where is in the same place.

Let represent the event where is in the same place.

Let represent the event where is in the same place.

Let represent the event where is in the same place.

What we require is the complement

Let's define an indicator function namely where and where is an universal set that contains all sets



We require:



Let's define a function:





Let represent the cardinality of















Which is exactly what we get if we sub in .

Now we can generalise:

If there were distinct objects.



Let represent the event where is in the same place.

Let represent the event where is in the same place.

Let represent the event where is in the same place.

.
.
.

Let represent the event where is in the same place.

We require:















« Last Edit: December 09, 2009, 05:43:07 pm by TrueTears »
PhD @ MIT (Economics).

Interested in asset pricing, econometrics, and social choice theory.

zzdfa

  • Victorian
  • Forum Obsessive
  • ***
  • Posts: 328
  • Respect: +4
Re: TT's Maths Thread
« Reply #359 on: December 09, 2009, 05:33:59 pm »
0
Note that the stuff in the brackets is the truncated expansion of . So . In fact which i think is pretty neat :)