Community

Do you have what it takes to be the next brilliant trader, researcher, or developer at Jane Street Capital? Find out in the Careers in Mathematics Forum.
Login Register Memberlist Search AoPS Blogs Contests Galleries Forum Index
The time now is Tue Nov 24, 2009 12:00 pm
All times are UTC - 8
View posts since last visit
View unanswered posts
distances
Moderators: High School Olympiad Moderators, darij grinberg, freemind, Megus, N.T.TUAN, orl, pbornsztein
Post new topic   Reply to topic View previous topicView next topic
7 Posts • Page 1 of 1
Author Message
king.of.dragon
P versus NP
P versus NP

Offline
Joined: 05 Jun 2009
Posts: 26
Location: some where in the world
Viet NamCanada

To rate posts you must be logged in
#1
distances
distances

Let n points (n\ge4)such that distance of any two points is in Z.Prove that minimum is \frac{1}{6} distances which are multiples of 3

PostPosted: Wed Sep 16, 2009 2:19 am  Back to top 
  ProfilePMYM
king.of.dragon
P versus NP
P versus NP

Offline
Joined: 05 Jun 2009
Posts: 26
Location: some where in the world
Viet NamCanada

To rate posts you must be logged in
#2
No one can do it?
I think it seems very difficult .Who can solve it?

PostPosted: Tue Sep 22, 2009 4:55 am  Back to top 
  ProfilePMYM
mavropnevma
Yang-Mills Theory
Yang-Mills Theory


Offline
Joined: 27 Jun 2009
Posts: 678
Location: Bucharest
CanadaRomania

To rate posts you must be logged in
#3
Assume we have proven it for the base case n = 4. The simple approach of arguing
Quote:

if we take any 4 of the n points given, at least one of the 6 distances is divisible by 3, hence the proportion of these distances among the whole must also be at least 1/6

is both pernicious and fallacious. Let us think it in graph terminology. The n vertices (represented by the points) are connected by edges (where the distance between the two points is divisible by 3). Knowing that any induced subgraph on 4 vertices has at least one edge, estimate the least number m of edges for the whole graph. Looking at the complement graph, this is tantamount to estimating the largest number of edges for a graph on n vertices that contains no K_4. But the answer is given by Turan's theorem. We prefer to give a proof based on the Caro-Wei theorem.

Theorem. For a finite graph G = (V,E), denoting by \alpha(G) the independence number of G (the largest number of vertices in an induced subgraph with no edges), the following holds \displaystyle \alpha(G) \geq \sum_{v \in V} \frac {1} {\deg v + 1}.

