Circle Proof Homework: Finding the Number of Regions with Induction

  • Thread starter Thread starter tronter
  • Start date Start date
  • Tags Tags
    Circle Proof
Click For Summary
SUMMARY

The discussion centers on the problem of determining the number of regions, denoted as a_n, formed by connecting n points on a circle without concurrent lines. The established formula for a_n is a_n = n + \binom{n-1}{2} + \binom{n-1}{3} + \binom{n-1}{4} = 1 + \frac{n(n-1)(n^{2}-5n+18)}{24}. Participants explore the use of strong induction and Euler's formula to prove the correctness of this formula, noting the difficulty in establishing a clear pattern for values of a_n beyond n=5.

PREREQUISITES
  • Understanding of binomial coefficients, specifically \(\binom{n}{k}\)
  • Familiarity with strong induction and its application in proofs
  • Knowledge of Euler's formula relating vertices, edges, and faces in planar graphs
  • Basic concepts of combinatorial geometry
NEXT STEPS
  • Study the application of strong induction in combinatorial proofs
  • Learn about Euler's formula in the context of planar graphs
  • Explore the binomial theorem and its coefficients
  • Investigate combinatorial geometry and its principles
USEFUL FOR

Mathematics students, educators, and anyone interested in combinatorial proofs and geometric configurations will benefit from this discussion.

tronter
Messages
183
Reaction score
1

Homework Statement



Suppose that [tex]n[/tex] points lie on a circle are all joined in pairs. The points are positioned so that no three joining lines are concurrent in the interior of the circle. Let [tex]a_n[/tex] be the number of regions into which the interior of the circle is divided. Draw diagrams to find [tex]a_n[/tex] is given by the following formula [tex]a_n = n + \binom{n-1}{2} + \binom{n-1}{3} + \binom{n-1}{4} = 1+ \frac{n(n-1)(n^{2}-5n+18)}{24}[/tex].






Homework Equations



Maybe use strong induction or [tex]P(n \leq k) \Rightarrow P(k+1)[/tex]


The Attempt at a Solution



Here is what I drew: http://uploadimages.com/view.php?type=thumb3&p=2007/0081/11820544788596.jpg"

I think strong induction is just a special case of regular induction. So really we can always use strong induction. I can't seem to find a pattern.

There seems to be a pattern for [tex]a_n = 1,2,3 \ldots 6[/tex] (i.e. [tex]1, 2, 4, 8, 16, 31, 57, 99, 163[/tex]). But then the "powers of two" pattern ends after [tex]n = 5[/tex]. So I am not sure strong induction could be used.

But how would I prove the inductive step? Would I use the definition of the binomial coefficient?

Thanks
 
Last edited by a moderator:
Physics news on Phys.org
Proving that the formula is correct is a very hard problem. If I remember correctly, you use Euler's formula: if a diagram in the plane has v vertices, f faces, and s sides, then v- s+ f= 2. If you add one more point on circle and draw all lines to other points, how many of those previous lines will they cross? how many new "sides" and "vertices" will that produce?

You might recognize that formula using binomial coefficients as part of the "binomial theorem"- the first four coefficients of (x+ y)n.
 
This was given as a problem in a book I am self studying from. So it is a pretty hard problem then? Would students be expected to do this?

Thanks
 

Similar threads

  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 13 ·
Replies
13
Views
3K
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 19 ·
Replies
19
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
8
Views
2K