Community

Our Precalculus course starts on Dec. 4. Master trig, complex numbers, and vectors and matrices in 2 and 3 dimensions. Click here to enroll today!
Login Register Memberlist Search AoPS Blogs Contests Galleries Forum Index
The time now is Fri Dec 04, 2009 3:09 am
All times are UTC - 8
View posts since last visit
View unanswered posts
Proof contest
Moderators: Pre-Olympiad Moderators
Post new topic   Reply to topic View previous topicView next topic
193 Posts • Page 1 of 10 • 1, 2, 3, ..., 8, 9, 10 Next
Author Message
chess64
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer


Offline
Joined: 20 Feb 2005
Posts: 4873
PakistanUnited States

To rate posts you must be logged in
#1
Proof contest

I will post like one problem every week or something. PM me your proof. They will be graded on a scale from 0 to 7.

Scoreboard

\begin{tabular}{|l||c|c|c|c||c|}\hline & Week 1 & Week 2 & Week 3 & Week 4 & Total\\\hline 1. matt276eagl...


Week 1

Let f(x)=\frac{x}{3x-2}. Show that if n has d digits, then f(n)=\frac{n}{10^d} if and only if n is an integer and n=\underbrace{33\cdots 33}_{(d-1) \text { threes}}4 in base 10.

(Yes, the first problem is easy.)
Last edited by chess64 on Sun May 21, 2006 5:41 am; edited 27 times in total 
PostPosted: Sat Apr 22, 2006 9:13 am  Back to top 
  ProfilePMBlogAlbum
chess64
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer


Offline
Joined: 20 Feb 2005
Posts: 4873
PakistanUnited States

To rate posts you must be logged in
#2
2 days left...

PostPosted: Thu Apr 27, 2006 10:55 am  Back to top 
  ProfilePMBlogAlbum
matt276eagles
Navier-Stokes Equations
Navier-Stokes Equations


Offline
Joined: 08 Jun 2005
Posts: 1261
Location: Princeton, NJ
United States

To rate posts you must be logged in
#3
Proof contest

Edit: Oops. I accidentally posted my proof. Blush Don't worry, I deleted it immediately. I will PM it to you now.

PostPosted: Thu Apr 27, 2006 3:09 pm  Back to top 
  ProfilePM
chess64
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer


Offline
Joined: 20 Feb 2005
Posts: 4873
PakistanUnited States

To rate posts you must be logged in
#4
I'm going to post the next problem now since I probably won't be able to tomorrow. This problem was really easy (look at the scores Smile), but the next ones will be harder.

edit: Week 1 Solution

matt276eagles wrote:
Here's my proof:

The desired condition is f(n)=\frac{n}{10^{d}}. By the definition of f, this condition is equivalent to \frac{n}{3n-2}=\frac{n}{10^{d}}. Rearranging, we have 3n-2=10^{d}, or n=\frac{10^{d}+2}{3}. We only need to show that if n has d digits, then n=\frac{10^{d}+2}{3} if and only if n is an integer and n=\underbrace{333\cdots 333}_{(d-1)\text{ threes}}4.

For any given value of d, the equation n=\frac{10^{d}+2}{3} is linear and has exactly one solution for n. We will proceed by induction.

If d=1, then we have n=4.

For some value of k, assume that the equation n=\frac{10^{k}+2}{3} has the solution n=\underbrace{333\cdots 333}_{(k-1)\text{ threes}}4.

Now, consider the equation n=\frac{10^{k+1}+2}{3}. We have n=\frac{10(10^{k})+2}{3}=\frac{9(10^{k})+10^{k}+2}{3}=3(10^{k})+\underbrace{333\cdots 333}_{(k-1)\text{ threes}}4=\underbrace....

The induction is complete. Therefore, if n has d digits, then f(n)=\frac{n}{10^{d}} if and only if n is an integer and n=\underbrace{333\cdots 333}_{(k-1)\text{ threes}}4. QED.


(All the solutions were good, there's no real reason I picked this one, so don't be sad Mr. Green)


Week 2

Compute, with proof, all primes p such that 2^p+p^2 is also prime.

PostPosted: Fri Apr 28, 2006 11:16 am  Back to top 
  ProfilePMBlogAlbum
chess64
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer


Offline
Joined: 20 Feb 2005
Posts: 4873
PakistanUnited States

To rate posts you must be logged in
#5
Week 2 Solution:

