The Student Room Group

The Proof is Trivial!

Scroll to see replies

Reply 2740
Original post by ukdragon37
My intuition is that a very large class of numbers can be expressed in the forms he described as undesirable, especially if he allows a, b in Z. :tongue: However I wonder if one can find a composite k such that it is not in one of the forms. Alas, I've ran out of procrastination time for tonight.

But I agree this isn't really heading in any useful direction, since there is no proof that the desirable solutions don't just generate, say, cycles of primes within a finite class.


I'd be surprised if an answer to whether or not there are infinite twin-primes comes any time before major advances are made into just the primes, their distribution etc.

It is an interesting problem though and I can't intuitively decide whether or not I think there are an infinite number of twin-primes. But perhaps I should get back to Lebesgue integration... :lol:
Reply 2741
Original post by Mladenov
I have not done an olympaid problem since last summer. Here's a geometric approach.

Solution 440


Let's look at the curve yx2nxm=0y-x^{2}-nx-m =0. We want to intersect the line y=0y=0 twice in Z2{\mathbb{Z}}^{2}.
To this end, we consider its discriminant - Δ=n24m\Delta = n^{2}-4m . Naturally, we want to complete the square, so we choose m=knk2m = kn - k^{2}, and thus we arrive at Δ=n24kn+4k2=(n2k)2\Delta = n^{2}-4kn+4k^{2} = (n-2k)^{2}.
We now need a definition. A path consists of consecutive horizontal and vertical moves in a point lattice. In our case the points are at a unit distance.
We next turn to the concrete problem. Our initial curve is yx2x2014y-x^{2}-x-2014. The person who is supposed to have a winning strategy wants to get an equation with coefficients satisfying the above relation. In other words, we need a path starting from (1,2014)(1,2014) and eventually, in particular after finitely many steps, intersecting a line of the form ykxk2=0y-kx-k^{2}=0 in a lattice point.
It is clear that for k=1k=1 there is no winning strategy (by symmetry the same holds for k=1k=-1). For k1|k| \not= 1 every path (1,2014)(2,2014)(kn,ln1)(1,2014) \mapsto (2,2014) \mapsto \cdots \mapsto (k_{n},l_{n-1}) will eventually intersect this line since the gradient is not ±1\pm 1 (this sequence of moves works when kk is positive).
Hobbes moves always away from the line since if after his move the path intersects the line we are done. So suppose that our path intersects the line after Calvin's move and the point of intersection is not a lattice point.
Our goal is to choose kk so that after Hobbes' move, Calvin wins or needs to move in order to win. Obviously, this is possible only when k=2|k|=2. Indeed, let for example k=2k=2; trivial algebraic computation shows that if Hobbes moves upwards, then either we are done, or we need a move to the right; the dual statement holds if he moves downwards.
Hence, if we set k=±2k= \pm 2, it is always possible to get a path intersecting the line in a lattice point.


This solution is nice! :smile:
I hadn't even thought of a geometrical approach.

Posted from TSR Mobile
Reply 2742
Original post by theuser77
I didnt say that Q has to be of any form other than the 4 forms i have stated clearly, if you substitute such a Q into the equation, with the only requiremnt of thos above, then we will yield twin prime solution.
that is what i have proved, but with added knowledge that there are an infinite number of Q not of the four forms we can find twin prime solution infinitely often. Btw please critisms of the work and not just vague things surrounding prime numbers. i appreaciate what you guys have been doing as i do believe we are simply fixing this soloutiona as it is certainly not irreperable.


Don't mind me asking, but are you still in school?

Posted from TSR Mobile
Original post by Noble.
...


Original post by theuser77
so now we can consider ALL numbers of the form 6T+-1. these numbers can never be disivible by 6 and this is obvious.
now consider all numbers of the form
aS+-b. If S is of the form 6b+-1, then 6ab+-a+-b will be the expression that will arise as a result. But if S is not of the form 6b+-1 then a different expression will arise. Henec for all such values not of the form 6b+-1 we have a value of S that ensure that we not have an expression of the 6ab+-a+-b


Lemma 5 is still wrong I'm afraid, which I forgot to mention.

You say that as long as you let S divisible by 6 then Q = aS +- b will never be in one of the undesirable forms you mentioned. As there is an infinite number of S divisible by 6, then you have an infinitude of Q not being one of the undesirable forms.

However it is only true that you cannot write it in one of the undesirable forms if you limit yourself to only considering those particular a and b. For example, suppose there is some Q = a(6n) + b for some a, b and n, then:

