[/quote]
,
be a non-cyclic quadrilateral. Let 
and 
be the circumcentre and the circumradius of the triangle 
.
and 
in a similar way. Prove that![\[\frac{1}{O_1A_1^2-r_1^2}+\frac{1}{O_2A_2^2-r_2^2}+\frac{1}{O_3A_3^2-r_3^2}+\frac{1}{O_4A_4^2-r_4^2}=0.\]](http://latex.artofproblemsolving.com/f/f/5/ff575c3012e0b86c5aeeec32aae5268a4dad74d2.png)
Prove that
,
is rational for 
.
is called a rational point in 
-
.
and 
in 
and 
as 
.
,
,
be reals such that 
.Prove that
Where 
the equation 
and integers 
,
satisfying 
for 
(with the convention 
)![\[
\sum_{j=1}^n a_j^{2m-1} \leq \frac{mt}{2} \left( \sum_{j=1}^n a_j^{m-1} \right)^2.
\]](http://latex.artofproblemsolving.com/5/c/d/5cd52e9ce307563bde96f697a75079229d4bfcc2.png)
is inscribed in circle 
.
intersects side 
and 
and 
(other than 
be the midpoint of side 
intersects sides 
and 
again at 
and 
(other than 
be the midpoint of segment 
,
be the foot of the perpendicular from 
.
is tangent to the circumcircle of triangle 
.
prove that
and incircle 
.
and 
and 
respectively. Let 
and 
be points outside 
satisfying ![\[\angle BDX = \angle XEA = \angle YDC = \angle AFY = 45^{\circ}.\]](http://latex.artofproblemsolving.com/4/7/0/470b0486fa1342c4b6444ec1e3731c23bbb842fb.png)
Prove that the circumcircles of 
and 
.
such that 
be a fixed integer. The cells of an 
table are filled with the integers from 
to 
with each number appearing exactly once. Let 
of 
touch 
,
denote the line tangent to 
.
such that 
.
of 
.
Y by Tawan, centslordm, megarnie, thedragon01, Adventure10, Mango247
The edges of 
are each labeled with 
or 
such that any triangle has sum of labels at least 
Determine the minimum possible average of all 
labels.
(Here is defined as the complete graph on 2017 vertices, with an edge between every pair of vertices.)
Proposed by Michael Ma
are each labeled with 
or 
such that any triangle has sum of labels at least 
Determine the minimum possible average of all 
labels.(Here
is defined as the complete graph on 2017 vertices, with an edge between every pair of vertices.)Proposed by Michael Ma
be the set of vertices, 
be the set of edges and for 
let 
be the set of edges of 
.
be the subgraph of 
.
which associates each vertex with the maximum degree of vertices connected to it.
which associates each vertex with the average of the degrees of vertices connected to it. Obviously 
so if we show that 
we are done (remember that in this case degrees are defined on 
is the set of ordered couples of connected vertices in 
so if 
is the set of non ordered couples of connected vertices in 
)
be a function that associates each vertex to the number of edges in 
which starts from it. Clearly 
Besides note that 
(remember that 
is defined on 
such that 
and such that its degree in 
.
as the set of vertices which are connected to 
(obviously we are considering each edge as a couple of vertices) in order to respect the hypothesis that any triangol has sum of labels at least 
.
Hence, since 
is integer, it must be at least 
.
then the minimum average of labels of edges in 
Calling 
the edges of 
except for edges connecting 
and 
for 
which will be labelled with 
is minimum. In such labelling, consider edges 
are both labelled 
to 
with 
labelled 
for 
,![$$T= \frac{1}{ \binom{2017}{2}} \left[ 2 \cdot \left( \binom{2017}{2}-1008 \right)+1008 \right]= 2- \frac{1008}{\binom{2017}{2}}=2-\frac{1}{2017}.$$](http://latex.artofproblemsolving.com/0/8/f/08ff561da316a0a21e1662ab6272ec275bbdb925.png)
Construction: Consider 
vertices 
with 
are labelled 
where 
edges is still minimal.
,
,
,
.
edges labelled 
,
.
)
in 
edges labelled 
of its edges is minimally 
.
,
is 
.
:
is labeled 
and 
contribute a sum of at least 
.![\[ \binom{2m-1}{2} \left( 2 - \frac{1}{2m-1} \right) + (8m-4) + 1 = \binom{2m+1}{2} \left( 2 - \frac{1}{2m+1} \right) \]](http://latex.artofproblemsolving.com/2/5/5/2556873cf7ad148055f651874584545cf82f3626.png)
as desired.
with 
and 
,
with 
vertices, one can generate one on 
vertices by two vertices 
with weight 
for even 
for odd 
is also 
,
case of equality case. I have no clue where I should adjust the problem to.
-
edges. We call a pair of vertices 
fat if there exists a vertex 
adjacent to both 
different fat pairs.
-
) graph on 
edges, but we will start by adding first all the non-adjacent edges(call them initial edges), which are at most 
at number. It is clear that any edge we will add from this point(call those edges - babies) will be adjacent to at least one initial edge. Everytime we add a baby, let's say 
and color it in red, if it isn't already painted in red, where 
is an initial edge, if there are more segments that we can choose, we pick one randomly. Suppose that at a certain point, after adding a baby , let's say 
for which 
is an initial edge and 
is a baby, but this means that segment 
is also already painted in red, which means that there is an initial edge different from 
.
edges, which implies that the minimum sum of the labels that we can achieve is 
,
.![\[ \binom{2m-1}{2} \left( 2 - \frac{1}{2m-1} \right) + 8m + 1 = \binom{2m+1}{2} \left( 2 - \frac{1}{2m+1} \right) \]](http://latex.artofproblemsolving.com/d/2/e/d2e357d1e06a4ec274d9fb70ece7b6c0ef6fcc56.png)
as desired.
since there are only 
vertices when we delete the edge. Then, we compute![\[ \binom{2m-1}{2} \left( 2 - \frac{1}{2m-1} \right) + 8m - \mathbf{3} = \binom{2m+1}{2} \left( 2 - \frac{1}{2m+1} \right), \]](http://latex.artofproblemsolving.com/f/c/7/fc7bb5c4c5b23ebd0482b1ee36dfd9620be0782a.png)
so fortunately the solution works out. This is a funny case of two wrongs luckily (or unluckily depending on how you look at it) making the solution not fundamentally wrong.
and they have exactly one common vertice. In other words: take any vertice and if it has at least one edge 
or 
(as there's no 
l
.
labeled with ones and the rest with twos.
,
,
labels in a 
.
is trivial to verify.
,
.
labeled 
incident to it that is also a 
must be labeled 
is ![\[\frac{\left(2-\frac{1}{n-2}\right)\binom{n-2}{2}+2\cdot(n-2)+1}{\binom{n}{2}}=2-1/n,\]](http://latex.artofproblemsolving.com/9/c/d/9cdff5faf8a534e45940776f13f84e518c359033.png)
which completes the induction and the proof.
.
,
,
,
which fits. Now suppose that 
.
subgraph of the 
,
,
this means that the average for 
,
Construction is 
the labels of 
and 
sum to 
So just remove 
decreasing 
Repeat until no edges with label 
and 
.
.
be a simple graph. For each 
,
to be the average degree of the neighbors of 
Proof of the lemma:
Hence the lemma. 
.
and 
,
.
Which gives us 
,
.