So in our case we need \displaystyle 3 \geq \alpha(G) \geq \sum_{i = 1}^{n} \frac {1} {\deg v_i + 1} \geq n\frac {1} {\frac {\sum_{i = 1}^{n} \deg v..., by Jensen's inequality (since \frac {1} {x + 1} is a concave function). Therefore m \geq \frac {n(n - 3)} {6} \geq \frac {1} {6} \genfrac {(} {)} {0pt} {} {n} {2} = \frac {1} {6} \cdot \frac {n(n - 1)} {2} for n\geq 5.

Now for the base case n = 4, we may choose coordinates such that the four points are O(0,0), A(a,0), B(b\cos\beta, b\sin\beta), C(c\cos\gamma, c\sin\gamma), with a,b,c \in \mathbb{Z}_ + ^*. The squares of the six distances are then a^2, b^2, c^2, a^2 + b^2 - 2ab\cos\beta, a^2 + c^2 - 2ac\cos\gamma, b^2 + c^2 - 2bc\cos(\beta - \gamma), and I see no other way than a tedious number theoretical analysis, where probably we get to need the angles related to some Pythagorean triangles, where divisibility by 3 could be checked.
_________________
Listen to REMBETIKA for decoding the handle.

PostPosted: Wed Sep 23, 2009 1:05 pm  Back to top 
  ProfilePM
mavropnevma
Yang-Mills Theory
Yang-Mills Theory


Offline
Joined: 27 Jun 2009
Posts: 678
Location: Bucharest
CanadaRomania

To rate posts you must be logged in
#4
For the base case n=4, by choosing convenient coordinates we can assume the points are O(0,0), A(a,0), B(b\cos\beta, b\sin\beta) and C(c\cos\gamma, c\sin\gamma), with the squares of their pairwise distances given by a^2, b^2, c^2, r^2 = a^2+b^2-2ab\cos\beta, s^2 = a^2+c^2-2ac\cos\gamma and t^2 = b^2+c^2-2bc\cos(\beta -\gamma), where a,b,c, r, s, t \in \mathbb{Z}_+^*.

Assume none is divisible by 3, so a^2 \equiv b^2 \equiv c^2 \equiv r^2 \equiv s^2 \equiv t^2 \equiv 1 \pmod{3}.
We have \cos\beta = \frac {a^2+b^2-r^2} {2ab} = \frac {p} {q} with (p,q) = 1, \cos\gamma = \frac {a^2+c^2-s^2} {2ac} = \frac {u} {v} with (u,v) = 1, so we also have p^2 \equiv q^2 \equiv u^2 \equiv v^2 \equiv 1 \pmod{3}.
Applying a dilation of ratio qv \not \equiv 0 \pmod{3} to the whole configuration, the points become O(0,0), A'(aqv,0), B'(bpv, \pm bv\sqrt{q^2-p^2}) and C'(cqu, \pm cq\sqrt{v^2-u^2}), so the squares of the distances become 1, 1, 1, (aqv - bpv)^2, (aqv - cqu)^2 and (bpv - cqu)^2 modulo 3.

But among the three integer abscissa aqv, bpv, cqu, congruent to \pm 1 modulo 3, there must exist two with their difference divisible by 3, so one of the latter three distances will be 0 modulo 3, contradiction.
_________________
Listen to REMBETIKA for decoding the handle.

PostPosted: Thu Sep 24, 2009 7:13 am  Back to top 
  ProfilePM
king.of.dragon
P versus NP
P versus NP

Offline
Joined: 05 Jun 2009
Posts: 26
Location: some where in the world
Viet NamCanada

To rate posts you must be logged in
#5
mavropnevma wrote:
For the base case n = 4, by choosing convenient coordinates we can assume the points are O(0,0), A(a,0), B(b\cos\beta, b\sin\beta) and C(c\cos\gamma, c\sin\gamma), with the squares of their pairwise distances given by a^2, b^2, c^2, r^2 = a^2 + b^2 - 2ab\cos\beta, s^2 = a^2 + c^2 - 2ac\cos\gamma and t^2 = b^2 + c^2 - 2bc\cos(\beta - \gamma), where a,b,c, r, s, t \in \mathbb{Z}_ + ^*.

Assume none is divisible by 3, so a^2 \equiv b^2 \equiv c^2 \equiv r^2 \equiv s^2 \equiv t^2 \equiv 1 \pmod{3}.
We have \cos\beta = \frac {a^2 + b^2 - r^2} {2ab} = \frac {p} {q} with (p,q) = 1, \cos\gamma = \frac {a^2 + c^2 - s^2} {2ac} = \frac {u} {v} with (u,v) = 1, so we also have p^2 \equiv q^2 \equiv u^2 \equiv v^2 \equiv 1 \pmod{3}.
Applying a dilation of ratio qv \not \equiv 0 \pmod{3} to the whole configuration, the points become O(0,0), A'(aqv,0), B'(bpv, \pm bv\sqrt {q^2 - p^2}) and C'(cqu, \pm cq\sqrt {v^2 - u^2}), so the squares of the distances become 1, 1, 1, (aqv - bpv)^2, (aqv - cqu)^2 and (bpv - cqu)^2 modulo 3.

But among the three integer abscissa aqv, bpv, cqu, congruent to \pm 1 modulo 3, there must exist two with their difference divisible by 3, so one of the latter three distances will be 0 modulo 3, contradiction.


thanks mavropnevma for your solution
But can u tell me more details in relation of A;B;C and A';B';C'? Blush
Why do we have A';B';C'?
And why are aqv;bqv;cqv congruent to 1 modulo 3?
I am not sure that if a\equiv1(mod3);q\equiv1(mod3) and v\equiv-1(mod3)=>aqv\equiv1(mod3) ??? maybe

PostPosted: Sun Nov 08, 2009 9:13 pm  Back to top 
  ProfilePMYM
mavropnevma
Yang-Mills Theory
Yang-Mills Theory


Offline
Joined: 27 Jun 2009
Posts: 678
Location: Bucharest
CanadaRomania

To rate posts you must be logged in
#6
1. The dilation of ratio qv (a homothety of center O) is only needed because the distances between the points O,A,B,C are only known to be rational. By doing this homothety, we get the points O,A',B',C' with integer distances between them.

2. I never said that from a, q, v, congruent to \pm 1 modulo 3, it must follow that aqv \equiv 1 \pmod{3}. If you read the last part, I only said that aqv, bpv, cqu, are congruent to \pm 1 modulo 3. This in turn implies that two of them must have same congruence (pigeonhole principle: three numbers, and only two congruences -1 and 1).
_________________
Listen to REMBETIKA for decoding the handle.

PostPosted: Sun Nov 08, 2009 10:45 pm  Back to top 
  ProfilePM
king.of.dragon
P versus NP
P versus NP

Offline
Joined: 05 Jun 2009
Posts: 26
Location: some where in the world
Viet NamCanada

To rate posts you must be logged in
#7
Can u tell me solution with n>4? Mr. Green
I haven't already proved with n>4

PostPosted: Tue Nov 10, 2009 6:06 am  Back to top 
  ProfilePMYM
Display posts from previous:   Sort by:   
7 Posts • Page 1 of 1
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