You are Here: Home >< Maths

# The Proof is Trivial! Watch

1. (Original post by matt2k8)
That isn't true; e.g. take and to be for even n, and for odd . Now doubting my proof for the powers thing...
Dammit, now that I think about it I was obviously wrong.

I wonder if it is true that if f(x) is a continuous function which is preserves signs, and f(x)<=x for all x, then sum of x_n converges implies sum of f(x_n) converges.
2. (Original post by james22)
Dammit, now that I think about it I was obviously wrong.

I wonder if it is true that if f(x) is a continuous function which is preserves signs, and f(x)<=x for all x, then sum of x_n converges implies sum of f(x_n) converges.
I'm now doubting it for even taking powers; conditional convergence is a tricky thing to preserve, given that it relies on not just the signs and the decay of the sequence, but the order the sequence is taken in. Also because there is no obvious target limit the only real tool is if the sequence is Cauchy, but that's tricky to check when you don't have absolute convergence.

I think when restricting to just continuity, something almost piecewise linear would mean examples like the last one work
3. (Original post by james22)
I wonder if it is true that if is a continuous function which is preserves signs, and for all then converges implies converges.
False in general. Take everywhere except where and consider

Spoiler:
Show
The claim in 428 is true, and hence the answer to both parts of 420 is no. The former is substantially tougher to prove.
4. (Original post by Lord of the Flies)
False in general. Take everywhere except where and consider

Spoiler:
Show
The claim in 428 is true, and hence the answer to both parts of 420 is no. The former is substantially tougher to prove.
That explains why I couldn't prove it then. I'll start looking for counter examples now. I'm guessing we need something with bigger +ve terms and smaller -ve terms which converges, but when taking powers of 2013 the smaller terms becomes so small the larger terms dominate and diverge.
5. Problem 434*

Find the area of a triangle with angles drawn on a unit sphere.

I've always liked this one.
6. (Original post by Lord of the Flies)
False in general. Take everywhere except where and consider

Spoiler:
Show
The claim in 428 is true, and hence the answer to both parts of 420 is no. The former is substantially tougher to prove.
Spoiler:
Show
Ah that makes a lot more sense... I think I have a way to do it when the series is allowed to be complex valued and the complement of S is finite, but I don't know if my construction extends to real valued/ having infinite S complement (my idea hinges around things like for suitable ), or the time/motivation to check it :P
7. Does anyone even update the OP anymore?
8. (Original post by IceKidd)
Does anyone even update the OP anymore?
There are reasons I don't. The first is that, since the URL's take up a lot of space in the posts, the original post has run out of space and the second post is about to. The second reason is that it's extremely time-consuming and I no longer have the time to update it. Some time ago jack.hadamard made a script that generated a list of questions, but this missed quite a few questions and solutions.
9. (Original post by Omghacklol)
Problem 429 *
Evaluate , given that it is real.
10. (Original post by majmuh24)
technically that is just one value (principal value i guess you could say)

so theres infinitely many but thats the right thinking
11. (Original post by IceKidd)
technically that is just one value (principal value i guess you could say)

so theres infinitely many but thats the right thinking
Yeah, but the original question said given it is real
12. (Original post by majmuh24)
Yeah, but the original question said given it is real
they would still also be real....

For example if you had the argument as 5pi/2 then it is e^(-5pi/2)

what makes you think that isnt real?
13. (Original post by IceKidd)
they would still also be real....

For example if you had the argument as 5pi/2 then it is e^(-5pi/2)

what makes you think that isnt real?
It is, but that just happened to be the first one I got because I cba to put lots of different values in, but I get what you mean because you can just go up in intervals of 2pi every time and you would still get the same value as all these values correspond to i.
14. (Original post by majmuh24)
It is, but that just happened to be the first one I got because I cba to put lots of different values in, but I get what you mean because you can just go up in intervals of 2pi every time and you would still get the same value as all these values correspond to i.
yeah thats right. but remember you would get different values of i^i, infinitely many obviously
15. (Original post by Tarquin Digby)
It doesn't have infinitely many values, saying i^i = e^-5pi/2 or whatever is technically incorrect. When taking complex exponents, you are supposed to use the principal argument in the interval (-pi,pi].
So I was right with 0.2078 then my solution used the principal argument of i=e^(i*pi/2)?
16. (Original post by majmuh24)
So I was right with 0.2078 then my solution used the principal argument of i=e^(i*pi/2)?
Yep, in general where is the principal complex logarithm defined as where .
17. i^i does have infinitely many values because e^x is a multi valued function. For instance e^0.5 = sqrt(e) and -sqrt(e).

i^i = e^(i Log i) = e^(i*( ln(i) + 2Pi*k*i ))

