You are Here: Home >< Maths

# The Proof is Trivial! Watch

1. (Original post by ukdragon37)
Problem 71**

Find all such that .
Initial thoughts:
Spoiler:
Show

By assuming x and y are different values then we see that there must be a straight line through the function. By inspection of the function we see that and The obvious solution to this is 2 and 4. As for the complex parts other then that I'm at a loss for the night
2. (Original post by metaltron)
I quite like it The only real disadvantage is trying to get a compass that doesn't screw up your circle.
Seems like you are alone in this
3. (Original post by joostan)
Seems like you are alone in this
I know, I'm so ashamed of myself
4. (Original post by joostan)
Initial thoughts:
Spoiler:
Show

By assuming x and y are different values then we see that there must be a straight line through the function. By inspection of the function we see that and The obvious solution to this is 2 and 4. As for the complex parts other then that I'm at a loss for the night
Spoiler:
Show
A slightly less obvious solution is
5. (Original post by ukdragon37)
Spoiler:
Show
A slightly less obvious solution is
Spoiler:
Show
IRC aren't there an infinite number of solutions.
6. (Original post by bananarama2)
Spoiler:
Show
IRC aren't there an infinite number of solutions.
This suggests otherwise

http://www.wolframalpha.com/input/?i=x^y-y^x%3D0

and thats only the real numbers.
7. (Original post by bananarama2)
Spoiler:
Show
IRC aren't there an infinite number of solutions.
Spoiler:
Show
There are. I'm asking for a way to generate them. I.e. define the pair of functions such that for all of some set (for example, or ), and the functions must be able to generate all the possible solutions in

Also you shouldn't have to use the W-function as solved by wolfram.
.
8. (Original post by ukdragon37)
Spoiler:
Show
There are. I'm asking for a way to generate them. I.e. define the pair of functions such that for all of some set (for example, or ), and the functions must be able to generate all the possible solutions in

Also you shouldn't have to use the W-function as solved by wolfram.
.
I'm fairly sure no such functions exist.

Not ones that aren't multivalued anyway.

EDIT: Ignore that, I think I'm onto something.
9. (Original post by james22)
I'm fairly sure no such functions exist.

Not ones that aren't multivalued anyway.
Well I use "functions" in a loose sense - more like I am looking for a parametric "method" to generate the solutions. Hence I would accept multivalued functions along with an appropriate explanation of how their branches relate to the solutions they generate.
10. Solution 71

Not sure if this is 100% correct but it seems ok

Let

we then get

rearanging gives

so

so

and

This should only fail if x or y are 0, but that cannot give a solution unless we accept x=y=0 (which would be given by a=0 anyway).
11. (Original post by james22)
Solution 71
...
Yep I'll give you that, that is the (rather elegant I think) solution I had in mind, and of course you can always ad in x = y as the set of trivial solutions.

To be more rigorous (although possibly going beyond A-level) one could think about why the proof works for complex x and y (since you are taking logs etc.). Also, consider what value does have to be to get the solution (-2, -4)?
12. (Original post by ukdragon37)
Spoiler:
Show
There are. I'm asking for a way to generate them. I.e. define the pair of functions such that for all of some set (for example, or ), and the functions must be able to generate all the possible solutions in

Also you shouldn't have to use the W-function as solved by wolfram.
.
Spoiler:
Show
W function? I've just seen the problem before On one of the STEP threads I think.
13. (Original post by ben-smith)
...
My profound compliments!
Spoiler:
Show
Do you not relish doing complex analysis? It is rather straightforward!

(Original post by shamika)

Make sure you have a look at STEP and MAT, assuming you apply to Oxford / Cambridge / Imperial / Warwick.

