The Student Room Group

The Proof is Trivial!

Scroll to see replies

Alternative (1) Solution 526:

We know that (2)log23=3\displaystyle (\sqrt{2})^{\log_{\sqrt{2}}3 } = 3 and we know that 2\sqrt{2} is irrational. This means taht we need only prove that log23\log_{\sqrt{2}} 3 is irrational.

We can do so easily, since log23=log23log22=2log23\displaystyle \log_{\sqrt{2} 3} = \frac{\log_2 3}{\\log_2 \sqrt{2}} = 2 \log_2 3. Now assume that this equals mn\frac{m}{n} where gcdm,n=1\gcd{m,n} = 1 then we have log23=m2n\displaystyle \log_2 3 = \frac{m}{2n} so that 32n=2m3^{2n} = 2^m, contradiction so log23\log_{\sqrt{2}} 3 is irrational and we are done.
A little basic number theory pilfered from Putnam.

Problem 537: **
Show that for each p>17p>17, where pp is prime.
16320p32116320|p^{32}-1.

Problem 538: **
Show that there are no integer solutions x,yx,y to:
(x+1)nxn=ny(x+1)^n-x^n=ny where nN{1}n \in \mathbb{N} \setminus \{1 \}.
(edited 8 years ago)
Original post by joostan
A little basic number theory pilfered from Putnam.

Problem 537: **
Show that for each p>17p>17:
16320p32116320|p^{32}-1.

Problem 538: **
Show that there are no integer solutions x,yx,y to:
(x+1)nxn=ny(x+1)^n-x^n=ny where nN{1}n \in \mathbb{N} \setminus \{1 \}.


What's p? A prime?
Original post by Renzhi10122
What's p? A prime?


Yarp, p's a prime.
Probably shoulda specified, but I'd say it's reasonably clear from context.
Original post by joostan
Yarp, p's a prime.
Probably shoulda specified, but I'd say it's reasonably clear from context.


Fair enough

Solution 537

Firstly note that 16320=263517 16320=2^6*3*5*17 . By the LTE lemma, we have
v2(p321)=v2(p1)+v2(p+1)+v2(32)13+51=7 v_2(p^{32}-1)=v_2(p-1)+v_2(p+1)+v_2(32)-1\geq 3+5-1=7 , where v2(n) v_2(n) is the greatest power of 2 that divides n n . Therefore, p321 p^{32}-1 is divisible by 27 2^7 , a stronger result. Now note that p p is not divisible by 3,5, or 17, since it is prime. By Fermat's Little Theorem, ak(q1)1 a^{k(q-1)}\equiv 1 (mod (mod q) q) . Noting that each of 3, 5 and 17 can be written in the form 2m+1 2^m +1 , in particular, for m5 m\leq 5 , setting q q as each of the three primes, we see that 32 is a multiple of q1 q-1 , and so p321 p^{32}-1 is divisible by 3, 5 and 17.
Thus, 16320p321 16320|p^{32}-1 and indeed 32640p321 32640|p^{32}-1 for all primes p2,3,5,17 p\neq 2,3,5,17 .

EDIT: We could've used difference of two squares for the first bit, but only thought of that afterwards
(edited 8 years ago)
Solution 537 (2)
Damn I really was a bit slow :-)

Spoiler

(edited 8 years ago)
Original post by Renzhi10122
x


Original post by 16Characters....
x


Impressive, both of you. My number theory is ****e... :rofl:

Protip: To typeset ab(modc)a \equiv b \pmod c use a \equiv b \pmod c instead of a \equiv b (mod c) since that just squishes the variables m,o,dm, o, d together. :smile:

Edit: It evens saves you the hassle of putting the brackets around the mod and it just requires a slash and a p before the mod.
(edited 8 years ago)
Some more analysis :smile:

Problem 539

Let f:[0,1][0,1]f:[0,1] \rightarrow [0,1] be any function that is continuous on [0,1][0,1]

Prove that there exists a constant k[0,1]k \in [0,1] such that

f(k)=sin(kπ2)f(k) = \sin\left(\dfrac{k\pi}{2}\right)


Posted from TSR Mobile
Original post by Indeterminate
Some more analysis :smile:

Problem 539

Let f:[0,1][0,1]f:[0,1] \rightarrow [0,1] be any function that is continuous on [0,1][0,1]

Prove that there exists a constant k[0,1]k \in [0,1] such that

f(k)=sin(kπ2)f(k) = \sin\left(\dfrac{k\pi}{2}\right)


Posted from TSR Mobile


