23 views

Uploaded by dini5793

A two colour theorem

A two colour theorem

© All Rights Reserved

- Social Network Analysis: Computational Journalism week 9
- Exam 1
- N T H E T O W E R O F B A B E L : B E Y O N D S Y M M E T R Y I N I S L A M I C D E S I G N
- 28073740 a Primer for Logic and Proof 2009 Ed
- Induction for math
- reading notes
- Kurnik Eng
- Ian Hacking-What is Strict Implication
- Math 208
- 4364_n_16214
- Rooms
- Induction Probs
- CommonErrorsHowToAvoid ChRealnumbers X Math0
- Exploring Number Patterns
- CH6
- MATA31_TT1_2012F
- Hw 8 Solutions
- Principles of Logic
- 1712.03620
- Chapter 3 - Proofs

You are on page 1of 6

THEOREM

Consider any finite collection of straight lines in the plane. Then the regions in the

plane created by these lines can be coloured with two colours in such a way that

any two regions sharing a common border have different colours.

PROOF

We will argue by induction on the number of lines. For each natural number n, let Claim

(n) be:

The regions created in the plane by n straight lines can be coloured with two colours.

Step 1: It is clear that the regions created by a single straight line can be coloured with

two colours, as there are only two regions.

Step 2: Let k be a natural number, and assume that Claim (k) is true, i.e., assume that

the regions created in the plane by k straight lines can be coloured with two colours.

We wish to use this to prove Claim (k+1), i.e., that the regions created in the plane by

k+1 straight lines can be coloured with two colours.

Assume that we have k+1 distinct straight lines in the plane. Choose any one of them,

say l, and remove it. We are left with k straight lines, and so the resulting regions can

be coloured with two colours, as we have assumed that the Claim (k) is true. Hence,

there is a two-colouring of this set of regions.

Take such a colouring of the regions, say with black and white, and add the line l back.

Change the colour of each region on one side of the line l (so black becomes white and

white becomes black) and leave the regions on the other side of l their original colour.

By the principle of mathematical induction, it follows that, for every natural number n,

the regions created in the plane by n straight lines can be coloured with two colours.

NON-INDUCTIVE

PROOF

Assume that we have a finite number of straight

each line in any way at all. An example is given by the arrowheads in the following

diagram 2. Now it makes sense to talk about the left side and the right side of each

line. For each region R, count the number of lines l such that the region R is on the left

side of l. (The number is given in each region R in the diagram 2)

white if is even, and

black if is odd.

Assume that R and S are

regions that share a

border that is a part of

the line l. We must prove

that R and S have

different colours. Since R

and S share a border

that is part of l, one of

the regions is to the left

of l and the other is to

the right of l. Moreover,

the regions R and S are

on the same side of

every other line. Thus,

the numbers and must

differ by 1, and so one of

the numbers is even and

the other is odd.

Consequently, the

regions R and S have

different colours, as

required.

- Social Network Analysis: Computational Journalism week 9Uploaded byJonathan Stray
- Exam 1Uploaded byamruuuu
- N T H E T O W E R O F B A B E L : B E Y O N D S Y M M E T R Y I N I S L A M I C D E S I G NUploaded byjamey_mork1
- 28073740 a Primer for Logic and Proof 2009 EdUploaded by11bootasingh
- Induction for mathUploaded byMufita Nur Aini
- reading notesUploaded byapi-227219671
- Kurnik EngUploaded byNhân Nguyễn Hữu
- Ian Hacking-What is Strict ImplicationUploaded byjf_90
- Math 208Uploaded byRifat Zaman
- 4364_n_16214Uploaded bySimon Rampazzo
- RoomsUploaded byMuhammad Awais Sattar
- Induction ProbsUploaded byEdiOvalle
- CommonErrorsHowToAvoid ChRealnumbers X Math0Uploaded byAbhishek Kumar
- Exploring Number PatternsUploaded byWilliam_Daniel_9479
- CH6Uploaded byMaruf_007
- MATA31_TT1_2012FUploaded byexamkiller
- Hw 8 SolutionsUploaded byepy90
- Principles of LogicUploaded byEliel Olivere
- 1712.03620Uploaded byNgô Quang Minh
- Chapter 3 - ProofsUploaded bytrevorsum123
- Coliva, Annalisa. Moore's Proof of an External World. Just Begging the QuestionUploaded byViktor Vangelov
- cse_3_2013Uploaded bytrismahesh
- 1. PrelimUploaded byre
- Notes on RecursiveFunctionsUploaded byCarlos Cano Muñoz
- Dimension TheoremUploaded byIndyTwilight
- markovUploaded byJessica Gomez
- C2 a Level Maths Curve Sketching AnswersUploaded byغہر يہبة
- BinomialUploaded byChenn Chen
- New Text DocumentUploaded byShubham Birange
- Graph Data Rev. 1Uploaded byKapil Nandwana

- Present Simple & Pre. Continuous HandoutUploaded byLita_8
- Instruction SetUploaded bySunil Kumar
- Oracle Student Guide 113065985 Schedule Dec12 May13Uploaded bykganeshkumaran
- ASP.NET MVCUploaded byMerlin
- THE BUDDHIST BOUNDARY MARKERS OF NORTHEAST THAILAND AND CENTRAL LAOS, 7TH-12TH CENTURIES CE: TOWARDS AN UNDERSTANDING OF THE ARCHAEOLOGICAL, RELIGIOUS AND ARTISTIC LANDSCAPES OF THE KHORAT PLATEAUUploaded byshodhganga
- AllUploaded bysusantapalit
- Origin of CrossUploaded byhebrew777spm
- 1+BC-2016-Exploring+content...Uploaded byvcautin
- 19 P G Diploma in Piping Design - Course SyllabusUploaded byprince_lal
- MP paperUploaded byRaj
- visual analysis peer reviewUploaded byapi-385695505
- DocumentationUploaded byBraj Kumar
- Bebop Characteristics by David BakerUploaded bylocomotive223
- Copia de Cocomo II EstimationUploaded byMarcelo Mita
- multipassaasemblerUploaded byBala Jai
- 761-complete-guide-to-sap-bw-new-reporting-tools.pptUploaded byrohit sharma
- cse 142 baby namesUploaded byapi-305348980
- 1aUploaded byNour AbuMeteir
- Spread SpectrumUploaded byAmit Swar
- Part I-general Pgms 8086Uploaded byPrithivi Raj
- Iicaem PaperUploaded byJae-Gang Jang
- ME PED LABUploaded byBalasubramani
- Lit Engleza An1 Sem1 SirbulescuUploaded bySirbu Ana-Maria
- A Promise of RomanceUploaded byAlexandra Tofan
- HOMP 02 -112EssayDraft4Uploaded byMrMajorMajor
- Boas MathematicalMethods ErrataUploaded bymanny2011
- Oracle - Polling a Database Versus Triggering Program From Database_ - Stack OverflowUploaded bynothzin
- Al Fajr Issue 1 Vol 4Uploaded byabidalim
- Resource Management and Analysis Best Practices for DtapowerUploaded byJagadeeh Valasapalli
- 5_Poems and Songs ResourcesUploaded byCristina Mihaela Tronaru