Open access peer-reviewed chapter

Alternative Representation for Binomials and Multinomies and Coefficient Calculation

Written By

José Alfredo Sánchez de León

Reviewed: 29 January 2020 Published: 09 March 2020

DOI: 10.5772/intechopen.91422

From the Edited Volume

Mathematical Theorems - Boundary Value Problems and Approximations

Edited by Lyudmila Alexeyeva

Chapter metrics overview

720 Chapter Downloads

View Full Metrics

Abstract

Polynomials play an important role in many fields of mathematics as well as in other areas such as physics and engineering. Binomials and multinomies represent a special kind of polynomials, regarded as a wide frame of study by some mathematical branches such as discrete mathematics. Under this subject a novel method was recently developed that addresses the task of performing the calculation of binomial and multinomial coefficients, by means of the setting of an arrangement of sequences of summations. The document unfolded hereby aims to be an extension of that work. Through this document, firstly it will be deemed an equation resultant from that work, targeted at binomial calculations, and will be extended to the multinomial instance. Afterwards a theoretical case of study will be presented, to expose the application of this framework. And lastly an algorithm will be raised to set it up on a computer algebra system (CAS), and some practical examples will be bestowed.

Keywords

  • binomials
  • binomial coefficient calculation
  • multinomial
  • multinomies
  • multinomial coefficient calculation

1. Introduction

Polynomials, alongside binomials and multinomies, are frequently found in many study cases, even outside pure mathematics affairs, like [1]. Recently in [2] a novel method was developed to calculate binomial and multinomial coefficients, and at the same time, it was shown that a different way of expansion could be set by means of arrangements of summations and sequences. For this purpose three analytic formulas were raised. Formula (3), the first one, whose output depicts sequences of incremental numbers, so that after performing those sums, a numeric value is obtained that actually represents a binomial coefficient. The second one is formula (4), whose output comprised of sequences of 1 , so that after such sums are performed, the binomial coefficient was also computed; it was exactly the same value as the first one (series of unity rather than being incremental sequences). A proof for Eq. (3) was given, but not for Eq. (4); however, it could be carried out exactly the same way. Then formula (3) was taken to extend that result to the multinomial instances, through the application of a method developed there; a proof for the multinomial case was not given. Some examples were exposed to illustrate the applications of those equations. On the other hand, some things were overlooked, i.e., the proof that were just mentioned and another set of examples that could illustrate even more the applications of the obtained result.

This document comprises the extension of the results obtained from [2]. This extension will based upon formula (4): It will be explained in more detail, oriented towards the developing of an algorithm to perform the calculations; this formula will be extended to obtain a general one to achieve the calculation of multinomial coefficients, using the procedure from [2]; a proof for this general formula will be given. The theoretical application of formula (4) will be shown in some other case study, taking over a lemma from [3] and developing an alternative proof by these means. As it was mentioned above, two algorithms based on this result are worked up and were implemented as a program in a computer algebra system (CAS). For its best understanding, this chapter was in general written in the order just mentioned above. For the reader’s convenience, and in order to get a broad understanding of this chapter, it is highly advisable to give a read at the original document [2].

Advertisement

2. Mathematical framework

2.1 Fundament for 2 summands

Let F be a field [4], and F X the ring of polynomials in the indeterminate x, by the generating set of

F X = L j N 0 x j 1 E1

Now, denote the set of polynomials with positive coefficients of degree at most n over F , by

π + P n F F X R : P n F = 1 ϕ Z + s x ϕ n P j F P j + 1 F = E2

and let A  be the set of the coefficients of those polynomials:

A k , n N π + \ j 1 2 x j 2 j n + 2 j 3 k E3

Definition 2.1. A subset A of the real numbers is said to be inductive if it contains the number 1 , and for every x in A , the number x + 1 is also in A . Let C be the collection of all inductive subsets of R . Then the set [5] Z + of positive integers is defined by the equation

Z + A C A R + . E4

Definition 2.2. Lexicographic ordering: > LEX .

We say [6] p > LEX q , if we have the following conditions:

p > LEX q i Z + a i b i a min i > b min i n Z + a n \ b n > 0 E5

for some non-zero entry, i.e., for some n Z + .

Recall the mapping from [2]

τ : N 0 × N 0 j = 1 P n F π + A j Z + n k τ E6

by the equation

