Download Pascal`s Triangle

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project

Document related concepts

Wiles's proof of Fermat's Last Theorem wikipedia , lookup

Georg Cantor's first set theory article wikipedia , lookup

Law of large numbers wikipedia , lookup

Mathematical proof wikipedia , lookup

Fundamental theorem of algebra wikipedia , lookup

Theorem wikipedia , lookup

Location arithmetic wikipedia , lookup

Addition wikipedia , lookup

Pythagorean theorem wikipedia , lookup

Proofs of Fermat's little theorem wikipedia , lookup

Weber problem wikipedia , lookup

Elementary mathematics wikipedia , lookup

Transcript
PASCAL’S TRIANGLE
𝑛
We defined the number ( ) of r-subsets of a set of n elements and
π‘Ÿ
showed that
𝑛
( )=
π‘Ÿ
𝑛!
π‘Ÿ! βˆ™ (π‘›βˆ’π‘Ÿ)!
, n, r ∈ π•Ž, r ≀ 𝑛
We write these numbers in the following way.
If we evaluate each entry, we obtain the following triangular array of
numbers.
Value of n
0
1
1
1
1
2
1
2
1
3
1
3
3
1
4
1
4
6
4
1
5
1
5
10
10
5
1
6
1
6 15
20
15 6
1
...
...
This array is known as Pascal’s Triangle. Notice that in any row of
Pascal’s Triangle, entries equidistant (the same distance) from each end
are equal. For example,
That is,
5
5
( )= ( )=1
0
5
5
5
( )= ( )=5
1
4
5
5
( ) = ( ) = 10
3
2
and
6
6
( )= ( )=1
0
6
6
6
( )= ( )=6
1
5
6
6
( ) = ( ) = 15
2
4
The generalization of this property is
𝑛
𝑛
( )= (
)
π‘›βˆ’π‘Ÿ
π‘Ÿ
Proof
𝑛
(
)=
π‘›βˆ’π‘Ÿ
=
𝑛!
(π‘›βˆ’π‘Ÿ)! βˆ™ [π‘›βˆ’(π‘›βˆ’π‘Ÿ)]!
𝑛!
(π‘›βˆ’π‘Ÿ)! βˆ™ π‘Ÿ!
𝑛
=( )
π‘Ÿ
Example
𝑛
To what other expression in the form ( ) in each of the following
π‘Ÿ
equal?
9
17
43
8
(a) ( )
(b) ( )
(c) ( )
(d) ( )
3
6
19
π‘₯
Solution
(a) In this case n = 9 and r = 3, so
9
9
9
( )= (
)=( )
3
9βˆ’3
6
17
17
17
(b) ( ) = (
)=( )
6
17 βˆ’ 6
11
43
43
43
(c) ( ) = (
)=( )
19
43 βˆ’ 19
24
8
8
(d) ( ) = (
)
π‘₯
8βˆ’π‘₯
Example
7
The calculations of ( ) for r = 0, 1, 2, 3, ... , 7 can be simplified by
π‘Ÿ
using this property.
7!
7
( )=
=1
0
0! βˆ™ 7!
7!
7
( )=
=7
1
1! βˆ™ 6!
7!
6 βˆ™7
7
( )=
=
= 21
2
2! βˆ™ 5! 1 βˆ™ 2
7!
5βˆ™6 βˆ™7
7
( )=
=
= 35
3
3! βˆ™ 4! 1 βˆ™ 2 βˆ™ 3
7
7
( ) = ( ) = 35
3
4
7
7
( ) = ( ) = 21
5
2
7
7
( )=( )= 7
6
1
7
7
( )=( )= 1
7
0
Notice that each number in any row of Pascal’s Triangle can be obtained
by adding the numbers to the left and right of it in the row above.
This makes it a simple matter to extend Pascal’s Triangle to further
rows.
Value of n
0
1
1
1
1
2
1
2
1
3
1
3
3
1
4
1
4
6
4
1
5
1
5
10
10
5
1
6
1
6 15
20
15 6
1
7
1
7
21
35
35 21
7
1
...
...
Example
(a) Extend Pascal’s Triangle to include the row where n = 8 by using the
pattern illustrated.
8
(b) Check these values by evaluating ( ) for r = 0, 1, 2, ... , 8.
π‘Ÿ
Solution
(a)
Value of n
0
1
1
1
1
2
1
2
1
3
1
3
3
1
4
1
4
6
4
1
5
1
5
10
10
5
1
6
1
6 15
20
15 6
1
7
1
7
21
35
35 21
7
1
8
1
8 28
56
70
56
28 8
1
...
...
8!
8
( )=
=1
0
0! βˆ™ 8!
8!
8
( )=
=8
1
1! βˆ™ 7!
8!
7 βˆ™8
8
( )=
=
= 28
2
2! βˆ™ 6! 1 βˆ™ 2
8!
6βˆ™7 βˆ™8
8
( )=
=
= 56
3
3! βˆ™ 5! 1 βˆ™ 2 βˆ™ 3
8!
5βˆ™6βˆ™7 βˆ™8
8
( )=
=
= 70
4
4! βˆ™ 4! 1 βˆ™ 2 βˆ™ 3 βˆ™ 4
8
8
( ) = ( ) = 56
5
3
8
8
( ) = ( ) = 28
6
2
8
8
( )=( )= 8
7
1
8
8
( )=( )= 1
8
0
Now we investigate what property of subsets of sets is suggested by this
pattern.
This pattern discovered suggests that
4
3
3
( )+ ( )=( )
1
2
2
4
4
5
( )+ ( )=( )
3
2
3
6
5
5
( )+ ( )=( )
2
1
2
𝑛
Example What expression in the form ( ) would we predict to be equal
π‘Ÿ
to each of the following?
7
7
23
23
(a) ( ) + ( )
(c) ( ) + ( )
5
4
18
19
9
64
64
9
(b) ( ) + ( )
(d) ( ) + ( )
2
3
30
29
Solution
7
7
8
(a) ( ) + ( ) = ( )
5
4
5
9
10
9
(b) ( ) + ( ) = ( )
2
3
3
23
23
24
(c) ( ) + ( ) = ( )
18
19
19
64
64
65
(d) ( ) + ( ) = ( )
30
29
30
The generalization of this pattern is known as Pascal’s Theorem.
PASCAL’S THEOREM
𝑛
𝑛
𝑛+1
( )+ (
)= (
)
π‘Ÿ
+
1
π‘Ÿ
π‘Ÿ+1
Proof
𝑛
𝑛
( )+(
)=
π‘Ÿ+1
π‘Ÿ
=
=
=
=
=
=
=
𝑛!
𝑛!
(π‘Ÿ+1)![π‘›βˆ’(π‘Ÿ+1)]!
π‘Ÿ!(π‘›βˆ’π‘Ÿ)!
𝑛!
𝑛!
+ (π‘Ÿ+1)![π‘›βˆ’(π‘Ÿ+1)]!
π‘Ÿ!(π‘›βˆ’π‘Ÿ)!
𝑛!
𝑛!
+ (π‘Ÿ+1)!(π‘›βˆ’π‘Ÿβˆ’1)!
π‘Ÿ!(π‘›βˆ’π‘Ÿ)!
𝑛!(π‘Ÿ+1)
𝑛!(π‘›βˆ’π‘Ÿ)
+ (π‘Ÿ+1)!(π‘›βˆ’π‘Ÿ)(π‘›βˆ’π‘Ÿβˆ’1)! (Common Denominator)
(π‘Ÿ+1)π‘Ÿ!(π‘›βˆ’π‘Ÿ)!
𝑛!(π‘Ÿ+1)+ 𝑛!(π‘›βˆ’π‘Ÿ)
+
(π‘Ÿ+1)!(π‘›βˆ’π‘Ÿ)!
𝑛![(π‘Ÿ+1)+(π‘›βˆ’π‘Ÿ)]
(π‘Ÿ+1)!(π‘›βˆ’π‘Ÿ)!
𝑛!(𝑛+1)
(Common Factor)
(π‘Ÿ+1)!(π‘›βˆ’π‘Ÿ)!
(𝑛+1)!
(π‘Ÿ+1)![(𝑛+1)βˆ’ (π‘Ÿ+1)]!
=(
𝑛+1
).
π‘Ÿ+1