Also, you'll be pleased to know that there is no Euclidean plane geometry of the kind that's useful for IMO at university!
Ceva, Menelaus, Lehmus, Brianchon, Pappus, Feuerbach - I am scared!
On one hand, projective geometry is somewhat interesting; on the other hand, barycentric coordinates and complex numbers, for example, are such a computational disaster.
Not to mention the problems where we have to deal with hundreds of circles..
Spoiler:
Show
I have looked at some STEP papers. The problems seem quite accessible; one surprising thing is that help is given for a considerable number of questions.
I would like to know what is your opinion - are there any substantial differences between the colleges within, for example, the University of Cambridge (I mean academic differences)?

(Original post by metaltron)
I quite like it
I assume you relish doing pure geometry. Here you are:

Let be the circumscribed circle of the triangle . is an arbitrary point on the segment . Let and be the centers of the circles which are tangent to the side , the segment and the circle . Assume that , , , and are concyclic. The excircle of the triangle is tangent to the side in the point . Then .

Note that Thebault's theorem was not allowed without proof.
My profound compliments!
Spoiler:
Show
Do you not relish doing complex analysis? It is rather straightforward!

Ceva, Menelaus, Lehmus, Brianchon, Pappus, Feuerbach - I am scared!
On one hand, projective geometry is somewhat interesting; on the other hand, barycentric coordinates and complex numbers, for example, are such a computational disaster.
Not to mention the problems where we have to deal with hundreds of circles..
Spoiler:
Show
I have looked at some STEP papers. The problems seem quite accessible; one surprising thing is that help is given for a considerable number of questions.
I would like to know what is your opinion - are there any substantial differences between the colleges within, for example, the University of Cambridge (I mean academic differences)?

I assume you relish doing pure geometry. Here you are:

Let be the circumscribed circle of the triangle . is an arbitrary point on the segment . Let and be the centers of the circles which are tangent to the side , the segment and the circle . Assume that , , , and are concyclic. The excircle of the triangle is tangent to the side in the point . Then .

Note that Thebault's theorem was not allowed without proof.
Btw when I said I liked geometry; that doesn't necessarily mean I'm a whizz at it!
I have looked at some STEP papers. The problems seem quite accessible;
For the love of god you have to apply. That's just :O
16. (Original post by metaltron)
Btw when I said I liked geometry; that doesn't necessarily mean I'm a whizz at it!
Hey, do not take it rather seriously! It is for fun; hence if you enjoy pondering upon geometry problems, I feel that this is one awesome example. I have good mementos regarding this problem.
Spoiler:
Show
I failed on it three years ago

(Original post by bananarama2)
For the love of god you have to apply. That's just :O
I meant pure mathematics, and not mechanics and the rest applied stuff.

Let us stop the off-topic and stick to problem solving.
17. (Original post by james22)
Solution 71

Not sure if this is 100% correct but it seems ok

Let

we then get

rearanging gives

so

so

and

This should only fail if x or y are 0, but that cannot give a solution unless we accept x=y=0 (which would be given by a=0 anyway).
Neat
I have looked at some STEP papers. The problems seem quite accessible; one surprising thing is that help is given for a considerable number of questions.
I would like to know what is your opinion - are there any substantial differences between the colleges within, for example, the University of Cambridge (I mean academic differences)?
You should apply then
Spoiler:
Show
In terms of academic performance, the difference between the colleges is small, with the Tompkins score of the middle ~15-20 colleges varying only by around 5%.
This is mostly due to the cohort - you'll see that the more 'competitive' colleges get to take on better students, and so with all other things being equal, they do better. Trinity will be able to take on better students as they get better direct applicants, for example.
In your case, just pick the one you like most (I'm guessing Trinity, as you're an IMO Mathmo )
19. Problem 72: *

Bit of an effort: - But hey ho.
Prove by considering: that

Find
20. (Original post by joostan)
Problem 72: *

Bit of an effort: - But hey ho.
Prove by considering: that

Find
You mean , don't you?

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

### What is the latest you've left an assignment

And actually passed?

### Simply having a wonderful Christmas time...

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.