n ̂ k ̂ = n ̂ δ n ̂ = 1 1 k ̂ δ k ̂ = 1 n ̂ k ̂ + 1 δ k ̂ + 1 2 k = 1 n ̂ k ̂ + 1 l 1 j = 1 n ̂ k ̂ + 1 k 0 i = 1 1 i i j , k , . . , δ k ̂ , , δ n ̂ E7

where

ϕ δ ϕ = 1 n ̂ k ̂ + 1 δ ϕ + 1 i = ϕ δ ϕ = 1 n ̂ k ̂ + 1 ϕ = k ̂ ϕ δ ϕ = 1 δ ϕ + 1 ϕ k ̂ E8

where the widehat script in the binomial terms ( n ̂ , k ̂ ) was placed to distinguish those from the index set of the summation sequences, and provided that δ ϕ represents the set of a sequence of consecutive characters in the lexicographic order, by the half-open interval,

δ ϕ i j k z zh zi + : 1 ϕ < + ϕ Z + Z + E9

Under this outline, we would have the following ordering:

i < LEX j < LEX k < LEX z < LEX zh < LEX zi < LEX z < LEX zzh < LEX zzi < LEX E10

It is of great importance that we could establish a counting relation between them in order to be used in an algorithm.

Lemma 2.3. Existence of a choice function.

Given a collection [5] B of nonempty sets (not necessarily disjoint), there exists a function

c : B B B B E11

such that c B is an element of B , for each B B .

A bijection between δ ϕ and Z + can now be established. Consider the collection of residue classes which have a multiplicative inverse in Z / n Z :

Z / n Z × = a ¯ Z / n Z : c ¯ Z / n Z a ¯ b ¯ = 1 ¯ Z / n Z E12

By [7] we have

Z / mn Z × Z / m Z × × Z / n Z × E13

when m and n are relative prime integers. However, we will set n = 19 , to define the following applications:

Let x Z + and J be an index set; define

g : Z / 19 Z × i j k z E14
by g x mod   x 19 i j k z

By the Lemma 2.3 we can construct

f : Z + j J z j by f x j L x 19 z j E15

Then the composition f g will be the searched function:

f g : Z + δ ϕ by f g x = j L x 19 z j Im g E16

This could be graphically represented in Figure 1.

Figure 1.

Graphical representation of the mapping f g : Z + δ ϕ .

Definition 2.4. A set A is said to be infinite if it is not finite [8]. It is said to be countably infinite if there is a bijective correspondence:

f : A Z + E17

In the next theorem, the collection δ ϕ is countable:

Theorem 2.5. Let En , n = 1,2,3 , , be a sequence of countable sets, and put

S = n = 1 E n E18

Then S is countable [9].

Since it was possible to establish a bijection between Z + and the collection δ ϕ , and since each summation in (1) corresponds to just one element of δ ϕ , it follows that the summands in (1) are also countable.

Corollary 2.6. The set Z + × Z + is countably infinite [8].

Finally, in this corollary, it follows that the tuples Z + × δ ϕ Z + are countably infinite.

2.2 Extension to n summands

Now that the countability of the collection δ ϕ was explained and a bijective function settled down to perform it, we will proceed to extend (1) to n summands. Note that in [2] this formula remained unaltered in this sense, so that it was not extended; that is why we will do it here.

For the foremost part, another index set on a half-open interval is introduced, defined in similar way as δ ϕ :

δ ϕ n ̂ i j k z zh zi + : 0 ϕ < + ϕ Z + Z + E19

The need of another index set comes from the fact that in the extension to the n summands approach, a second lawyer of summands sequences and a new sequence of multipliers will arise; this way index scrambling between the two lawyers will be avoided. Then in a similar fashion, the modified function will apply:

f g : Z + δ ϕ E20

where f and g are defined the same way as in the former, regarding as a superscript on the alphabetic letters.

Theorem 2.7. Principle of recursive definition. Let A be a set; let a 0 be an element of A . Suppose ρ is a function that assigns to each function f mapping a nonempty section of positive integers into A , an element of A . Then there exists a unique function

h : Z + A E21

such that h 1 = a 0 ,

h i = ρ h 1 i 1 i > 1 . E22

Now the same method developed in [2] will be performed, following the binomial theorem [10, 11, 12] and the recursive principle: Let φ , γ P n F \ A be two collection of summands; set the following:

