%%Page: 1 1 1 0 bop Black 0 TeXcolorgray Black Black Black Black 10800 7607 a @beginspecial 0 @llx 0 @lly 99 @urx 16 @ury 2880 @rwi @setspecial%%BeginDocument: logo129.eps %!PS-Adobe-2.0 EPSF-2.0 %%Title: logo128.eps %%Creator: fig2dev Version 3.2.3 Patchlevel %%CreationDate: Thu Nov 8 16:13:04 2001 %%For: pope@fry.research.att.com (Sue Pope) %%BoundingBox: 0 0 99 16 %%Magnification: 0.1500 %%EndComments /$F2psDict 200 dict def $F2psDict begin $F2psDict /mtrx matrix put /col-1 {0 setgray} bind def /col0 {0.000 0.000 0.000 srgb} bind def /col1 {0.000 0.000 1.000 srgb} bind def /col2 {0.000 1.000 0.000 srgb} bind def /col3 {0.000 1.000 1.000 srgb} bind def /col4 {1.000 0.000 0.000 srgb} bind def /col5 {1.000 0.000 1.000 srgb} bind def /col6 {1.000 1.000 0.000 srgb} bind def /col7 {1.000 1.000 1.000 srgb} bind def /col8 {0.000 0.000 0.560 srgb} bind def /col9 {0.000 0.000 0.690 srgb} bind def /col10 {0.000 0.000 0.820 srgb} bind def /col11 {0.530 0.810 1.000 srgb} bind def /col12 {0.000 0.560 0.000 srgb} bind def /col13 {0.000 0.690 0.000 srgb} bind def /col14 {0.000 0.820 0.000 srgb} bind def /col15 {0.000 0.560 0.560 srgb} bind def /col16 {0.000 0.690 0.690 srgb} bind def /col17 {0.000 0.820 0.820 srgb} bind def /col18 {0.560 0.000 0.000 srgb} bind def /col19 {0.690 0.000 0.000 srgb} bind def /col20 {0.820 0.000 0.000 srgb} bind def /col21 {0.560 0.000 0.560 srgb} bind def /col22 {0.690 0.000 0.690 srgb} bind def /col23 {0.820 0.000 0.820 srgb} bind def /col24 {0.500 0.190 0.000 srgb} bind def /col25 {0.630 0.250 0.000 srgb} bind def /col26 {0.750 0.380 0.000 srgb} bind def /col27 {1.000 0.500 0.500 srgb} bind def /col28 {1.000 0.630 0.630 srgb} bind def /col29 {1.000 0.750 0.750 srgb} bind def /col30 {1.000 0.880 0.880 srgb} bind def /col31 {1.000 0.840 0.000 srgb} bind def end save newpath 0 16 moveto 0 0 lineto 99 0 lineto 99 16 lineto closepath clip newpath -12.0 26.0 translate 1 -1 scale /cp {closepath} bind def /ef {eofill} bind def /gr {grestore} bind def /gs {gsave} bind def /sa {save} bind def /rs {restore} bind def /l {lineto} bind def /m {moveto} bind def /rm {rmoveto} bind def /n {newpath} bind def /s {stroke} bind def /sh {show} bind def /slc {setlinecap} bind def /slj {setlinejoin} bind def /slw {setlinewidth} bind def /srgb {setrgbcolor} bind def /rot {rotate} bind def /sc {scale} bind def /sd {setdash} bind def /ff {findfont} bind def /sf {setfont} bind def /scf {scalefont} bind def /sw {stringwidth} bind def /tr {translate} bind def /tnt {dup dup currentrgbcolor 4 -2 roll dup 1 exch sub 3 -1 roll mul add 4 -2 roll dup 1 exch sub 3 -1 roll mul add 4 -2 roll dup 1 exch sub 3 -1 roll mul add srgb} bind def /shd {dup dup currentrgbcolor 4 -2 roll mul 4 -2 roll mul 4 -2 roll mul srgb} bind def /DrawEllipse { /endangle exch def /startangle exch def /yrad exch def /xrad exch def /y exch def /x exch def /savematrix mtrx currentmatrix def x y tr xrad yrad sc 0 0 1 startangle endangle arc closepath savematrix setmatrix } def /$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def /$F2psEnd {$F2psEnteredState restore end} def $F2psBegin %%Page: 1 1 10 setmiterlimit 0.00900 0.00900 sc 7.500 slw % Ellipse n 2213 1988 856 856 0 360 DrawEllipse gs col4 1.00 shd ef gr gs col4 s gr % Ellipse n 2213 1991 813 813 0 360 DrawEllipse gs col8 1.00 shd ef gr gs col8 s gr % Ellipse n 1602 1879 177 177 0 360 DrawEllipse gs col11 1.00 shd ef gr gs col11 s gr % Ellipse n 2001 2575 177 177 0 360 DrawEllipse gs col11 1.00 shd ef gr gs col11 s gr % Ellipse n 2831 1877 177 177 0 360 DrawEllipse gs col11 1.00 shd ef gr gs col11 s gr % Ellipse n 2618 1509 177 177 0 360 DrawEllipse gs col11 1.00 shd ef gr gs col11 s gr % Ellipse n 1806 1519 177 177 0 360 DrawEllipse gs col11 1.00 shd ef gr gs col11 s gr % Ellipse n 2205 1364 177 177 0 360 DrawEllipse gs col11 1.00 shd ef gr gs col11 s gr % Ellipse n 1669 2290 177 177 0 360 DrawEllipse gs col11 1.00 shd ef gr gs col11 s gr % Ellipse n 2762 2305 177 177 0 360 DrawEllipse gs col11 1.00 shd ef gr gs col11 s gr % Ellipse n 2439 2579 177 177 0 360 DrawEllipse gs col11 1.00 shd ef gr gs col11 s gr % Ellipse n 2220 1992 440 440 0 360 DrawEllipse gs col4 1.00 shd ef gr gs col4 s gr % Ellipse n 2618 1509 141 141 0 360 DrawEllipse gs col30 1.00 shd ef gr gs col30 s gr % Ellipse n 1805 1515 141 141 0 360 DrawEllipse gs col30 1.00 shd ef gr gs col30 s gr % Ellipse n 1669 2290 141 141 0 360 DrawEllipse gs col30 1.00 shd ef gr gs col30 s gr % Ellipse n 2205 1360 141 141 0 360 DrawEllipse gs col30 1.00 shd ef gr gs col30 s gr % Ellipse n 2762 2305 141 141 0 360 DrawEllipse gs col30 1.00 shd ef gr gs col30 s gr % Ellipse n 1600 1875 141 141 0 360 DrawEllipse gs col30 1.00 shd ef gr gs col30 s gr % Ellipse n 2439 2579 141 141 0 360 DrawEllipse gs col30 1.00 shd ef gr gs col30 s gr % Ellipse n 2831 1877 141 141 0 360 DrawEllipse gs col30 1.00 shd ef gr gs col30 s gr % Ellipse n 2001 2573 141 141 0 360 DrawEllipse gs col30 1.00 shd ef gr gs col30 s gr /Times-Bold ff 225.00 scf sf 1997 2652 m gs 1 -1 sc (23) dup sw pop 2 div neg 0 rm col0 sh gr /Times-Bold ff 225.00 scf sf 2438 2659 m gs 1 -1 sc (11) dup sw pop 2 div neg 0 rm col0 sh gr /Times-Roman ff 480.00 scf sf 3375 2205 m gs 1 -1 sc (Article 03.2.1) col0 sh gr /Times-Roman ff 480.00 scf sf 3375 1650 m gs 1 -1 sc (Journal of Integer Sequences, Vol. 6 \(2003\),) col0 sh gr /Times-Bold ff 225.00 scf sf 2618 1592 m gs 1 -1 sc (2) dup sw pop 2 div neg 0 rm col0 sh gr /Times-Bold ff 225.00 scf sf 2830 1956 m gs 1 -1 sc (3) dup sw pop 2 div neg 0 rm col0 sh gr /Times-Bold ff 225.00 scf sf 2761 2386 m gs 1 -1 sc (6) dup sw pop 2 div neg 0 rm col0 sh gr % Ellipse n 1805 1517 42 42 0 360 DrawEllipse gs 0.00 setgray ef gr gs col0 s gr % Polyline n 2554 1797 m 2554 1796 l 2554 1790 l 2554 1779 l 2554 1765 l 2553 1753 l 2552 1743 l 2550 1736 l 2548 1730 l 2544 1725 l 2540 1721 l 2534 1717 l 2528 1713 l 2521 1711 l 2514 1709 l 2507 1708 l 2499 1707 l 2492 1707 l 2483 1707 l 2474 1707 l 2465 1708 l 2456 1710 l 2447 1712 l 2438 1714 l 2431 1717 l 2423 1720 l 2416 1724 l 2408 1728 l 2401 1734 l 2394 1739 l 2388 1745 l 2382 1751 l 2377 1756 l 2372 1762 l 2368 1768 l 2363 1775 l 2359 1783 l 2356 1791 l 2352 1799 l 2350 1807 l 2348 1814 l 2346 1823 l 2345 1831 l 2345 1841 l 2345 1852 l 2346 1863 l 2349 1873 l 2352 1884 l 2356 1894 l 2360 1902 l 2365 1910 l 2371 1919 l 2378 1928 l 2385 1937 l 2393 1946 l 2401 1955 l 2409 1963 l 2417 1970 l 2425 1977 l 2435 1985 l 2446 1993 l 2457 2000 l 2467 2008 l 2477 2015 l 2487 2021 l 2494 2027 l 2501 2033 l 2506 2038 l 2510 2043 l 2513 2049 l 2515 2055 l 2516 2061 l 2516 2067 l 2516 2073 l 2514 2079 l 2510 2087 l 2505 2095 l 2498 2104 l 2490 2113 l 2481 2120 l 2473 2125 l 2465 2129 l 2458 2131 l 2449 2133 l 2440 2134 l 2431 2134 l 2422 2133 l 2414 2131 l 2406 2128 l 2396 2122 l 2385 2115 l 2375 2107 l 2366 2101 l 2359 2097 l 2353 2096 l 2350 2098 l 2347 2101 l 2346 2107 l 2344 2114 l 2344 2122 l 2344 2130 l 2345 2138 l 2346 2145 l 2347 2151 l 2349 2158 l 2352 2164 l 2355 2169 l 2360 2174 l 2364 2179 l 2370 2182 l 2375 2186 l 2382 2188 l 2390 2190 l 2399 2193 l 2409 2194 l 2419 2195 l 2429 2196 l 2438 2196 l 2448 2196 l 2456 2195 l 2465 2194 l 2475 2192 l 2484 2189 l 2493 2187 l 2501 2183 l 2509 2180 l 2516 2177 l 2524 2172 l 2533 2166 l 2541 2159 l 2548 2152 l 2555 2144 l 2560 2137 l 2565 2129 l 2569 2121 l 2573 2111 l 2576 2102 l 2579 2093 l 2581 2084 l 2583 2076 l 2584 2068 l 2584 2058 l 2584 2049 l 2583 2040 l 2582 2032 l 2580 2023 l 2577 2014 l 2572 2004 l 2568 1994 l 2563 1984 l 2558 1976 l 2552 1968 l 2546 1960 l 2538 1952 l 2531 1945 l 2524 1938 l 2517 1932 l 2509 1926 l 2501 1921 l 2493 1914 l 2484 1908 l 2476 1902 l 2468 1897 l 2461 1890 l 2453 1883 l 2445 1876 l 2437 1869 l 2431 1862 l 2427 1856 l 2423 1849 l 2420 1842 l 2418 1835 l 2417 1830 l 2417 1825 l 2417 1820 l 2417 1816 l 2418 1812 l 2419 1808 l 2419 1806 l 2420 1803 l 2421 1801 l 2422 1798 l 2424 1796 l 2425 1794 l 2427 1792 l 2429 1789 l 2431 1787 l 2433 1785 l 2436 1783 l 2437 1781 l 2439 1780 l 2442 1779 l 2444 1778 l 2446 1778 l 2448 1777 l 2450 1777 l 2452 1777 l 2455 1777 l 2457 1777 l 2460 1776 l 2462 1776 l 2465 1775 l 2468 1775 l 2470 1775 l 2473 1775 l 2476 1775 l 2479 1776 l 2482 1776 l 2484 1777 l 2487 1777 l 2489 1777 l 2492 1778 l 2495 1779 l 2498 1780 l 2502 1782 l 2506 1785 l 2510 1788 l 2514 1790 l 2517 1792 l 2520 1794 l 2522 1795 l 2524 1796 l 2525 1798 l 2527 1799 l 2529 1800 l 2531 1802 l 2534 1805 l 2536 1807 l 2539 1809 l 2540 1811 l 2542 1812 l 2544 1813 l 2546 1814 l 2547 1814 l 2549 1813 l 2550 1811 l 2552 1808 l 2554 1804 l 2555 1801 l 2556 1798 l 2556 1796 l 2557 1795 l 2557 1793 l 2557 1792 l gs 0.00 setgray ef gr gs col0 s gr % Polyline n 1871 1753 m 1902 1705 l 2090 1705 l 2075 1753 l 2075 2255 l 2012 2317 l 1933 2317 l 2012 2255 l 2012 1753 l 1871 1753 l 1918 1737 l cp gs 0.00 setgray ef gr gs col0 s gr % Polyline n 2169 1705 m 2278 1705 l 2263 1720 l 2247 1753 l 2247 2129 l 2278 2191 l 2152 2191 l 2169 2176 l 2185 2129 l 2185 2098 l 2185 1753 l cp gs 0.00 setgray ef gr gs col0 s gr % Ellipse n 1600 1877 42 42 0 360 DrawEllipse gs 0.00 setgray ef gr gs col0 s gr /Times-Bold ff 225.00 scf sf 2197 1439 m gs 1 -1 sc (1) dup sw pop 2 div neg 0 rm col0 sh gr /Times-Bold ff 225.00 scf sf 1667 2376 m gs 1 -1 sc (47) dup sw pop 2 div neg 0 rm col0 sh gr $F2psEnd rs %%EndDocument @endspecial Black Black 1997 9699 a FA(A)648 b(SEQUENCE)h(OF)f (BINOMIAL)g(COEFFICIENTS)h(RELA)-125 b(TED)649 b(TO)f(LUCAS)16244 11249 y(AND)h(FIBONA)-42 b(CCI)650 b(NUMBERS)20895 15284 y Fz(Moussa)434 b(Benoumhani)p Black Black 19258 17105 a(Mathematical)h(Departmen)-36 b(t)21793 18654 y(Sana'a)434 b(Univ)-36 b(ersit)g(y)22158 20204 y(P)-108 b(.)433 b(O.)h(Bo)-36 b(x)434 b(14026)24921 21754 y(Sana'a)24885 23304 y(Y)-108 b(emen)17434 24853 y(E-mail:)578 b(b)36 b(enoumhani@y)-36 b(aho)36 b(o.com)p Black 4785 28329 a Fy(Abstra)-25 b(ct.)p Black 554 w Fx(Let)272 b Fw(L)p Fx(\()p Fw(n;)184 b(k)35 b Fx(\))310 b(=)18493 27893 y Fv(n)p 17903 28074 1729 45 v 17903 28711 a(n)p Fu(\241)p Fv(k)19764 27432 y Ft(\241)20271 27838 y Fv(n)p Fu(\241)p Fv(k)20891 28711 y(k)22000 27432 y Ft(\242)22507 28329 y Fx(.)460 b(W)-92 b(e)271 b(pro)-31 b(v)g(e)273 b(that)g(all)g(the)g(zeros)e(of)i(the)f(p)31 b(olynomial)275 b Fw(L)45550 28495 y Fv(n)46153 28329 y Fx(\()p Fw(x)p Fx(\))308 b(=)5012 29023 y Ft(P)4785 30853 y Fv(k)19 b Fu(\270)p Fs(0)6592 29854 y Fw(L)p Fx(\()p Fw(n;)184 b(k)35 b Fx(\))p Fw(x)10604 29452 y Fv(k)11428 29854 y Fx(are)278 b(real.)462 b(The)278 b(sequence)f Fw(L)p Fx(\()p Fw(n;)184 b(k)35 b Fx(\))280 b(is)e(th)-31 b(us)277 b(strictly)i(log-conca)-31 b(v)g(e,)299 b(and)278 b(hence)f(unimo)31 b(dal)4785 31987 y(with)352 b(at)g(most)f(t)-31 b(w)g(o)353 b(consecutiv)-31 b(e)352 b(maxima.)489 b(W)-92 b(e)350 b(determine)h(those)g(in)-31 b(tegers)352 b(where)e(the)h (maxim)-31 b(um)354 b(is)4785 33315 y(reac)-31 b(hed.)482 b(In)337 b(the)h(last)g(section)g(w)-31 b(e)338 b(pro)-31 b(v)g(e)338 b(that)g Fw(L)p Fx(\()p Fw(n;)184 b(k)35 b Fx(\))341 b(satis\257es)c(a)h(cen)-31 b(tral)338 b(limit)i(theorem)e (as)f(w)-31 b(ell)339 b(as)4785 34643 y(a)370 b(lo)31 b(cal)370 b(limit)i(theorem.)21455 37511 y Fz(1.)651 b Fr(Intr)-30 b(oduction)2128 39835 y Fz(A)504 b(p)36 b(ositiv)-36 b(e)505 b(real)f(sequence)g(\()p Fq(a)17739 40034 y Fp(k)18308 39835 y Fz(\))18814 39353 y Fp(n)18814 40181 y(k)24 b Fo(=0)21089 39835 y Fz(is)504 b(said)g(to)g(b)36 b(e)504 b Fn(unimo)-66 b(dal)503 b Fz(if)h(there)g(exist)g(in)-36 b(tegers)504 b Fq(k)47734 40034 y Fo(0)48260 39835 y Fq(;)221 b(k)49518 40034 y Fo(1)50045 39835 y Fq(;)g Fz(0)490 b Fm(\267)800 41385 y Fq(k)1476 41584 y Fo(0)2371 41385 y Fm(\267)369 b Fq(k)4449 41584 y Fo(1)5345 41385 y Fm(\267)g Fq(n)434 b Fz(suc)-36 b(h)433 b(that)9802 43477 y Fq(a)10485 43676 y Fo(0)11380 43477 y Fm(\267)590 b Fq(a)13686 43676 y Fo(1)14581 43477 y Fm(\267)369 b(\242)221 b(\242)g(\242)370 b(\267)f Fq(a)19987 43676 y Fp(k)20477 43799 y Fl(0)21362 43477 y Fz(=)g Fq(a)23426 43676 y Fp(k)23916 43799 y Fl(0)24377 43676 y Fo(+1)26003 43477 y Fz(=)g Fm(\242)221 b(\242)g(\242)370 b Fz(=)e Fq(a)31366 43676 y Fp(k)31856 43799 y Fl(1)32742 43477 y Fm(\270)h Fq(a)34827 43676 y Fp(k)35317 43799 y Fl(1)35778 43676 y Fo(+1)37404 43477 y Fm(\270)h(\242)221 b(\242)g(\242)369 b(\270)g Fq(a)42810 43676 y Fp(n)43436 43477 y Fq(:)800 45569 y Fz(The)460 b(in)-36 b(tegers)460 b Fq(l)29 b(;)460 b(k)10252 45768 y Fo(0)11192 45569 y Fm(\267)414 b Fq(l)443 b Fm(\267)414 b Fq(k)15592 45768 y Fo(1)16578 45569 y Fz(are)460 b(called)h(the)e Fn(mo)-66 b(des)460 b Fz(of)g(the)g (sequence.)657 b(If)460 b Fq(k)40415 45768 y Fo(0)41355 45569 y Fq(<)413 b(k)43456 45768 y Fo(1)44443 45569 y Fz(then)458 b(\()p Fq(a)48620 45768 y Fp(k)49189 45569 y Fz(\))49695 45087 y Fp(n)49695 45915 y(k)24 b Fo(=0)51926 45569 y Fz(is)800 47119 y(said)484 b(to)g(ha)-36 b(v)g(e)485 b(a)f Fn(plate)-66 b(au)484 b Fz(of)h Fq(k)16032 47318 y Fo(1)16888 47119 y Fm(\241)329 b Fq(k)18926 47318 y Fo(0)19782 47119 y Fz(+)g(1)485 b(elemen)-36 b(ts;)509 b(if)485 b Fq(k)29932 47318 y Fo(0)30913 47119 y Fz(=)454 b Fq(k)33055 47318 y Fo(1)34066 47119 y Fz(then)483 b(it)h(is)g(said)g (to)h(ha)-36 b(v)g(e)484 b(a)g Fn(p)-66 b(e)g(ak)p Fz(.)729 b(A)800 48669 y(real)434 b(sequence)g(is)g(said)f(to)h(b)36 b(e)433 b Fn(lo)-66 b(garithmic)g(al)66 b(ly)464 b(c)-66 b(onc)g(ave)432 b Fz(\(log-conca)-36 b(v)g(e)434 b(for)g(short\))f(if) 15671 50773 y Fq(a)16354 50225 y Fo(2)16354 51101 y Fp(k)17292 50773 y Fm(\270)369 b Fq(a)19377 50972 y Fp(k)24 b Fk(\241)p Fo(1)21148 50773 y Fq(a)21831 50972 y Fp(k)g Fo(+1)23602 50773 y Fq(;)1305 b Fz(1)370 b Fm(\267)f Fq(k)414 b Fm(\267)369 b Fq(n)296 b Fm(\241)f Fz(1)3035 b(\(1\))800 52865 y(If)510 b(the)e(inequalities)j(in)e(\(1\))g(are)g(strict,)528 b(then)508 b(\()p Fq(a)25496 53064 y Fp(k)26065 52865 y Fz(\))26571 52383 y Fp(n)26571 53211 y(k)24 b Fo(=0)28851 52865 y Fz(is)509 b(said)h(to)f(b)36 b(e)509 b Fn(strictly)533 b(lo)-66 b(g-c)g(onc)g(ave)507 b Fz(\(SLC)h(for)800 54415 y(short\).)784 b(A)502 b(sequence)h(is)f(said)h(to)f(b)36 b(e)502 b(ha)-36 b(v)g(e)503 b Fn(no)528 b(internal)e(zer)-66 b(os)503 b Fz(if)g Fq(i)485 b(<)h(j)517 b Fz(,)j Fq(a)39477 54614 y Fp(i)40339 54415 y Fm(6)p Fz(=)485 b(0)503 b(and)f Fq(a)46270 54614 y Fp(j)47242 54415 y Fm(6)p Fz(=)486 b(0,)520 b(then)800 55965 y Fq(a)1483 56164 y Fp(k)2449 55965 y Fm(6)p Fz(=)397 b(0)451 b(for)f Fq(i)397 b Fm(\267)h Fq(k)442 b Fm(\267)398 b Fq(j)75 b Fz(.)628 b(A)450 b(log-conca)-36 b(v)g(e)452 b(sequence)e(with)g(no)g(in)-36 b(ternal)450 b(zeros)h(is)f(ob)-36 b(viously)452 b(unimo)36 b(dal,)800 57514 y(and)325 b(if)g(it)h(is)f(SLC,)g(then)f(it)i(has)f(at)g(most)g (t)-36 b(w)g(o)325 b(consecutiv)-36 b(e)326 b(mo)36 b(des.)542 b(The)325 b(follo)-36 b(wing)327 b(result)e(is)h(sometimes)800 59064 y(useful)434 b(in)f(pro)-36 b(ving)434 b(log-conca)-36 b(vit)g(y)-108 b(.)580 b(F)-108 b(or)433 b(a)h(pro)36 b(of)434 b(of)g(this)f(theorem,)h(see)g(Hardy)f(and)g(Littlew)-36 b(o)36 b(o)g(d)435 b([)p 0 1 0 0 TeXcolorcmyk(5)p (#cite.5) [[529 185 535 197] [1 1 1 [3 3]] [0 0 1]] pdfm Black(].)p Black 800 61389 a FA(Theorem)378 b(1.)p Black 472 w Fn(\(I.)368 b(Newton\))f(L)-66 b(et)366 b Fz(\()p Fq(a)18932 61588 y Fp(k)19501 61389 y Fz(\))20007 60907 y Fp(n)20007 61734 y(k)24 b Fo(=0)22146 61389 y Fn(b)-66 b(e)366 b(a)i(r)-66 b(e)g(al)367 b(se)-66 b(quenc)g(e.)563 b(Assume)368 b(that)f(the)h(p)-66 b(olynomial)367 b Fq(P)181 b Fz(\()p Fq(x)p Fz(\))368 b(=)1372 62359 y Fp(n)957 62625 y Fj(P)800 64789 y Fp(k)24 b Fo(=0)2737 63621 y Fq(a)3420 63820 y Fp(k)3989 63621 y Fq(x)4728 63139 y Fp(k)5762 63621 y Fn(has)465 b(only)g(r)-66 b(e)g(al)464 b(zer)-66 b(os.)598 b(Then)10971 67396 y Fq(a)11654 66848 y Fo(2)11654 67725 y Fp(k)12591 67396 y Fm(\270)14126 66498 y Fq(n)296 b Fm(\241)f Fq(k)340 b Fz(+)295 b(1)p 14126 67091 5374 54 v 15252 68308 a Fq(n)h Fm(\241)f Fq(k)19928 67396 y Fm(\242)20725 66498 y Fq(k)340 b Fz(+)295 b(1)p 20725 67091 2974 54 v 21851 68308 a Fq(k)23831 67396 y(a)24514 67595 y Fp(k)24 b Fo(+1)26285 67396 y Fq(a)26968 67595 y Fp(k)g Fk(\241)p Fo(1)28739 67396 y Fq(;)886 b Fz(1)369 b Fm(\267)g Fq(k)414 b Fm(\267)369 b Fq(n)296 b Fm(\241)f Fz(1)p Fq(:)2657 b Fz(\(2\))p Black 26544 74964 a Fi(1)p Black eop %%Page: 2 2 2 1 bop Black 0 TeXcolorgray Black 800 886 a Fi(2)959 b(A)444 b(SEQUENCE)e(OF)i(BINOMIAL)g(COEFFICIENTS)d(RELA)-85 b(TED)442 b(TO)i(LUCAS)e(AND)i(FIBONA)-28 b(CCI)442 b(NUMBERS)p Black 2128 3542 a Fz(If)535 b(the)e(sequence)h(\()p Fq(a)12549 3741 y Fp(k)13117 3542 y Fz(\))13623 3060 y Fp(n)13623 3888 y(k)24 b Fo(=0)15928 3542 y Fz(is)534 b(p)36 b(ositiv)-36 b(e)535 b(and)e(satis\257es)h(the)f(h)-36 b(yp)36 b(othesis)534 b(of)g(the)f(previous)h(theorem,)800 5092 y(then)433 b(it)g(is)h(SLC.)g(The)f(t)-36 b(w)g(o)434 b(p)36 b(ossible)434 b(v)-72 b(alues)434 b(of)g(the)g(mo)36 b(des)433 b(are)h(giv)-36 b(en)434 b(b)-36 b(y)434 b(the)f(next)g(theorem.)p Black 800 7269 a FA(Theorem)411 b(2.)p Black 494 w Fn(L)-66 b(et)393 b Fz(\()p Fq(a)12063 7468 y Fp(k)12632 7269 y Fz(\))13138 6787 y Fp(n)13138 7614 y(k)24 b Fo(=0)15303 7269 y Fn(b)-66 b(e)393 b(a)h(r)-66 b(e)g(al)393 b(se)-66 b(quenc)g(e)392 b(satisfying)h(the)g(hyp)-66 b(othesis)394 b(of)g(the)f(pr)-66 b(evious)394 b(the)-66 b(or)g(em.)800 8819 y(Then)464 b(every)h(mo)-66 b(de)464 b(of)g(the)h(se)-66 b(quenc)g(e)463 b Fz(\()p Fq(a)21167 9018 y Fp(k)21736 8819 y Fz(\))22242 8337 y Fp(n)22242 9164 y(k)24 b Fo(=0)24478 8819 y Fn(satis\257es)18190 9892 y Fj(6)18190 10690 y(6)18190 11487 y(6)18190 12284 y(6)18190 13081 y(6)18190 13931 y(4)19781 10331 y Fp(n)19365 10597 y Fj(P)19208 12762 y Fp(k)g Fo(=1)21145 11593 y Fq(k)45 b(a)22549 11792 y Fp(k)p 19208 13107 3910 54 v 20141 13781 a(n)19726 14046 y Fj(P)19569 16211 y Fp(k)24 b Fo(=0)21506 15043 y Fq(a)22189 15242 y Fp(k)23251 9892 y Fj(7)23251 10690 y(7)23251 11487 y(7)23251 12284 y(7)23251 13081 y(7)23251 13931 y(5)24505 13413 y Fm(\267)370 b Fq(k)26584 13612 y Fo(0)27479 13413 y Fm(\267)28881 9946 y Fj(2)28881 12284 y(6)28881 13081 y(6)28881 13878 y(6)28881 14675 y(6)28881 15472 y(6)30472 10331 y Fp(n)30056 10597 y Fj(P)29899 12762 y Fp(k)24 b Fo(=0)31837 11593 y Fq(k)45 b(a)33241 11792 y Fp(k)p 29899 13107 V 30832 13781 a(n)30417 14046 y Fj(P)30260 16211 y Fp(k)24 b Fo(=0)32197 15043 y Fq(a)32880 15242 y Fp(k)33942 9946 y Fj(3)33942 12284 y(7)33942 13081 y(7)33942 13878 y(7)33942 14675 y(7)33942 15472 y(7)35049 13413 y Fq(;)800 17993 y Fn(wher)-66 b(e)465 b Fm(b)p Fq(x)p Fm(c)g Fn(and)g Fm(d)q Fq(x)p Fm(e)g Fn(ar)-66 b(e)465 b(r)-66 b(esp)g(e)g(ctively)462 b(the)i(\260o)-66 b(or)465 b(and)g(the)g(c)-66 b(eiling)462 b(of)j Fq(x)p Fn(.)2128 20170 y Fz(F)-108 b(or)434 b(a)f(pro)36 b(of)435 b(of)f(this)f(theorem,)h(see)f(Benoumhani)g([)p 0 1 0 0 TeXcolorcmyk(2)p (#cite.2) [[328 535 334 547] [1 1 1 [3 3]] [0 0 1]] pdfm Black 1 w(,)p 0 1 0 0 TeXcolorcmyk 434 w(3)p (#cite.3) [[341 535 347 547] [1 1 1 [3 3]] [0 0 1]] pdfm Black(].)2128 21817 y(Let)458 b Fq(g)48 b Fz(\()p Fq(n;)221 b(k)45 b Fz(\))412 b(=)10080 20741 y Fj(\241)10689 21228 y Fp(n)p Fk(\241)p Fp(k)11340 22275 y(k)12505 20741 y Fj(\242)13114 21817 y Fz(.)653 b(This)459 b(sequence)f(w)-36 b(as)459 b(b)36 b(een)458 b(in)-36 b(v)g(estigated)459 b(b)-36 b(y)459 b(S.)f(T)-108 b(ann)-36 b(y)458 b(and)g(M.)h(Zuk)-36 b(er)458 b([)p 0 1 0 0 TeXcolorcmyk(8)p (#cite.8) [[535 521 541 533] [1 1 1 [3 3]] [0 0 1]] pdfm Black(];)800 23389 y(they)427 b(pro)-36 b(v)g(ed)426 b(that)g(it)h(is)g(SLC,)g(and)f(determined)f(its)i(mo)36 b(des.)576 b(If)428 b Fq(r)34124 23588 y Fp(n)35177 23389 y Fz(is)f(the)f(smallest)h(mo)36 b(de)427 b(of)h Fq(g)48 b Fz(\()p Fq(n;)221 b(k)45 b Fz(\),)800 24939 y(then)14619 27374 y Fq(r)15205 27573 y Fp(n)16200 27374 y Fz(=)17581 25103 y Fj(&)18562 26476 y Fz(5)p Fq(n)296 b Fm(\241)f Fz(3)h Fm(\241)23886 25378 y(p)p 24993 25378 7884 54 v 1098 x Fz(5)p Fq(n)26419 26092 y Fo(2)27241 26476 y Fz(+)f(10)p Fq(n)h Fz(+)f(9)p 18562 27069 14316 54 v 25069 28286 a(10)33010 25103 y Fj(')34744 27374 y Fq(:)2214 b Fz(\(3\))800 30339 y(They)463 b(pro)-36 b(v)g(ed)461 b(that)h(there)g(are)g(in\257nitely)g(man)-36 b(y)462 b(in)-36 b(tegers)462 b(where)g(a)h(double)f(maxim)-36 b(um)462 b(o)36 b(ccurs.)664 b(The)800 31889 y(in)-36 b(tegers)341 b(where)g(this)f(happ)36 b(en)340 b(are)h(giv)-36 b(en)342 b(b)-36 b(y:)532 b Fq(n)24545 32088 y Fp(j)25401 31889 y Fz(=)369 b Fq(F)27624 32088 y Fo(4)p Fp(j)28687 31889 y Fm(\241)106 b Fz(1,)360 b(where)341 b Fq(F)35704 32088 y Fp(k)36927 31889 y Fz(is)g(the)g Fq(k)41011 31407 y Fp(th)42289 31889 y Fz(Fib)36 b(onacci)341 b(n)-36 b(um)g(b)36 b(er.)800 33465 y(The)459 b(smallest)h(mo)36 b(de)459 b(corresp)36 b(onding)459 b(to)h Fq(n)22826 33664 y Fp(j)23772 33465 y Fz(is)g(giv)-36 b(en)460 b(b)-36 b(y)459 b Fq(r)30946 33664 y Fp(j)31845 33465 y Fz(=)33402 32942 y Fo(1)p 33402 33159 471 54 v 33402 33923 a(5)34227 33465 y Fz(\()p Fq(L)35618 33664 y Fo(4)p Fp(j)51 b Fk(\241)p Fo(1)38073 33465 y Fm(\241)295 b Fz(4\),)466 b(where)459 b Fq(L)46052 33664 y Fp(j)46998 33465 y Fz(is)h(the)f Fq(j)75 b Fz('th)800 35014 y(Lucas)433 b(n)-36 b(um)g(b)36 b(er.)2128 36564 y(In)522 b(this)g(pap)36 b(er)521 b(w)-36 b(e)522 b(consider)g(the)f(sequence)h Fq(L)p Fz(\()p Fq(n;)221 b(k)45 b Fz(\))520 b(=)31950 36041 y Fp(n)p 31327 36259 1817 54 v 31327 37022 a(n)p Fk(\241)p Fp(k)33276 35488 y Fj(\241)33885 35975 y Fp(n)p Fk(\241)p Fp(k)34537 37022 y(k)35702 35488 y Fj(\242)36310 36564 y Fz(,)545 b(0)519 b Fm(\267)g Fq(k)565 b Fm(\267)42730 35488 y Fj(\245)43490 36041 y Fp(n)p 43490 36259 571 54 v 43540 37022 a Fo(2)44194 35488 y Fj(\246)44821 36564 y Fz(,)544 b Fq(n)520 b Fm(\270)f Fz(1.)844 b(It)522 b(is)800 38222 y(kno)-36 b(wn)554 b(that)e Fq(L)p Fz(\()p Fq(n;)221 b(k)45 b Fz(\))555 b(coun)-36 b(ts)552 b(the)h(n)-36 b(um)g(b)36 b(er)552 b(of)i(w)-36 b(a)g(ys)554 b(of)g(c)-36 b(ho)36 b(osing)554 b Fq(k)598 b Fz(p)36 b(oin)-36 b(ts,)584 b(no)553 b(t)-36 b(w)g(o)553 b(consecutiv)-36 b(e,)800 39771 y(from)506 b(a)g(collection)h(of)f Fq(n)g Fz(p)36 b(oin)-36 b(ts)505 b(arranged)h(in)f(a)h(circle;)543 b(see)505 b(Stanley)h([)p 0 1 0 0 TeXcolorcmyk(7)p (#cite.7) [[406 359 412 371] [1 1 1 [3 3]] [0 0 1]] pdfm Black 1 w(,)524 b(p.)505 b(73,)525 b(Lemma)505 b(2.3.4])j(and)800 41321 y(Sloane)434 b([)p 0 1 0 0 TeXcolorcmyk(6)p (#cite.6) [[120 345 125 357] [1 1 1 [3 3]] [0 0 1]] pdfm Black(,)g(A034807].)2128 42871 y(In)596 b(Section)f(2,)637 b(for)596 b(the)f(sak)-36 b(e)596 b(of)h(completeness,)636 b(w)-36 b(e)596 b(pro)-36 b(v)g(e)596 b(that)f(all)h(zeros)g(of)g(the)f (p)36 b(olynomials)800 44420 y Fq(P)1638 44619 y Fp(n)2265 44420 y Fz(\()p Fq(x)p Fz(\))656 b(=)6496 43424 y Fj(P)6340 45589 y Fp(k)24 b Fk(\270)p Fo(0)8277 44420 y Fq(g)48 b Fz(\()p Fq(n;)221 b(k)45 b Fz(\))p Fq(x)12778 43938 y Fp(k)13949 44420 y Fz(are)603 b(real.)1085 b(The)602 b(explicit)i(form)-36 b(ula)602 b(for)h Fq(P)35358 44619 y Fp(n)35985 44420 y Fz(\()p Fq(x)p Fz(\))f(allo)-36 b(ws)604 b(us)e(to)g(deriv)-36 b(e)603 b(some)800 46904 y(iden)-36 b(tities.)677 b(Also)467 b(it)f(enables)h(us)f(to)g(redisco) -36 b(v)g(er)467 b(a)g(result)f(of)h(S.)f(T)-108 b(ann)-36 b(y)467 b(and)f(M.)g(Zuk)-36 b(er.)677 b(In)466 b(the)g(third)800 48454 y(section,)396 b(w)-36 b(e)387 b(consider)f(the)g(p)36 b(olynomials)388 b Fq(L)22616 48653 y Fp(n)23242 48454 y Fz(\()p Fq(x)p Fz(\))369 b(=)26899 47458 y Fj(P)26743 49622 y Fp(k)24 b Fk(\270)p Fo(0)28680 48454 y Fq(L)p Fz(\()p Fq(n;)221 b(k)45 b Fz(\))p Fq(x)33395 47972 y Fp(k)33965 48454 y Fq(:)386 b Fz(W)-108 b(e)387 b(pro)-36 b(v)g(e)386 b(that)g(all)h(zeros)g(of)g Fq(L)50423 48653 y Fp(n)51049 48454 y Fz(\()p Fq(x)p Fz(\))800 51012 y(are)431 b(real)h(and)e(negativ)-36 b(e.)578 b(In)431 b(this)g(case,)h(to)36 b(o,)433 b(the)d(explicit)i(form)-36 b(ula)431 b(for)h Fq(L)38017 51211 y Fp(n)38643 51012 y Fz(\()p Fq(x)p Fz(\))f(giv)-36 b(es)432 b(some)f(iden)-36 b(tities.)800 52561 y(The)529 b(SLC)g(of)h(the)f(sequence)g Fq(L)p Fz(\()p Fq(n;)221 b(k)45 b Fz(\))530 b(is)f(deduced)f(from)h(the)g (fact)h(that)f Fq(L)38997 52760 y Fp(n)39623 52561 y Fz(\()p Fq(x)p Fz(\))g(has)g(real)h(zeros.)865 b(W)-108 b(e)800 54111 y(determine)449 b(the)h(mo)36 b(des,)455 b(and)449 b(the)h(in)-36 b(tegers)450 b Fq(n)h Fz(where)f Fq(L)p Fz(\()p Fq(n;)221 b(k)45 b Fz(\))450 b(has)h(a)f(double)g(maxim) -36 b(um.)628 b(In)450 b(the)g(last)800 55661 y(section)548 b(w)-36 b(e)548 b(pro)-36 b(v)g(e)547 b(that)g(the)g(sequence)h Fq(L)p Fz(\()p Fq(n;)221 b(k)45 b Fz(\))548 b(is)g(asymptotically)h (normal,)577 b(and)547 b(satis\257es)h(a)g(lo)36 b(cal)800 57211 y(limit)434 b(theorem)f(on)h Fq(R)11 b Fz(.)18485 59845 y(2.)651 b Fr(The)501 b(pol)-89 b(ynomials)502 b Fq(P)32738 60044 y Fp(n)33365 59845 y Fz(\()p Fq(x)p Fz(\))2128 62267 y(It)325 b(is)g(w)-36 b(ell)326 b(kno)-36 b(wn)324 b(that)h(the)f(sequence)g Fq(g)48 b Fz(\()p Fq(n;)221 b(k)45 b Fz(\))369 b(=)26799 61191 y Fj(\241)27408 61678 y Fp(n)p Fk(\241)p Fp(k)28059 62725 y(k)29224 61191 y Fj(\242)29833 62267 y Fz(,)347 b(0)369 b Fm(\267)g Fq(k)414 b Fm(\267)35454 61191 y Fj(\245)36214 61744 y Fp(n)p 36214 61962 V 36264 62725 a Fo(2)36918 61191 y Fj(\246)37545 62267 y Fz(,)347 b(is)325 b(related)g(to)f(the)h(Fib)36 b(onacci)800 64047 y(n)-36 b(um)g(b)36 b(ers)305 b(b)-36 b(y)307 b(the)f(relation)14511 63051 y Fj(P)14354 65216 y Fp(k)24 b Fk(\270)p Fo(0)16292 62971 y Fj(\241)16900 63458 y Fp(n)p Fk(\241)p Fp(k)17552 64505 y(k)18717 62971 y Fj(\242)19695 64047 y Fz(=)368 b Fq(F)21917 64246 y Fp(n)p Fo(+1)24052 64047 y Fz(.)536 b(Recall)309 b(that)d(the)g (sequence)h(\()p Fq(F)40159 64246 y Fp(n)40785 64047 y Fz(\))f(is)h(de\257ned)f(as)h(follo)-36 b(ws:)19538 67059 y Fq(F)20380 67258 y Fp(n)21375 67059 y Fz(=)369 b Fq(F)23598 67258 y Fp(n)p Fk(\241)p Fo(1)25722 67059 y Fz(+)294 b Fq(F)27870 67258 y Fp(n)p Fk(\241)p Fo(2)29699 67059 y Fq(;)443 b(n)369 b Fm(\270)g Fz(2)p Fq(;)800 69151 y Fz(with)434 b Fq(F)4605 69350 y Fo(0)5499 69151 y Fz(=)369 b(0)p Fq(;)443 b(F)9176 69350 y Fo(1)10071 69151 y Fz(=)369 b(1.)579 b(Also)434 b(w)-36 b(e)434 b(ha)-36 b(v)g(e)433 b(the)g(explicit)i(form)-36 b(ula)14899 72418 y Fq(F)15741 72617 y Fp(n)16736 72418 y Fz(=)18803 71519 y(1)p 18249 72112 1758 54 v 18249 72378 a Fm(p)p 19356 72378 651 54 v 1099 x Fz(5)20361 70146 y Fj(\303)o(\303)22597 71519 y Fz(1)295 b(+)24849 70420 y Fm(p)p 25956 70420 V 1099 x Fz(5)p 22597 72112 4010 54 v 24277 73329 a(2)26739 70146 y Fj(!)27791 70443 y Fp(n)28712 72418 y Fm(\241)30041 70146 y Fj(\303)31225 71519 y Fz(1)h Fm(\241)33499 70420 y(p)p 34606 70420 651 54 v 1099 x Fz(5)p 31225 72112 4032 54 v 32916 73329 a(2)35389 70146 y Fj(!)36441 70443 y Fp(n)37067 70146 y Fj(!)38340 72418 y Fq(:)p Black Black eop %%Page: 3 3 3 2 bop Black 0 TeXcolorgray Black 2271 886 a Fi(A)444 b(SEQUENCE)e(OF)i(BINOMIAL)g(COEFFICIENTS)d(RELA)-85 b(TED)442 b(TO)i(LUCAS)e(AND)i(FIBONA)-28 b(CCI)442 b(NUMBERS)958 b(3)p Black 2128 3542 a Fz(It)434 b(is)g(straigh)-36 b(tforw)g(ard)434 b(to)g(see)f(that)g Fq(P)21341 3741 y Fp(n)21968 3542 y Fz(\()p Fq(x)p Fz(\))g(satis\257es)h(the)f (recursion)15114 5936 y Fq(P)15952 6135 y Fp(n)16578 5936 y Fz(\()p Fq(x)p Fz(\))369 b(=)g Fq(P)20917 6135 y Fp(n)p Fk(\241)p Fo(1)22745 5936 y Fz(\()p Fq(x)p Fz(\))295 b(+)g Fq(xP)27675 6135 y Fp(n)p Fk(\241)p Fo(2)29504 5936 y Fz(\()p Fq(x)p Fz(\))p Fq(;)5209 b Fz(\(4\))800 8331 y(with)434 b(initial)g(conditions)g Fq(P)14580 8530 y Fo(0)15106 8331 y Fz(\()p Fq(x)p Fz(\))369 b(=)f Fq(P)19444 8530 y Fo(1)19970 8331 y Fz(\()p Fq(x)p Fz(\))h(=)g(1)p Fq(:)434 b Fz(Using)g(the)f(relation)h(\(4\))f(w)-36 b(e)434 b(pro)-36 b(v)g(e)p Black 800 10828 a FA(Prop)42 b(osition)537 b(3.)p Black 570 w Fn(F)-100 b(or)495 b(al)66 b(l)496 b Fq(n)424 b Fm(\270)g Fz(0)p Fq(;)496 b Fn(al)66 b(l)495 b(zer)-66 b(os)495 b(of)f(the)g(p)-66 b(olynomials)495 b Fq(P)36029 11027 y Fp(n)36655 10828 y Fz(\()p Fq(x)p Fz(\))g Fn(ar)-66 b(e)494 b(r)-66 b(e)g(al.)685 b(Mor)-66 b(e)494 b(pr)-66 b(e)g(cisely,)800 13197 y(we)465 b(have)6369 b Fq(P)12457 13396 y Fp(n)13083 13197 y Fz(\()p Fq(x)p Fz(\))369 b(=)17975 12674 y Fo(1)p 16716 12891 2987 54 v 16716 13024 a Fk(p)p 17501 13024 2203 40 v 17501 13711 a Fo(4)p Fp(x)p Fo(+1)20057 11324 y Fj(\265)21035 11722 y(\263)21961 12626 y Fo(1+)23163 11939 y Fk(p)p 23948 11939 V 23948 12626 a Fo(4)p Fp(x)p Fo(+1)p 21961 12891 4189 54 v 23820 13655 a(2)26283 11722 y Fj(\264)27076 12020 y Fp(n)p Fo(+1)29200 13197 y Fm(\241)30528 11722 y Fj(\263)31454 12626 y Fo(1)p Fk(\241)32656 11939 y(p)p 33441 11939 2203 40 v 33441 12626 a Fo(4)p Fp(x)p Fo(+1)p 31454 12891 4189 54 v 33314 13655 a(2)35776 11722 y Fj(\264)36569 12020 y Fp(n)p Fo(+1)38398 11324 y Fj(\266)39597 13197 y Fq(:)1772 b Fz(\(5\))p Black 800 17443 a Fn(Pr)-66 b(o)g(of.)p Black 552 w Fz(W)-108 b(rite)289 b(the)g(relation)g(\(4\))g (in)g(matrix)h(form,)319 b(as)289 b(follo)-36 b(ws:)31843 15570 y Fj(\265)33374 16646 y Fq(P)34212 16845 y Fp(n)34839 16646 y Fz(\()p Fq(x)p Fz(\))33374 18196 y Fq(P)34212 18395 y Fp(n)p Fk(\241)p Fo(1)36041 18196 y Fz(\()p Fq(x)p Fz(\))38346 15570 y Fj(\266)39692 17443 y Fz(=)41073 15570 y Fj(\265)42604 16646 y Fz(1)1108 b Fq(x)42604 18196 y Fz(1)g(0)45654 15570 y Fj(\266)221 b(\265)48385 16646 y Fq(P)49223 16845 y Fp(n)p Fk(\241)p Fo(1)51052 16646 y Fz(\()p Fq(x)p Fz(\))48385 18196 y Fq(P)49223 18395 y Fp(n)p Fk(\241)p Fo(2)51052 18196 y Fz(\()p Fq(x)p Fz(\))53356 15570 y Fj(\266)54334 17443 y Fz(.)800 19738 y(W)-108 b(e)434 b(deduce)8465 20967 y Fj(\265)9996 22043 y Fq(P)10834 22242 y Fp(n)11461 22043 y Fz(\()p Fq(x)p Fz(\))9996 23592 y Fq(P)10834 23791 y Fp(n)p Fk(\241)p Fo(1)12663 23592 y Fz(\()p Fq(x)p Fz(\))14967 20967 y Fj(\266)16314 22840 y Fz(=)17695 20967 y Fj(\265)19226 22043 y Fz(1)1107 b Fq(x)19226 23592 y Fz(1)g(0)22276 20967 y Fj(\266)23254 21264 y Fp(n)p Fk(\241)p Fo(1)25304 20967 y Fj(\265)26835 22043 y Fq(P)27673 22242 y Fo(1)28199 22043 y Fz(\()p Fq(x)p Fz(\))26835 23592 y Fq(P)27673 23791 y Fo(0)28199 23592 y Fz(\()p Fq(x)p Fz(\))30503 20967 y Fj(\266)31850 22840 y Fz(=)33231 20967 y Fj(\265)34762 22043 y Fz(1)g Fq(x)34762 23592 y Fz(1)g(0)37812 20967 y Fj(\266)38790 21264 y Fp(n)p Fk(\241)p Fo(1)40840 20967 y Fj(\265)42371 22043 y Fz(1)42371 23592 y(1)43575 20967 y Fj(\266)44774 22840 y Fq(:)800 26983 y Fz(The)434 b(eigen)-36 b(v)-72 b(alues)434 b(of)g(the)f(matrix)h Fq(A)369 b Fz(=)20874 25110 y Fj(\265)22405 26186 y Fz(1)1108 b Fq(x)22405 27736 y Fz(1)g(0)25455 25110 y Fj(\266)26867 26983 y Fz(are)15583 31253 y Fq(\270)16342 31452 y Fo(1)17236 31253 y Fz(=)18750 30354 y(1)295 b(+)21002 29306 y Fm(p)p 22109 29306 3642 54 v 1048 x Fz(4)p Fq(x)h Fz(+)f(1)p 18750 30948 7002 54 v 21925 32164 a(2)26317 31253 y Fq(;)656 b(\270)28093 31452 y Fo(2)28987 31253 y Fz(=)30500 30354 y(1)296 b Fm(\241)32774 29306 y(p)p 33881 29306 3642 54 v 1048 x Fz(4)p Fq(x)g Fz(+)f(1)p 30500 30948 7023 54 v 33687 32164 a(2)37656 31253 y Fq(;)800 35046 y Fz(and)499 b(t)-36 b(w)g(o)499 b(eigen)-36 b(v)g(ectors)500 b(of)f Fq(A)g Fz(are)g Fq(V)19263 35245 y Fo(1)20270 35046 y Fz(=)21781 33173 y Fj(\265)23312 34249 y Fq(\270)24071 34448 y Fo(1)23312 35798 y Fz(1)25150 33173 y Fj(\266)26128 35046 y Fz(and)f Fq(V)29480 35245 y Fo(2)30487 35046 y Fz(=)31997 33173 y Fj(\265)33529 34249 y Fq(\270)34288 34448 y Fo(2)33529 35798 y Fz(1)35367 33173 y Fj(\266)36344 35046 y Fz(.)775 b(No)-36 b(w)500 b(the)e(matrix)i Fq(A)f Fz(ma)-36 b(y)499 b(b)36 b(e)800 37300 y(written)11896 37986 y Fj(\265)13428 39062 y Fz(1)1107 b Fq(x)13428 40612 y Fz(1)g(0)16477 37986 y Fj(\266)17824 39859 y Fz(=)19205 37986 y Fj(\265)20736 39062 y Fq(\270)21495 39261 y Fo(1)23128 39062 y Fq(\270)23887 39261 y Fo(2)20736 40612 y Fz(1)1742 b(1)24966 37986 y Fj(\266)221 b(\265)27696 39062 y Fq(\270)28455 39261 y Fo(1)30088 39062 y Fz(0)27696 40612 y(0)1742 b Fq(\270)30847 40811 y Fo(2)31926 37986 y Fj(\266)221 b(\265)34656 39062 y Fq(\270)35415 39261 y Fo(1)37048 39062 y Fq(\270)37807 39261 y Fo(2)34656 40612 y Fz(1)1742 b(1)38886 37986 y Fj(\266)39864 38283 y Fk(\241)p Fo(1)41343 39859 y Fq(:)800 42727 y Fz(F)-108 b(rom)433 b(this,)h(w)-36 b(e)434 b(obtain)6695 44214 y Fj(\265)8226 45290 y Fz(1)1107 b Fq(x)8226 46840 y Fz(1)g(0)11276 44214 y Fj(\266)12254 44511 y Fp(n)p Fk(\241)p Fo(1)15189 46087 y Fz(=)19212 45188 y(1)p 17441 45781 4193 54 v 17441 46998 a Fq(\270)18200 47197 y Fo(1)19020 46998 y Fm(\241)296 b Fq(\270)21108 47197 y Fo(2)21988 44214 y Fj(\265)23519 45290 y Fq(\270)24278 45489 y Fo(1)25910 45290 y Fq(\270)26669 45489 y Fo(2)23519 46840 y Fz(1)1741 b(1)27748 44214 y Fj(\266)222 b(\265)30479 45290 y Fq(\270)31238 44740 y Fp(n)p Fk(\241)p Fo(1)31238 45616 y(1)34173 45290 y Fz(0)30479 46875 y(0)3044 b Fq(\270)34932 46326 y Fp(n)p Fk(\241)p Fo(1)34932 47201 y(2)37314 44214 y Fj(\266)221 b(\265)40044 45290 y Fz(1)2141 b Fm(\241)p Fq(\270)44627 45489 y Fo(2)40044 46840 y Fm(\241)p Fz(1)1108 b Fq(\270)43594 47039 y Fo(1)45706 44214 y Fj(\266)15189 49773 y Fz(=)19212 48875 y(1)p 17441 49468 V 17441 50684 a Fq(\270)18200 50883 y Fo(1)19020 50684 y Fm(\241)296 b Fq(\270)21108 50883 y Fo(2)21988 47900 y Fj(\265)23519 48958 y Fq(\270)24278 48476 y Fp(n)24278 49287 y Fo(1)25199 48958 y Fm(\241)f Fq(\270)27286 48476 y Fp(n)27286 49287 y Fo(2)31424 48958 y Fm(\241)p Fq(\270)33216 48476 y Fp(n)33216 49287 y Fo(1)33842 48958 y Fq(\270)34601 49157 y Fo(2)35422 48958 y Fz(+)g Fq(\270)37488 49157 y Fo(1)38013 48958 y Fq(\270)38772 48476 y Fp(n)38772 49287 y Fo(2)23519 50544 y Fq(\270)24278 49994 y Fp(n)p Fk(\241)p Fo(1)24278 50869 y(1)26401 50544 y Fm(\241)h Fq(\270)28489 49994 y Fp(n)p Fk(\241)p Fo(1)28489 50869 y(2)31424 50544 y Fm(\241)p Fq(\270)33216 49994 y Fp(n)p Fk(\241)p Fo(1)33216 50869 y(1)35044 50544 y Fq(\270)35803 50743 y Fo(2)36624 50544 y Fz(+)f Fq(\270)38690 50743 y Fo(1)39215 50544 y Fq(\270)39974 49994 y Fp(n)p Fk(\241)p Fo(1)39974 50869 y(2)42356 47900 y Fj(\266)43555 49773 y Fq(:)2128 53916 y Fz(The)434 b(v)-36 b(ector)8704 52043 y Fj(\265)10235 53119 y Fq(P)11073 53318 y Fp(n)11700 53119 y Fz(\()p Fq(x)p Fz(\))10235 54669 y Fq(P)11073 54868 y Fp(n)p Fk(\241)p Fo(1)12902 54669 y Fz(\()p Fq(x)p Fz(\))15206 52043 y Fj(\266)16618 53916 y Fz(is)434 b(no)-36 b(w)6914 56187 y Fj(\265)8445 57263 y Fq(P)9283 57462 y Fp(n)9909 57263 y Fz(\()p Fq(x)p Fz(\))8445 58812 y Fq(P)9283 59011 y Fp(n)p Fk(\241)p Fo(1)11112 58812 y Fz(\()p Fq(x)p Fz(\))13416 56187 y Fj(\266)14763 58060 y Fz(=)18047 57161 y(1)p 16276 57754 V 16276 58971 a Fq(\270)17035 59170 y Fo(1)17856 58971 y Fm(\241)295 b Fq(\270)19943 59170 y Fo(2)20823 56187 y Fj(\265)22354 57245 y Fq(\270)23113 56763 y Fp(n)23113 57573 y Fo(1)24035 57245 y Fm(\241)g Fq(\270)26122 56763 y Fp(n)26122 57573 y Fo(2)30259 57245 y Fm(\241)p Fq(\270)32051 56763 y Fp(n)32051 57573 y Fo(1)32678 57245 y Fq(\270)33437 57444 y Fo(2)34257 57245 y Fz(+)g Fq(\270)36323 57444 y Fo(1)36849 57245 y Fq(\270)37608 56763 y Fp(n)37608 57573 y Fo(2)22354 58830 y Fq(\270)23113 58280 y Fp(n)p Fk(\241)p Fo(1)23113 59156 y(1)25237 58830 y Fm(\241)g Fq(\270)27324 58280 y Fp(n)p Fk(\241)p Fo(1)27324 59156 y(2)30259 58830 y Fm(\241)p Fq(\270)32051 58280 y Fp(n)p Fk(\241)p Fo(1)32051 59156 y(1)33880 58830 y Fq(\270)34639 59029 y Fo(2)35460 58830 y Fz(+)f Fq(\270)37525 59029 y Fo(1)38051 58830 y Fq(\270)38810 58280 y Fp(n)p Fk(\241)p Fo(1)38810 59156 y(2)41192 56187 y Fj(\266)221 b(\265)43922 57263 y Fz(1)43922 58812 y(1)45126 56187 y Fj(\266)46325 58060 y Fq(:)2128 61185 y Fz(So,)14702 63610 y Fq(P)15540 63809 y Fp(n)16166 63610 y Fz(\()p Fq(x)p Fz(\))369 b(=)21570 62712 y(1)p 19799 63305 V 19799 64521 a Fq(\270)20558 64720 y Fo(1)21379 64521 y Fm(\241)295 b Fq(\270)23466 64720 y Fo(2)24346 63610 y Fz(\()p Fq(\270)25611 63062 y Fp(n)25611 63939 y Fo(1)26532 63610 y Fm(\241)h Fq(\270)28620 63062 y Fp(n)28620 63939 y Fo(2)29541 63610 y Fm(\241)f Fq(\270)31628 63062 y Fp(n)31628 63939 y Fo(1)32254 63610 y Fq(\270)33013 63809 y Fo(2)33834 63610 y Fz(+)g Fq(\270)35900 63809 y Fo(1)36425 63610 y Fq(\270)37184 63062 y Fp(n)37184 63939 y Fo(2)37810 63610 y Fz(\))221 b Fq(:)800 66559 y Fz(Since)433 b Fq(\270)4955 66758 y Fo(1)5776 66559 y Fz(+)295 b Fq(\270)7842 66758 y Fo(2)8736 66559 y Fz(=)369 b(1)434 b(and)f Fq(\270)14489 66758 y Fo(1)15310 66559 y Fm(\241)295 b Fq(\270)17397 66758 y Fo(2)18291 66559 y Fz(=)19672 65511 y Fm(p)p 20779 65511 3642 54 v 1048 x Fz(4)p Fq(x)h Fz(+)e(1)q Fq(;)434 b Fz(w)-36 b(e)433 b(\257nally)i(obtain)8483 70097 y Fq(P)9321 70296 y Fp(n)9948 70097 y Fz(\()p Fq(x)p Fz(\))369 b(=)15630 69199 y(1)p 13581 69792 4749 54 v 13581 70057 a Fm(p)p 14688 70057 3642 54 v 1048 x Fz(4)p Fq(x)296 b Fz(+)e(1)18684 67826 y Fj(\303)19736 68224 y(\265)20846 69199 y Fz(1)i(+)23099 68150 y Fm(p)p 24206 68150 V 1049 x Fz(4)p Fq(x)f Fz(+)g(1)p 20846 69792 7002 54 v 24022 71008 a(2)27980 68224 y Fj(\266)28958 68395 y Fp(n)p Fo(+1)31082 70097 y Fm(\241)32410 68224 y Fj(\265)33521 69199 y Fz(1)g Fm(\241)35795 68150 y(p)p 36902 68150 3642 54 v 1049 x Fz(4)p Fq(x)g Fz(+)g(1)p 33521 69792 7023 54 v 36707 71008 a(2)40676 68224 y Fj(\266)41654 68395 y Fp(n)p Fo(+1)43483 67826 y Fj(!)44756 70097 y Fq(:)800 73635 y Fz(This)434 b(is)g(the)f(desired)g(result.)p Black Black eop %%Page: 4 4 4 3 bop Black 0 TeXcolorgray Black 800 886 a Fi(4)959 b(A)444 b(SEQUENCE)e(OF)i(BINOMIAL)g(COEFFICIENTS)d(RELA)-85 b(TED)442 b(TO)i(LUCAS)e(AND)i(FIBONA)-28 b(CCI)442 b(NUMBERS)p Black 2128 3542 a Fz(F)-108 b(or)434 b(the)f(ro)36 b(ots)434 b(of)g Fq(P)12313 3741 y Fp(n)12940 3542 y Fz(\()p Fq(x)p Fz(\))p Fq(;)f Fz(w)-36 b(e)434 b(ha)-36 b(v)g(e)3843 7333 y Fq(P)4681 7532 y Fp(n)5307 7333 y Fz(\()p Fq(x)p Fz(\))369 b(=)g(0)g Fm(\()-221 b(\))12631 5460 y Fj(\265)13753 6435 y Fz(1)295 b(+)16005 5386 y Fm(p)p 17112 5386 3642 54 v 1049 x Fz(4)p Fq(x)h Fz(+)e(1)p 13742 7028 7023 54 v 13742 8341 a(1)h Fm(\241)16016 7293 y(p)p 17123 7293 3642 54 v 1048 x Fz(4)p Fq(x)g Fz(+)g(1)20897 5460 y Fj(\266)21875 5631 y Fp(n)p Fo(+1)24073 7333 y Fz(=)368 b(1)i Fm(\()-221 b(\))29277 5460 y Fj(\265)30398 6435 y Fz(1)296 b(+)32651 5386 y Fm(p)p 33758 5386 V 1049 x Fz(4)p Fq(x)f Fz(+)g(1)p 30388 7028 7023 54 v 30388 8341 a(1)g Fm(\241)32661 7293 y(p)p 33768 7293 3642 54 v 1048 x Fz(4)p Fq(x)h Fz(+)f(1)37543 5460 y Fj(\266)38890 7333 y Fz(=)368 b Fq(")40879 7532 y Fp(k)41448 7333 y Fq(;)221 b Fz(1)370 b Fm(\267)f Fq(k)414 b Fm(\267)46944 5859 y Fj(j)47778 6435 y Fq(n)p 47778 7028 777 54 v 47841 8244 a Fz(2)48687 5859 y Fj(k)800 10878 y Fz(where)434 b(the)f Fq(")7407 11077 y Fp(k)8409 10878 y Fz(are)g(the)g(\()p Fq(n)296 b Fz(+)f(1\))16857 10396 y Fp(th)18228 10878 y Fz(ro)36 b(ots)434 b(of)g(unit)-36 b(y)-108 b(.)578 b(Th)-36 b(us,)9109 14542 y Fq(P)9947 14741 y Fp(n)10573 14542 y Fz(\()p Fq(x)p Fz(\))369 b(=)g(0)g Fm(\()-221 b(\))17897 13429 y(p)p 19004 13429 3642 54 v 1113 x Fz(4)p Fq(x)296 b Fz(+)f(1)369 b(=)24528 13643 y Fq(")25137 13842 y Fp(k)26001 13643 y Fm(\241)295 b Fz(1)p 24528 14236 3452 54 v 24539 15453 a Fq(")25148 15652 y Fp(k)26012 15453 y Fz(+)g(1)28482 14542 y Fm(\()-221 b(\))369 b Fz(4)p Fq(x)g Fz(=)g Fm(\241)p Fz(1)296 b(+)37710 12669 y Fj(\265)38821 13643 y Fq(")39430 13842 y Fp(k)40294 13643 y Fm(\241)f Fz(1)p 38821 14236 V 38832 15453 a Fq(")39441 15652 y Fp(k)40304 15453 y Fz(+)g(1)42405 12669 y Fj(\266)43383 12966 y Fo(2)44130 14542 y Fq(:)800 18128 y Fz(F)-108 b(urthermore,)440 b(w)-36 b(e)441 b(obtain)f Fq(P)15515 18327 y Fp(n)16141 18128 y Fz(\()p Fq(x)p Fz(\))380 b(=)g(0)g Fm(\()-221 b(\))381 b Fq(x)f Fz(=)g Fm(\241)27187 17605 y Fo(1)p 27187 17822 471 54 v 27187 18586 a(4)28011 17052 y Fj(\241)28620 18128 y Fz(1)296 b(+)e(tan)32751 17645 y Fo(2)33498 17052 y Fj(\241)34584 17605 y Fp(k)24 b(\274)p 34240 17822 1774 54 v 34240 18586 a(n)p Fo(+1)36146 17052 y Fj(\242\242)37585 18128 y Fq(;)221 b Fz(1)381 b Fm(\267)f Fq(k)426 b Fm(\267)43126 17052 y Fj(\245)43886 17605 y Fp(n)p 43886 17822 571 54 v 43936 18586 a Fo(2)44590 17052 y Fj(\246)45438 18128 y Fq(:)441 b Fz(This)f(pro)-36 b(v)g(es)800 19785 y(that)433 b(the)g(ro)36 b(ots)434 b(of)h Fq(P)11473 19984 y Fp(n)12099 19785 y Fz(\()p Fq(x)p Fz(\))e(are)h(real)g(and)f(negativ)-36 b(e.)25201 b Fh(\244)800 22651 y FA(Remark.)579 b Fz(In)433 b(the)g(sequel,)h(w)-36 b(e)434 b(need)f(Lucas)g(n)-36 b(um)g(b)36 b(ers.)577 b(Let)433 b(us)h(recall)g(their)f(de\257nition:) 16417 25276 y Fq(L)17302 25475 y Fp(n)18297 25276 y Fz(=)369 b Fq(L)20563 25475 y Fp(n)p Fk(\241)p Fo(1)22686 25276 y Fz(+)295 b Fq(L)24878 25475 y Fp(n)p Fk(\241)p Fo(2)26707 25276 y Fq(;)1328 b(L)29281 25475 y Fo(0)30176 25276 y Fz(=)369 b(2)p Fq(;)443 b(L)33896 25475 y Fo(1)34791 25276 y Fz(=)368 b(1)p Fq(:)800 27900 y Fz(It)434 b(is)g(not)f(hard)g (to)g(see)h(that)10332 31441 y Fq(L)11217 31640 y Fp(n)12213 31441 y Fz(=)13593 29170 y Fj(\303)14778 30543 y Fz(1)295 b(+)17030 29444 y Fm(p)p 18137 29444 651 54 v 1099 x Fz(5)p 14778 31136 4010 54 v 16457 32353 a(2)18920 29170 y Fj(!)19972 29467 y Fp(n)20893 31441 y Fz(+)22200 29170 y Fj(\303)23385 30543 y Fz(1)g Fm(\241)25658 29444 y(p)p 26765 29444 651 54 v 1099 x Fz(5)p 23385 31136 4032 54 v 25075 32353 a(2)27549 29170 y Fj(!)28600 29467 y Fp(n)30112 31441 y Fz(and)1328 b Fq(L)34421 31640 y Fp(n)35416 31441 y Fz(=)369 b Fq(F)37639 31640 y Fp(n)38560 31441 y Fz(+)295 b Fq(F)40709 31640 y Fp(n)p Fk(\241)p Fo(2)42537 31441 y Fq(;)800 35210 y Fz(holds.)p Black 800 37839 a FA(Corollary)521 b(4.)p Black 554 w Fn(We)464 b(have)h(the)f(fol)66 b(lowing)465 b(identities:)2128 40464 y Fz(1)p Fq(:)3768 39467 y Fj(P)3583 41609 y Fp(n)p Fk(\270)p Fo(0)5577 40464 y Fq(P)6415 40663 y Fp(n)7042 40464 y Fz(\()p Fq(x)p Fz(\))p Fq(z)9456 39982 y Fp(n)10451 40464 y Fz(=)13667 39941 y Fo(1)p 11965 40158 3876 54 v 11965 40922 a(1)p Fk(\241)p Fp(z)37 b Fk(\241)p Fp(xz)15379 40670 y Fl(2)15973 40464 y Fq(:)2128 45800 y Fz(2)p Fq(:)3740 44804 y Fj(P)3583 46969 y Fp(k)24 b Fk(\270)p Fo(0)5299 45800 y Fz(\()p Fm(\241)p Fz(1\))7994 45318 y Fp(k)8563 44724 y Fj(\241)9171 45211 y Fp(n)p Fk(\241)p Fp(k)9823 46258 y(k)10988 44724 y Fj(\242)11966 45800 y Fz(=)13346 43077 y Fj(8)13346 44273 y(<)13346 46664 y(:)15597 44228 y Fz(0)p Fq(;)591 b(if)511 b(n)369 b Fz(=)g(6)p Fq(k)340 b Fz(+)295 b(2)p Fq(;)591 b Fz(6)p Fq(k)341 b Fz(+)294 b(5;)15985 45778 y(1)p Fq(;)591 b(if)511 b(n)369 b Fz(=)g(6)p Fq(k)45 b(;)591 b Fz(6)p Fq(k)340 b Fz(+)295 b(1;)15080 47328 y Fm(\241)p Fz(1)p Fq(;)592 b(if)510 b(n)370 b Fz(=)e(6)p Fq(k)341 b Fz(+)295 b(3)p Fq(;)591 b Fz(6)p Fq(k)340 b Fz(+)295 b(4)p Fq(:)2128 51010 y Fz(3)p Fq(:)3740 50014 y Fj(P)3583 52179 y Fp(k)24 b Fk(\270)p Fo(0)5520 51010 y Fq(k)6241 49934 y Fj(\241)6850 50421 y Fp(n)p Fk(\241)p Fp(k)7501 51468 y(k)8666 49934 y Fj(\242)9644 51010 y Fz(=)11025 49748 y Fp(n)p Fk(\241)p Fo(2)11210 50014 y Fj(P)11053 52179 y Fp(k)g Fo(=0)13019 51010 y Fq(F)13861 51209 y Fp(k)14430 51010 y Fq(F)15272 51209 y Fp(n)p Fk(\241)p Fp(k)g Fk(\241)p Fo(2)18715 51010 y Fz(=)20228 50377 y Fo(\()p Fp(n)p Fo(+1\))p Fp(L)23373 50488 y Fg(n)23940 50377 y Fk(\241)p Fo(2)p Fp(F)25737 50488 y Fg(n)p 20228 50705 6076 54 v 23031 51468 a Fo(5)26806 51010 y Fz(=)28319 50377 y Fo(\()p Fp(n)p Fk(\241)p Fo(1\))p Fp(F)31419 50488 y Fg(n)31986 50377 y Fo(+\()p Fp(n)p Fo(+1\))p Fp(F)35818 50500 y Fg(n)p Ff(\241)p Fl(2)p 28319 50705 9112 54 v 32640 51468 a Fo(5)37564 51010 y Fq(:)2128 54643 y Fz(4)p Fq(:)221 b Fz(\()p Fq(n)297 b Fz(+)e(1\))p Fq(L)8287 54842 y Fp(n)9208 54643 y Fm(\241)h Fz(2)p Fq(F)12029 54842 y Fp(n)13024 54643 y Fz(=)369 b(\()p Fq(n)295 b Fm(\241)g Fz(1\))p Fq(F)19308 54842 y Fp(n)20230 54643 y Fz(+)g(\()p Fq(n)g Fz(+)g(1\))p Fq(F)26419 54842 y Fp(n)p Fk(\241)p Fo(2)28617 54643 y Fm(\264)369 b Fz(0)465 b(\(mo)36 b(d)465 b(5\))p Fn(.)2128 62350 y Fz(5)p Fq(:)3740 61354 y Fj(P)3583 63518 y Fp(k)24 b Fk(\270)p Fo(0)5299 62350 y Fz(\()p Fm(\241)p Fz(1\))7994 61868 y Fp(k)8563 62350 y Fq(k)9284 61274 y Fj(\241)9892 61760 y Fp(n)p Fk(\241)p Fp(k)10544 62808 y(k)11709 61274 y Fj(\242)12687 62350 y Fz(=)14067 57236 y Fj(8)14067 58431 y(>)14067 58830 y(>)14067 59228 y(>)14067 59627 y(>)14067 60025 y(>)14067 60424 y(>)14067 60822 y(<)14067 63213 y(>)14067 63612 y(>)14067 64010 y(>)14067 64409 y(>)14067 64807 y(>)14067 65206 y(>)14067 65604 y(:)17468 57811 y Fo(2)p 17468 58028 471 54 v 17468 58792 a(3)18071 58334 y Fq(n;)2067 b Fz(if)370 b Fq(n)f Fz(=)g(6)p Fq(k)45 b Fz(;)16817 59369 y Fp(n)p Fk(\241)p Fo(1)p 16817 59587 1774 54 v 17468 60350 a(3)18723 59892 y Fq(;)590 b Fz(if)370 b Fq(n)g Fz(=)e(6)p Fq(k)341 b Fz(+)295 b(1;)16167 61451 y Fm(\241)17333 60928 y Fp(n)p Fo(+1)p 17333 61145 V 17985 61909 a(3)19239 61451 y Fq(;)591 b Fz(if)370 b Fq(n)f Fz(=)g(6)p Fq(k)340 b Fz(+)295 b(2;)16533 63010 y Fm(\241)17699 62487 y Fo(2)p Fp(n)p 17699 62704 1042 54 v 17985 63468 a Fo(3)18873 63010 y Fq(;)591 b Fz(if)370 b Fq(n)f Fz(=)g(6)p Fq(k)340 b Fz(+)295 b(3;)15801 64772 y Fm(\241)16967 64139 y Fo(\()p Fp(n)p Fk(\241)p Fo(1\))p 16967 64466 2506 54 v 17985 65230 a(3)19605 64772 y Fq(;)591 b Fz(if)370 b Fq(n)f Fz(=)g(6)p Fq(k)340 b Fz(+)295 b(4;)16448 65808 y Fp(n)p Fo(+1)p 16448 66025 1774 54 v 17099 66789 a(3)18354 66331 y Fq(;)590 b Fz(if)370 b Fq(n)g Fz(=)e(6)p Fq(k)341 b Fz(+)295 b(5)p Fq(:)p Black 800 68986 a Fn(Pr)-66 b(o)g(of.)p Black 552 w Fz(The)506 b(\257rst)e(is)i(kno)-36 b(wn)506 b(and)f(easy)h(to)f(establish)h(using)f(\(4\))p Fq(:)h Fz(F)-108 b(or)505 b(\(2\))p Fq(;)g Fz(put)g Fq(x)491 b Fz(=)g Fm(\241)p Fz(1)506 b(in)f(\(5\))p Fq(:)g Fz(F)-108 b(or)800 70536 y(the)435 b(third,)f(di\256eren)-36 b(tiate)435 b(the)f(generating)i(function)f(of)g Fq(P)29902 70735 y Fp(n)30529 70536 y Fz(\()p Fq(x)p Fz(\))g(with)g(resp)36 b(ect)435 b(to)g Fq(x)p Fz(,)h(and)e(compare)i(the)800 72086 y(co)36 b(e\261cien)-36 b(ts,)353 b(and)332 b(then)g(put)f Fq(x)369 b Fz(=)g(1)p Fq(:)333 b Fz(Relation)g(4)g(is)f(immediate)h (from)g(3)p Fq(:)g Fz(F)-108 b(or)332 b(the)g(last)h(one,)352 b(put)332 b Fq(x)369 b Fz(=)g Fm(\241)p Fz(1)800 73635 y(in)433 b(the)h(deriv)-72 b(ativ)-36 b(e)434 b(of)g Fq(P)12838 73834 y Fp(n)13465 73635 y Fz(\()p Fq(x)p Fz(\))p Fq(:)36190 b Fh(\244)p Black Black eop %%Page: 5 5 5 4 bop Black 0 TeXcolorgray Black 2271 886 a Fi(A)444 b(SEQUENCE)e(OF)i(BINOMIAL)g(COEFFICIENTS)d(RELA)-85 b(TED)442 b(TO)i(LUCAS)e(AND)i(FIBONA)-28 b(CCI)442 b(NUMBERS)958 b(5)p Black 2128 3640 a Fz(According)434 b(to)g(Theorem)f(2,)i(ev)-36 b(ery)434 b(mo)36 b(de)434 b Fq(r)24356 3839 y Fp(n)25416 3640 y Fz(of)g(the)f(sequence)34527 2564 y Fj(\241)35136 3050 y Fp(n)p Fk(\241)p Fp(k)35788 4098 y(k)36952 2564 y Fj(\242)37995 3640 y Fz(satis\257es)h(the)f(relation)16402 4833 y Fj(6)16402 5630 y(6)16402 6427 y(6)16402 7224 y(6)16402 8021 y(6)16402 8871 y(4)17993 5272 y Fp(n)17578 5538 y Fj(P)17421 7702 y Fp(k)24 b Fo(=1)19358 6534 y Fq(k)20079 5458 y Fj(\241)20688 5944 y Fp(n)p Fk(\241)p Fp(k)21339 6992 y(k)22504 5458 y Fj(\242)p 17421 8048 5693 54 v 19533 9264 a Fq(F)20375 9463 y Fp(n)23246 4833 y Fj(7)23246 5630 y(7)23246 6427 y(7)23246 7224 y(7)23246 8021 y(7)23246 8871 y(5)24500 8353 y Fm(\267)370 b Fq(r)26489 8552 y Fp(n)27484 8353 y Fm(\267)28886 4886 y Fj(2)28886 7224 y(6)28886 8021 y(6)28886 8818 y(6)28886 9615 y(6)28886 10412 y(6)30477 5272 y Fp(n)30061 5538 y Fj(P)29904 7702 y Fp(k)24 b Fo(=0)31842 6534 y Fq(k)32563 5458 y Fj(\241)33172 5944 y Fp(n)p Fk(\241)p Fp(k)33823 6992 y(k)34988 5458 y Fj(\242)p 29904 8048 V 32016 9264 a Fq(F)32858 9463 y Fp(n)35729 4886 y Fj(3)35729 7224 y(7)35729 8021 y(7)35729 8818 y(7)35729 9615 y(7)35729 10412 y(7)36836 8353 y Fq(:)2128 12785 y Fz(S.)510 b(T)-108 b(ann)-36 b(y)509 b(and)g(M.)h(Zuk)-36 b(er)509 b(ga)-36 b(v)g(e)510 b(an)g(exact)g(form) -36 b(ula)510 b(for)g Fq(r)32124 12984 y Fp(n)32750 12785 y Fz(,)529 b(but)509 b(this)g(is)h(somewhat)g(opaque.)806 b(So)800 14334 y(they)486 b(used)g(another)f(metho)36 b(d)486 b(to)g(giv)-36 b(e)487 b(a)g(more)f(explicit)h(one;)512 b(but)486 b(it)g(is)g(less)h(precise.)736 b(Namely)-108 b(,)500 b(they)800 16231 y(pro)-36 b(v)g(ed)413 b(that)f Fq(r)8390 16430 y Fp(n)9385 16231 y Fz(=)10766 14757 y Fj(j)11600 15708 y Fp(n)p 11600 15926 571 54 v 11650 16689 a Fo(2)12525 14757 y Fj(\263)13318 16231 y Fz(1)296 b Fm(\241)15725 14974 y Fk(p)p 16509 14974 471 40 v 733 x Fo(5)p 15725 15926 1255 54 v 16117 16689 a(5)17112 14757 y Fj(\264)q(k)19020 16231 y Fz(or)369 b Fq(r)21131 16430 y Fp(n)22126 16231 y Fz(=)23507 14757 y Fj(l)24341 15708 y Fp(n)p 24341 15926 571 54 v 24391 16689 a Fo(2)25266 14757 y Fj(\263)26059 16231 y Fz(1)296 b Fm(\241)28466 14974 y Fk(p)p 29250 14974 471 40 v 733 x Fo(5)p 28466 15926 1255 54 v 28858 16689 a(5)29853 14757 y Fj(\264)q(m)31348 16231 y Fz(.)571 b(W)-108 b(e)413 b(giv)-36 b(e)414 b(another)e(pro)36 b(of)414 b(of)g(this)e(result.)p Black 800 19964 a FA(Prop)42 b(osition)500 b(5.)p Black 554 w Fn(\(S.)464 b(T)-100 b(anny,)464 b(M.)g(Zuker)h Fz([)p 0 1 0 0 TeXcolorcmyk(8)p (#cite.8) [[281 537 287 549] [1 1 1 [3 3]] [0 0 1]] pdfm Black 1 w(])p Fn(\))2128 21935 y(The)384 b(mo)-66 b(des)384 b(of)g(the)g(se)-66 b(quenc)g(es)17797 20859 y Fj(\241)18406 21345 y Fp(n)p Fk(\241)p Fp(k)19058 22393 y(k)20223 20859 y Fj(\242)21215 21935 y Fn(ar)g(e)384 b(given)e(by)753 b Fq(r)29217 22134 y Fp(n)30213 21935 y Fz(=)31593 20460 y Fj(j)32427 21412 y Fp(n)p 32427 21629 571 54 v 32477 22393 a Fo(2)33352 20460 y Fj(\263)34146 21935 y Fz(1)295 b Fm(\241)36552 20677 y Fk(p)p 37336 20677 471 40 v 733 x Fo(5)p 36552 21629 1255 54 v 36944 22393 a(5)37940 20460 y Fj(\264k)39818 21935 y Fn(or)384 b Fq(r)42000 22134 y Fp(n)42996 21935 y Fz(=)44376 20460 y Fj(l)45210 21412 y Fp(n)p 45210 21629 571 54 v 45260 22393 a Fo(2)46136 20460 y Fj(\263)46929 21935 y Fz(1)295 b Fm(\241)49336 20677 y Fk(p)p 50120 20677 471 40 v 733 x Fo(5)p 49336 21629 1255 54 v 49728 22393 a(5)50723 20460 y Fj(\264m)52439 21935 y Fq(:)p Black 800 26133 a Fn(Pr)-66 b(o)g(of.)p Black 552 w Fz(Since)528 b(all)h(zeros)g(of)g(the)f(p)36 b(olynomial)529 b Fq(P)25084 26332 y Fp(n)25711 26133 y Fz(\()p Fq(x)p Fz(\))f(are)g(real,)553 b(it)528 b(su\261ces)g(to)h (compute)46844 23939 y Fg(n)46603 24116 y Fe(P)46360 25610 y Fg(k)14 b Fl(=1)47997 24780 y Fp(k)48511 24891 y Fz(\()49016 24375 y Fg(n)p Ff(\241)p Fg(k)49591 25127 y(k)50620 24891 y Fz(\))p 46360 25827 4766 54 v 51788 26133 a(=)1417 27098 y Fg(n)1176 27275 y Fe(P)933 28770 y Fg(k)g Fl(=1)2569 27940 y Fp(k)3083 28051 y Fz(\()3589 27535 y Fg(n)p Ff(\241)p Fg(k)4164 28287 y(k)5192 28051 y Fz(\))p 933 28987 V 2735 29750 a Fp(F)3330 29861 y Fg(n)6052 29292 y Fq(:)434 b Fz(The)g(last)g(corollary)h(giv)-36 b(es)11354 34110 y Fq(\271)12137 34309 y Fp(n)13131 34110 y Fz(=)15217 31028 y Fp(n)14802 31294 y Fj(P)14645 33459 y Fp(k)24 b Fo(=1)16582 32290 y Fq(k)17303 31214 y Fj(\241)17912 31701 y Fp(n)p Fk(\241)p Fp(k)18563 32748 y(k)19728 31214 y Fj(\242)p 14645 33804 5693 54 v 16757 35021 a Fq(F)17599 35220 y Fp(n)20839 34110 y Fz(=)22352 33211 y(\()p Fq(n)296 b Fz(+)f(1\))p Fq(L)27278 33410 y Fp(n)28199 33211 y Fm(\241)g Fz(2)p Fq(F)31019 33410 y Fp(n)p 22352 33804 9294 54 v 25940 35021 a Fz(5)p Fq(F)27432 35220 y Fp(n)32148 34110 y Fz(=)33661 33211 y(\()p Fq(n)h Fz(+)e(1\))p Fq(L)38586 33410 y Fp(n)p 33661 33804 5552 54 v 35378 35021 a Fz(5)p Fq(F)36870 35220 y Fp(n)39641 34110 y Fm(\241)41102 33211 y Fz(2)p 41102 33804 651 54 v 41102 35021 a(5)41885 34110 y Fq(:)800 36796 y Fz(Using)434 b(the)f(explicit)h(form)-36 b(ula)434 b(for)h(the)e(Lucas)g(and)g(Fib)36 b(onacci)434 b(n)-36 b(um)g(b)36 b(ers;)432 b(w)-36 b(e)434 b(obtain)10984 38692 y Fq(\271)11767 38891 y Fp(n)12762 38692 y Fz(=)14275 38059 y Fo(\()p Fp(n)p Fo(+1\))p 14275 38387 2506 54 v 15292 39150 a(2)17134 37218 y Fj(\263)17928 38692 y Fz(1)295 b Fm(\241)20334 37435 y Fk(p)p 21119 37435 471 40 v 21119 38168 a Fo(5)p 20334 38387 1255 54 v 20727 39150 a(5)21722 37218 y Fj(\264)23383 38169 y Fo(1+)p Fp(a)25085 37857 y Fg(n)p 22869 38387 3296 54 v 22869 39150 a Fo(1)p Fk(\241)p Fp(a)24571 38898 y Fg(n)p Fl(+1)26298 38692 y Fq(;)591 b(a)368 b Fz(=)h Fm(\241)30848 38168 y Fo(3)p Fk(\241)32050 37435 y(p)p 32834 37435 471 40 v 733 x Fo(5)p 30848 38387 2457 54 v 31841 39150 a(2)33438 38692 y Fq(:)2128 40589 y Fz(No)-36 b(w)435 b(consider)e(the)g (sequence)6925 42485 y Fq(\271)7708 42684 y Fp(n)8703 42485 y Fz(=)10216 41852 y Fo(\()p Fp(n)p Fo(+1\))p 10216 42180 2506 54 v 11234 42943 a(2)13076 41011 y Fj(\263)13869 42485 y Fz(1)295 b Fm(\241)16276 41228 y Fk(p)p 17060 41228 471 40 v 733 x Fo(5)p 16276 42180 1255 54 v 16668 42943 a(5)17663 41011 y Fj(\264)19324 41962 y Fo(1+)p Fp(a)21026 41650 y Fg(n)p 18811 42180 3296 54 v 18811 42943 a Fo(1)p Fk(\241)p Fp(a)20513 42691 y Fg(n)p Fl(+1)22534 42485 y Fm(\241)23995 41962 y Fo(2)p 23995 42180 471 54 v 23995 42943 a(5)24968 42485 y Fz(=)26481 41852 y Fo(\()p Fp(n)p Fo(+1\))p 26481 42180 2506 54 v 27498 42943 a(2)29340 41011 y Fj(\263)30134 42485 y Fz(1)g Fm(\241)32540 41228 y Fk(p)p 33325 41228 471 40 v 33325 41961 a Fo(5)p 32540 42180 1255 54 v 32933 42943 a(5)33928 41011 y Fj(\264)34943 42485 y Fq(A)35918 42684 y Fp(n)36839 42485 y Fm(\241)38300 41962 y Fo(2)p 38300 42180 471 54 v 38300 42943 a(5)38904 42485 y Fq(;)2128 44382 y Fz(where)22419 46255 y Fq(A)23394 46454 y Fp(n)24389 46255 y Fz(=)26514 45356 y(1)h(+)e Fq(a)29449 44874 y Fp(n)p 25902 45949 4786 54 v 25902 47166 a Fz(1)i Fm(\241)f Fq(a)28859 46782 y Fp(n)p Fo(+1)30820 46255 y Fq(:)800 48581 y Fz(Also,)435 b(observ)-36 b(e)433 b(that)h(for)g(ev)-36 b(ery)434 b Fq(n)g Fz(w)-36 b(e)434 b(ha)-36 b(v)g(e)21872 50673 y Fq(A)22847 50872 y Fo(2)p Fp(n)p Fo(+1)25515 50673 y Fq(<)368 b Fz(1)i Fq(<)e(A)30270 50872 y Fo(2)p Fp(n)31367 50673 y Fq(:)800 52765 y Fz(So)11205 54404 y Fq(\271)11988 54603 y Fo(2)p Fp(n)13454 54404 y Fz(=)14967 53881 y Fo(2)p Fp(n)p Fo(+1)p 14967 54098 2244 54 v 15854 54862 a(2)17565 52929 y Fj(\263)18358 54404 y Fz(1)296 b Fm(\241)20765 53146 y Fk(p)p 21549 53146 471 40 v 733 x Fo(5)p 20765 54098 1255 54 v 21157 54862 a(5)22152 52929 y Fj(\264)23167 54404 y Fq(A)24142 54603 y Fo(2)p Fp(n)25534 54404 y Fm(\241)26995 53881 y Fo(2)p 26995 54098 471 54 v 26995 54862 a(5)27967 54404 y Fm(\270)29502 53881 y Fo(2)p Fp(n)p Fo(+1)p 29502 54098 2244 54 v 30389 54862 a(2)32100 52929 y Fj(\263)32894 54404 y Fz(1)f Fm(\241)35300 53146 y Fk(p)p 36085 53146 471 40 v 36085 53879 a Fo(5)p 35300 54098 1255 54 v 35692 54862 a(5)36688 52929 y Fj(\264)37776 54404 y Fm(\241)39237 53881 y Fo(2)p 39237 54098 471 54 v 39237 54862 a(5)39841 54404 y Fq(;)2128 56300 y Fz(and)9139 57938 y Fq(\271)9922 58137 y Fo(2)p Fp(n)p Fo(+1)12590 57938 y Fz(=)14103 57415 y Fo(2)p Fp(n)p Fo(+2)p 14103 57633 2244 54 v 14990 58397 a(2)16701 56464 y Fj(\263)17494 57938 y Fz(1)h Fm(\241)19901 56681 y Fk(p)p 20685 56681 471 40 v 733 x Fo(5)p 19901 57633 1255 54 v 20293 58397 a(5)21288 56464 y Fj(\264)22303 57938 y Fq(A)23278 58137 y Fo(2)p Fp(n)p Fo(+1)25872 57938 y Fm(\241)27334 57415 y Fo(2)p 27334 57633 471 54 v 27334 58397 a(5)28306 57938 y Fm(\267)29841 57415 y Fo(2)p Fp(n)p Fo(+2)p 29841 57633 2244 54 v 30727 58397 a(2)32439 56464 y Fj(\263)33232 57938 y Fz(1)g Fm(\241)35639 56681 y Fk(p)p 36423 56681 471 40 v 733 x Fo(5)p 35639 57633 1255 54 v 36031 58397 a(5)37026 56464 y Fj(\264)38115 57938 y Fm(\241)39576 57415 y Fo(2)p 39576 57633 471 54 v 39576 58397 a(5)40179 57938 y Fq(:)2128 59835 y Fz(Th)-36 b(us)9272 60950 y Fo(2)p Fp(n)p Fo(+1)p 9272 61168 2244 54 v 10158 61931 a(2)11870 59999 y Fj(\263)12663 61473 y Fz(1)296 b Fm(\241)15070 60216 y Fk(p)p 15854 60216 471 40 v 733 x Fo(5)p 15070 61168 1255 54 v 15462 61931 a(5)16457 59999 y Fj(\264)17546 61473 y Fm(\241)19007 60950 y Fo(2)p 19007 61168 471 54 v 19007 61931 a(5)19979 61473 y Fm(\267)369 b Fq(\271)22164 61672 y Fo(2)p Fp(n)23630 61473 y Fm(\267)g Fq(\271)25815 61672 y Fo(2)p Fp(n)p Fo(+1)28482 61473 y Fm(\267)30017 60950 y Fo(2)p Fp(n)p Fo(+2)p 30017 61168 2244 54 v 30904 61931 a(2)32615 59999 y Fj(\263)33408 61473 y Fz(1)296 b Fm(\241)35815 60216 y Fk(p)p 36599 60216 471 40 v 733 x Fo(5)p 35815 61168 1255 54 v 36207 61931 a(5)37203 59999 y Fj(\264)38291 61473 y Fm(\241)39752 60950 y Fo(2)p 39752 61168 471 54 v 39752 61931 a(5)40356 61473 y Fq(:)2128 63370 y Fz(W)-108 b(e)434 b(deduce)f(that)g(for)h(ev)-36 b(ery)434 b Fq(n)369 b Fm(\270)h Fz(2)p Fq(;)11366 64744 y Fp(n)p 11366 64961 571 54 v 11416 65725 a Fo(2)12291 63792 y Fj(\263)13084 65267 y Fz(1)296 b Fm(\241)15491 64009 y Fk(p)p 16275 64009 471 40 v 733 x Fo(5)p 15491 64961 1255 54 v 15883 65725 a(5)16878 63792 y Fj(\264)17967 65267 y Fm(\241)19428 64744 y Fo(2)p 19428 64961 471 54 v 19428 65725 a(5)20400 65267 y Fm(\267)370 b Fq(\271)22586 65466 y Fp(n)23580 65267 y Fm(\267)25115 64744 y Fp(n)p Fo(+2)p 25115 64961 1774 54 v 25767 65725 a(2)27243 63792 y Fj(\263)28036 65267 y Fz(1)296 b Fm(\241)30443 64009 y Fk(p)p 31227 64009 471 40 v 733 x Fo(5)p 30443 64961 1255 54 v 30835 65725 a(5)31830 63792 y Fj(\264)32919 65267 y Fm(\241)34380 64744 y Fo(2)p 34380 64961 471 54 v 34380 65725 a(5)34983 65267 y Fq(:)2128 67768 y Fz(Since)408 b(the)f(di\256erence)g(b)36 b(et)-36 b(w)g(een)407 b(the)g(t)-36 b(w)g(o)408 b(b)36 b(ounds)407 b(is)28925 66294 y Fj(\263)29718 67768 y Fz(1)296 b Fm(\241)32125 66511 y Fk(p)p 32909 66511 471 40 v 733 x Fo(5)p 32125 67463 1255 54 v 32517 68226 a(5)33512 66294 y Fj(\264)34675 67768 y Fq(<)368 b Fz(1;)409 b(there)e(is)h(a)g(unique)f(in)-36 b(teger)408 b Fq(r)52174 67967 y Fp(n)800 70270 y Fz(in)500 b(the)g(in)-36 b(terv)-72 b(al)9454 68796 y Fj(\263)10380 69747 y Fp(n)p 10380 69965 571 54 v 10430 70728 a Fo(2)11305 68796 y Fj(\263)12099 70270 y Fz(1)295 b Fm(\241)14505 69013 y Fk(p)p 15289 69013 471 40 v 733 x Fo(5)p 14505 69965 1255 54 v 14897 70728 a(5)15893 68796 y Fj(\264)16981 70270 y Fm(\241)18442 69747 y Fo(2)p 18442 69965 471 54 v 18442 70728 a(5)19046 70270 y Fq(;)19761 69747 y Fp(n)p Fo(+2)p 19761 69965 1774 54 v 20413 70728 a(2)21889 68796 y Fj(\263)22682 70270 y Fz(1)h Fm(\241)25089 69013 y Fk(p)p 25873 69013 471 40 v 733 x Fo(5)p 25089 69965 1255 54 v 25481 70728 a(5)26476 68796 y Fj(\264)27565 70270 y Fm(\241)29026 69747 y Fo(2)p 29026 69965 471 54 v 29026 70728 a(5)29629 68796 y Fj(\264)30923 70270 y Fz(and)499 b(of)i(course)1500 b Fq(r)40700 70469 y Fp(n)41809 70270 y Fz(=)43303 68796 y Fj(j)44137 69747 y Fp(n)p 44137 69965 571 54 v 44187 70728 a Fo(2)45062 68796 y Fj(\263)45855 70270 y Fz(1)296 b Fm(\241)48262 69013 y Fk(p)p 49046 69013 471 40 v 733 x Fo(5)p 48262 69965 1255 54 v 48654 70728 a(5)49649 68796 y Fj(\264)q(k)51644 70270 y Fz(or)800 72772 y Fq(r)1386 72971 y Fp(n)2381 72772 y Fz(=)3762 71297 y Fj(l)4596 72249 y Fp(n)p 4596 72466 571 54 v 4646 73230 a Fo(2)5521 71297 y Fj(\263)6314 72772 y Fz(1)g Fm(\241)8721 71514 y Fk(p)p 9505 71514 471 40 v 733 x Fo(5)p 8721 72466 1255 54 v 9113 73230 a(5)10109 71297 y Fj(\264m)11824 72772 y Fq(:)39582 b Fh(\244)p Black Black eop %%Page: 6 6 6 5 bop Black 0 TeXcolorgray Black 800 886 a Fi(6)959 b(A)444 b(SEQUENCE)e(OF)i(BINOMIAL)g(COEFFICIENTS)d(RELA)-85 b(TED)442 b(TO)i(LUCAS)e(AND)i(FIBONA)-28 b(CCI)442 b(NUMBERS)p Black 18461 3542 a Fz(3.)651 b Fr(The)502 b(pol)-89 b(ynomials)502 b Fq(L)32762 3741 y Fp(n)33388 3542 y Fz(\()p Fq(x)p Fz(\))2128 5964 y(In)473 b(this)g(section,)484 b(w)-36 b(e)473 b(consider)g(the)g(sequence)g Fq(L)p Fz(\()p Fq(n;)221 b(k)45 b Fz(\))437 b(=)32508 5441 y Fp(n)p 31886 5659 1817 54 v 31886 6422 a(n)p Fk(\241)p Fp(k)33835 4888 y Fj(\241)34444 5375 y Fp(n)p Fk(\241)p Fp(k)35095 6422 y(k)36260 4888 y Fj(\242)36869 5964 y Fz(.)697 b(W)-108 b(e)473 b(pro)-36 b(v)g(e)473 b(that)g(all)h(zeros)f(of)800 7722 y(the)433 b(p)36 b(olynomials)435 b Fq(L)11158 7921 y Fp(n)11784 7722 y Fz(\()p Fq(x)p Fz(\))369 b(=)15442 6726 y Fj(P)15285 8891 y Fp(k)24 b Fk(\270)p Fo(0)17222 7722 y Fq(L)p Fz(\()p Fq(n;)221 b(k)45 b Fz(\))p Fq(x)21937 7240 y Fp(k)22940 7722 y Fz(are)434 b(real.)p Black 800 11091 a FA(Prop)42 b(osition)768 b(6.)p Black 673 w Fn(F)-100 b(or)680 b(al)66 b(l)680 b Fq(n)767 b Fm(\270)f Fz(2)p Fq(;)681 b Fn(al)66 b(l)680 b(zer)-66 b(os)679 b(of)h(the)f(p)-66 b(olynomials)679 b Fq(L)38573 11290 y Fp(n)39199 11091 y Fz(\()p Fq(x)p Fz(\))g Fn(ar)-66 b(e)679 b(r)-66 b(e)g(al.)1240 b(We)679 b(have)800 13092 y Fq(L)1685 13291 y Fp(n)2311 13092 y Fz(\()p Fq(x)p Fz(\))369 b(=)5812 11618 y Fj(\263)6738 12522 y Fo(1+)7940 11835 y Fk(p)p 8724 11835 2203 40 v 687 x Fo(4)p Fp(x)p Fo(+1)p 6738 12787 4189 54 v 8597 13550 a(2)11059 11618 y Fj(\264)11853 11915 y Fp(n)12774 13092 y Fz(+)14081 11618 y Fj(\263)15007 12522 y Fo(1)p Fk(\241)16209 11835 y(p)p 16994 11835 2203 40 v 16994 12522 a Fo(4)p Fp(x)p Fo(+1)p 15007 12787 4189 54 v 16866 13550 a(2)19329 11618 y Fj(\264)20122 11915 y Fp(n)20970 13092 y Fq(:)1476 b Fz(\(6\))p Fn(.)2128 15800 y(Pr)-66 b(o)g(of.)597 b Fz(Since)433 b(the)g(p)36 b(olynomials)435 b(satisfy)g(the)e(recursion)18479 17955 y Fq(L)19364 18154 y Fp(n)19990 17955 y Fz(\()p Fq(x)p Fz(\))369 b(=)f Fq(L)24375 18154 y Fp(n)p Fk(\241)p Fo(1)26204 17955 y Fz(\()p Fq(x)p Fz(\))295 b(+)g Fq(xL)31181 18154 y Fp(n)p Fk(\241)p Fo(2)33009 17955 y Fz(\()p Fq(x)p Fz(\);)1017 20111 y(with)433 b Fq(L)4864 20310 y Fo(0)5759 20111 y Fz(=)369 b(2)p Fq(;)434 b(L)9470 20310 y Fo(1)10365 20111 y Fz(=)368 b(1)p Fq(;)435 b Fz(the)e(pro)36 b(of)434 b(is)g(exactly)h(the)e(same)h(as)g(for)g Fq(P)34536 20310 y Fp(n)35162 20111 y Fz(\()p Fq(x)p Fz(\))g(.)p Black 800 22471 a FA(Corollary)521 b(7.)p Black 554 w Fn(We)464 b(have)h(the)f(fol)66 b(lowing)465 b(identities:)2128 24021 y Fz(1)p Fq(:)3768 23025 y Fj(P)3583 25167 y Fp(n)p Fk(\270)p Fo(0)5577 24021 y Fq(L)6462 24220 y Fp(n)7089 24021 y Fz(\()p Fq(x)p Fz(\))p Fq(z)9503 23539 y Fp(n)10498 24021 y Fz(=)13110 23498 y Fo(2)p Fk(\241)p Fp(z)p 12011 23715 3876 54 v 12011 24479 a Fo(1)p Fk(\241)p Fp(z)37 b Fk(\241)p Fp(xz)15425 24227 y Fl(2)16019 24021 y Fq(:)2128 27370 y Fz(2)p Fq(:)3740 26373 y Fj(P)3583 28538 y Fp(k)24 b Fk(\270)p Fo(0)6276 26846 y Fp(n)p 5653 27064 1817 54 v 5653 27828 a(n)p Fk(\241)p Fp(k)7602 26294 y Fj(\241)8211 26780 y Fp(n)p Fk(\241)p Fp(k)8862 27828 y(k)10027 26294 y Fj(\242)11005 27370 y Fz(=)368 b Fq(L)13270 27569 y Fp(n)13897 27370 y Fq(:)2128 33057 y Fz(3)p Fq(:)3740 32060 y Fj(P)3583 34225 y Fp(k)24 b Fk(\270)p Fo(0)5299 33057 y Fz(\()p Fm(\241)p Fz(1\))7994 32575 y Fp(k)9318 32534 y(n)p 8695 32751 V 8695 33515 a(n)p Fk(\241)p Fp(k)10645 31981 y Fj(\241)11253 32467 y Fp(n)p Fk(\241)p Fp(k)11905 33515 y(k)13070 31981 y Fj(\242)14047 33057 y Fz(=)15428 29536 y Fj(8)15428 30732 y(>)15428 31131 y(>)15428 31529 y(<)15428 33920 y(>)15428 34319 y(>)15428 34717 y(:)18412 30710 y Fz(1)p Fq(;)443 b(if)732 b(n)370 b Fz(=)e(6)p Fq(k)341 b Fz(+)295 b(1)465 b Fn(or)834 b Fz(6)p Fq(k)341 b Fz(+)295 b(5;)17194 32260 y Fm(\241)p Fz(1)p Fq(;)665 b(if)1028 b(n)369 b Fz(=)g(6)p Fq(k)340 b Fz(+)295 b(2)465 b Fn(or)834 b Fz(6)p Fq(k)341 b Fz(+)295 b(4;)17919 33809 y(2)p Fq(;)887 b(if)1027 b(n)369 b Fz(=)g(6)p Fq(k)267 b Fz(;)17162 35359 y Fm(\241)p Fz(2)p Fq(;)591 b(if)880 b(n)369 b Fz(=)g(6)p Fq(k)341 b Fz(+)294 b(3)p Fq(:)2128 37989 y Fz(4)p Fq(:)3583 36727 y Fp(n)p Fk(\241)p Fo(1)3768 36993 y Fj(P)3612 39157 y Fp(k)24 b Fo(=0)5577 37989 y Fq(L)6462 38188 y Fp(k)7031 37989 y Fq(F)7873 38188 y Fp(n)p Fk(\241)p Fp(k)g Fk(\241)p Fo(1)11316 37989 y Fz(=)369 b Fq(nF)14315 38188 y Fp(n)14941 37989 y Fq(:)p Black 800 41208 a Fn(Pr)-66 b(o)g(of.)p Black 552 w Fz(Relation)441 b(\(1\))f(is)h(immediate,)h(for)e(the)g(second)g(one,)i(it)e(su\261ces) f(to)i(put)e Fq(x)380 b Fz(=)f(1)441 b(in)f(\(6\))p Fq(:)g Fz(F)-108 b(or)440 b(the)800 42758 y(third)354 b(one,)372 b(put)354 b Fq(x)369 b Fz(=)g Fm(\241)p Fz(1)355 b(again)i(in)e(\(6\).) 552 b(The)355 b(last)h(one)f(is)h(obtained)f(b)-36 b(y)355 b(di\256eren)-36 b(tiating)355 b(the)g(generating)800 44308 y(function)d(of)h Fq(L)8098 44507 y Fp(n)8724 44308 y Fz(\()p Fq(x)p Fz(\))369 b(with)353 b(resp)36 b(ect)352 b(to)g Fq(x)369 b Fz(and)352 b(then)g(equating)h(the)e(co)36 b(e\261cien)-36 b(ts)353 b(of)g Fq(z)41995 43826 y Fp(n)42991 44308 y Fz(in)f(b)36 b(oth)352 b(sides.)1301 b Fh(\244)2128 46599 y Fz(Since)512 b(all)h(zeros)g(of)f(the)g(p)36 b(olynomials)514 b Fq(L)22901 46798 y Fp(n)23527 46599 y Fz(\()p Fq(x)p Fz(\))e(are)g(real,)532 b(it)513 b(follo)-36 b(ws)514 b(that)d(the)h(sequence)g Fq(L)p Fz(\()p Fq(n;)221 b(k)45 b Fz(\))513 b(is)800 48149 y(SLC.)434 b(W)-108 b(e)433 b(follo)-36 b(w)436 b(S.)d(T)-108 b(ann)-36 b(y)433 b(and)g(M.)h(Zuk)-36 b(er)433 b(to)h(giv)-36 b(e)435 b(the)e(mo)36 b(des.)p Black 800 50509 a FA(Theorem)499 b(8.)p Black 554 w Fn(The)465 b(smal)66 b(lest)465 b(mo)-66 b(de)465 b(of)f(the)h(se)-66 b(quenc)g(e)463 b Fq(L)p Fz(\()p Fq(n;)221 b(k)45 b Fz(\))466 b Fn(is)f(given)e(by)18746 53655 y Fq(k)19422 53854 y Fp(n)20418 53655 y Fz(=)21798 51782 y Fj(\273)22706 52757 y Fz(5)p Fq(n)296 b Fm(\241)f Fz(4)h Fm(\241)28030 51664 y(p)p 29137 51664 4227 54 v 1093 x Fz(5)p Fq(n)30563 52373 y Fo(2)31385 52757 y Fm(\241)f Fz(4)p 22706 53350 10658 54 v 27385 54567 a(10)33496 51782 y Fj(\274)34493 53655 y Fq(:)p Black 800 56762 a Fn(Pr)-66 b(o)g(of.)p Black 552 w Fz(The)434 b(in)-36 b(teger)433 b Fq(k)12424 56961 y Fp(n)13485 56762 y Fz(satis\257es) 16747 57789 y Fj(\275)18297 58865 y Fq(L)p Fz(\()p Fq(n;)221 b(k)21722 59064 y Fp(n)22645 58865 y Fm(\241)295 b Fz(1\))369 b Fq(<)g(L)p Fz(\()p Fq(n;)221 b(k)30304 59064 y Fp(n)30931 58865 y Fz(\))3035 b(\()p Fq(a)p Fz(\))18297 60415 y Fq(L)p Fz(\()p Fq(n;)221 b(k)21722 60614 y Fp(n)22350 60415 y Fz(\))368 b Fm(\270)i Fq(L)p Fz(\()p Fq(n;)221 b(k)28052 60614 y Fp(n)28974 60415 y Fz(+)295 b(1\))3035 b(\()p Fq(b)p Fz(\))1451 62548 y(Let)15901 64161 y Fq(f)142 b Fz(\()p Fq(x)p Fz(\))368 b(=)h(5)p Fq(x)21573 63613 y Fo(2)22395 64161 y Fm(\241)295 b Fz(\(5)p Fq(n)h Fz(+)e(6\))p Fq(x)i Fz(+)f Fq(n)31531 63613 y Fo(2)32352 64161 y Fz(+)g(3)p Fq(n)h Fz(+)f(2)p Fq(;)800 66046 y Fz(and)15946 67659 y Fq(g)48 b Fz(\()p Fq(x)p Fz(\))368 b(=)h(5)p Fq(x)21506 67110 y Fo(2)22328 67659 y Fm(\241)295 b Fz(\(5)p Fq(n)h Fm(\241)f Fz(4\))p Fq(x)g Fz(+)g Fq(n)31485 67110 y Fo(2)32307 67659 y Fz(+)f(2)p Fq(n)i Fz(+)f(1)p Fq(:)800 69543 y Fz(W)-108 b(e)434 b(ha)-36 b(v)g(e)20588 71698 y(\()p Fq(a)p Fz(\))1107 b Fm(\()-221 b(\))1107 b Fq(f)142 b Fz(\()p Fq(k)28897 71897 y Fp(n)29523 71698 y Fz(\))369 b Fq(>)g Fz(0;)20718 73635 y(\()p Fq(b)p Fz(\))1107 b Fm(\()-221 b(\))1107 b Fq(g)48 b Fz(\()p Fq(k)28785 73834 y Fp(n)29411 73635 y Fz(\))369 b Fm(\267)g Fz(0)p Fq(:)p Black Black eop %%Page: 7 7 7 6 bop Black 0 TeXcolorgray Black 2271 886 a Fi(A)444 b(SEQUENCE)e(OF)i(BINOMIAL)g(COEFFICIENTS)d(RELA)-85 b(TED)442 b(TO)i(LUCAS)e(AND)i(FIBONA)-28 b(CCI)442 b(NUMBERS)958 b(7)p Black 800 3780 a Fz(The)360 b(ro)36 b(ots)360 b(of)h(the)e (\257rst)g(equation)h(are)20266 3257 y Fo(5)p Fp(n)p Fo(+6)p Fk(\247)23241 2515 y(p)p 24026 2515 2705 40 v 24026 3257 a Fo(5)p Fp(n)25067 3005 y Fl(2)25528 3257 y Fk(\241)p Fo(4)p 20266 3474 6465 54 v 23028 4238 a(10)26863 3780 y Fz(,)375 b(and)359 b(those)h(of)h(the)e(second)g(one)h(are)45620 3257 y Fo(5)p Fp(n)p Fk(\241)p Fo(4)p Fk(\247)48595 2515 y(p)p 49380 2515 2705 40 v 49380 3257 a Fo(5)p Fp(n)50421 3005 y Fl(2)50882 3257 y Fk(\241)p Fo(4)p 45620 3474 6465 54 v 48382 4238 a(10)52217 3780 y Fq(:)800 5329 y Fz(The)434 b(desired)f(in)-36 b(teger)433 b(satis\257es)13428 7555 y(5)p Fq(n)296 b Fm(\241)f Fz(4)h Fm(\241)18752 6462 y(p)p 19859 6462 4227 54 v 1093 x Fz(5)p Fq(n)21285 7171 y Fo(2)22107 7555 y Fm(\241)f Fz(4)p 13428 8148 10658 54 v 18107 9365 a(10)24587 8454 y Fm(\267)370 b Fq(k)26666 8653 y Fp(n)27661 8454 y Fq(<)29175 7555 y Fz(5)p Fq(n)296 b Fz(+)e(6)i Fm(\241)34477 6462 y(p)p 35584 6462 4227 54 v 1093 x Fz(5)p Fq(n)37010 7171 y Fo(2)37832 7555 y Fm(\241)f Fz(4)p 29175 8148 10636 54 v 33842 9365 a(10)39944 8454 y Fq(:)800 11056 y Fz(Whic)-36 b(h)433 b(is)h(what)g(w)-36 b(e)434 b(w)-36 b(an)g(ted.)35966 b Fh(\244)2128 13411 y Fz(The)434 b(previous)g(form)-36 b(ula)434 b(for)g Fq(k)17408 13610 y Fp(n)18468 13411 y Fz(is)g(not)f(as)h(explicit)h(as)f(exp)36 b(ected.)578 b(W)-108 b(e)434 b(giv)-36 b(e)434 b(a)g(more)g(explicit)g(one.)p Black 800 15801 a FA(Corollary)521 b(9.)p Black 554 w Fn(The)464 b(inte)-66 b(ger)463 b Fq(k)16808 16000 y Fp(n)17899 15801 y Fn(satis\257es)i(the)g(fol)66 b(lowing)5848 17698 y Fq(k)6524 17897 y Fp(n)7520 17698 y Fz(=)8900 16223 y Fj(j)9734 17175 y Fp(n)p 9734 17392 571 54 v 9784 18156 a Fo(2)10659 16223 y Fj(\263)11452 17698 y Fz(1)296 b Fm(\241)13859 16440 y Fk(p)p 14643 16440 471 40 v 733 x Fo(5)p 13859 17392 1255 54 v 14251 18156 a(5)15247 16223 y Fj(\264k)17206 17698 y Fn(or)465 b Fq(k)19559 17897 y Fp(n)20555 17698 y Fz(=)21935 16223 y Fj(l)22769 17175 y Fp(n)p 22769 17392 571 54 v 22819 18156 a Fo(2)23694 16223 y Fj(\263)24488 17698 y Fz(1)295 b Fm(\241)26894 16440 y Fk(p)p 27678 16440 471 40 v 733 x Fo(5)p 26894 17392 1255 54 v 27286 18156 a(5)28282 16223 y Fj(\264m)29998 17698 y Fq(:)p Black 800 20435 a Fn(Pr)-66 b(o)g(of.)p Black 552 w Fz(The)434 b(pro)36 b(of)434 b(is)g(the)f(same)h(as)g(for)g Fq(r)21822 20634 y Fp(n)22882 20435 y Fz(.)28524 b Fh(\244)2128 22790 y Fz(In)450 b(the)g(next)g(result,)k(the)449 b(in)-36 b(tegers)450 b Fq(n;)h Fz(suc)-36 b(h)449 b(that)h(the)f(sequence)h Fq(L)p Fz(\()p Fq(n;)221 b(k)45 b Fz(\))451 b(has)f(a)g(double)g(maxim) -36 b(um)800 24340 y(will)435 b(b)36 b(e)433 b(determined.)577 b(Before)435 b(determining)e(these)g(in)-36 b(tegers,)434 b(w)-36 b(e)433 b(need)g(the)g(follo)-36 b(wing)436 b(lemmas:)p Black 800 26730 a FA(Lemma)499 b(10.)p Black 554 w Fn(F)-100 b(or)465 b(every)g Fq(n)369 b Fm(\270)g Fz(0)p Fq(;)466 b Fz(5)p Fq(F)20118 26248 y Fo(2)19937 27059 y Fp(n)20939 26730 y Fz(+)294 b(4\()p Fm(\241)p Fz(1\))25590 26248 y Fp(n)26586 26730 y Fz(=)369 b Fq(L)28852 26248 y Fo(2)28852 27059 y Fp(n)29478 26730 y Fq(:)p Black 800 29121 a Fn(Pr)-66 b(o)g(of.)p Black 552 w Fz(This)434 b(is)g(kno)-36 b(wn,)434 b(and)f(straigh)-36 b(tforw)g(ard)434 b(using)g(the)f(explicit)h(form) -36 b(ulas)434 b(of)h Fq(F)43048 29320 y Fp(n)44107 29121 y Fz(and)e Fq(L)47521 29320 y Fp(n)48581 29121 y Fz(.)2825 b Fh(\244)p Black 800 31511 a FA(Lemma)499 b(11.)p Black 554 w Fn(F)-100 b(or)465 b(every)g Fq(n)369 b Fm(\270)g Fz(0)p Fq(;)466 b Fz(5)p Fq(F)19937 31710 y Fo(4)p Fp(n)p Fo(+1)22531 31511 y Fm(\241)296 b Fq(L)24745 31710 y Fo(4)p Fp(n)p Fo(+1)27339 31511 y Fm(\241)f Fz(4)369 b Fm(\264)h Fz(0)465 b(\(mo)36 b(d)433 b(10\))p Fn(.)p Black 800 33901 a(Pr)-66 b(o)g(of.)p Black 552 w Fz(Again,)435 b(the)e(explicit)h(form)-36 b(ulas)434 b(of)h Fq(F)23364 34100 y Fp(n)24423 33901 y Fz(and)f Fq(L)27838 34100 y Fp(n)28897 33901 y Fz(giv)-36 b(e)435 b(easily)g(the)e(w)-36 b(an)g(ted)433 b(result.)6344 b Fh(\244)p Black 800 36292 a FA(Theorem)455 b(12.)p Black 524 w Fn(The)429 b(se)-66 b(quenc)g(e)428 b Fq(L)p Fz(\()p Fq(n;)221 b(k)45 b Fz(\))430 b Fn(has)g(a)g(double)g(maximum)e(if)g(and)i(only)f(if)f Fq(n)370 b Fz(=)e Fq(F)46232 36491 y Fo(4)p Fp(j)51 b Fo(+1)48392 36292 y Fq(;)430 b Fn(and)f(in)800 37842 y(this)465 b(c)-66 b(ase)464 b(the)h(smal)66 b(lest)465 b(mo)-66 b(de)465 b(is)g(given)e(by)i Fq(k)23793 38041 y Fp(n)24788 37842 y Fz(=)369 b Fq(F)27192 37360 y Fo(2)27011 38170 y(2)p Fp(j)27968 37842 y Fq(:)p Black 800 40290 a Fn(Pr)-66 b(o)g(of.)p Black 552 w Fz(If)435 b Fq(l)463 b Fz(is)434 b(the)f(smallest)h(mo)36 b(de)434 b(of)g Fq(L)p Fz(\()p Fq(n;)221 b(k)45 b Fz(\))434 b(then)f(it)g(satis\257es) 20835 42497 y Fq(L)p Fz(\()p Fq(n;)221 b(l)29 b Fz(\))371 b(=)d Fq(L)p Fz(\()p Fq(n;)444 b(l)324 b Fz(+)295 b(1\))p Fq(;)800 44705 y Fz(whic)-36 b(h)433 b(is)h(equiv)-72 b(alen)-36 b(t)434 b(to)10221 46912 y Fq(f)142 b Fz(\()p Fq(n;)221 b(l)29 b Fz(\))370 b(=)f(5)p Fq(l)16607 46364 y Fo(2)17429 46912 y Fm(\241)295 b Fz(\(5)p Fq(n)h Fm(\241)f Fz(4\))p Fq(l)325 b Fz(+)295 b Fq(n)26264 46364 y Fo(2)27085 46912 y Fm(\241)h Fz(2)p Fq(n)g Fz(+)f(1)369 b(=)f(0)221 b Fq(:)6643 b Fz(\(7\))800 49119 y(Equation)434 b(\(7\))f(has)h(t)-36 b(w)g(o)434 b(ro)36 b(ots)434 b(in)f Fq(l)19382 52317 y(l)19769 52516 y Fo(1)p Fp(;)158 b Fo(2)21553 52317 y Fz(=)23066 51419 y(5)p Fq(n)296 b Fm(\241)g Fz(4)f Fm(\247)28391 50326 y(p)p 29497 50326 4227 54 v 29497 51419 a Fz(5)p Fq(n)30923 51035 y Fo(2)31745 51419 y Fm(\241)h Fz(4)p 23066 52012 10658 54 v 27745 53229 a(10)33857 52317 y Fq(:)800 54993 y Fz(The)554 b(solution)g(greater)g(than)16451 54470 y Fp(n)p 16451 54688 571 54 v 16501 55451 a Fo(2)17708 54993 y Fz(is)g(rejected,)584 b(since)554 b(the)f(mo)36 b(des)554 b(of)g Fq(L)p Fz(\()p Fq(n;)221 b(k)45 b Fz(\))555 b(are)e(less)i(than)48556 54470 y Fp(n)p 48556 54688 V 48606 55451 a Fo(2)49260 54993 y Fz(.)939 b(The)800 56543 y(smallest)434 b(one)g(remains,)g(i.e.,)15369 59667 y Fq(l)399 b Fz(=)17668 58768 y(5)p Fq(n)296 b Fm(\241)g Fz(4)f Fm(\241)22993 57676 y(p)p 24100 57676 4227 54 v 1092 x Fz(5)p Fq(n)25526 58385 y Fo(2)26347 58768 y Fm(\241)h Fz(4)p 17668 59362 10658 54 v 22347 60578 a(10)28902 59667 y Fq(:)7306 b Fz(\(8\))800 62404 y(So,)615 b(w)-36 b(e)578 b(are)h(lo)36 b(oking)580 b(for)f(all)g(pairs)g(of)g(in)-36 b(tegers)578 b(\()p Fq(n)27498 62603 y Fp(j)27985 62404 y Fq(;)221 b(k)29243 62603 y Fp(j)29731 62404 y Fz(\))p Fq(;)443 b Fz(0)616 b Fm(\267)g Fq(k)34632 62603 y Fp(j)35734 62404 y Fm(\267)37516 61728 y Fp(n)38087 61863 y Fg(j)p 37516 62098 1005 54 v 37783 62862 a Fo(2)38875 62404 y Fz(,)e(satisfying)580 b(\(7\))f(\(or)f(\(8\)\).)800 63969 y(W)-108 b(e)605 b(ma)-36 b(y)606 b(transform)f(\(8\))g(to)g(an)g (equation)g(related)g(to)g(P)-36 b(ell's)606 b(equation)g(as)f(in)g(T) -108 b(ann)-36 b(y)605 b(and)f(Zuk)-36 b(er)800 65519 y([)p 0 1 0 0 TeXcolorcmyk(8)p (#cite.8) [[82 127 88 139] [1 1 1 [3 3]] [0 0 1]] pdfm Black 1 w(],)572 b(and)544 b(then)g(use)g(some)h(classical)h(facts)f (ab)36 b(out)544 b(units)g(\(in)-36 b(v)g(ertible)544 b(elemen)-36 b(ts\))544 b(in)h(quadratic)f(\257elds)800 67068 y(\(see)496 b(Cohn)f([)p 0 1 0 0 TeXcolorcmyk(4)p (#cite.4) [[138 113 144 125] [1 1 1 [3 3]] [0 0 1]] pdfm Black 1 w(])g(for)h(details\).)765 b(But)495 b(w)-36 b(e)496 b(pro)36 b(ceed)495 b(di\256eren)-36 b(tly:)702 b(b)-36 b(y)495 b(Lemma)g(10,)512 b(5)p Fq(F)42957 66586 y Fo(2)42776 67397 y(2)p Fp(j)51 b Fo(+1)45274 67068 y Fm(\241)337 b Fz(4)475 b(=)f Fq(L)50140 66586 y Fo(2)50140 67397 y(2)p Fp(n)p Fo(+1)52439 67068 y Fz(,)800 69246 y(and)559 b(b)-36 b(y)559 b(Lemma)g(11,)592 b(5)p Fq(F)13900 69445 y Fo(4)p Fp(j)51 b Fo(+1)16441 69246 y Fm(\241)381 b Fz(4)g Fm(\241)20300 67786 y Fj(q)p 21628 67786 5926 54 v 1460 x Fz(5)p Fq(F)23301 68788 y Fo(2)23120 69586 y(4)p Fp(j)51 b Fo(+1)25575 69246 y Fm(\241)296 b Fz(4)583 b Fm(\264)g Fz(5)p Fq(F)31245 69445 y Fo(4)p Fp(j)51 b Fo(+1)33786 69246 y Fm(\241)381 b Fz(4)g Fm(\241)g Fq(L)38530 69445 y Fo(4)p Fp(j)51 b Fo(+1)41273 69246 y Fm(\264)583 b Fz(0)560 b(\(mo)36 b(d)559 b(10\),)591 b(that)800 72028 y(is,)663 b Fq(k)3374 72227 y Fp(j)4542 72028 y Fz(=)6368 71158 y Fo(55)p Fp(F)7903 71293 y Fl(4)p Fg(j)39 b Fl(+1)9771 71158 y Fk(\241)p Fo(4)p Fk(\247)11705 70341 y Fm(p)p 12812 70341 4135 54 v 817 x Fo(5)p Fp(F)14008 70853 y Fl(2)13877 71452 y(4)p Fg(j)g Fl(+1)15744 71158 y Fk(\241)p Fo(4)p 6368 71722 10579 54 v 11187 72486 a(10)17760 72028 y Fz(=)19585 71352 y Fo(5)p Fp(F)20650 71487 y Fl(4)p Fg(j)g Fl(+1)22518 71352 y Fk(\241)p Fo(4)p Fk(\241)p Fp(L)25092 71487 y Fl(4)p Fg(j)g Fl(+1)p 19585 71722 7373 54 v 22801 72486 a Fo(10)27772 72028 y Fz(=)680 b Fq(F)30487 71546 y Fo(2)30306 72356 y(2)p Fp(j)31944 72028 y Fm(\267)33791 71352 y Fp(F)34386 71487 y Fl(4)p Fg(j)39 b Fl(+1)p 33791 71722 2462 54 v 34787 72486 a Fo(2)36386 72028 y Fq(:)617 b Fz(So,)663 b(some)617 b(of)g(the)g(Fib)36 b(onacci)800 73635 y(n)-36 b(um)g(b)36 b(ers)494 b(are)j(certainly)f (among)h(the)e Fq(n)21116 73834 y Fp(j)21603 73635 y Fz(.)766 b(No)-36 b(w)496 b(let)g(\()p Fq(n)28977 73834 y Fo(0)29503 73635 y Fq(;)221 b(k)30761 73834 y Fo(0)31288 73635 y Fz(\))475 b(=)g(\(1)p Fq(;)221 b Fz(0\))p Fq(;)444 b Fz(\()p Fq(n)38737 73834 y Fo(1)39263 73635 y Fq(;)221 b(k)40521 73834 y Fo(1)41048 73635 y Fz(\))475 b(=)f(\(5)p Fq(;)221 b Fz(1\))p Fq(;)445 b Fz(\()p Fq(n)48497 73834 y Fo(2)49023 73635 y Fq(;)221 b(k)50281 73834 y Fo(2)50808 73635 y Fz(\))474 b(=)p Black Black eop %%Page: 8 8 8 7 bop Black 0 TeXcolorgray Black 800 886 a Fi(8)959 b(A)444 b(SEQUENCE)e(OF)i(BINOMIAL)g(COEFFICIENTS)d(RELA)-85 b(TED)442 b(TO)i(LUCAS)e(AND)i(FIBONA)-28 b(CCI)442 b(NUMBERS)p Black 800 3542 a Fz(\(34)p Fq(;)221 b Fz(9\))p Fq(;)444 b Fz(\()p Fq(n)6431 3741 y Fo(3)6957 3542 y Fq(;)221 b(k)8215 3741 y Fo(3)8742 3542 y Fz(\))369 b(=)g(\(233)p Fq(;)221 b Fz(64\))p Fq(;)445 b(:::;)p Fz(with)387 b Fq(n)21784 3741 y Fp(j)22640 3542 y Fz(=)369 b Fq(F)24863 3741 y Fo(4)p Fp(j)51 b Fo(+1)27023 3542 y Fq(;)386 b(k)28446 3741 y Fp(j)29302 3542 y Fz(=)g Fq(F)31723 3060 y Fo(2)31542 3871 y(2)p Fp(j)32499 3542 y Fz(.)563 b(The)386 b(follo)-36 b(wing)388 b(recursions)d(are)i(easily)800 5092 y(deriv)-36 b(ed:)13050 5364 y Fj(\275)14600 6440 y Fq(n)15376 6639 y Fp(j)51 b Fo(+1)17435 6440 y Fz(=)368 b(7)p Fq(n)20241 6639 y Fp(j)21024 6440 y Fm(\241)296 b Fq(n)23129 6639 y Fp(j)51 b Fk(\241)p Fo(1)24818 6440 y Fz(;)14600 7990 y Fq(k)15276 8189 y Fp(j)g Fo(+1)17335 7990 y Fz(=)368 b(7)p Fq(k)20041 8189 y Fp(j)20824 7990 y Fm(\241)296 b Fq(k)22829 8189 y Fp(j)51 b Fk(\241)p Fo(1)24814 7990 y Fz(+)294 b(2)221 b Fq(:)38888 7237 y Fz(\(9\))2128 10042 y(No)-36 b(w,)399 b(w)-36 b(e)390 b(pro)-36 b(v)g(e)390 b(that)e(all)j(solutions)e(of)h(\(7\))g(are)f(in)h(fact)g(\()p Fq(n)31562 10241 y Fp(j)32418 10042 y Fz(=)368 b Fq(F)34640 10241 y Fo(4)p Fp(j)51 b Fo(+1)36800 10042 y Fq(;)390 b(k)38227 10241 y Fp(j)39083 10042 y Fz(=)f Fq(F)41507 9560 y Fo(2)41326 10370 y(2)p Fp(j)42283 10042 y Fz(\))42789 10241 y Fp(j)51 b Fk(\270)p Fo(0)44478 10042 y Fz(.)564 b(W)-108 b(e)389 b(will)i(sho)-36 b(w)800 11649 y(that)433 b(if)h(\()p Fq(n)6092 11848 y Fp(j)6580 11649 y Fq(;)221 b(k)7838 11848 y Fp(j)8326 11649 y Fz(\))433 b(is)h(a)g(solution)g(of)g (\(7\),)g(then)14886 13849 y(\()p Fq(n)16168 14048 y Fp(j)51 b Fo(+1)17858 13849 y Fq(;)221 b(k)19116 14048 y Fp(j)51 b Fo(+1)20806 13849 y Fz(\))369 b(=)f(\(7)p Fq(n)24993 14048 y Fp(j)25776 13849 y Fm(\241)295 b Fq(n)27880 14048 y Fp(j)51 b Fk(\241)p Fo(1)29570 13849 y Fq(;)221 b Fz(7)p Fq(k)31478 14048 y Fp(j)32262 13849 y Fm(\241)295 b Fq(k)34266 14048 y Fp(j)51 b Fk(\241)p Fo(1)36251 13849 y Fz(+)295 b(2\))800 16050 y(is)434 b(another)f(one.)578 b(Indeed)5641 18250 y Fq(f)142 b Fz(\()p Fq(n)7706 18449 y Fp(j)51 b Fo(+1)9396 18250 y Fq(;)221 b(k)10654 18449 y Fp(j)51 b Fo(+1)12344 18250 y Fz(\))1107 b(=)f(5)p Fq(k)17446 17702 y Fo(2)17401 18578 y Fp(j)51 b Fo(+1)19386 18250 y Fm(\241)296 b Fz(\(5)p Fq(n)22647 18449 y Fp(j)51 b Fo(+1)24632 18250 y Fm(\241)295 b Fz(4\))p Fq(k)27792 18449 y Fp(j)51 b Fo(+1)29777 18250 y Fz(+)295 b Fq(n)31860 17702 y Fo(2)31860 18578 y Fp(j)51 b Fo(+1)33845 18250 y Fm(\241)295 b Fz(2)p Fq(n)36599 18449 y Fp(j)51 b Fo(+1)38584 18250 y Fz(+)295 b(1)13957 20368 y(=)1106 b(5\(7)p Fq(k)18557 20567 y Fp(j)19340 20368 y Fm(\241)296 b Fq(k)21345 20567 y Fp(j)51 b Fk(\241)p Fo(1)23330 20368 y Fz(+)294 b(2\))25792 19819 y Fo(2)26613 20368 y Fm(\241)i Fz(\(5\(7)p Fq(n)31030 20567 y Fp(j)31813 20368 y Fm(\241)f Fq(n)33917 20567 y Fp(j)51 b Fk(\241)p Fo(1)35607 20368 y Fz(\))295 b Fm(\241)g Fz(4\)\(7)p Fq(k)40724 20567 y Fp(j)41507 20368 y Fm(\241)g Fq(k)43511 20567 y Fp(j)51 b Fk(\241)p Fo(1)45496 20368 y Fz(+)295 b(2\))16075 22357 y(+\(7)p Fq(n)19019 22556 y Fp(j)19802 22357 y Fm(\241)g Fq(n)21906 22556 y Fp(j)51 b Fk(\241)p Fo(1)23595 22357 y Fz(\))24101 21808 y Fo(2)24922 22357 y Fm(\241)296 b Fz(2\(7)p Fq(n)28833 22556 y Fp(j)29616 22357 y Fm(\241)f Fq(n)31720 22556 y Fp(j)51 b Fk(\241)p Fo(1)33410 22357 y Fz(\))295 b(+)f(1)13957 24294 y(=)1106 b(0)800 26494 y(since)526 b Fq(f)142 b Fz(\()p Fq(n)6144 26693 y Fp(i)6520 26494 y Fq(;)221 b(k)7778 26693 y Fp(i)8155 26494 y Fz(\))525 b(=)h(5)p Fq(k)12095 26012 y Fo(2)12050 26822 y Fp(i)12979 26494 y Fm(\241)358 b Fz(\(5)p Fq(n)16302 26693 y Fp(i)17036 26494 y Fm(\241)g Fz(4\))p Fq(k)20259 26693 y Fp(i)20993 26494 y Fz(+)g Fq(n)23139 26012 y Fo(2)23139 26822 y Fp(i)24023 26494 y Fm(\241)g Fz(2)p Fq(n)26840 26693 y Fp(i)27575 26494 y Fz(+)f(1)526 b(=)g(0)g(for)g(0)g Fm(\267)g Fq(i)g Fm(\267)g Fq(j)r(:)g Fz(Supp)36 b(ose)525 b(that)g(\()p Fq(n;)221 b(k)45 b Fz(\))800 28044 y(is)558 b(another)f(one,)811 b(0)580 b Fm(\267)g Fq(k)626 b Fm(\267)16139 27521 y Fp(n)p 16139 27738 571 54 v 16189 28502 a Fo(2)16842 28044 y Fz(;)558 b(di\256eren)-36 b(t)557 b(from)h(those)f(\()p Fq(n)31020 28243 y Fp(j)31508 28044 y Fq(;)221 b(k)32766 28243 y Fp(j)33254 28044 y Fz(\).)950 b(There)558 b(is)f(a)h(unique)g (\()p Fq(n)47226 28243 y Fp(i)47602 28044 y Fq(;)221 b(k)48860 28243 y Fp(i)49236 28044 y Fz(\))558 b(suc)-36 b(h)800 29609 y(that)456 b Fq(n)4417 29808 y Fp(i)5201 29609 y Fq(<)408 b(n)h(<)e(n)10001 29808 y Fp(i)p Fo(+1)11580 29609 y Fq(:)457 b Fz(W)-108 b(e)456 b(v)-36 b(erify)458 b(easily)g(that)e Fq(f)142 b Fz(\(7)p Fq(n)312 b Fm(\241)f Fq(n)29891 29808 y Fp(i)p Fk(\241)p Fo(1)31469 29609 y Fq(;)221 b Fz(7)p Fq(k)357 b Fm(\241)311 b Fq(k)35754 29808 y Fp(i)p Fk(\241)p Fo(1)37643 29609 y Fz(+)g(2\))408 b(=)g(0)p Fq(:)457 b Fz(This)g(means)f(that)800 31159 y(\()p Fq(n;)221 b(k)45 b Fz(\))370 b(=)e(\()p Fq(n)6923 31358 y Fp(i)7299 31159 y Fq(;)221 b(k)8557 31358 y Fp(i)8934 31159 y Fz(\))p Fq(;)426 b Fz(and)f(pro)-36 b(v)g(es)426 b(that)f(all)h(the)g(solutions)g(of)g(\(7\))f(are)h(giv)-36 b(en)427 b(b)-36 b(y)425 b(the)g(recursions)h(\(9\).This)800 32708 y(ends)433 b(the)g(pro)36 b(of.)42434 b Fh(\244)800 35055 y FA(Remarks.)1022 b Fz(1.)f(There)581 b(is)g(a)h(relation)f(b)36 b(et)-36 b(w)g(een)581 b(the)g(mo)36 b(des)581 b(of)h(the)e(sequence)h Fq(g)48 b Fz(\()p Fq(n;)221 b(k)45 b Fz(\))582 b(and)e(those)800 36604 y(of)593 b Fq(L)p Fz(\()p Fq(n;)221 b(k)45 b Fz(\).)1054 b(Let)591 b(\()p Fq(m)11963 36803 y Fp(j)12449 36604 y Fq(;)221 b(r)13617 36803 y Fp(j)14105 36604 y Fz(\))592 b(b)36 b(e)592 b(the)f(sequence)h(of)g(in)-36 b(tegers)592 b(suc)-36 b(h)591 b(that)g Fq(g)48 b Fz(\()p Fq(m)40072 36803 y Fp(j)40558 36604 y Fq(;)221 b(r)41726 36803 y Fp(j)42214 36604 y Fz(\))638 b(=)g Fq(g)48 b Fz(\()p Fq(m)47323 36803 y Fp(j)47809 36604 y Fq(;)221 b(r)48977 36803 y Fp(j)49868 36604 y Fz(+)403 b(1\))p Fq(:)800 38180 y Fz(Since)460 b Fq(m)5361 38379 y Fp(j)6262 38180 y Fz(=)415 b Fq(F)8531 38379 y Fo(4)p Fp(j)9801 38180 y Fm(\241)314 b Fz(1)p Fq(;)p Fz(and)460 b Fq(r)15301 38379 y Fp(j)16203 38180 y Fz(=)17762 37657 y Fo(1)p 17762 37875 471 54 v 17762 38638 a(5)18366 38180 y Fz(\()p Fq(L)19757 38379 y Fo(4)p Fp(j)51 b Fk(\241)p Fo(1)22229 38180 y Fm(\241)314 b Fz(4\))p Fq(;)461 b Fz(it)f(is)h(easy)g(to)g (establish)f(\(b)-36 b(y)460 b(direct)g(calculations,)469 b(or)800 39745 y(generating)434 b(functions)f(of)h Fq(r)14833 39944 y Fp(j)15754 39745 y Fz(\),)g(that)20644 40931 y Fj(\275)22193 42007 y Fq(n)22969 42206 y Fp(j)23826 42007 y Fz(=)368 b Fq(r)25792 42206 y Fp(j)51 b Fo(+1)27777 42007 y Fm(\241)295 b Fq(r)29691 42206 y Fp(j)30178 42007 y Fz(;)22193 43557 y Fq(k)22869 43756 y Fp(j)23726 43557 y Fz(=)368 b Fq(m)26244 43756 y Fp(j)27026 43557 y Fm(\241)295 b Fz(2)p Fq(r)29590 43756 y Fp(j)30373 43557 y Fm(\241)g Fz(1)p Fq(:)2128 45823 y Fz(2.)571 b(Note)410 b(that)f(our)h(relation)g (for)g Fq(k)19296 46022 y Fp(j)20193 45823 y Fz(w)-36 b(as)411 b(deriv)-36 b(ed)409 b(b)-36 b(y)410 b(S.)f(T)-108 b(ann)-36 b(y)410 b(and)f(M.)h(Zuk)-36 b(er)409 b([)p 0 1 0 0 TeXcolorcmyk(9)p (#cite.9) [[459 305 464 317] [1 1 1 [3 3]] [0 0 1]] pdfm Black 1 w(,)415 b(p.)409 b(301].)572 b(There,)800 47373 y(the)433 b(initial)i(conditions)e(for)h(the)f(Fib)36 b(onacci)434 b(n)-36 b(um)g(b)36 b(ers)432 b(are:)579 b Fq(F)31951 47572 y Fo(0)32846 47373 y Fz(=)590 b Fq(F)35290 47572 y Fo(1)36184 47373 y Fz(=)369 b(1)p Fq(:)2128 48923 y Fz(3.)579 b(Using)434 b(the)f(recursions)g(\(9\),)h(w)-36 b(e)434 b(obtain)f(the)g(generating)h(functions:)4729 52191 y Fq(g)48 b Fz(\()p Fq(x)p Fz(\))368 b(=)9389 50530 y Fk(1)8900 50929 y Fj(X)9042 53728 y Fp(j)51 b Fo(=0)11040 52191 y Fq(n)11816 52390 y Fp(j)12303 52191 y Fq(x)13042 51642 y Fp(j)13898 52191 y Fz(=)16845 51292 y(1)296 b Fm(\241)f Fz(2)p Fq(x)p 15412 51885 6531 54 v 15412 53102 a Fz(1)g Fm(\241)h Fz(7)p Fq(x)f Fz(+)g Fq(x)21416 52718 y Fo(2)22725 52191 y Fz(and)1328 b Fq(h)p Fz(\()p Fq(x)p Fz(\))369 b(=)30887 50530 y Fk(1)30398 50929 y Fj(X)30541 53728 y Fp(j)51 b Fo(=1)32538 52191 y Fq(k)33214 52390 y Fp(j)33702 52191 y Fq(x)34441 51642 y Fp(j)35297 52191 y Fz(=)40790 51292 y Fq(x)296 b Fz(+)f Fq(x)43871 50810 y Fo(2)p 36810 51885 11567 54 v 36810 53102 a Fz(\(1)h Fm(\241)f Fq(x)p Fz(\)\(1)g Fm(\241)h Fz(7)p Fq(x)f Fz(+)g Fq(x)47345 52718 y Fo(2)47871 53102 y Fz(\))48510 52191 y Fq(:)11410 56534 y Fz(4.)651 b Fr(A)502 b(central)f(and)h(a)f(local)h (theorem)g(f)-30 b(or)503 b Fq(L)p Fz(\()p Fq(n;)221 b(k)45 b Fz(\))2128 59528 y(A)454 b(p)36 b(ositiv)-36 b(e)455 b(real)f(sequence)g Fq(a)p Fz(\()p Fq(n;)221 b(k)45 b Fz(\))20124 59046 y Fp(n)20124 59873 y(k)24 b Fo(=0)21896 59528 y Fq(;)454 b Fz(with)g Fq(A)26669 59727 y Fp(n)27699 59528 y Fz(=)29686 58266 y Fp(n)29271 58531 y Fj(P)29114 60696 y Fp(k)24 b Fo(=0)31051 59528 y Fq(a)p Fz(\()p Fq(n;)221 b(k)45 b Fz(\))404 b Fm(6)p Fz(=)f(0)p Fq(;)455 b Fz(is)f(said)g(to)g(satisfy)h(a)f(cen)-36 b(tral)800 61992 y(limit)434 b(theorem)f(\(or)h(is)g Fn(asymptotic)-66 b(al)66 b(ly)464 b(normal)p Fz(\))433 b(with)h(mean)f Fq(\271)33025 62191 y Fp(n)34085 61992 y Fz(and)g(v)-72 b(ariance)434 b Fq(\276)42495 61510 y Fo(2)42447 62321 y Fp(n)43507 61992 y Fz(if)11787 65809 y(lim)10810 66606 y Fp(n)p Fk(\241)-157 b(!)p Fo(+)p Fk(1)14791 65809 y Fz(sup)14835 66894 y Fp(x)p Fk(2)p Fp(R)16971 63086 y Fj(\257)16971 63883 y(\257)16971 64680 y(\257)16971 65477 y(\257)16971 66274 y(\257)16971 67071 y(\257)19427 64547 y(X)17414 67376 y Fo(0)p Fk(\267)p Fp(k)24 b Fk(\267)p Fp(\271)20428 67487 y Fg(n)20994 67376 y Fo(+)p Fp(x\276)22794 67487 y Fg(n)23714 64910 y Fq(a)p Fz(\()p Fq(n;)221 b(k)45 b Fz(\))p 23714 65503 3775 54 v 24801 66720 a Fq(A)25776 66919 y Fp(n)27917 65809 y Fm(\241)295 b Fz(\(2)p Fq(\274)48 b Fz(\))31693 65260 y Fk(\241)p Fo(1)p Fp(=)p Fo(2)34979 63735 y Fp(x)34285 64001 y Fj(Z)33817 67750 y Fk(\2411)36006 65809 y Fq(e)36609 65260 y Fk(\241)37474 64898 y Fg(t)37791 64620 y Fl(2)p 37474 65059 778 40 v 37660 65608 a(2)38440 65809 y Fq(dt)39586 63086 y Fj(\257)39586 63883 y(\257)39586 64680 y(\257)39586 65477 y(\257)39586 66274 y(\257)39586 67071 y(\257)40397 65809 y Fz(=)369 b(0)p Fq(:)2128 69789 y Fz(The)434 b(sequence)g (satis\257es)f(a)h(lo)36 b(cal)435 b(limit)f(theorem)f(on)h Fq(B)i Fm(\265)369 b Fq(R)445 b Fz(;)434 b(with)f(mean)h Fq(\271)41380 69988 y Fp(n)42439 69789 y Fz(and)f(v)-72 b(ariance)434 b Fq(\276)50849 69307 y Fo(2)50801 70117 y Fp(n)51861 69789 y Fz(if)13548 72804 y(lim)12571 73602 y Fp(n)p Fk(\241)-157 b(!)p Fo(+)p Fk(1)16552 72804 y Fz(sup)16576 73889 y Fp(x)p Fk(2)p Fp(B)18732 70878 y Fj(\257)18732 71675 y(\257)18732 72472 y(\257)18732 73269 y(\257)19308 71906 y Fq(\276)20047 72105 y Fp(n)20673 71906 y Fq(a)p Fz(\()p Fq(n;)221 b(\271)24003 72105 y Fp(n)24925 71906 y Fz(+)295 b Fq(x\276)27710 72105 y Fp(n)28336 71906 y Fz(\))p 19308 72499 9535 54 v 23274 73716 a Fq(A)24249 73915 y Fp(n)29270 72804 y Fm(\241)g Fz(\(2)p Fq(\274)48 b Fz(\))33046 72256 y Fk(\241)p Fo(1)p Fp(=)p Fo(2)35244 72804 y Fq(e)35847 72256 y Fk(\241)36712 71894 y Fg(x)37176 71615 y Fl(2)p 36712 72055 925 40 v 36971 72603 a(2)37825 70878 y Fj(\257)37825 71675 y(\257)37825 72472 y(\257)37825 73269 y(\257)38637 72804 y Fz(=)368 b(0)p Fq(:)p Black Black eop %%Page: 9 9 9 8 bop Black 0 TeXcolorgray Black 2271 886 a Fi(A)444 b(SEQUENCE)e(OF)i(BINOMIAL)g(COEFFICIENTS)d(RELA)-85 b(TED)442 b(TO)i(LUCAS)e(AND)i(FIBONA)-28 b(CCI)442 b(NUMBERS)958 b(9)p Black 2128 3542 a Fz(Recall)435 b(the)e(follo)-36 b(wing)436 b(result)d(\(see)h(Bender)e([)p 0 1 0 0 TeXcolorcmyk(1)p (#cite.1) [[295 685 301 697] [1 1 1 [3 3]] [0 0 1]] pdfm Black 1 w(]\).)p Black 800 5948 a FA(Theorem)532 b(13.)p Black 569 w Fn(L)-66 b(et)490 b Fz(\()p Fq(P)13258 6147 y Fp(n)13884 5948 y Fz(\))14390 6147 y Fp(n)p Fk(\270)p Fo(1)16709 5948 y Fn(b)-66 b(e)491 b(a)g(se)-66 b(quenc)g(e)489 b(of)i(r)-66 b(e)g(al)490 b(p)-66 b(olynomials;)504 b(with)490 b(only)h(r)-66 b(e)g(al)491 b(ne)-66 b(gative)488 b(zer)-66 b(os.)800 7498 y(The)529 b(se)-66 b(quenc)g(e)528 b(of)h(the)g(c)-66 b(o)g(e\261cients)526 b(of)k(the)f Fz(\()p Fq(P)24530 7697 y Fp(n)25156 7498 y Fz(\))25662 7697 y Fp(n)p Fk(\270)p Fo(1)28020 7498 y Fn(satis\257es)g(a)g(c)-66 b(entr)g(al)528 b(limit)g(the)-66 b(or)g(em;)559 b(with)529 b Fq(\271)50674 7697 y Fp(n)51788 7498 y Fz(=)933 9250 y Fp(P)1661 8937 y Fl(")1530 9471 y Fg(n)2121 9250 y Fo(\(1\))p 933 9577 2391 54 v 946 10341 a Fp(P)1543 10452 y Fg(n)2109 10341 y Fo(\(1\))3992 9883 y Fn(and)536 b Fq(\276)7374 9401 y Fo(2)7326 10211 y Fp(n)8452 9883 y Fz(=)9999 8010 y Fj(\265)11110 9250 y Fp(P)11838 8937 y Fl(")11707 9471 y Fg(n)12298 9250 y Fo(\(1\))p 11110 9577 V 11123 10341 a Fp(P)11720 10452 y Fg(n)12285 10341 y Fo(\(1\))13928 9883 y Fz(+)15368 9250 y Fp(P)16096 8659 y Ff(0)15965 9471 y Fg(n)16531 9250 y Fo(\(1\))p 15368 9577 2366 54 v 15368 10341 a Fp(P)15965 10452 y Fg(n)16531 10341 y Fo(\(1\))18161 9883 y Fm(\241)19490 8408 y Fj(\263)20416 9250 y Fp(P)21144 8659 y Ff(0)21013 9471 y Fg(n)21579 9250 y Fo(\(1\))p 20416 9577 V 20416 10341 a Fp(P)21013 10452 y Fg(n)21579 10341 y Fo(\(1\))22914 8408 y Fj(\264)23708 8640 y Fo(2)24233 8010 y Fj(\266)25747 9883 y Fn(pr)-66 b(ovide)g(d)534 b(that)1512 b Fz(lim)33675 10680 y Fp(n)p Fk(\241)-157 b(!)p Fo(+)p Fk(1)37656 9883 y Fq(\276)38443 9401 y Fo(2)38395 10211 y Fp(n)39522 9883 y Fz(=)499 b(+)p Fm(1)p Fq(:)536 b Fn(If,)552 b(in)534 b(addition,)800 12178 y(the)445 b(se)-66 b(quenc)g(e)444 b(of)h(the)g(c)-66 b(o)g(e\261cients)443 b(of)i(e)-66 b(ach)445 b Fq(P)23702 12377 y Fp(n)24774 12178 y Fn(is)h(with)f(no)g(internal)f(zer)-66 b(os;)452 b(then)444 b(the)h(se)-66 b(quenc)g(e)444 b(of)h(the)800 13728 y(c)-66 b(o)g(e\261cients)462 b(satis\257es)j(a)g(lo)-66 b(c)g(al)465 b(limit)e(the)-66 b(or)g(em)463 b(on)i Fq(R)11 b Fn(.)2128 16133 y Fz(The)434 b(fact)g(that)f(the)g(zeros)h(of)h(the)e (sequence)g Fq(L)25681 16332 y Fp(n)26307 16133 y Fz(\()p Fq(x)p Fz(\))h(are)f(real)h(implies)g(the)g(follo)-36 b(wing)435 b(result.)p Black 800 18539 a FA(Theorem)559 b(14.)p Black 580 w Fn(The)513 b(se)-66 b(quenc)g(e)511 b Fz(\()p Fq(L)p Fz(\()p Fq(n;)221 b(k)45 b Fz(\)\))22704 18738 y Fp(k)24 b Fk(\270)p Fo(0)24988 18539 y Fn(satis\257es)512 b(a)h(c)-66 b(entr)g(al)511 b(limit)g(and)i(a)f(lo)-66 b(c)g(al)512 b(limit)g(the)-66 b(or)g(em)800 20592 y(on)465 b Fq(R)476 b Fn(with)464 b Fq(\271)7731 20791 y Fp(n)8726 20592 y Fz(=)10240 19958 y Fp(L)10880 19646 y Fl(")10880 20180 y Fg(n)11446 19958 y Fo(\(1\))p 10240 20286 2409 54 v 10240 21050 a Fp(L)10880 21161 y Fg(n)11446 21050 y Fo(\(1\))13150 20592 y Fd(s)14685 20069 y Fp(n)p 14685 20286 571 54 v 14735 21050 a Fo(2)15610 19117 y Fj(\263)16404 20592 y Fz(1)295 b Fm(\241)18810 19334 y Fk(p)p 19594 19334 471 40 v 733 x Fo(5)p 18810 20286 1255 54 v 19202 21050 a(5)20198 19117 y Fj(\264)20991 20592 y Fn(and)465 b Fq(\276)24302 20110 y Fo(2)24254 20920 y Fp(n)25249 20592 y Fz(=)26763 19958 y Fp(L)27403 19646 y Fl(")27403 20180 y Fg(n)27969 19958 y Fo(\(1\))p 26763 20286 2409 54 v 26763 21050 a Fp(L)27403 21161 y Fg(n)27969 21050 y Fo(\(1\))29600 20592 y Fz(+)31039 19958 y Fp(L)31679 19367 y Ff(0)31679 20180 y Fg(n)32246 19958 y Fo(\(1\))p 31039 20286 V 31039 21050 a Fp(L)31679 21161 y Fg(n)32246 21050 y Fo(\(1\))33876 20592 y Fm(\241)35204 19117 y Fj(\263)36131 19958 y Fp(L)36771 19367 y Ff(0)36771 20180 y Fg(n)37337 19958 y Fo(\(1\))p 36131 20286 V 36131 21050 a Fp(L)36771 21161 y Fg(n)37337 21050 y Fo(\(1\))38672 19117 y Fj(\264)39834 20592 y Fd(s)370 b Fz(5)41887 20101 y Fk(\241)42752 19739 y Fl(3)p 42752 19900 406 40 v 42752 20449 a(4)43346 20592 y Fq(n)p Black 800 23344 a Fn(Pr)-66 b(o)g(of.)p Black 552 w Fz(W)-108 b(e)434 b(ha)-36 b(v)g(e)4617 26679 y Fq(\276)5404 26131 y Fo(2)5356 27008 y Fp(n)6351 26679 y Fz(=)7864 25781 y Fq(L)8749 25299 y Fo(")8749 26109 y Fp(n)9376 25781 y Fz(\(1\))p 7864 26374 3174 54 v 7864 27591 a Fq(L)8749 27790 y Fp(n)9376 27591 y Fz(\(1\))11466 26679 y(+)12905 25781 y Fq(L)13790 24986 y Ff(0)13790 26109 y Fp(n)14417 25781 y Fz(\(1\))p 12905 26374 V 12905 27591 a Fq(L)13790 27790 y Fp(n)14417 27591 y Fz(\(1\))16506 26679 y Fm(\241)17835 24806 y Fj(\265)18945 25781 y Fq(L)19830 24986 y Ff(0)19830 26109 y Fp(n)20457 25781 y Fz(\(1\))p 18945 26374 V 18945 27591 a Fq(L)19830 27790 y Fp(n)20457 27591 y Fz(\(1\))22251 24806 y Fj(\266)23229 24968 y Fo(2)24124 26679 y Fz(=)25638 25781 y Fq(n)26414 25299 y Fo(2)26940 25781 y Fq(L)27825 25980 y Fp(n)p Fk(\241)p Fo(2)29653 25781 y Fq(L)30538 25980 y Fp(n)31460 25781 y Fm(\241)295 b Fz(5)p Fq(n)34214 25299 y Fo(2)34741 25781 y Fq(F)35583 25980 y Fp(n)p Fk(\241)p Fo(1)p 25638 26374 11774 54 v 30444 27591 a Fz(5)p Fq(L)31979 27207 y Fo(2)31979 27919 y Fp(n)37839 26679 y Fz(+)39279 25781 y(3)p Fq(nF)41547 25980 y Fp(n)p Fk(\241)p Fo(1)43671 25781 y Fm(\241)h Fq(nL)46661 25980 y Fp(n)p Fk(\241)p Fo(2)p 39279 26374 9211 54 v 42803 27591 a Fz(5)p Fq(L)44338 27790 y Fp(n)48622 26679 y Fq(:)2128 31441 y Fz(Let)434 b Fq(\256)377 b Fz(=)7177 30917 y Fo(1+)8379 30184 y Fk(p)p 9163 30184 471 40 v 733 x Fo(5)p 7177 31136 2457 54 v 8170 31899 a(2)9766 31441 y Fq(;)434 b(\257)443 b Fz(=)13252 30917 y Fo(1)p Fk(\241)14454 30184 y(p)p 15238 30184 471 40 v 733 x Fo(5)p 13252 31136 2457 54 v 14245 31899 a(2)15841 31441 y Fq(:)434 b Fz(Using)g(the)f(explicit)h (form)-36 b(ulas)435 b(of)f Fq(L)34769 31640 y Fp(n)35829 31441 y Fz(and)f Fq(F)39200 31640 y Fp(n)39826 31441 y Fz(,)h(w)-36 b(e)434 b(obtain)5050 35603 y Fq(\276)5837 35055 y Fo(2)5789 35932 y Fp(n)6784 35603 y Fz(=)11492 34705 y(\()p Fm(\241)p Fz(1\))14187 34222 y Fp(n)14814 34705 y Fq(n)15590 34222 y Fo(2)p 8298 35298 11013 54 v 8298 36514 a Fq(\256)9133 36131 y Fo(2)p Fp(n)10525 36514 y Fz(+)295 b Fq(\257)12640 36131 y Fo(2)p Fp(n)14032 36514 y Fz(+)g(2\()p Fm(\241)p Fz(1\))18684 36131 y Fp(n)19739 35603 y Fz(+)21178 34222 y Fq(\256)22013 33740 y Fp(n)p Fk(\241)p Fo(2)24064 32747 y Fj(\263)24990 33697 y Fo(3)25460 32964 y Fk(p)p 26245 32964 471 40 v 26245 33697 a Fo(5)p Fp(\256)p 24990 33916 2330 54 v 25920 34680 a Fo(5)27747 34222 y Fm(\241)h Fz(1)29726 32747 y Fj(\264)30741 34222 y Fq(n)f Fm(\241)h Fq(\257)33949 33740 y Fp(n)p Fk(\241)p Fo(2)35999 32747 y Fj(\263)36925 33638 y Fo(3)37395 32905 y Fk(p)p 38179 32905 471 40 v 733 x Fo(5)q Fp(\257)p 36925 33916 2299 54 v 37839 34680 a Fo(5)39651 34222 y Fz(+)f(1)41608 32747 y Fj(\264)42623 34222 y Fq(n)p 21178 35298 22222 54 v 29098 36514 a Fz(5)221 b(\()q Fq(\256)31311 36131 y Fp(n)32233 36514 y Fz(+)295 b Fq(\257)34348 36131 y Fp(n)34974 36514 y Fz(\))43901 35603 y Fd(s)370 b Fz(5)45954 35055 y Fk(\241)46819 34693 y Fl(3)p 46819 34854 406 40 v 46819 35402 a(4)47413 35603 y Fq(n:)800 38637 y Fz(So,)977 b(lim)2534 39434 y Fp(n)p Fk(\241)-157 b(!)p Fo(+)p Fk(1)6515 38637 y Fq(\276)7254 38836 y Fp(n)8250 38637 y Fz(=)368 b(+)p Fm(1)p Fq(:)290 b Fz(The)g(lo)36 b(cal)292 b(limit)e(theorem)f(is)i(then)e(easily)i(seen)e(to)h(b)36 b(e)290 b(satis\257ed;)338 b(since)290 b Fq(L)p Fz(\()p Fq(n;)221 b(k)45 b Fz(\))369 b Fm(6)p Fz(=)800 40899 y(0)p Fq(;)434 b Fz(for)g(0)370 b Fm(\267)f Fq(k)414 b Fm(\267)9146 39823 y Fj(\245)9906 40376 y Fp(n)p 9906 40594 571 54 v 9956 41357 a Fo(2)10610 39823 y Fj(\246)11459 40899 y Fq(:)39947 b Fh(\244)2128 43287 y Fz(As)434 b(a)g(consequence)f (of)i(the)e(lo)36 b(cal)435 b(limit)f(theorem,)f(w)-36 b(e)434 b(ha)-36 b(v)g(e)p Black 800 45692 a FA(Corollary)521 b(15.)p Black 554 w Fn(L)-66 b(et)464 b Fq(L)368 b Fz(=)h(max)q Fm(f)p Fq(L)p Fz(\()p Fq(n;)221 b(k)45 b Fz(\))p Fq(;)444 b Fz(0)369 b Fm(\267)g Fq(k)414 b Fm(\267)27711 45169 y Fp(n)p 27711 45387 V 27761 46150 a Fo(2)28415 45692 y Fm(g)p Fq(:)465 b Fn(Then)21891 49885 y Fq(L)369 b Fd(s)24680 48503 y Fz(5)25463 47651 y Fl(3)p 25464 47812 406 40 v 25464 48360 a(4)26279 47029 y Fj(\263)27205 47979 y Fo(1+)28407 47246 y Fk(p)p 29192 47246 471 40 v 29192 47979 a Fo(5)p 27205 48198 2457 54 v 28198 48961 a(2)29795 47029 y Fj(\264)30588 47326 y Fp(n)p 24680 49579 6535 54 v 26288 49845 a Fm(p)p 27395 49845 2213 54 v 1099 x Fz(2)p Fq(\274)48 b(n)31347 49885 y(:)2128 53660 y Fz(Ac)-36 b(kno)g(wledgmen)g(ts:)624 b(My)456 b(sincere)g(thanks)g(to)g(Andreas)g(Dress)g(and)g(Jean-Louis)f(Nicolas) j(for)e(their)800 55209 y(v)-72 b(aluable)434 b(corrections)g(and)f (commen)-36 b(ts.)22927 58249 y Fr(References)p Black 800 60352 a Fx([1])p Black 555 w(E.)345 b(A.)f(Bender,)350 b(Cen)-31 b(tral)345 b(and)g(lo)31 b(cal)345 b(limit)i(theorems)d (applied)i(to)e(asymptotic)j(en)-31 b(umeration,)725 b Fc(J.)373 b(Combin.)i(The)-57 b(ory)p Fx(,)2522 61680 y(Ser.)369 b(A)g Fb(15)h Fx(\(1973\),)j(91{111.)p Black 800 63008 a([2])p Black 555 w(M.)297 b(Benoumhani,)314 b(P)-31 b(olyn^)-553 b(omes)299 b(\265)-553 b(a)297 b(racines)g(r)-31 b(\266)-523 b(eelles)298 b(et)f(applications)i(com)-31 b(binatoires,)315 b(Th)-31 b(\265)-523 b(ese)298 b(de)e(do)31 b(ctorat,)314 b(Univ)-31 b(ersit)g(\266)-523 b(e)2522 64337 y(Claude)370 b(Bernard,)f(Ly)-31 b(on)370 b(1,)g(Ly)-31 b(on,)370 b(F)-92 b(rance.1993.)p Black 800 65665 a([3])p Black 555 w(M.)382 b(Benoumhani,)387 b(Sur)381 b(une)h(propri)-31 b(\266)-523 b(et)-31 b(\266)-523 b(e)384 b(des)d(p)31 b(olyn^)-553 b(omes)383 b(\265)-553 b(a)382 b(racines)g(n)-31 b(\266)-523 b(egativ)-31 b(es,)388 b Fc(J.)408 b(Math.)f(Pur)-57 b(es)408 b(Appl,)i Fb(75)383 b Fx(\(1996\),)2522 66993 y(85{105.)p Black 800 68322 a([4])p Black 555 w(H.)370 b(Cohn,)g Fc(A)396 b(Classic)-57 b(al)396 b(Invitation)g(to)g(A)-28 b(lgebr)-57 b(aic)397 b(Numb)-57 b(ers)396 b(and)g(Class)f(Fields)p Fx(,)369 b(Springer-V)-92 b(erlag,)371 b(1978.)p Black 800 69650 a([5])p Black 555 w(G.)e(H.)h(Hardy)-92 b(,)370 b(J.)f(E.)h(Littlew)-31 b(o)31 b(o)g(d)372 b(and)d(G.)g(P\266)-553 b(oly)-31 b(a,)372 b Fc(Ine)-57 b(qualities)p Fx(,)371 b(Cam)-31 b(bridge)371 b(Univ.)f(Press,)f(1956.)p Black 800 70979 a([6])p Black 555 w(N.)247 b(Sloane,)272 b(Online)247 b(Encyclop)31 b(edia)248 b(of)f(In)-31 b(teger)246 b(Sequences,)271 b Fa(www.research.att.com/~njas/sequences/index.html)p Fx(.)p Black 800 72307 a([7])p Black 555 w(R.)369 b(Stanley)-92 b(,)371 b Fc(Enumer)-57 b(ative)398 b(Combinatorics)p Fx(,)369 b(W)-92 b(adsw)-31 b(orth)370 b(&)f(Bro)31 b(oks)369 b(/)h(Cole,)h(Mon)-31 b(terey)-92 b(,)370 b(California)i(1986.)p Black 800 73635 a([8])p Black 555 w(S.)303 b(T)-92 b(ann)-31 b(y)304 b(and)g(M.)f(Zuk)-31 b(er,)317 b(On)303 b(a)g(unimo)31 b(dal)305 b(sequence)e(of)h(binomial)h(co)31 b(e\261cien)-31 b(ts,)318 b Fc(Discr)-57 b(ete)336 b(Math)p Fx(.)302 b Fb(9)i Fx(\(1974\),)319 b(79{89.)p Black Black eop %%Page: 10 10 10 9 bop Black 0 TeXcolorgray Black 800 886 a Fi(10)447 b(A)d(SEQUENCE)e(OF)i(BINOMIAL)g(COEFFICIENTS)d(RELA)-85 b(TED)442 b(TO)i(LUCAS)e(AND)i(FIBONA)-28 b(CCI)442 b(NUMBERS)p Black Black 800 3542 a Fx([9])p Black 555 w(S.)352 b(T)-92 b(ann)-31 b(y)352 b(and)f(M.)h(Zuk)-31 b(er,)356 b(Analytic)d(metho)31 b(ds)352 b(applied)g(to)h(a)e(sequence)g(of)h(binomial)i(co)31 b(e\261cien)-31 b(ts,)357 b Fc(Discr)-57 b(ete)380 b(Math)p Fx(.)2522 4871 y Fb(24)370 b Fx(\(1978\),)i(299{310.)p 800 6509 52000 45 v 800 8516 a Fz(2000)435 b Fn(Mathematics)464 b(Subje)-66 b(ct)463 b(Classi\257c)-66 b(ation)p Fz(:)577 b(Primary)434 b(11B39;)h(Secondary)e(11B65.)800 10066 y Fn(Keywor)-66 b(ds:)656 b(Fib)-66 b(onac)g(ci)492 b(numb)-66 b(er,)499 b(lo)-66 b(g{c)g(onc)g(ave)493 b(se)-66 b(quenc)g(e,)499 b(limit)493 b(the)-66 b(or)g(ems,)499 b(Luc)-66 b(as)495 b(numb)-66 b(er,)499 b(p)-66 b(olyno-)800 11616 y(mial)464 b(with)h(r)-66 b(e)g(al)464 b(zer)-66 b(os,)465 b(unimo)-66 b(dal)464 b(se)-66 b(quenc)g(e.)p 800 13003 V 800 15084 a Fz(\(Concerned)433 b(with)h(sequence)p 0 1 0 0 TeXcolorcmyk 433 w(A034807)p 16090 15297 4878 54 v [[217 581 261 593] [1 1 1 [3 3]] [0 0 1]] (http://www.research.att.com/cgi-bin/access.cgi/as/~njas/sequences/eisA.cgi?Anum=A034807) pdfm Black 2 w(.\))p 800 16545 52000 45 v 800 19353 a(Receiv)-36 b(ed)460 b(Decem)-36 b(b)36 b(er)459 b(21,)467 b(2002;)474 b(revised)459 b(v)-36 b(ersion)460 b(receiv)-36 b(ed)459 b(April)h(25,)466 b(2002.)657 b(Published)458 b(in)i Fn(Journal)800 20902 y(of)465 b(Inte)-66 b(ger)462 b(Se)-66 b(quenc)g(es)p Fz(,)432 b(June)h(5,)h(2003.)p 800 22290 V 800 24297 a(Return)f(to)p 0 1 0 0 TeXcolorcmyk 433 w(Journal)h(of)g(In)-36 b(teger)434 b(Sequences)f(home)g(page)p [[133 498 338 510] [1 1 1 [3 3]] [0 0 1]] (http://www.math.uwaterloo.ca/JIS/) pdfm Black(.)p Black Black eop %%Trailer end end