Solution 539.

Suppose that f(x)>sin(xπ2)f(x)>sin(\frac{x\pi}{2}) for all x[0,1]x\in [0,1]. Then we must have f(1)>sin(π2)=1f(1)>sin(\frac{\pi}{2})=1, which is impossible since this states f(1) is not in the codomain. A similar argument at x=0 shows we cannot have f(x)<sin(x*pi/2) for all x in [0,1] either.

Thus there must exist a[0,1]a\in [0,1] for which f(x)sin(xπ2)f(x)\geq \sin(\frac{x\pi}{2}), and b[0,1]b\in [0,1] such that f(x)sin(xπ2)f(x)\leq \sin(\frac{x\pi}{2}). Suppose without loss of generality we have aba\leq b. Let g(x)=f(x)sin(xπ2) g(x)=f(x)-sin(\frac{x\pi}{2}). Then at a, g(a)0g(a)\geq 0 and at b g(b)0g(b)\leq 0. Thus by the intermediate value theorem, there exists a cc such that acb a\leq c \leq b for which g(c)=0g(c)=0 , which implies by construction of g f(c)=sin(cπ2) f(c)=\sin(\frac{c\pi}{2})

Edit: A nice intuitive picture for how this theorem works: Draw a square, and from the bottom left corner to the top right corner, draw a curve resembling the graph of sin from 0 to pi/2. Now try and join the left side to the right side with a continuous curve that doesn't intersect the sine curve :wink:.
(edited 8 years ago)
Original post by FireGarden
Solution 539.

Suppose that f(x)>sin(xπ2)f(x)>sin(\frac{x\pi}{2}) for all x[0,1]x\in [0,1]. Then we must have f(1)>sin(π2)=1f(1)>sin(\frac{\pi}{2})=1, which is impossible since this states f(1) is not in the codomain. A similar argument at x=0 shows we cannot have f(x)<sin(x*pi/2) for all x in [0,1] either.

Thus there must exist a[0,1]a\in [0,1] for which f(x)sin(xπ2)f(x)\geq \sin(\frac{x\pi}{2}), and b[0,1]b\in [0,1] such that f(x)sin(xπ2)f(x)\leq \sin(\frac{x\pi}{2}). Suppose without loss of generality we have aba\leq b. Let g(x)=f(x)sin(xπ2) g(x)=f(x)-sin(\frac{x\pi}{2}). Then at a, g(a)0g(a)\geq 0 and at b g(b)0g(b)\leq 0. Thus by the intermediate value theorem, there exists a cc such that acb a\leq c \leq b for which g(c)=0g(c)=0 , which implies by construction of g f(c)=sin(cπ2) f(c)=\sin(\frac{c\pi}{2})All fine, but a bit verbose:

Define g(x) = sin(pi x / 2) - f(x). Then g(0) = -f(0), g(1) = 1- f(1) and so since we know 0<=f(x)<=1, g(0)<=0, g(1)>=0. If we have equality in either case we're done, otherwise by IVT we can find k in (0,1) with g(k) = 0 and we're done.