φ s f = δ f = 0 λ = 0 ϕ λ δ f 1 λ = 1 0 λ N 0 1 λ ϕ λ = 1 ϕ λ = 0 γ f ϕ λ = 1 ϕ λ = 0 φ s f ϕ λ = 0 E23

Subindices f , s f Z + represent a consecutive number of a summand and the amount of remaining summands after the binomial theorem expansion, respectively. Continue recursively performing the expansion:

δ 1 = 0 δ 0 δ 0 δ δ 0 = 1 1 δ 1 δ δ 1 = 1 δ 0 δ 1 + 1 δ δ 1 + 1 2 k = 1 δ 0 δ 1 + 1 l 1 j = 1 δ 0 δ 1 + 1 k 0 i = 1 1 i i j , k , . . , δ δ 1 , , δ δ 0 γ 1 δ 0 δ 1 φ s 1 δ 1 E24
= δ 1 = 0 δ 0 δ 0 δ δ 0 = 1 1 δ 1 δ δ 1 = 1 δ 0 δ 1 + 1 δ δ 1 + 1 2 k = 1 δ 0 δ 1 + 1 l 1 j = 1 δ 0 δ 1 + 1 k 0 i = 1 1 i i j , k , . . , δ δ 1 , , δ δ 0 γ 1 δ 0 δ 1
δ 2 = 0 δ 1 δ 1 δ δ 1 = 1 1 δ 2 δ δ 2 = 1 δ 1 δ 2 + 1 δ δ 2 + 1 2 k = 1 δ 1 δ 2 + 1 l 1 j = 1 δ 1 δ 2 + 1 k 0 i = 1 1 i i j , k , . . , δ δ 2 , , δ δ 1 γ 2 δ 1 δ 2
δ 3 = 0 δ 2 δ 2 δ δ 2 = 1 1 δ 3 δ δ 3 = 1 δ 2 δ 3 + 1 δ δ 3 + 1 2 k = 1 δ 2 δ 3 + 1 l
1 j = 1 δ 2 δ 3 + 1 k 0 i = 1 1 i i j , k , . . , δ δ 3 , , δ δ 2 γ 3 δ 2 δ 3 φ s 3 δ 3 E25
δ s = 0 δ s 1 δ s 1 δ δ s 1 = 1 1 δ s δ δ s = 1 δ s 1 δ s + 1 δ δ s + 1 2 k = 1 δ s 1 δ s + 1 l
1 j = 1 δ s 1 δ s + 1 k 0 i = 1 1 i i j , k , . . , δ δ s , , δ δ s 1 γ s 1 δ s 1 δ s φ s δ s 1

Then the expansion above follows a pattern that can be coded into a general formula; replace the variables γ and φ according to its definition; it would end with the function

π + F X \ A : π + F X
j = 1 s x j n h j = 1 s x j n = 1 ϕ Z + s x ϕ n
1 ϕ Z + s x ϕ n = f = 1 s 1 δ f = 0 δ f 1 δ f 1 δ δ f 1 = 1 1 δ f δ δ f = 1 δ f 1 δ f + 1 δ δ f + 1 2 k = 1 δ f 1 δ f + 1 l E26
1 j = 1 δ f 1 δ f + 1 k 0 i = 1 1 i i j , k , . . , δ δ f , , δ δ f 1 x f δ f 1 δ f x s δ s 1

where

ϕ δ ϕ = 1 δ f 1 δ f + 1 δ ϕ + 1 k = ϕ δ δ f = 1 δ f 1 δ f + 1 ϕ = δ f ϕ δ δ f = 1 δ ϕ + 1 ϕ δ f E27

This general formula actually performs the multinomial expansion along with the calculation of the coefficients of individual terms, for an expression of n summands; its proof is given on Appendix A.

Theorem 2.8. A finite product of countable sets is countable [5].

Since (2) represents finite products of countable sets (as it was exposed previously), it follows from theorem 2.8 that the sequence of multipliers in (2) is also countable.

Advertisement

3. Applications of the obtained results

Direct use of formula (1) is performed on Appendix C in [2], alongside the use of another general formula for multinomial expansion, similar to (2), just obtained in the last section of this document. What is exposed here are applications not covered in [2]; these are regarded as theoretical and numerical applications and are given next.

3.1 Theoretical application

A theoretical case application is exerted; the last results are performed to give an alternative proof for Lemma from [3].