- Consider whenever b=n±ab = n \pm a, then clearly Q=a(6n±1)+nQ = a (6n \pm 1) + n which is an undesirable form.
- Further consider whenever b=2n+a(6n±1)b = 2n + a(6n \pm 1), then Q=a(12n±1)+2nQ = a(12n \pm 1) + 2n, which is an undesirable form.
- More generally, consider whenever b=kn+a(6(k1)n±1)b = kn + a(6(k - 1)n \pm 1) for some k, then Q=a(6kn±1)+knQ = a(6kn \pm 1) + kn which are undesirable forms for all k.

There are an infinite number of such instances and forms I could make up for bb, not just those of form b=kn+a(6(k1)n±1)b = kn + a(6(k - 1)n \pm 1), such that I could rewrite Q=a(6n)+bQ = a(6n) + b into one of the "bad" forms you want to say Q is not one of*. How can you guarantee there is an infinitude of suitable Q then?

* For further example, consider whenever b=ka(6(nk)±1)b = k - a(6(n - k) \pm 1) for any k, then Q can be written as Q=a(6k1)+kQ = a(6k \mp 1) + k which is also a "bad" form.
(edited 10 years ago)
Original post by souktik
Problem 440 *

Calvin and Hobbes are playing a game. They start with the equation x2+x+2014=0x^2+x+2014=0 on the blackboard. Calvin and Hobbes play in turns, Calvin going first. Calvin's moves consist of either increasing or decreasing the coefficient of xx by 11 and Hobbes' moves consist of similarly changing the constant term by 11, with Calvin winning the moment an equation with integer solutions appears on the board. Prove that Calvin can always win.

[Source: Indian National Mathematical Olympiad 2014]

Luckily this solution can avoid latex (I hate doing latex on my phone).

Spoiler

Reply 2745
Original post by Llewellyn
Luckily this solution can avoid latex (I hate doing latex on my phone).

Spoiler



Yeah, this is how I would have done it myself. :smile:

Posted from TSR Mobile
Reply 2746
Problem 441***

Find, for nZ,mC,(m)>1n \in \mathbb{Z}, m \in \mathbb{C}, \Re(m)>-1,
π2π2cosm(x)einxdx.\displaystyle \int_{- \frac{\pi}{2}}^{ \frac{\pi}{2}} \cos^m(x)e^{inx} dx.



Ramanujan says that the result is 'well known', so it shouldn't be too difficult.
(edited 10 years ago)
Original post by henpen
Ramanujan says that the result is 'well known', so it shouldn't be too difficult.

Very few mathematical things were not well known to Ramanujan :P
Reply 2748
Original post by Smaug123
Very few mathematical things were not well known to Ramanujan :P


I know, I posted that in jest. Still, it's quite a nice integral.
Drying up?

Problem 442*

Prove that

Unparseable latex formula:

\displaystyle 2^n^-^1(x_1^n + x_2^n) \geq (x_1 +x_2)^n

.

Where xi x_i are positive real numbers and n n is real.

if this isn't sort of familiar then opening this spoiler may be ruinous... if it is then open up

Spoiler

(edited 10 years ago)
Original post by jjpneed1
Drying up?

Prove that

Unparseable latex formula:

\displaystyle 2^n^-^1(x_1^n + x_2^n) \geq (x_1 +x_2)^n

.

if this isn't sort of familiar then opening this spoiler may be ruinous... if it is then open up

Spoiler



Are there any restrictions on the values of x1, x2 and n? Or can they take all real values?
Original post by james22
Are there any restrictions on the values of x1, x2 and n? Or can they take all real values?


Sorry about omitting that, I've edited my post
Original post by jjpneed1
Drying up?

Problem 442*

Prove that

Unparseable latex formula:

\displaystyle 2^n^-^1(x_1^n + x_2^n) \geq (x_1 +x_2)^n

.

Where xi x_i are positive real numbers and n n is real.

if this isn't sort of familiar then opening this spoiler may be ruinous... if it is then open up

Spoiler



Unparseable latex formula:

\displaystyle 2^n^-^1(x_1^n + x_2^n) \geq (x_1 +x_2)^n \iff\frac{x_1^n+x_2^n}{2}\geq \left(\frac{x_1+x_2}{2}\right)^n



By the power-mean inequality... :colone:
Reply 2753
Original post by jjpneed1
Drying up?

Problem 442*

Prove that

Unparseable latex formula:

\displaystyle 2^n^-^1(x_1^n + x_2^n) \geq (x_1 +x_2)^n

.

Where xi x_i are positive real numbers and n n is real.

if this isn't sort of familiar then opening this spoiler may be ruinous... if it is then open up