"Here ln(x) is the principle value of the logarithm whereas Log(x) is the SET of possible values of the logarithm. I.e. Log(z) = ln(z) +2Pi*k*i where k is an integer. "

So continuing with our derivation:

i^i = e^(i*( ln(i) + 2Pi*k*i )) = e^(i*(i*Pi/2 + 2*Pi*k*i)) = e^(-(Pi(2k + 1/2))

Of which e^(-5Pi/2) is only one value

Now as an interesting follow on question, what are the possible values of 1^sqrt(2) ? (It is not JUST 1 btw)
18. (Original post by Tarquin Digby)
It doesn't have infinitely many values, saying i^i = e^-5pi/2 or whatever is technically incorrect. When taking complex exponents, you are supposed to use the principal argument in the interval (-pi,pi].
It is not technically incorrect at all. The correct statement is to say that it is multivalued and give all values unless you are told to restrict arguments to a specific interval, or to state that it is some value when restricted to this interval. There is nothing wrong with the multivalued answer.

(Original post by Elie Bergman)
i^i does have infinitely many values because e^x is a multi valued function. For instance e^0.5 = sqrt(e) and -sqrt(e).

i^i = e^(i Log i) = e^(i*( ln(i) + 2Pi*k*i ))

"Here ln(x) is the principle value of the logarithm whereas Log(x) is the SET of possible values of the logarithm. I.e. Log(z) = ln(z) +2Pi*k*i where k is an integer. "

So continuing with our derivation:

i^i = e^(i*( ln(i) + 2Pi*k*i )) = e^(i*(i*Pi/2 + 2*Pi*k*i)) = e^(-(Pi(2k + 1/2))

Of which e^(-5Pi/2) is only one value

Now as an interesting follow on question, what are the possible values of 1^sqrt(2) ? (It is not JUST 1 btw)
The exponential function is not multi-valued; it is the logarithm that is multi-valued. Your example involving the square root of e is nonsense, and using the power series definition you can quite easily see what you are saying is wrong:

This is an absolutely convergent series everywhere and is single-valued. The square root by definition implies the positive root which is why is always written in the cases when both are used.
19. (Original post by Tarquin Digby)
You're not allowed to do that with say the inverse trig functions though. I'd be wrong if I said arcsin(1) = 5pi/2, wouldn't I? Why is it ok with complex logs? I thought "multi-valued functions" were illegal.
You would be. What I am saying is that you must either specify your range so that it is single-valued, or state that is multivalued.

I cannot just say because of the periodicity; I need to state the arbitrary integer multiple of unless you restrict the range. You are correct in saying that it is customary to just use the principal value, but there are many cases (e.g. finding complex roots using De-Moivre's) where this will miss solutions, and so it is not technically incorrect to state that is multi-valued. If you were using explicit properties of a well-defined function this may be different but that is not the case here. This simply isn't a function, but the multivalues are certainly legal.
20. (Original post by Tarquin Digby)
You're not allowed to do that with say the inverse trig functions though. I'd be wrong if I said arcsin(1) = 5pi/2, wouldn't I? Why is it ok with complex logs? I thought "multi-valued functions" were illegal.
Arcsin(x) is typically defined to be the unique number, y, in the interval [-pi/2,pi/2] such that sin(y)=x. With the complex logorithm it is less easy to pick a definition to be used in all cases, because different times need different definitions. Typically it is defined on all of C except the negative reals and 0, and defined to be 0 at 1 (this is enough to completely define it), but it could equally be defined on all of C except the positive imaginary numbers.

TSR Support Team

We have a brilliant team of more than 60 Support Team members looking after discussions on The Student Room, helping to make it a fun, safe and useful place to hang out.

This forum is supported by:
Updated: December 11, 2017
Today on TSR

### Am I pregnant?

...or just paranoid?

### A robot wrote Harry Potter?

Discussions on TSR

• Latest
• ## See more of what you like on The Student Room

You can personalise what you see on TSR. Tell us a little about yourself to get started.

• Poll
Useful resources

### Maths Forum posting guidelines

Not sure where to post? Read the updated guidelines here

### How to use LaTex

Writing equations the easy way

### Study habits of A* students

Top tips from students who have already aced their exams

## Groups associated with this forum:

View associated groups
Discussions on TSR

• Latest
• ## See more of what you like on The Student Room

You can personalise what you see on TSR. Tell us a little about yourself to get started.

• The Student Room, Get Revising and Marked by Teachers are trading names of The Student Room Group Ltd.

Register Number: 04666380 (England and Wales), VAT No. 806 8067 22 Registered Office: International House, Queens Road, Brighton, BN1 3XE

Reputation gems: You get these gems as you gain rep from other members for making good contributions and giving helpful advice.