Lemma 3.1. If p is a prime not dividing an integer m , then for all n 1 , the binomial coefficient p n m p n is not divisible by p .

Proof:Formula (1) will be deployed for this purpose. Since p is prime, each summand in it arises from

ϕ δ ϕ = 1 p n m p n + 1 δ ϕ + 1 i = ϕ δ ϕ = 1 p n m 1 + 1 ϕ = p n ϕ δ ϕ = 1 δ ϕ + 1 ϕ p n E28

(since p cannot be factored any further). Now, suppose for the sake of contradiction that there exists a prime p that divides the binomial coefficient the way it is proposed:

p n m p n = p n δ p n = 1 p n m 1 + 1 1 j k δ ϕ p n m p n + 1 δ p n m = 1 δ ϕ 0 i = 1 1 i i ψ p n m = p x int E29

for some integer x int Z + , where ψ p n m is defined to be the summation sequence function on the left side of (3).

p n δ p n = 1 p n m 1 + 1 3 l = 1 m 2 k = 1 l 1 j = 1 k 1 p = x int E30

Since formula (1) represents addition of sequences of 1 , expanding the above and gathering out the factors, the following would be obtained:

1 p 1 + 1 p p n + i = 0 p n p n i + + k p n m 1 + 1 = x int E31

But above there are no summands on the left side that yields an integer on the right side and at the same time fulfills:

1 + p n + i = 0 p n p n i + + k p n m 1 + 1 = ψ p n m E32

For if it were,

z Z + ψ p n m = z m , n , p Z + : p m E33

so that, combining (4) and (5), it would be

1 p + 1 p z 1 = x int / 1 p + z p / 1 p = x int z p = x int E34

which shows that indeed x int is all about a rational number. This contradicts the hypothesis, so the binomial coefficient is not divisible by p .

There is also problem 18.41 in [13] where the author introduces a case of study that takes place when x and y are members of a commutative ring of characteristic p:

(Freshman exponentiation). Let p be prime. Show that in the ring Z p , we have

a + b p = a p + b p E35

for all a , b Z p [hint: observe that the usual binomial expansion for a + b n is valid in a commutative ring]. This one actually can alternatively be proven in a very similar way as the above lemma, so the proof is left to the reader. Some other study cases may come up that can be addressed with this result, where binomial coefficient calculation is part of their proof.

3.2 Numerical application

Two algorithms were written with the use of formulas (1) and (2); those were also implemented on two script programs written on the computer algebra system Maxima [14] and open-source software written in LISP [15] and based on a 1982 version of Macsyma [16]; of course there are many other CAS in which those can be implemented, i.e., here [17] is a great deal of one of them. The aim is to perform the expansion of a binomial by this result and perform the calculations of their individual coefficients. The first algorithm describes the calculation of binomial coefficients by formula (1), while the second is about the binomial and multinomial expansion based on formula (2); it also calculates the coefficients of the individual terms based on algorithm 1.

They are the exposed in the next two frames.

The implemented algorithms (1, 2) were presented above in the code displayed in Figures 2 and 3, for the first and the second one, respectively. To use the code, open a Maxima instance; then for the foremost part, in order to avoid LISP errors, issue the following command:

:lisp (setf(get ’%sum ‘operators) nil)

Next save the code above as the files coef.mc and multinom.mc, respectively, and place them in the subdirectory user of the Maxima installation ( < maxima_userdir can be issued; > in the command line to display it). Following, issue the commands:

batch("coef");

batch("multinom");

in order to be both loaded; or alternatively just copy the text from Figures 2 and 3, and paste it in the Maxima interface. Then use them according to each program syntax. The program multinom.mc outputs are shown in Figure 4.

Figure 2.

Program: coef.

Figure 3.

Program: multinom.

Figure 4.

Output of multinom.mc for a binomial and a multinomial example, respectively (in electronic PDF file, this figure can be zoomed fairly enough for a better view).

A pattern of outputs (binomial coefficient values) from coef.mc was included; this is displayed in Appendix B.

Advertisement

4. Conclusions

With this result an alternative way to represent binomials and multinomies alongside their respective coefficient calculations was exposed. The results obtained from [2] were extended by broading formula (1) to the multinomial instances, by showing that those results can be applied suitably to the theoretical cases of study and by the building up of two algorithms which were implemented in two programs in the CAS Maxima. What will be remaining for a subsequent research work will be the developing and programming of an algorithm to implement the use of the general formula obtained in [3], whose output would be something very similar to the one presented here. But overall, some algorithm could be raised, targeted at speed of calculations, to see if this method can be at least as fast as the current ones or even faster.

