4
16 Mathematics in School, September 2017 The MA website www.m-a.org.uk The reformed Mathematics AS/A level Content (ref.1) for ϐ ʹͲͳ ȋȌ ʹͲͳǤ Ȁ ϐ ǡ ǡ ǡ ǡ Overarching Themes: ͳ ǡ ʹ ͵ Ǥ ϐ ǡ ϐ ϐ Ȁ ϐ ǣ Ǣ Ǣ Ǥ ͳ ȋ boldȌ ȋ ͳǤͶǡ Ȍǣ ǡ ϐ not ͳ Ǯǯ Ǯǯ Ǥ Ǥ Ǥ ǡ ǡ ǡ ǡ ͳǤ ǡ ǡ ǡ Ǥ ͳǡ ǡ ǡ Ǥ ǡ ϐ Ǥ techniques ǡ problem solving ǡ ǡ ǡ Ǥ ǡ ͳǤ ǡ relevant Detailed content statements Ǥ ͳ ǯǯǡ ǡ Ǥ Ǯǯ Detailed content: Ǯ ʹ ǯ Ǯϐ ǯǡ Ǯ ǯǤ ǡ ǯ ǯ the concerns. Elizabeth M. Glaister and Paul Glaister Mathematical argument, language and proof AS/A LEVEL 2017 OT1 Mathematical argument, language and proof Ȁ OT1.1 Construct and present mathematical arguments through appropriate use of diagrams; sketching graphs; logical deduction; precise statements involving correct use of symbols and connecting ǡ ǣ ǡ ϐǡ ǡ ǡ ǡ ǡ ǡ ǡ variable. ͳǤʹ Ǥ OT1.3 Understand and use language and symbols associated with set theory, as set out in the content. . ͳǤͶ ϐ Ǣ Ǥ OT1.5 ǡ ϐ formulae, including those relating to applications of mathematics.

Mathematical Ð argument, language and proof · 18 Mathematics in School, September 2017 The MA website t t ä x, y á tx ty ± txy. t u ä For all n Ð : á n á n3 is odd. t v ä

  • Upload
    others

  • View
    0

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Mathematical Ð argument, language and proof · 18 Mathematics in School, September 2017 The MA website t t ä x, y á tx ty ± txy. t u ä For all n Ð : á n á n3 is odd. t v ä

16 Mathematics in School, September 2017 The MA website www.m-a.org.uk

The reformed Mathematics AS/A level Content (ref.1) for

Overarching Themes:

bold

not

techniques

problem solving

relevant Detailed content statements

Detailed content:

the concerns.

Elizabeth M. Glaister and Paul Glaister

Mathematical argument,

language and proof

AS/A LEVEL 2017

OT1 Mathematical argument, language and proof

OT1.1 Construct and present mathematical arguments through appropriate use of diagrams; sketching

graphs; logical deduction; precise statements involving correct use of symbols and connecting

variable.

OT1.3 Understand and use language and symbols associated with set theory, as set out in the content.

.

OT1.5

formulae, including those relating to applications of mathematics.

Page 2: Mathematical Ð argument, language and proof · 18 Mathematics in School, September 2017 The MA website t t ä x, y á tx ty ± txy. t u ä For all n Ð : á n á n3 is odd. t v ä

Mathematics in School, September 2017 The MA website www.m-a.org.uk 17

Case 1: If n = 3m for some m n3 = (3m)3 m3

= 9(3m3

Case 2: If n = 3m – 1 for some m n3 =(3m – 1)3 =

m3 m + 9m – 1 = 9(3m3 – 3m + m

Case 3: If n = 3m – m n3 = (3m – 3 =

m3 – m m – 8 = 9(3m3 – m m –

n

n

f(n) = n n

Proof

counter-example.

While f(n n

n f(11) = 11

not

there exists an n n f(n) is not

Prove that for all n n n is odd.

Proof

n

n n is even.

The set of natural numbers , , 3, . . . }.

The set of integers , ±1, ± , ±3, . . . }.

The set of positive integers + , , 3, . . . }.

The set of rational

p

q: p , q +}.

The set of real

number line.

not

irrational

A prime p > 1 that has no

p itself.

A square n n

A cube n3 n .

Prove that for all n n n is odd.

Proof

Let n n k + 1 for some k

Therefore n k + 1) k k k k) + 1.

