HSC 2015 MX2 Marathon ADVANCED (archive) (1 Viewer)

Status
Not open for further replies.

simpleetal

Member
Joined
Apr 6, 2015
Messages
54
Gender
Male
HSC
2016
Re: HSC 2015 4U Marathon - Advanced Level

Hence, unless I’ve made sillies, (or conceptual errors) I think the only solutions are 1, or 1+x.
 
Last edited:

glittergal96

Active Member
Joined
Jul 25, 2014
Messages
418
Gender
Female
HSC
2014
Re: HSC 2015 4U Marathon - Advanced Level

You are a lot of the way there, these are most of the ideas I was looking for. But I don't think you have completed the f(1)=2 case.

I don't think f(x+1)-f(x)=1 really implies that we are a linear polynomial.
-What do you mean by "gradient" when talking about an arbitrary function?
-Why is this notion of gradient identically 1 for this function?
-Why should this fact imply f is a linear polynomial?

If gradient just means the quantity f(x+1)-f(x), this is certainly 1 everywhere, but this alone does NOT imply that we are a linear polynomial, or even continuous! We could choose an f with arbitrary values in the interval [0,1), and use f(x+1)-f(x)=1 to uniquely define a solution (to the equation f(x+1)-f(x)=1) on the whole real (well we only care about rationals, but this is no different) line.
 

glittergal96

Active Member
Joined
Jul 25, 2014
Messages
418
Gender
Female
HSC
2014
Re: HSC 2015 4U Marathon - Advanced Level

It's been a few days, so I will finish off your solution so we can move to something new :). You were very close, and my method started out essentially the same as yours.

Since we have f(x+1)=f(x)+1, we have f(x+m)=f(x)+m for all integers m.

Since we also have f(0)=1, we know that f(m)=m+1 for all integers m.

Now for a nonzero integer n, we have

f(n.(m/n))=f(n)f(m/n)-f(n+(m/n))+1

=> m+1=f(m)=(n+1)f(m/n)-(n+f(m/n))+1.

solving this equation for the "unknown" f(m/n) gives:

f(m/n)=(m+n)/n=(m/n)+1.

So f(x)=x+1 for all rational x.


(It is important we do things this way, because I suspect it might not be the case that every nonconstant REAL solution to the functional equation is equal to x+1).
 

simpleetal

Member
Joined
Apr 6, 2015
Messages
54
Gender
Male
HSC
2016
Re: HSC 2015 4U Marathon - Advanced Level

It's been a few days, so I will finish off your solution so we can move to something new :). You were very close, and my method started out essentially the same as yours.

Since we have f(x+1)=f(x)+1, we have f(x+m)=f(x)+m for all integers m.

Since we also have f(0)=1, we know that f(m)=m+1 for all integers m.

Now for a nonzero integer n, we have

f(n.(m/n))=f(n)f(m/n)-f(n+(m/n))+1

=> m+1=f(m)=(n+1)f(m/n)-(n+f(m/n))+1.

solving this equation for the "unknown" f(m/n) gives:

f(m/n)=(m+n)/n=(m/n)+1.

So f(x)=x+1 for all rational x.


