You are Here: Home

# Official TSR Mathematical Society

Maths and statistics discussion, revision, exam and homework help.

Announcements Posted on
1. Re: Official TSR Mathematical Society
(Original post by gff)
The following is another nice question.

[*] For a positive integer , compute the integral

Spoiler:
Show

A nice approachable question
Let
Let

Then

But

So
Last edited by Blutooth; 21-02-2012 at 20:00.
2. Re: Official TSR Mathematical Society
(Original post by Blutooth)
A nice approachable question
Somebody who didn't manage to do it has negged you.
This solution will look nicer in a spoiler, in my opinion. Give strangers the chance to have a go with it.
3. Re: Official TSR Mathematical Society
(Original post by gff)
Somebody who didn't manage to do it has negged you.
This solution will look nicer in a spoiler, in my opinion. Give strangers the chance to have a go with it.
Haha, haters gonna hate. But yeah, I can certainly spoiler the soln.
4. Re: Official TSR Mathematical Society
This week seems to be devoted to integrals.

[*] Determine all continuous functions which satisfy

5. Re: Official TSR Mathematical Society
(Original post by gff)
This week seems to be devoted to integrals.

[*] Determine all continuous functions which satisfy

Spoiler:
Show
Something along the lines of noting that so it suffices to find f such that:

and since the integrand is non negative, this holds iff
6. Re: Official TSR Mathematical Society
(Original post by Farhan.Hanif93)
...
Yup, it is a nice little question. I better go back to sleep.
7. Re: Official TSR Mathematical Society
A rather amusingly unusual approach works for this one.

[*] Compute

8. Re: Official TSR Mathematical Society
[Balkan 1997]
Let m an n be integers greater than 1. Let S be a set with n elements, and let be subsets of S. Assume that for any two elements x and y in S, there is a set such that either x is in and y is not in or x is not in and y is in . Prove that
Last edited by Blutooth; 25-02-2012 at 02:43.
9. Re: Official TSR Mathematical Society
(Original post by gff)
A rather amusingly unusual approach works for this one.

[*] Compute

Hypothesis, since i'm about to sleep.
Spoiler:
Show
Guessing this has something to do with tanh(1/2x). If you multiply num and denom by e^-1/2x you get root( sinh(x/2)/ cosh(x/2)). Then maybe make the sub t^2=tanh(x/2). Looks like some unfriendly algebra after that though...
Last edited by Blutooth; 25-02-2012 at 18:43.
10. Re: Official TSR Mathematical Society
(Original post by gff)
A rather amusingly unusual approach works for this one.

[*] Compute

I've just had a go at this one. I don't think I've found your "amusingly unusual approach" though, and I'm not entirely sure that my answer is right.

I just used one basic substitution to change the form a bit, and then made some informed guesses about what certain things would integrate to.

Spoiler:
Show

Let , so . Then

Last edited by nohomo; 25-02-2012 at 03:56.
11. Re: Official TSR Mathematical Society
(Original post by nohomo)
I've just had a go at this one. I don't think I've found your "amusingly unusual approach" though, and I'm not entirely sure that my answer is right.
That's my "good" English - bear with me.
If you remove the factor of 2 in the log the answer is correct.

The amusing approach.
Spoiler:
Show

Let .

Complete solution.
Spoiler:
Show

Then, we have and .

Hence,

(Original post by Blutooth)
[Balkan 1997]
Let m an n be integers greater than 1. Let S be a set with n elements, and let be subsets of S. Assume that for any two elements x and y in S, there is a set such that either x is in and y is not in or x is not in and y is in . Prove that
Solution.
Spoiler:
Show

Denote the set containing all subsets as and define by the following.

Then, let the element be represented over as the set , and note that .

By hypothesis, the representations of two elements , namely the sets and , are not equal and ordered identically.
For if it was true, then for every subset ; e.g. there is no subset that contains , but not , and vice-versa.

Now, we would like to know what is the maximum number of representations over a given which satisfy the above conditions.
As already noted, each contains elements that are either or ; all possible permutations are then , and let be contained in the set .

Finally, since , it follows that the map is injective.

Hence, we conclude that .
Last edited by gff; 25-02-2012 at 19:26. Reason: Latexification and removed an idiotic observation. :D
12. Re: Official TSR Mathematical Society
(Original post by gff)
That's my "good" English - bear with me.
If you remove the factor of 2 in the log the answer is correct.

The amusing approach.
Spoiler:
Show

Let .

Complete solution.
Spoiler:
Show

Then, we have and .

Hence,

Solution.
Spoiler:
Show

Denote the set containing all subsets as and define by the following.

Then, let the element be represented over as the set , and note that .

By hypothesis, the representations of two elements , namely the sets and , are not equal and ordered identically.
For if it was true, then for every subset ; e.g. there is no subset that contains , but not , and vice-versa.

Now, we would like to know what is the maximum number of representations over a given which satisfy the above conditions.
As already noted, each contains elements that are either or ; all possible permutations are then , and let be contained in the set .

Finally, since , it follows that the map is injective.

Hence, we conclude that .
Very good, the above is a nice, rigorous soln. However, I think I would phrase my answer to the above question slightly differently- partly because I'm not too conversant with standard set theory notation, and also because there are others in this forum as ignorant as myself.

Spoiler:
Show

Let us associate with each element x in S a number of m binary digits-eg for a particular x, .

How we construct a(x)...
If the element x belongs to the set set the mth digit from the left in a(x) to 1. If the element x does not belong to to set set the mth digit from the left in to 0.

Now clearly given m, the total possible number of different numbers is . This is because for each digits column (of which there are m) we can set the value to either 1 or 0==> 2 choices.