Spoiler



An almost as circular proof:
Since the inequality doesn't hold for n<1, and is clearly an equality for n=1, I will only consider n>1.
From Jensen's inequality:
n=1212xn(n=1212x)n\displaystyle \sum_{n=1}^2 \frac 12 x^n \geq \left(\sum_{n=1}^2 \frac 12 x\right)^n (since x^n convex on (0,)(0,\infty ) :tongue:)
The result then follows by simple algebra.
(edited 10 years ago)
These are very short, but nice.

Problem 443**

SS an infinite collection of nested subsets of N\mathbb{N}. Must SS be countable?

Problem 444**

Take a real sequence, let ZZ be the set of its limit points. Must ZZ be countable?
Solution 444

False.

Partition N\mathbb{N} into an infinite collection of disjoint infinite sets in any way, say into sets AnA_n*. Let xk=k/px_k=k/p where kApk \in A_p. Then xkx_k has a limit point at every positive real.

For example, could let AnA_n be all numbers with n 3's in them.
Original post by Lord of the Flies
These are very short, but nice.

Problem 443**

SS an infinite collection of nested subsets of N\mathbb{N}. Must SS be countable?

Problem 444**

Take a real sequence, let ZZ be the set of its limit points. Must ZZ be countable?


Can you define what you mean by nested subsets? The only definition I know of involves sequences of sets which are, of course, countable.
Original post by james22
Can you define what you mean by nested subsets? The only definition I know of involves sequences of sets which are, of course, countable.


For any X,YSX,Y\in S either XYX\subset Y or YXY\subset X
Original post by Nebula
An almost as circular proof:
Since the inequality doesn't hold for n<1, and is clearly an equality for n=1, I will only consider n>1.
From Jensen's inequality:
n=1212xn(n=1212x)n\displaystyle \sum_{n=1}^2 \frac 12 x^n \geq \left(\sum_{n=1}^2 \frac 12 x\right)^n (since x^n convex on (0,)(0,\infty ) :tongue:)
The result then follows by simple algebra.


Original post by Tarquin Digby
Unparseable latex formula:

\displaystyle 2^n^-^1(x_1^n + x_2^n) \geq (x_1 +x_2)^n \iff\frac{x_1^n+x_2^n}{2}\geq \left(\frac{x_1+x_2}{2}\right)^n



By the power-mean inequality... :colone:

Well it's not much fun if you assume the result you're trying to prove :wink: I guess it's more interesting if you're not aware of it already

Spoiler

(edited 10 years ago)
Reply 2759
This thread dry up? Not on my watch!

Problem 445**

Find the Dirichlet series for 1ζ(s). \displaystyle \frac{1}{\zeta(s)}.

Problem 446***

Prove

k=1ke2πk1=12418π.\sum_{k=1}^\infty\frac{k}{e^{2 \pi k}-1}=\frac{1}{24}- \frac{1}{8 \pi}.

Problem 446***

Prove

k=ek2π=π14Γ(34).\sum_{k=- \infty}^\infty e^{- k^2 \pi}=\frac{\pi^\frac{1}{4}}{ \Gamma \left(\frac{3}{4} \right)}.

Problem 447**
Prove

k=1Hkn22n=ζ(3)2log(2)ζ(2).\sum_{k=1}^\infty \frac{H_k}{n^2 2^n}= \zeta(3)- 2 \log(2) \zeta(2).

Problem 448**
Find

k=1arctan(1k2).\sum_{k=1}^\infty \arctan \left( \frac{1}{k^2}\right).

Problem 449**

Find

limnk=2n(11k3)\lim_{n \to \infty } \prod_{k=2}^n \left( 1- \frac{1}{k^3}\right).

Problem 450**

Find

limn02πcos(x)cos(2x)cos(nx) dx.\lim_{n \to \infty } \int_0^{2 \pi} \cos(x)\cos(2x) \cdots \cos(nx) \ dx.

Problem 451***

Find

0cos(x)ex2x dx.\int_0^\infty \frac{\cos(x)-e^{-x^2}}{x} \ dx.

Problem 452**

Prove

k=1(ζ(4k)1)=78π4(e2π+1e2π1).\sum_{k=1}^\infty (\zeta(4k)-1)=\frac{7}{8} - \frac{\pi}{4} \left( \frac{e^{2\pi}+1}{e^{2\pi}-1}\right).

Problem 453**

Prove

k=1ζ(k)1k=1γ.\sum_{k=1}^\infty \frac{\zeta(k)-1}{k}=1- \gamma.
(edited 10 years ago)

Quick Reply

Latest