Advertisement

Thanks

I want to thank my boss, Engineer Eloy Cavazos Galindo, for his constant support and advice during the time I’ve been working in Trefilados Plant, and for giving me the opportunity to further prepare myself by studying for my master’s degree.

Advertisement

Notations

N 0

Union of the set of natural numbers with the zero element

n ̂ , k ̂

Entries of binomial or multinomial coefficients

δ ϕ

Represents the ϕ -th alphabetic character

Denotes that more summations follow a sequence

,

Denote a product of a summation sequence and a sequence of those products, respectively

i , j , k , , δ ϕ ,

Indexes of summations

i , j , k , , δ ϕ ,

Same as above but within (*) superscript to contradistinguish from the above

a b

Logic operator OR; it is equivalent to a b (used this way due to space reasons)

Summation sequence (two or more nested operators)

i = 1 a b c i i , j , k ,

Sum of the first a or b numbers. The subindexes i , j , k , indicate the different indexes of summations corresponding to the sequence it belongs to, where c = 0,1,2 , denotes the actual number of a summation sequence

a b

Binomial coefficient

x b + y b a b = ϕ

Sum of the ϕ -th x plus the ϕ -th y elements, raised to the a -power

L

The generated of a set

i = 1 1 i i j , k ,

Sum of one to one; it equals the unity, written this way to set a starting point and give logic continuity to a sum sequence

The order of a polynomial

Indicates a sequence of summations continues on the next row

Advertisement

Here a proof for formula (2) is provided; let us proceed by induction on s . For s amount of summands, its expansion by (2) would be given by the following equation:

x 1 + x 2 + + x s n = f = 1 s 1 δ f = 0 δ f 1 δ f 1 δ δ f 1 = 1 1 δ f δ δ f = 1 δ f 1 δ f + 1 δ δ f + 1 2 k = 1 δ f 1 δ f + 1 l E36
1 j = 1 δ f 1 δ f + 1 k 0 i = 1 1 i i j , k , . . , δ δ f , , δ δ f 1 x f δ f 1 δ f x s δ s 1

Fix s = 2 on (6); then the following is obtained:

x 1 + x 2 n = f = 1 1 δ f = 0 δ f 1 δ f 1 δ δ f 1 = 1 1 δ f δ δ f = 1 δ f 1 δ f + 1 δ δ f + 1 2 k = 1 δ f 1 δ f + 1 l E37
1 j = 1 δ f 1 δ f + 1 k 0 i = 1 1 i i j , k , . . , δ δ f , , δ δ f 1 x f δ f 1 δ f x s δ s 1
= i = 0 n n i x 1 n i x 2 i

that actually stands for the binomial expansion for 2 summands; then it is correct. Now, fix s = k on (6) and assume by hypothesis that it is correct.

x 1 + x 2 + + x k n = f = 1 k 1 δ f = 0 δ f 1 δ f 1 δ f x f δ f 1 δ f x k δ k 1 E38

If formula (2) is correct, it must be likewise valid for s = k + 1 . Following up, the attempt is to prove that

f = 1 k + 1 1 δ f = 0 δ f 1 δ f 1 δ f x f δ f 1 δ f x k + 1 δ k + 1 1 = x 1 + x 2 + + x k + x k + 1 n E39

First, it will be expanded to the left side of the above equality:

