f ( n ) is the number of intersections of diagonals inside a regular n -sided polygon.
For example, in the diagram, f ( 6 ) = 1 3 .
Which is larger, f ( 2 0 1 7 ) or f ( 2 0 1 8 ) ?
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
I found the MIT paper, so got the answer there, but it took me a while to figure out how to use their results.
This is not completely correct as a solution, as nC4 does not give you the correct number of intersection points for odd-sided polygons. For example, an equilateral, equiangular triangle will have 3 diagonals, with only 1 intersection point. And 1 /=/ (3C4) as 3C4 is mathematically impossible.
Log in to reply
An equilateral triangle has no diagonals. And thus no intersections, which matches the usual definition of 3C4 = 0.
Log in to reply
Then the solution should have included the rule of diagonals that connect vertices.
It seems reasonable that with 2017 being prime that it might have more crossings because there will be fewer that coincide. It even happens for small primes: f ( 1 2 ) < f ( 1 1 ) Some relevant lines of Number of intersections of diagonals in the interior of regular n-gon.
2016 684480896065
2017 687574403880
2018 687235550401
Note how small f(2016) is with all of its factors.
I wonder if we can translate the statement that 3 diagonals of a regular N-gon intersect at the same point into some number theoretic statement about modulo N artihmetic. It might be a way to make this intuition of prime numbered regular polygons having larger intersection points concrete.
None of the mentioned solutions are sufficiently self contained, so here's a sufficiently self contained solution.
As Zico mentioned, solution is based on ( 4 n ) because every quadruplet of points results in exactly one pair of intersecting diagonals. So, if we had to count the intersecting pairs of diagonals, we are done. But we have to count the intersections and the problem with that is different pairs of diagonals can intersect at the same point. But still, the above arguments shows that,
f ( n ) ≤ ( 4 n )
For the solution we need 2 facts -
1) For large primes (that is including 2017, which is a prime), this is an equality.
2) The correction for even sided polynomials is large enough to overcome the increase in ( 4 n ) .
Roughly the argument will be that for large n ,
( 4 n ) ∼ 2 4 n 4
so, ( 4 ( n + 1 ) ) − ( 4 n ) ∼ 6 n 3
We'll show that for large even n ,
( 4 n ) − f ( n ) ≳ 2 4 5 n 3
So, for large enough even n , the correction for even sided polynomials is large enough to overcome the increase in ( 4 n ) .
For the first claim, that is for large primes (that is including 2017, which is a prime), this is an equality, I'm going to use notations from the figure 2 and corresponding analysis (which uses nothing more that similar triangles and basic properties of triangles and circles) in paper . The analysis I need out of the paper is VERY simple and I'm using that only to same myself some trouble of copying figure and analysis from there.
The equation we need is sin ( u / 2 ) sin ( v / 2 ) sin ( w / 2 ) = sin ( x / 2 ) sin ( y / 2 ) sin ( z / 2 ) . Now it's clear that by writing s i n s in terms of exponential, for prime p sided polygon, we can obtain a polynomial relation followed by the primitive 2 p -th root of unity. Even without writing down the polynomial, we can see that it should be a non-constant polynomial with < 1 6 terms, < 2 p − 3 degree and rational coefficients. But by the irreducibility of cyclotomic polynomial Φ 2 p ( x ) , for any p ≥ 1 7 , we know such polynomial can't exist. So, f ( p ) = ( 4 p ) for prime p ≥ 1 7 . QED
In reality, as mentioned in the paper, this equality holds for all odd inputs but we don't need that.
For the second claim, for even n , let's lower bound the number of triplets of diagonals intersecting at same point. In naive counting each triplet is 3 times, so correction factor will be double of number of triples. One trivial kind of solution to sin ( u / 2 ) sin ( v / 2 ) sin ( w / 2 ) = sin ( x / 2 ) sin ( y / 2 ) sin ( z / 2 ) can be obtained by considering u , v and w as permutations of x , y and z . We can consider 2 cases -
1) one diagonal is passing through center - first choose a diagonal passing through center ( 2 n number of choices), now choose a point on one side of it ( 2 n − 2 number of choices), then point on other side which is not opposite or reflection to the point the first side (at least 2 n − 6 number of choices). The above two points makes the second diagonal and the reflection of it makes the third diagonal, note that because of reflection each triplet is counted twice,
Total trivial solutions in this case ≥ 1 6 n ( n − 2 ) ( n − 6 )
So respective correction ≥ 8 n ( n − 2 ) ( n − 6 )
2) no diagonal are passing through center - this is possible only if the circle is divided into x , x , y , y , z , z arcs and x , y , z are distinct. One example is shown in figure 3 in paper . Now splitting 2 n in 3 parts, not necessarily distinct, is ( 3 − 1 2 n − 1 ) = 8 ( n − 2 ) ( n − 4 ) . And splits where at least 2 of x , y or z are equal can't exceed 3 ( 2 n − 1 ) . Now for the first vertex there are n choices to make a triplet but every triplet will be counted thrice because of cycles of x , y , z . So,
Total trivial solutions in this case ≥ 2 4 n ( n − 2 ) ( n − 1 6 )
So respective correction ≥ 1 2 n ( n − 2 ) ( n − 1 6 )
Adding the above two -
correction ≥ 2 4 5 n ( n − 2 ) ( n − 1 0 )
Which is, as mentioned earlier, ∼ 2 4 5 n 3 .
Finally, by the above results,
As 2 0 1 7 is a prime greater than 1 7 , so f ( 2 0 1 7 ) = ( 4 2 0 1 7 ) = 6 8 7 5 7 4 4 0 3 8 8 0
And f ( 2 0 1 8 ) ≤ ( 4 2 0 1 8 ) − 2 4 5 ∗ 2 0 1 8 ( 2 0 1 8 − 2 ) ( 2 0 1 8 − 1 0 ) = 6 8 8 9 3 9 9 9 3 5 6 0 − 1 7 0 1 9 0 0 4 8 0 = 6 8 7 2 3 8 0 9 3 0 8 0
So, f ( 2 0 1 8 ) < f ( 2 0 1 7 )
For comparison, as mentioned by Zico, f ( 2 0 1 8 ) = 6 8 7 2 3 5 5 5 0 4 0 1 so my approximation is off by 0 . 0 0 0 3 7 % .
The polygon with 2 0 1 7 sides has 6 8 7 5 7 4 4 0 3 8 8 0 intersection points
The polygon with 2 0 1 8 sides has 6 8 7 2 3 5 5 5 0 4 0 1 intersection points
Sure isn't immediately obvious that f ( 2 n − 1 ) > f ( 2 n ) , which is apparently true for all n > 8
Here's the formula for f ( n ) reprinted for the benefit of readers
4 ! ( n − 4 ) ! n ! + 2 4 1 ( − 5 n 3 + 4 5 n 2 − 7 0 n + 2 4 ) δ 2 ( n )
− 2 3 n δ 4 ( n ) + 6 1 ( − 4 5 n 2 + 2 6 2 n ) δ 6 ( n )
+ 4 2 n δ 1 2 ( n ) + 6 0 n δ 1 8 ( n ) + 3 5 n δ 2 4 ( n ) − 3 8 n δ 3 0 ( n ) − 8 2 n δ 4 2 ( n )
− 3 3 0 n δ 6 0 ( n ) − 1 4 4 n δ 8 4 ( n ) − 9 6 n δ 9 0 ( n ) − 1 4 4 n δ 1 2 0 ( n ) − 9 6 n δ 2 1 0 ( n )
where δ m ( n ) = 1 if n ( M o d m ) = 0 , otherwise δ m ( n ) = 0
Once we have this formula
f
(
n
)
, it can be shown that
f
(
2
n
−
1
)
>
f
(
2
n
)
for all
n
>
8
. First, we find the difference
f
(
2
n
−
1
)
−
f
(
2
n
)
where we leave off all the correction factors
δ
m
for
m
>
6
, setting up four equations for cases
where
δ
4
,
δ
6
each have a value of either
1
or
0
. The rest of the correction factors have a maximum value of
1
3
7
⋅
2
n
which we subtract from this difference. Then we set each of the equations to
0
and solve for
n
, and find
n
has the maximum value of
4
6
.
0
5
5
, so that we know that
f
(
2
n
−
1
)
>
f
(
2
n
)
for
n
>
4
6
. Through checking the rest from
n
=
3
to
n
=
4
6
, we find that there are no counter examples after
n
>
8
, and the rough proof is done.
Please can you show your method so we can see how you reached that answer?
I don't know who is right, but have you read the link that Jeremy has posted?
Log in to reply
Goh, it's really late and really hard to get the general formula down just right.
I can't say I read it, but I understand how the formula works.
I think it's because with an even number of vertices, multiple pairs of lines will cross at the same point, meaning they are doubly counted, and then need to be subtracted
Yeah, I still have no idea how this gigantic expression was derived.
Log in to reply
You start with the problem of 3 or more diagonals having a common intersection. This only happens for polygons of certain number of sides, divisible by 2 , 4 , 6 , 1 2 , 1 8 , 2 4 , 3 0 , 4 2 , 6 0 , 8 4 , 9 0 , 1 2 0 , 2 1 0 . The most interesting numbers of these are 4 2 , 8 4 , 2 1 0 , being that those have a prime factor of 7 . The rest have a least common multiple of 3 6 0 . So, I'm going to have another look at heptagons.
Log in to reply
It would be much easier if you just linked the source of this gigantic formula, as what Zico has done above.
Log in to reply
@Pi Han Goh – I wanted to add a brief proof that f(2n-1) > f(2n). By having the formula up there, it's easier to see what's going on. This question really isn't an intermediate problem, unless guessing is okay.
A polygon with an odd number of sides will always have more diagonal intersections in respect to its number of angles. There's a good reason for this. With a polygon with and even number of sides, each point will always have exactly one other point directly across each other (cite this octagon to show how many each point connects to another here:
). However, with an odd number of sides, one vertex will connect to one point more that the rest (See the heptagon here:
). This should mean the same for the dokiloheptdecagon and dokilooctdecagon (That's my guess as to what they should be called). Yes, I just imagine a heptagon and octagon.
I don’t usually resort to this kind of thinking, but it sometimes works for multiple choice questions. This involves no maths what so ever, and maybe using this method every now and then is useful when you’re utterly clueless as to what to do.
Essentially, it’s process of elimination. The answer can’t be ‘they are the same’ because adding more edges definitely changes the amount of intersections. Once this is out the way, your in game of luck, with a 50/50 chance of getting it right. But wait, there’s a catch. The person writing this question isn’t going to make the answer intuitive and obvious, because why would they write the question otherwise. At first I was thinking ‘surely it’s the second one’, but then I thought ‘no, can’t be. Too obvious’. And so I thought it has to be the non-intuitive answer: the first choice.
Try it sometime; you never know, it might work (don’t resort to this all the time though, becuase it’s not real maths!).
Problem Loading...
Note Loading...
Set Loading...
The number of intersection points of the diagonals in a regular n -sided polygon is based on ( 4 n ) , because every set of four vertices determines six edges and/or diagonals, but only one pair of those six lines intersects inside the polygon (see example in left image below.)
The problem with this simple count is that it is possible for more than two diagonals to intersect at one point, as the octagon on the right above shows. It turns out this only happens with even n , so for odd n the number of intersections is exactly ( 4 n ) . For even n there are several correction factors, depending on whether the numbers 2 , 4 , 6 , 1 2 , 1 8 , 2 4 , 3 0 , 4 2 , 6 0 , 8 4 , 9 0 , 1 2 0 and/or 2 1 0 are factors of n . A very long formula and an even longer proof are given in this MIT paper .
Since the only prime factors of 2 0 1 8 are 2 and 1 0 0 9 , there is only one correction factor, which turns out to be 2 4 − 5 n 3 + 4 5 n 2 − 7 0 n + 2 4
For n = 2 0 1 8 , this works out to be − 1 7 0 4 4 4 3 1 5 9 . So
Thus f ( 2 0 1 7 ) > f ( 2 0 1 8 ) .