Maths Olympiad Prep

Library / /23 of 27

, 2015

Combinatorics Difficulty 4.1 AIME Prove it Canada

Consider nn line segments, where each pair of line segments intersect at a different point, and not at an endpoint of any of the nn line segments. Let T(n)T(n) be the sum of the number of intersection points and the number of endpoints of the line segments. For example, T(1)=2T(1) = 2 and T(2)=5.T(2) = 5. The diagram below illustrates that T(3)=9T(3)=9.

What do T(4)T(4) and T(5)T(5) equal?
Express T(n)T(n1)T(n) -T(n-1) in terms of nn.
Determine all possible values of nn such that T(n)=2015T(n) = 2015.

Solution

Diagram 1 illustrates that T(3)=9T(3)=9.

To determine T(4)T(4), add 1 line segment to Diagram 1 as shown in Diagram 2.

We are told that this new (4th^{th}) line segment must intersect each of the existing 3 line segments exactly once, creating 3 new points of intersection (labelled 1,2,31,2,3).

This 4th^{th} line segment also adds 2 new endpoints (labelled 44 and 55) distinct from the previous 3 new points.

In addition, each of the points which exist in the illustration of T(3)T(3) (Diagram 1) continue to exist in the illustration of T(4)T(4) (Diagram 2) and are distinct from each of the new points which were added.

Therefore, we get T(4)=T(3)+3+2=9+3+2=14\begin{aligned} T(4)& =T(3)+3+2\\ & =9+3+2\\ & =14\end{aligned} Diagram 2 illustrates that T(4)=14T(4)=14.

To determine T(5)T(5), add 1 line segment to Diagram 2 as shown in Diagram 3.

We are told that this new (5th^{th}) line segment must intersect each of the existing 4 line segments exactly once, creating 4 new points of intersection (labelled 1,2,3,41,2,3,4).

This 5th^{th} line segment also adds 2 new endpoints (labelled 55 and 66) distinct from the previous 4 new points.

In addition, each of the points which exist in the illustration of T(4)T(4) (Diagram 2) continue to exist in the illustration of T(5)T(5) (Diagram 3) and are distinct from each of the new points which were added.

Therefore, we get T(5)=T(4)+4+2=14+4+2=20\begin{aligned} T(5)& =T(4)+4+2\\ & =14+4+2\\ & =20\\\end{aligned}

[[IMAGE0]]

[[IMAGE1]]
[[IMAGE2]]

Therefore, T(4)=14T(4)=14 and T(5)=20T(5)=20.
As in part (a), consider finding T(n)T(n) with the help of (in terms of) T(n1)T(n-1) for any integer n2n\geq2.

To determine T(n)T(n), add 1 line segment to any illustration of T(n1)T(n-1).

This new (nthn^{th}) line segment must intersect each of the existing n1n-1 line segments exactly once, creating n1n-1 new points of intersection.

This nthn^{th} line segment also adds 2 new endpoints (distinct from the previous n1n-1 points).

In addition, each of the points which exist in the illustration of T(n1)T(n-1) continue to exist in the illustration of T(n)T(n) and are distinct from each of the new points which were added.
Therefore, we get T(n)=T(n1)+(n1)+2T(n)=T(n-1)+(n-1)+2 or T(n)=T(n1)+n+1T(n)=T(n-1)+n+1 and so T(n)T(n1)=n+1T(n)-T(n-1)=n+1 for all n2n\geq2.
From part (b), T(n)T(n1)=n+1T(n)-T(n-1)=n+1 and so T(n)=T(n1)+n+1T(n)=T(n-1)+n+1.

That is, the addition of an nthn^{th} line segment increases T(n1)T(n-1) by n+1n+1.

For example since T(1)=2T(1)=2, then T(2)=T(1)+3=2+3T(2)=T(1)+3=2+3.

For small values of nn, we determine T(n)T(n) in the table below.

nn
T(n)=T(n1)+n+1,n2T(n)=T(n-1)+n+1, n\geq2

2
T(2)=T(1)+3=2+3T(2)=T(1)+3=2+3

3
T(3)=T(2)+4=2+3+4T(3)=T(2)+4=2+3+4

4
T(4)=T(3)+5=2+3+4+5T(4)=T(3)+5=2+3+4+5

5
T(5)=T(4)+6=2+3+4+5+6T(5)=T(4)+6=2+3+4+5+6

6
T(6)=T(5)+7=2+3+4+5+6+7T(6)=T(5)+7=2+3+4+5+6+7


We may use the pattern in the table above to establish an equation for T(n)T(n).

What is the pattern?

Consider for example the row for n=5n=5.

T(5)T(5) is the sum of the positive integers from 2 to n+1=5+1=6n+1=5+1=6.

This is true for each of the rows shown in the table.

That is, T(n1)=2+3+4++nT(n-1)=2+3+4+\dots+n for any positive integer n3n\geq3.

(Verify that this is true for each of the rows shown in the table.)

Since the addition of an nthn^{th} line segment increases T(n1)T(n-1) by n+1n+1, then T(n)=T(n1)+n+1T(n)=T(n-1)+n+1 and so T(n)=(2+3+4++n)+n+1T(n)=(2+3+4+\dots+n)+n+1.

Reorganizing this equation for T(n)T(n), we get T(n)=1+2+3+4++n+n.T(n)=1+2+3+4+\cdots+n+n. Since the sum of the first nn positive integers 1+2+3+4++n1+2+3+4+\cdots+n is equal to n(n+1)2\dfrac{n(n+1)}{2}, then T(n)=n(n+1)2+nT(n)=\dfrac{n(n+1)}{2}+n.

Solving T(n)=2015T(n)=2015, we get

n(n+1)2+n=2015n(n+1)+2n=4030n2+3n=4030n2+3n4030=0(n62)(n+65)=0\begin{aligned} \dfrac{n(n+1)}{2}+n& =2015\\ n(n+1)+2n& =4030\\ n^2+3n& =4030\\ n^2+3n-4030& =0\\ (n-62)(n+65)& =0\end{aligned} and so n=62n=62 (since n>0n>0). (We could use the quadratic formula if we didn’t see how to factor the quadratic.)
Therefore, n=62n=62 is the only value of nn for which T(n)=2015T(n)=2015.

Want a route through all this instead of an archive? The track puts 2,444 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: CEMC, University of Waterloo, licensed CC-BY-NC-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.