k n m

m k k n

Proof

n

Content

A1 Understand and use the structure of mathematical proof, proceeding from given assumptions

through a series of logical steps to a conclusion; use methods of proof, including proof by deduction,

Proof by contradiction (including proof of the irrationality of 2

application to unfamiliar proofs).

n –3 –1 1 3 5 8 9

f(n) 13 11 11 13 31 53 83

Page 3: Mathematical Ð argument, language and proof · 18 Mathematics in School, September 2017 The MA website t t ä x, y á tx ty ± txy. t u ä For all n Ð : á n á n3 is odd. t v ä

18 Mathematics in School, September 2017 The MA website www.m-a.org.uk

x, y x y xy.

For all n n n3 is odd.

For all n n n is odd.

For all m, n mn m or n is

even.

For all n n n

For all a b a + b is

irrational.

If a + b > a > b >

For all a b ab is

irrational.

31.

33. For all n n n is even.

For all n n n is a

35. For all n n = m3 m for some m n is

If n, k nk n

k.

rational

rational

38. a a

39. If n a

a = n n + 1 and

n : 1.)

There exists irrational a, b ab is

.)

real irrational

rational

rational.

irrational

irrational.u, v u, v

1

u v

uv

2

1 and so is

attempt to prove

t

a, b, c a + b + c

ab + bc + ca

a, b

1

2

(a + b ab .

51. For all n n + 3n

For all p p q pq is

irrational.

53. For all n n n

n k for some k n k k) k k

+ 1).

k k , k k , k + 1 > n

n

n

hence n

In each case either prove or disprove

counter-example) the given statement.

1. For all n n n is odd.

For all n n n is odd.

3. For all n n

5.

odd.

8. For all n n n n

9.

, 3, , . . . ) has

11.

13. a b ab = c

then a c or b c.

For all n f(n) = n n

15. For all m, n m + n m + n is even.

For all n n

n

n not

n if n is odd.

If x x

either x > < x <

18. a a +

19. n n

a, b, c a + b = c

then a + b c.

For all n n(n + 1) is even.

–1

2

2x

x1

a

Page 4: Mathematical Ð argument, language and proof · 18 Mathematics in School, September 2017 The MA website t t ä x, y á tx ty ± txy. t u ä For all n Ð : á n á n3 is odd. t v ä

Mathematics in School, September 2017 The MA website www.m-a.org.uk 19

Readers are advised not to add the last theorem to the

References

mathematics

.

k

or 3k + 1 for some k

55. There are no m, n

m n = 1.

www.personal.reading.

. Readers are

p.glaister@

reading.ac.uk

n n

odd

p p

x, y

p = x + y p n + 1 for some n .

Keywords:

Authors

e-mail: [email protected]

Published by The Mathematical Association, 259 London Road, Leicester LE2 3BE

Registered Charity No. 1117838 VAT GB 199 321141

Foundation Tier Cards 1-4 packs 5+ packs 100+ packsMember £6.99 £6.49 £3.99

Non-member £7.49 £6.99 £4.99

Higher Tier Cards 1-4 packs 5+ packs 100+ packsMember £7.49 £6.99 £4.49

Non-member £7.99 £7.49 £5.49

To order your copy telephone 0116 2210014email [email protected] or order online at www.m-a.org.uk

NEW

These newly updated and thoroughly revised editions have been completely rewritten for the 2017 specification. Keepingtheir hugely successful format, these cards delightfully presentthe key facts needed for the 2017 GCSE mathematicsexaminations in a clear and memorable way. The handy ‘notes’box on the back of each card allows students to personalisetheir own revision aid. The cards can be used in multiple waysthroughout the course as well as for last minute revision.

GCSE Mathematics

Revision Cards