tarquin wrote:
First we check for p=2. p=2 \Rightarrow 2^p+p^2=8 is not a prime.

Now suppose p \not = 3 is a prime. Then 2^p + p^2 \equiv -1 + 1 \equiv 0 \mod 3 using Fermat's theorem. We verify that 2^3 + 3^2 = 17 is a prime and see that 3 is the only solution.


I really like his presentation. Although almost everyone had the same solution, most people split it up into cases and made it really long. Also, from now on, presentation will count in the scoring. That means, grammar, \LaTeX, etc.

PostPosted: Sat May 06, 2006 5:30 am  Back to top 
  ProfilePMBlogAlbum
chess64
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer


Offline
Joined: 20 Feb 2005
Posts: 4873
PakistanUnited States

To rate posts you must be logged in
#6
Week 3

You have three piles of stones containing 5, 49, and 51 stones. You can join any two piles together into one pile, and you can divide a pile with an even number of stones into two piles of equal size. Is it possible to eventually have 105 piles each with one stone?

PostPosted: Sat May 06, 2006 5:42 am  Back to top 
  ProfilePMBlogAlbum
krassi_holmz
Hodge Conjecture
Hodge Conjecture


Offline
Joined: 10 Dec 2005
Posts: 70
Location: Bulgaria
Bulgaria

To rate posts you must be logged in
#7
that's easy.

PostPosted: Sat May 06, 2006 11:54 am  Back to top 
  ProfilePM
chess64
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer


Offline
Joined: 20 Feb 2005
Posts: 4873
PakistanUnited States

To rate posts you must be logged in
#8
Week 3 Solution

jrshoch wrote:
First, if all of the current piles have a common prime factor other than 2, let's call it n, then the possible resulting piles must be multiples of n. This follows logically from the fact that if the piles have a_1n, a_2n, a_3n... stones, the only possible results from adding the piles will be multiples of n, and splitting the piles in half cannot eliminate n as a factor, since n is prime and not 2, and is therefore odd.

So if the piles reach a situation in which they all share such a common prime factor n, it would be impossible for the the piles to all be split into piles of 1, because all resulting piles must be multiples of n.

The only possible first steps are adding the piles containing 5 stones and 49 stones, 5 and 51 stones, or 49 and 51 stones, because all the piles are odd. This would result of piles of 54 and 51, 49 and 56, or 5 and 100, respectively. These pairs have common prime factors 3, 7, and 5, respectively, which means, by the previous argument, that they cannot be divided into only piles of 1. And since this covers all possible situations, it follows that the piles containing 5, 49, and 51 stones cannot be added or divided into only piles of 1.


PostPosted: Sat May 13, 2006 11:36 am  Back to top 
  ProfilePMBlogAlbum
chess64
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer


Offline
Joined: 20 Feb 2005
Posts: 4873
PakistanUnited States

To rate posts you must be logged in
#9
Week 4

Let \mathcal{S} be a subset of [0,1] with total length greater than \frac{1}{2}. Prove that there are two elements of \mathcal{S} that differ by exactly 0.1.

PostPosted: Sat May 13, 2006 11:38 am  Back to top 
  ProfilePMBlogAlbum
chess64
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer


Offline
Joined: 20 Feb 2005
Posts: 4873
PakistanUnited States

To rate posts you must be logged in
#10
Regarding Presentation

- You don't need to use LaTeX for just a number, like 5. But if you have 5\cdot 5, you should use LaTeX instead of saying 5*5.
- The solution should be easy to read. You don't need to make the grammar perfect, just readable.
- If English isn't your first language, do your best. I won't take off points if I can tell that English isn't your mother tongue, as long as you make an effort to write a clear solution. (At least spell correctly Smile)

EDIT. "Writing up Solutions" by the Canadian Mathematical Society.
Last edited by chess64 on Sun May 14, 2006 4:48 am; edited 1 time in total 
PostPosted: Sat May 13, 2006 11:43 am  Back to top 
  ProfilePMBlogAlbum
darkdevil
P versus NP
P versus NP

Offline
Joined: 21 Sep 2005
Posts: 25
Location: localhost
Romania

To rate posts you must be logged in
#11
what do you mean by total length? difference between biggest and smaller element? or what?
_________________
\mathfrak{Radvan Marius} aka \mathfrak{darkdevil}

PostPosted: Sat May 13, 2006 11:58 am  Back to top 
  ProfilePMYM
chess64
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer


Offline
Joined: 20 Feb 2005
Posts: 4873
PakistanUnited States