δ 1 = 0 δ 0 δ 0 δ δ 0 = 1 1 δ 1 δ δ 1 = 1 δ 0 δ 1 + 1 δ δ 1 + 1 2 k = 1 δ 0 δ 1 + 1 l 1 j = 1 δ 0 δ 1 + 1 k 0 i = 1 1 i i j , k , . . , δ δ 1 , , δ δ 0 γ 1 δ 0 δ 1
δ 2 = 0 δ 1 δ 1 δ δ 1 = 1 1 δ 2 δ δ 2 = 1 δ 1 δ 2 + 1 δ δ 2 + 1 2 k = 1 δ 1 δ 2 + 1 l 1 j = 1 δ 1 δ 2 + 1 k 0 i = 1 1 i i j , k , . . , δ δ 2 , , δ δ 1 γ 2 δ 1 δ 2
δ k = 0 δ k 1 δ k 1 δ δ k 1 = 1 1 δ k δ δ k = 1 δ k 1 δ k + 1 δ δ k + 1 2 k = 1 δ k 1 δ k + 1 l E40
1 j = 1 δ k 1 δ k + 1 k 0 i = 1 1 i i j , k , . . , δ δ k , , δ δ k 1 γ k 1 δ k 1 δ k φ k δ k 1
= δ 1 = 0 δ 0 δ 0 δ δ 0 = 1 1 δ 1 δ δ 1 = 1 δ 0 δ 1 + 1 δ δ 1 + 1 2 k = 1 δ 0 δ 1 + 1 l 1 j = 1 δ 0 δ 1 + 1 k 0 i = 1 1 i i j , k , . . , δ δ 1 , , δ δ 0 γ 1 δ 0 δ 1
δ 2 = 0 δ 1 δ 1 δ δ 1 = 1 1 δ 2 δ δ 2 = 1 δ 1 δ 2 + 1 δ δ 2 + 1 2 k = 1 δ 1 δ 2 + 1 l 1 j = 1 δ 1 δ 2 + 1 k 0 i = 1 1 i i j , k , . . , δ δ 2 , , δ δ 1 γ 2 δ 1 δ 2
δ k + 1 1 = 0 δ k + 1 2 δ k + 1 2 δ δ k + 1 2 = 1 1 δ k + 1 1 δ δ k + 1 1 = 1 δ k + 1 2 δ k + 1 1 + 1 δ δ k + 1 1 + 1 2 k = 1 δ k + 1 2 δ k + 1 1 + 1 l
1 j = 1 δ k + 1 2 δ k + 1 1 + 1 k 0 i = 1 1 i i j , k , . . , δ δ k + 1 1 , , δ δ k + 1 2 γ k + 1 2 δ k + 1 2 δ k + 1 1 φ k + 1 1 δ k + 1 2 E41
= f = 1 k + 1 1 δ f = 0 δ f 1 δ f 1 δ δ f 1 = 1 1 δ f δ δ f = 1 δ f 1 δ f + 1 δ δ f + 1 2 k = 1 δ f 1 δ f + 1 l 1
1 j = 1 δ f 1 δ f + 1 k 0 i = 1 1 i i j , k , . . , δ δ f , , δ δ f 1 x f δ f 1 δ f x k + 1 δ k + 1 1
= f = 1 k + 1 1 δ f = 0 δ f 1 δ f 1 δ f x f δ f 1 δ f x k + 1 δ k + 1 1
= x 1 + x 2 + + x k + x k + 1 n

(where it was substituted with x 1 + x 2 + + x k n according to the hypothesis). This result confirms the hypothesis and the validity for (2).

Next on Table 1, the symbolic representations for the binomial coefficients are presented. The value actually comes from the output of the program coef.mc provided in Section 3.2, after being evaluated with the corresponding values of k and n . This table is shown below.