(It is important we do things this way, because I suspect it might not be the case that every nonconstant REAL solution to the functional equation is equal to x+1).
sorry looks like I didnt check BOS in time to read your previous post. (this was mainly because I had a major japanese assignment to work on, luckily it's all done now). But yes I do see the error that I previously made now that Ive read your post.
 

dan964

what
Joined
Jun 3, 2014
Messages
3,479
Location
South of here
Gender
Male
HSC
2014
Uni Grad
2019
Re: HSC 2015 4U Marathon - Advanced Level

It's been a few days, so I will finish off your solution so we can move to something new :). You were very close, and my method started out essentially the same as yours.

Since we have f(x+1)=f(x)+1, we have f(x+m)=f(x)+m for all integers m.

Since we also have f(0)=1, we know that f(m)=m+1 for all integers m.

Now for a nonzero integer n, we have

f(n.(m/n))=f(n)f(m/n)-f(n+(m/n))+1 (**)

=> m+1=f(m)=(n+1)f(m/n)-(n+f(m/n))+1.

solving this equation for the "unknown" f(m/n) gives:

f(m/n)=(m+n)/n=(m/n)+1.

So f(x)=x+1 for all rational x.


(It is important we do things this way, because I suspect it might not be the case that every nonconstant REAL solution to the functional equation is equal to x+1).
where did the RHS come from at (**)
nvm, it was substitution into the original question, which is on the previous page.
 
Last edited:

shervos

Member
Joined
Jul 17, 2015
Messages
39
Gender
Male
HSC
2015
Re: HSC 2015 4U Marathon - Advanced Level

Suppose f(x) is a real valued function such that f(xy)+f(y-x)>=f(x+y). Prove that f(x)>=0
 

glittergal96

Active Member
Joined
Jul 25, 2014
Messages
418
Gender
Female
HSC
2014
Re: HSC 2015 4U Marathon - Advanced Level

If is a non-negative function such that



and



we say that f is a sexy function.


Find the smallest real such that



for all and all sexy functions .
 
Last edited:

shervos

Member
Joined
Jul 17, 2015
Messages
39
Gender
Male
HSC
2015
Re: HSC 2015 4U Marathon - Advanced Level

What does the first line mean? Also, I think it's a good idea if symbols which are not seen in HSC exams are explained, unless they are abused here
 

InteGrand

Well-Known Member
Joined
Dec 11, 2014
Messages
6,109
Gender
Male
HSC
N/A
Re: HSC 2015 4U Marathon - Advanced Level

What does the first line mean? Also, I think it's a good idea if symbols which are not seen in HSC exams are explained, unless they are abused here
 

dan964

what
Joined
Jun 3, 2014
Messages
3,479
Location
South of here
Gender
Male
HSC
2014
Uni Grad
2019
Re: HSC 2015 4U Marathon - Advanced Level

if it is non-negative function, am I wrong to say that y>0 or y=0 (i.e. y greater than equal to 0)
or by non-negative function are you referring to the gradient of the function?
 
Last edited:

InteGrand

Well-Known Member
Joined
Dec 11, 2014
Messages
6,109
Gender
Male
HSC
N/A
Re: HSC 2015 4U Marathon - Advanced Level

if it is non-negative function, am I wrong to say that y>0 or y=0 (i.e. y greater than equal to 0)
or by non-negative function are you referring to the gradient of the function?
 

glittergal96

Active Member
Joined
Jul 25, 2014
Messages
418
Gender
Female
HSC
2014
Re: HSC 2015 4U Marathon - Advanced Level

Let be a non-negative function such that



and



Find the smallest real such that



for all and all such .
It has been a while, so here are some hints. (I don't want to give it away just yet because I think this is a great/fun question!)

1. What must f(0) be?

2. Can you think of any relationships between convexity and the property f(x+y) >= f(x)+f(y)?
Recall that a function is said to be convex if every secant to it's graph lies above the graph itself.

3. Can you find any simple bounds for how small/large the solution alpha can be?

4. Can you then find functions which prove we cannot do better than the alpha you find in 3?

Sorry about being vague. If people don't make progress in a little more time then I will post my solution.
 

dan964

what
Joined
Jun 3, 2014
Messages
3,479
Location
South of here
Gender
Male
HSC
2014
Uni Grad
2019
Re: HSC 2015 4U Marathon - Advanced Level

for (1)
f(0) must be zero.
since for all x as it is non-negative.
and to satisfy the condition , it cannot be anything greater than 0.
thus the only solution where both are true is when f(0)=0.

for (3)
putting x=1, f(x)=1;
gives the minimum value of alpha as 1.

but this does not take into account the equality, so its minimum value may be larger. this is just some starters.
 
Last edited:

InteGrand

Well-Known Member
Joined
Dec 11, 2014
Messages
6,109
Gender
Male
HSC
N/A
Re: HSC 2015 4U Marathon - Advanced Level

 
Last edited:

glittergal96

Active Member
Joined
Jul 25, 2014
Messages
418
Gender
Female
HSC
2014
Re: HSC 2015 4U Marathon - Advanced Level

Yep, follows from considering the function .

You are also right that this isn't the only function obeying the inequality in the question, so there might be solutions which are not bounded by .

See if you can find an alpha that is definitely big enough, as this is the logical next step.
 

glittergal96

Active Member
Joined
Jul 25, 2014
Messages
418
Gender
Female
HSC
2014
Re: HSC 2015 4U Marathon - Advanced Level

A useful fact that has not yet been mentioned/proven is that any such f must be monotonic.
 

InteGrand

Well-Known Member
Joined
Dec 11, 2014
Messages
6,109
Gender
Male
HSC
N/A
Re: HSC 2015 4U Marathon - Advanced Level

Yep, follows from considering the function .

You are also right that this isn't the only function obeying the inequality in the question, so there might be solutions which are not bounded by .

See if you can find an alpha that is definitely big enough, as this is the logical next step.
 
Last edited:

glittergal96

Active Member
Joined
Jul 25, 2014
Messages
418
Gender
Female
HSC
2014
Re: HSC 2015 4U Marathon - Advanced Level

I think you might have some quantifiers the wrong way around?

We want to find a real number a such that f(x) =< ax for all f satisfying f(x+y) >= f(x) + f(y).

In particular, we want to find the least a that works for every such f.

We know a = 1 works for the function f(x) = x, but it is perfectly conceivable that there are other functions which satisfy f(x+y) >= f(x) + f(y), but for which we don't have f(x) =< 1x = x.
 
Last edited:
Status
Not open for further replies.

Users Who Are Viewing This Thread (Users: 0, Guests: 1)

Top