The Student Room Group

The Proof is Trivial!

Scroll to see replies

Reply 520
Original post by ukdragon37
Problem 71**

Find all x,yCx,y \in \mathbb{C} such that xy=yxx^y = y^x.


Initial thoughts:

Spoiler

Reply 521
Original post by metaltron
I quite like it :smile: The only real disadvantage is trying to get a compass that doesn't screw up your circle.


:eek::eek::eek: Seems like you are alone in this :tongue:
Original post by joostan
:eek::eek::eek: Seems like you are alone in this :tongue:


I know, I'm so ashamed of myself :frown:
Original post by joostan
Initial thoughts:

Spoiler



Spoiler

Original post by ukdragon37

Spoiler



Spoiler

Reply 525
Original post by bananarama2

Spoiler



This suggests otherwise

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

and thats only the real numbers.
(edited 11 years ago)
Original post by bananarama2

Spoiler



Spoiler

.
(edited 11 years ago)
Reply 527
Original post by ukdragon37

Spoiler

.


I'm fairly sure no such functions exist.

Not ones that aren't multivalued anyway.

EDIT: Ignore that, I think I'm onto something.
(edited 11 years ago)
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.
(edited 11 years ago)
Reply 529
Solution 71

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

Let x=ayx=ay

we then get (ay)y=yay(ay)^y=y^{ay}

rearanging gives ay=(yy)a1a^y=(y^y)^{a-1}

so

yln(a)=(a1)ln(yy)=(a1)yln(y)yln(a)=(a-1)ln(y^y)=(a-1)yln(y)

so

y=a1a1y=a^{\frac{1}{a-1}}
and
x=aaa1x=a^{\frac{a}{a-1}}

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).
(edited 11 years ago)
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 aa have to be to get the solution (-2, -4)? :tongue:
(edited 11 years ago)
Original post by ukdragon37

Spoiler

.


Spoiler

Reply 532
Original post by ben-smith
...


My profound compliments!

Spoiler



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



Original post by metaltron
I quite like it :smile:


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

Let kk be the circumscribed circle of the triangle ABCABC. DD is an arbitrary point on the segment ABAB. Let II and JJ be the centers of the circles which are tangent to the side ABAB, the segment CDCD and the circle kk. Assume that AA, BB, II, and JJ are concyclic. The excircle of the triangle ABCABC is tangent to the side ABAB in the point MM. Then MDM \equiv D.

Note that Thebault's theorem was not allowed without proof.
Original post by Mladenov
My profound compliments!

Spoiler





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





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

Let kk be the circumscribed circle of the triangle ABCABC. DD is an arbitrary point on the segment ABAB. Let II and JJ be the centers of the circles which are tangent to the side ABAB, the segment CDCD and the circle kk. Assume that AA, BB, II, and JJ are concyclic. The excircle of the triangle ABCABC is tangent to the side ABAB in the point MM. Then MDM \equiv D.

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!
Original post by Mladenov

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
Reply 535
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



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.:biggrin:


Let us stop the off-topic and stick to problem solving.
Reply 536
Original post by james22
Solution 71

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

Let x=ayx=ay

we then get (ay)y=yay(ay)^y=y^{ay}

rearanging gives ay=(yy)a1a^y=(y^y)^{a-1}

so

yln(a)=(a1)ln(yy)=(a1)yln(y)yln(a)=(a-1)ln(y^y)=(a-1)yln(y)

so

y=a1a1y=a^{\frac{1}{a-1}}
and
x=aaa1x=a^{\frac{a}{a-1}}

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 :smile:
Original post by Mladenov
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 :tongue:

Spoiler

Reply 538
Problem 72: *

Bit of an effort: - But hey ho.
Prove by considering:  I=01x4(1x)41+x2 dx\ I =\displaystyle\int^1_0 \dfrac{x^4(1 - x)^4}{1+x^2}\ dx that π<227\pi < \frac{22}{7}

Find  I=1+ex dx\ I = \displaystyle\int \sqrt{1+e^x}\ dx
(edited 11 years ago)
Reply 539
Original post by joostan
Problem 72: *

Bit of an effort: - But hey ho.
Prove by considering:  I=01x4(1x4)1+x2 dx\ I =\displaystyle\int^1_0 \dfrac{x^4(1 - x^4)}{1+x^2}\ dx that π<227\pi < \frac{22}{7}

Find  I=1+ex dx\ I = \displaystyle\int \sqrt{1+e^x}\ dx


You mean x4(1x)41+x2\displaystyle \frac{x^{4}(1-x)^{4}}{1+x^{2}}, don't you?

Quick Reply

Latest