Thus if we have at least 2 of the elements of S have the same number (pidgin-hole principle). So we have an and an where =. What does this mean?

If belongs to a subset so does . If does not belong to a subset neither does . Thus the assumption that we can find a set where there is an but not an does not hold.
Last edited by Blutooth; 26-02-2012 at 00:32.
13. Re: Official TSR Mathematical Society
Stupid spammers! Extracted from spammer's thread.

(Original post by oh_1993)
I'm not very experienced with this but if an Abelian set is one where the order of applying operations between elements within a set doesn't matter, then surely you need to know what the operation is that is being applied to the set e.g. multiplication modulo 3, addition...

So g = +/- 1 and prove that 1 * -1 = -1 * 1 ??

Does this even make sense lol
I don't see a reason why not to answer your question here, since the OP's request was answered.
Spoiler:
Show

You would probably call it an Abelian group, rather than simply a set, since it has to have an operation associated with it.
However, the good thing about abstract algebra is that you do not need to know all details - you want to be as general as possible given a few assumptions.

Another perhaps confusing thing is that is used not as a number, but as a symbol representing the multiplicative identity.
However, it is the case that the number is the multiplicative identity of familiar groups.

Also, the notation is symbolic. It is a short hand for where the dot is the operation of the group, not necessarily ordinary multiplication.

*****
Here is a good question related to this thread.
It comes from OCR MEI's FP3 Additional Further Maths book.

Spoiler:
Show

[*] If and are sets, the symmetric difference is defined by

as shown below in the Venn diagram of the set containing them.

(i) Prove that the set of all subsets of the set forms an Abelian group under the operation .

(ii) Given that and ,

solve the equation

(iii) Prove that if (the identity) for every element of a group, then the group is Abelian. Given an example of such a group.
Last edited by gff; 26-02-2012 at 19:10.
14. Re: Official TSR Mathematical Society
I like questions which can teach you new ideas - I hope you do as well.

[*] Let be a non-empty set and let be an increasing function on the set of all subsets of , meaning that

Prove that there exists , a subset of , such that .
15. Re: Official TSR Mathematical Society
(Original post by gff)
I like questions which can teach you new ideas - I hope you do as well.

[*] Let be a non-empty set and let be an increasing function on the set of all subsets of , meaning that

Prove that there exists , a subset of , such that .

I use to mean x is a subset of y, and can even be equal to y.

Spoiler:
Show

Define Where
Statement to be proved
Assuming

Proof

Taking f to both sides this
This .

Since statement is true for n=0 because and maps onto itself, the statement is true for for all

Note if we have succeeded in tackling the question. If not we can find a set where . Proof

and also .

Thus for each n either we succeed in finding a set that satisfies or we generate a set which has fewer elements than .We keep on repeating this procedure(eg is A_0 the set, If yes stop, if no is A_1 the set with the quality f(T)=T... ) until we have found a set satisfying f(T)=T or until we have a set of one element. This set must be equal to its image, else we have a sets whose image is the empty-set. But this contradicts the original assumptions.

Last edited by Blutooth; 01-03-2012 at 04:38.
16. Re: Official TSR Mathematical Society
Here is an interesting question to solve. An even number of people are sitting down at a table for breakfast. When they come back in the evening for dinner, they are not necessarily seated in the same order. Whatever the new seating arrangement prove that there are at least 2 people who are sitting with the same number of people in between them at both dinner and breakfast.
Last edited by Blutooth; 01-03-2012 at 06:26.
17. Re: Official TSR Mathematical Society
You're assuming the set is finite.
18. Re: Official TSR Mathematical Society
(Original post by gff)
That's my "good" English - bear with me.
If you remove the factor of 2 in the log the answer is correct.

The amusing approach.
Spoiler:
Show

Let .

Complete solution.
Spoiler:
Show

Then, we have and .

Hence,

Solution.
Spoiler:
Show

Denote the set containing all subsets as and define by the following.

Then, let the element be represented over as the set , and note that .

By hypothesis, the representations of two elements , namely the sets and , are not equal and ordered identically.
For if it was true, then for every subset ; e.g. there is no subset that contains , but not , and vice-versa.

Now, we would like to know what is the maximum number of representations over a given which satisfy the above conditions.
As already noted, each contains elements that are either or ; all possible permutations are then , and let be contained in the set .

Finally, since , it follows that the map is injective.

Hence, we conclude that .
I think I just got lucky with that integration question you posted. Just thought you know what the heck let's try that substitution - didn't realise it would actually work.

Sorry I haven't been posting in a while - been a bit ill .
19. Re: Official TSR Mathematical Society
(Original post by SimonM)
You're assuming the set is finite.
Good point. I suppose the result doesn't hold for infinite sets.
20. Re: Official TSR Mathematical Society
(Original post by Blutooth)
Good point. I suppose the result doesn't hold for infinite sets.
PRSOM for the post.

Can't resist sharing the nice solution.
Spoiler:
Show

Consider the family of sets

We observe that and conclude that the family is non-empty.
Hence, let be the intersection of all sets in , and our aim is to show that .

If , then , and by considering the intersection over all , we deduce that and that .
Next, because is increasing by hypothesis, it follows that , and hence .

Finally, since is included in every element in , we also conclude that .

The double inclusion proves that , as desired.

## Step 2: Register

Thanks for posting! You just need to create an account in order to submit the post
1. this can't be left blank

this is what you'll be called on TSR

2. this can't be left blank

never shared and never spammed

3. this can't be left blank

6 characters or longer with both numbers and letters is safer

4. this can't be left empty
1. By completing the slider below you agree to The Student Room's terms & conditions and site rules

2. Slide the button to the right to create your account

You don't slide that way? No problem.

Last updated: December 11, 2013
Study resources