To rate posts you must be logged in
#12
\mathcal{S} can be a union of intervals. The length of an interval [a,b] is b-a. The total length is the sum of the lengths of all the intervals in \mathcal{S}.

PostPosted: Sat May 13, 2006 12:23 pm  Back to top 
  ProfilePMBlogAlbum
pkerichang
Navier-Stokes Equations
Navier-Stokes Equations


Offline
Joined: 28 Jul 2005
Posts: 1325
Location: Hacienda Heights

To rate posts you must be logged in
#13
wait, but then if S is a set of one interval, [0, 0.6], then the statement will not be true. (or the case that S = \{[0, 0.5], [0.7, 0.71]\}
_________________
For to me to live is Christ, to die is gain

PostPosted: Sat May 13, 2006 7:02 pm  Back to top 
  ProfilePMAIM
matt276eagles
Navier-Stokes Equations
Navier-Stokes Equations


Offline
Joined: 08 Jun 2005
Posts: 1261
Location: Princeton, NJ
United States

To rate posts you must be logged in
#14
pkerichang wrote:
wait, but then if S is a set of one interval, [0, 0.6], then the statement will not be true. (or the case that S = \{[0, 0.5], [0.7, 0.71]\}


If S=[0,0.6] or S=\{[0, 0.5], [0.7, 0.71]\}, then S contains 0.1 and 0.2, which differ by 0.1. Smile

PostPosted: Sat May 13, 2006 7:11 pm  Back to top 
  ProfilePM
amcavoy
Yang-Mills Theory
Yang-Mills Theory

Offline
Joined: 21 Mar 2005
Posts: 922
United States

To rate posts you must be logged in
#15
If S_{k}=\left[a,b\right], then t\in S_{k} if and only if a\leq t\leq b, meaning that the two elements that differ by .1 don't have to be in disjoint intervals.
Last edited by amcavoy on Sun May 14, 2006 10:40 am; edited 1 time in total 
PostPosted: Sun May 14, 2006 10:39 am  Back to top 
  ProfilePM
chess64
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer


Offline
Joined: 20 Feb 2005
Posts: 4873
PakistanUnited States

To rate posts you must be logged in
#16
amcavoy wrote:
If S_{k}=\left[a,b\right], then t\in S_{k} if and only if a\leq t\leq b.


Your point is . . . ?

PostPosted: Sun May 14, 2006 10:40 am  Back to top 
  ProfilePMBlogAlbum
amcavoy
Yang-Mills Theory
Yang-Mills Theory

Offline
Joined: 21 Mar 2005
Posts: 922
United States

To rate posts you must be logged in
#17
Edited.

One of the previous posters must have thought that they needed to be in different intervals (meaning that it wasn't realized that points inside an interval can differ by .1).

PostPosted: Sun May 14, 2006 10:46 am  Back to top 
  ProfilePM
chess64
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer


Offline
Joined: 20 Feb 2005
Posts: 4873
PakistanUnited States

To rate posts you must be logged in
#18
Just a clarification: \mathcal{S} is a union of intervals only.

PostPosted: Tue May 16, 2006 4:10 pm  Back to top 
  ProfilePMBlogAlbum
krassi_holmz
Hodge Conjecture
Hodge Conjecture


Offline
Joined: 10 Dec 2005
Posts: 70
Location: Bulgaria
Bulgaria

To rate posts you must be logged in
#19
I think I got it.

PostPosted: Fri May 19, 2006 5:50 am  Back to top 
  ProfilePM
chess64
Birch & Swinnerton Dyer
Birch & Swinnerton Dyer


Offline
Joined: 20 Feb 2005
Posts: 4873
PakistanUnited States

To rate posts you must be logged in
#20
Sorry for the delay guys, I'll try to get the solutions graded tomorrow.

Oh yeah and if somebody would like to take over the contest, please PM me. Otherwise, I don't think it will continue... Sad

PostPosted: Sat May 20, 2006 5:08 pm  Back to top 
  ProfilePMBlogAlbum
Display posts from previous:   Sort by:   
193 Posts • Page 1 of 10 • 1, 2, 3, ..., 8, 9, 10 Next
Post new topic   Reply to topic View previous topicView next topic
Jump to:  

You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
You cannot attach files in this forum
You can download files in this forum
You cannot post calendar events in this forum


© Copyright 2008 AoPS Incorporated. All Rights Reserved. • FoundationPrivacyContact Us