[Questions like this come up often enough that you should make sure you know how to answer them concisely. The defn of IVT I use requires f(a) < 0, f(b) > 0 (i.e. it doesn't allow equality) or it could go a little shorter still].
Problem 540 (**/***)

a) Show that:

02πr2sin22θ12r2cos2θ+r4 dθ=πr2\displaystyle \int_0^{2\pi} \frac{r^2\sin^2 2\theta}{1-2r^2\cos 2\theta+r^4} \ d\theta = \pi r^2

stating any conditions that must hold for this to be valid.

b) Find the value of 02π4sin22θ178cos2θ dθ\displaystyle \int_0^{2\pi} \frac{4\sin^2 2\theta}{17-8\cos 2\theta} \ d\theta

(Hints available if necessary)
Original post by atsruser
Problem 531: */**

Give a geometrical argument to show that, if x2+y2=1x^2+y^2=1, then

222+2211x2 dx=π8\displaystyle \int_{\frac{\sqrt{2}}{2}}^{ \frac{\sqrt{2+\sqrt{2}}}{2} } \frac{1}{\sqrt{1-x^2}} \ dx = \frac{\pi}{8}


Bumping with hints:

Spoiler

Original post by atsruser
x


That's quite an interesting problem, unfortunately, it's three in the morning here and I'm heading off to bed, but I'll give these a try first thing in the morning, thanks for your contribution!

I can't quite wrap my head around the whole dxy\frac{\mathrm{d}x}{y} thing. :tongue:
Can't believe I've never used this thread before.


Posted from TSR Mobile
UProblem 541
I am on a IPad so not really sure about this bold stuff etc.
Prove the for natural n the fraction (21n+4)/(14n+3) is irreducible.
I will post a solution later on today.

This is a problem from an old IMO problem!
Posted from TSR Mobile
(edited 8 years ago)
Solution 541:
Observe that 3(14n+3)=2(21n+4)+13(14n+3)=2(21n+4)+1.
Thus if p(14n+3)p|(14n+3) and p(21n+4)p|(21n+4) for pNp \in \mathbb{N} then p(3(14n+3)2(21n+4))p|(3(14n+3)-2(21n+4)) so p1p=1p|1 \Leftrightarrow p=1.
Hence we have 14n+314n+3 and 21n+421n+4 coprime, so:
21n+414n+3\dfrac{21n+4}{14n+3} is irreducible.
Original post by joostan
Solution 541:
Observe that 3(14n+3)=2(21n+4)+13(14n+3)=2(21n+4)+1.
Thus if p(14n+3)p|(14n+3) and p(21n+4)p|(21n+4) for pNp \in \mathbb{N} then p(3(14n+3)2(21n+4))p|(3(14n+3)-2(21n+4)) so p1p=1p|1 \Leftrightarrow p=1.
Hence we have 14n+314n+3 and 21n+421n+4 coprime, so:
21n+414n+3\dfrac{21n+4}{14n+3} is irreducible.


Mine essentially the same but slight different at the start I think.
Gcd(21n+4,14n+3)=gcd(7n+1,14n+3)
=gcd(7n+1,14n+3-2(7n+1))
=gcd(7n+1,1)=1 Q.E.D


Posted from TSR Mobile
Original post by physicsmaths
Mine essentially the same but slight different at the start I think.
Gcd(21n+4,14n+3)=gcd(7n+1,14n+3)
=gcd(7n+1,14n+3-2(7n+1))
=gcd(7n+1,1)=1 Q.E.D


Posted from TSR Mobile


Sorry to be a buzzkill, but it's specified in the OP to Latex all solutions/problems (I understand that you're on an iPad, but it's not hard to use Latex) - just to maintain austerity. :smile:

Also - it's fine to post a solution to your own problem once somebody else has already answered it, but not before.
(edited 8 years ago)
Original post by 16Characters....
Problem 508

M M is an N x N matrix with N distinct eigenvalues all in the range 1<λ<1 - 1 < \lambda < 1 . Prove that:

I+r=1Mr I + \displaystyle \sum_{r = 1}^{\infty} M^r

Converges. {NB: I denotes the N x N identity matrix}


Bumping with a hint:

Spoiler

Original post by 16Characters....
Problem 508

M M is an N x N matrix with N distinct eigenvalues all in the range 1<λ<1 - 1 < \lambda < 1 . Prove that:

I+r=1Mr I + \displaystyle \sum_{r = 1}^{\infty} M^r

Converges. {NB: I denotes the N x N identity matrix}

Let S=I+r=1MrS=I+\displaystyle\sum_{r=1}^ { \infty} M^r
Since MM has NN distinct eigenvalues, we can write M=P1DPM=P^{-1}DP for some fixed, invertible N×NN \times N matrix PP, and where D=diag(λ1,...,λN)D=diag(\lambda_1, . . .,\lambda_N).
Notice that:
Mr=P1DrP[br]S=I+r=1P1DrP[br]S=r=0P1diag(λ1r,...,λNr)PM^r=P^{-1}D^rP[br]\Rightarrow S=I+\displaystyle\sum_{r=1}^ { \infty} P^{-1}D^rP[br]\Rightarrow S=\displaystyle\sum_{r=0}^ { \infty} P^{-1}diag(\lambda_1^r, . . .,\lambda_N^r)P.
But λi<1r=0λir=11λi|\lambda_i|<1 \Rightarrow \displaystyle\sum_{r=0}^{\infty} \lambda_i^r = \dfrac{1}{1-\lambda_i}.
(Assuming λi0\lambda_i \not= 0, if so then r=0λir=0\displaystyle\sum_{r=0}^{\infty} \lambda_i^r=0 so still converges.)
Hence we have that:
S=P1diag(11λ1,...,11λN)PS=P^{-1} diag \left(\dfrac{1}{1-\lambda_1}, . . . ,\dfrac{1}{1-\lambda_N} \right)P.
Thus the sum converges.
(edited 8 years ago)

Quick Reply

Latest