n n 1 n 2 n 3 n 4 n 5 n 6 n 7 n 8 n 9
1 i = 1 1 1
2 i = 1 1 1 j = 1 1 i = 1 j 1
3 i = 1 1 1 j = 1 2 i = 1 j 1 k = 1 1 j = 1 k i = 1 j 1
4 i = 1 1 1 j = 1 3 i = 1 j 1 k = 1 2 j = 1 k i = 1 j 1 l = 1 1 k = 1 l j = 1 k i = 1 j 1
5 i = 1 1 1 j = 1 4 i = 1 j 1 k = 1 3 j = 1 k i = 1 j 1 l = 1 2 k = 1 l j = 1 k i = 1 j 1 m = 1 1 l = 1 m k = 1 l j = 1 k i = 1 j 1
6 i = 1 1 1 j = 1 5 i = 1 j 1 k = 1 4 j = 1 k i = 1 j 1 l = 1 3 k = 1 l j = 1 k i = 1 j 1 m = 1 2 l = 1 m k = 1 l j = 1 k i = 1 j 1 n = 1 1 m = 1 n l = 1 m k = 1 l j = 1 k i = 1 j 1
7 i = 1 1 1 j = 1 6 i = 1 j 1 k = 1 5 j = 1 k i = 1 j 1 l = 1 4 k = 1 l j = 1 k i = 1 j 1 m = 1 3 l = 1 m k = 1 l j = 1 k i = 1 j 1 n = 1 2 m = 1 n l = 1 m k = 1 l j = 1 k i = 1 j 1 o = 1 1 n = 1 o m = 1 n l = 1 m k = 1 l j = 1 k i = 1 j 1
8 i = 1 1 1 j = 1 7 i = 1 j 1 k = 1 6 j = 1 k i = 1 j 1 l = 1 5 k = 1 l j = 1 k i = 1 j 1 m = 1 4 l = 1 m k = 1 l j = 1 k i = 1 j 1 n = 1 3 m = 1 n l = 1 m k = 1 l j = 1 k i = 1 j 1 o = 1 2 n = 1 o m = 1 n l = 1 m k = 1 l j = 1 k i = 1 j 1 p = 1 1 o = 1 p n = 1 o m = 1 n l = 1 m k = 1 l j = 1 k i = 1 j 1
9 i = 1 1 1 j = 1 8 i = 1 j 1 k = 1 7 j = 1 k i = 1 j 1 l = 1 6 k = 1 l j = 1 k i = 1 j 1 m = 1 5 l = 1 m k = 1 l j = 1 k i = 1 j 1 n = 1 4 m = 1 n l = 1 m k = 1 l j = 1 k i = 1 j 1 o = 1 3 n = 1 o m = 1 n l = 1 m k = 1 l j = 1 k i = 1 j 1 p = 1 2 o = 1 p n = 1 o m = 1 n l = 1 m k = 1 l j = 1 k i = 1 j 1 q = 1 1 p = 1 q o = 1 p n = 1 o m = 1 n l = 1 m k = 1 l j = 1 k i = 1 j 1

Table 1.

Layout pattern of the representation for the first nine binomial coefficients.

References

  1. 1. de León JAS. A model for calculation of a productivity bonus. EUREKA. 2017;42:10-27. ISSN: 1405-5090
  2. 2. de León JAS. Calculation of binomial and multinomial coefficients. Mathematics in Computer Science. 2019;13:403-415. DOI: 10.1007/s11786-019-00403-w
  3. 3. Rotman J. An Introduction to the Theory of Groups. 4th ed. New York: Springer; 1995. p. 515
  4. 4. Herstein IN. Topics In Algebra. 2nd ed. New York: Wiley; 1975. p. 388
  5. 5. Munkres J. Topology. 2nd ed. Essex: Pearson; 2014. p. 503
  6. 6. Mishra B. Algorithmic Algebra. New York: Springer; 1993. p. 416
  7. 7. Dummit DS, Foote RM. Abstract Algebra. 3rd ed. New York: Wiley; 2004. p. 932
  8. 8. Hernández F. Teoría de Conjuntos. Ciudad de México: Sociedad Matemática Mexicana; 1998. p. 342
  9. 9. Rudin W. Principles of Mathematical Analysis. 3rd ed. New York: McGraw-Hill; 1976. p. 342
  10. 10. Graham RL, Knuth DE, Patashnick O. Concrete Mathematics. 2nd ed. Boston: Addison-Wesley; 1994
  11. 11. Stanley RP. Enumerative Combinatorics. 2nd ed. Vol. 1. Cambridge: Cambridge University Press; 2012
  12. 12. Rusell M. Combinatorics. 2nd ed. Hoboken: Wiley; 2001. p. 576
  13. 13. Fraleigh JB. A First Course in Abstract Algebra. 7th ed. Pearson: Essex; 2002. p. 544
  14. 14. Maxima. Computer Algebra System [Internet]. 1998. Available at: https://maxima.sourceforge.net/ [Accessed: 10 January 2020]
  15. 15. Common LISP. Object-Oriented Programming Language [Internet]. 1984. Available at: https://lisp-lang.org/ [Accessed: 10 January 2020]
  16. 16. Macsyma. Computer Algebra System [Internet]. 1982. Available at: https://swmath.org/software/1209 [Accessed: 10 January 2020]
  17. 17. Roanes-Lozano E, Galán-García JL, Solano-Macías C. Some reflections about the success and impact of the computer algebra system DERIVE with a 10-year time perspective. Mathematics in Computer Science. 2019;13:417-431. DOI: 10.1007/s11786-019-00404-9

Written By

José Alfredo Sánchez de León

Reviewed: 29 January 2020 Published: 09 March 2020