|
Search: id:A053200
|
|
|
| A053200 |
|
Pascal's triangle read by rows, where row n is read mod n. |
|
+0 9
|
|
| 0, 0, 0, 1, 0, 1, 1, 0, 0, 1, 1, 0, 2, 0, 1, 1, 0, 0, 0, 0, 1, 1, 0, 3, 2, 3, 0, 1, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0, 4, 0, 6, 0, 4, 0, 1, 1, 0, 0, 3, 0, 0, 3, 0, 0, 1, 1, 0, 5, 0, 0, 2, 0, 0, 5, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 6, 4, 3, 0, 0, 0, 3, 4, 6, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1
(list; table; graph; listen)
|
|
|
OFFSET
|
0,13
|
|
|
COMMENT
|
A number n is a prime if and only if (1+x)^n == 1+x^n (mod n), i.e. if and only if the n-th row is 1,0,0,...,0,1. This result underlies the proof of Agrawal, Kayal and Saxena that there is polynomial-time algorithm for primality testing. - njas, Feb 20, 2004
|
|
REFERENCES
|
M. Agrawal, N. Kayal and N. Saxena, PRIMES is in P, Ann. of Math. (2) 160 (2004), no. 2, 781-793.
|
|
LINKS
|
T. D. Noe, Rows n=0..100 of triangle, flattened
|
|
EXAMPLE
|
0; 0,0; 1,0,1; 1,0,0,1; 1,0,2,0,1; ...
Row 4 = 1 mod 4, 4 mod 4, 6 mod 4, 4 mod 4, 1 mod 4 = 1, 0, 2, 0, 1
|
|
MAPLE
|
f := n -> seriestolist( series( expand( (1+x)^n ) mod n, x, n+1)); (njas)
|
|
CROSSREFS
|
Row sums give A053204. Cf. A053201, A053202, A053203, A007318 (Pascal's triangle)
Cf. also A092241.
Sequence in context: A022902 A037273 A025426 this_sequence A140209 A050870 A103306
Adjacent sequences: A053197 A053198 A053199 this_sequence A053201 A053202 A053203
|
|
KEYWORD
|
nonn,nice,tabl
|
|
AUTHOR
|
Asher Auel (asher.auel(AT)reed.edu) Dec 12, 1999
|
|
EXTENSIONS
|
Corrected by T. D. Noe, Feb 08 2008
|
|
|
Search completed in 0.002 seconds
|