%%Page: 1 1 TeXDict begin HPSdict begin 1 0 bop 0 0 a SDict begin /product where{pop product(Distiller)search{pop pop pop version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show grestore}if}{pop}ifelse}{pop}ifelse}if end 0 0 a 0 0 a SDict begin [ /Title () /Subject () /Creator (LaTeX with hyperref package) /Author () /Producer (dvips + Distiller) /Keywords () /DOCINFO pdfmark end 0 0 a Black 0 TeXcolorgray 800 -4000 a SDict begin H.S end 800 -4000 a 0 TeXcolorgray 0 TeXcolorgray 800 -4000 a SDict begin H.R end 800 -4000 a 800 -4000 a SDict begin [ /View [/XYZ H.V] /Dest (page.1) cvn H.B /DEST pdfmark end 800 -4000 a Black Black 800 -4000 a SDict begin [ /Count -0 /Dest (section.1) cvn /Title (Introduction) /OUT pdfmark end 800 -4000 a 800 -4000 a SDict begin [ /Count -0 /Dest (section.2) cvn /Title (Sufficient Conditions for PTNs) /OUT pdfmark end 800 -4000 a 800 -4000 a SDict begin [ /Count -0 /Dest (section.3) cvn /Title (PTNs of the form 3kp) /OUT pdfmark end 800 -4000 a 800 -4000 a SDict begin [ /Page 1 /View [ /Fit ] /PageMode /UseOutlines /DOCVIEW pdfmark end 800 -4000 a 800 -4000 a SDict begin [ {Catalog} << >> /PUT pdfmark end 800 -4000 a 800 -4000 a SDict begin H.S end 800 -4000 a 800 -4000 a SDict begin 14.5 H.A end 800 -4000 a 800 -4000 a SDict begin [ /View [/XYZ H.V] /Dest (Doc-Start) cvn H.B /DEST pdfmark end 800 -4000 a Black Black 10800 1172 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.4.5) 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 10151 6674 a Fu(On)860 b(P)-72 b(erfect)863 b(T)-215 b(otien)-72 b(t)864 b(Num)-72 b(b)72 b(ers)19946 11816 y Ft(Douglas)521 b(E.)f(Iann)-43 b(ucci)16036 13808 y(Univ)g(ersit)g(y)517 b(of)k(the)f(Virgin)g(Islands)19513 15801 y(St)g(Thomas,)g(VI)h(00802)25196 17793 y(USA)p 0 1 0 0 TeXcolorcmyk 20648 19786 a SDict begin H.S end 20648 19786 a 0 1 0 0 TeXcolorcmyk Fs(diannuc@uvi.edu)p 0 1 0 0 TeXcolorcmyk 32952 18812 a SDict begin H.R end 32952 18812 a 32952 19786 a SDict begin [ /H /I /Border [0 0 0] /Color [0 1 1] /Action << /Subtype /URI /URI (mailto:diannuc@uvi.edu) >> /Subtype /Link H.B /ANN pdfmark end 32952 19786 a Black 22432 23378 a Ft(Deng)g(Moujie)15777 25371 y(Science)e(and)i (Engineering)f(College)20596 27363 y(Hainan)h(Univ)-43 b(ersit)g(y)20059 29356 y(Haik)g(ou)520 b(Cit)-43 b(y)519 b(570228)22768 31349 y(P)-130 b(.)520 b(R.)f(China)p 0 1 0 0 TeXcolorcmyk 19008 33695 a SDict begin H.S end 19008 33695 a 0 1 0 0 TeXcolorcmyk -354 x Fs(dmj2002@hotmail.com)p 0 1 0 0 TeXcolorcmyk 34592 32367 a SDict begin H.R end 34592 32367 a 34592 33341 a SDict begin [ /H /I /Border [0 0 0] /Color [0 1 1] /Action << /Subtype /URI /URI (mailto:dmj2002@hotmail.com) >> /Subtype /Link H.B /ANN pdfmark end 34592 33341 a Black 20758 36934 a Ft(Graeme)g(L.)h(Cohen)15437 38926 y(Univ)-43 b(ersit)g(y)517 b(of)k(T)-130 b(ec)-43 b(hnology)-130 b(,)520 b(Sydney)18769 40919 y(PO)g(Bo)-43 b(x)520 b(123,)h(Broadw)-43 b(a)g(y)23159 42911 y(NSW)520 b(2007)23653 44904 y(Australia)p 0 1 0 0 TeXcolorcmyk 17367 46896 a SDict begin H.S end 17367 46896 a 0 1 0 0 TeXcolorcmyk Fs (Graeme.Cohen@uts.edu.au)p 0 1 0 0 TeXcolorcmyk 36233 45922 a SDict begin H.R end 36233 45922 a 36233 46896 a SDict begin [ /H /I /Border [0 0 0] /Color [0 1 1] /Action << /Subtype /URI /URI (mailto:Graeme.Cohen@uts.edu.au) >> /Subtype /Link H.B /ANN pdfmark end 36233 46896 a Black Black Black 24133 50749 a Fr(Abstract)p Black Black 5870 52305 a Fq(Let)474 b Fp(n)452 b(>)h Fq(2)475 b(b)34 b(e)473 b(a)h(p)34 b(ositiv)-34 b(e)474 b(in)-34 b(teger)474 b(and)h(let)f Fp(\036)g Fq(denote)h(Euler's)e(totien)-34 b(t)475 b(function.)750 b(De\014ne)4052 53810 y Fp(\036)4774 53370 y Fo(1)5300 53810 y Fq(\()p Fp(n)p Fq(\))488 b(=)g Fp(\036)p Fq(\()p Fp(n)p Fq(\))495 b(and)h Fp(\036)14946 53370 y Fn(k)15515 53810 y Fq(\()p Fp(n)p Fq(\))488 b(=)f Fp(\036)p Fq(\()p Fp(\036)21018 53370 y Fn(k)24 b Fm(\000)p Fo(1)22790 53810 y Fq(\()p Fp(n)p Fq(\)\))496 b(for)f(all)f(in)-34 b(tegers)495 b Fp(k)526 b Fl(\025)488 b Fq(2.)810 b(De\014ne)495 b(the)g(arithmetic)4052 55316 y(function)418 b Fp(S)486 b Fq(b)-34 b(y)417 b Fp(S)70 b Fq(\()p Fp(n)p Fq(\))358 b(=)f Fp(\036)p Fq(\()p Fp(n)p Fq(\))278 b(+)f Fp(\036)20490 54876 y Fo(2)21016 55316 y Fq(\()p Fp(n)p Fq(\))h(+)f Fl(\001)202 b(\001)g(\001)277 b Fq(+)g Fp(\036)27818 54876 y Fn(c)28282 55316 y Fq(\()p Fp(n)p Fq(\))g(+)h(1,)419 b(where)d Fp(\036)37051 54876 y Fn(c)37515 55316 y Fq(\()p Fp(n)p Fq(\))357 b(=)g(2.)576 b(W)-101 b(e)416 b(sa)-34 b(y)416 b Fp(n)g Fq(is)g(a)4052 56821 y(p)34 b(erfect)439 b(totien)-34 b(t)440 b(n)-34 b(um)g(b)34 b(er)440 b(if)f Fp(S)70 b Fq(\()p Fp(n)p Fq(\))396 b(=)f Fp(n)p Fq(.)643 b(W)-101 b(e)438 b(giv)-34 b(e)439 b(a)g(list)g(of)h(kno)-34 b(wn)440 b(p)34 b(erfect)439 b(totien)-34 b(t)440 b(n)-34 b(um)g(b)34 b(ers,)4052 58327 y(and)405 b(w)-34 b(e)404 b(giv)-34 b(e)404 b(su\016cien)-34 b(t)405 b(conditions)g(for)f(the)g (existence)g(of)g(further)h(p)34 b(erfect)404 b(totien)-34 b(t)405 b(n)-34 b(um)g(b)34 b(ers.)800 60475 y SDict begin H.S end 800 60475 a 800 60475 a SDict begin 14.5 H.A end 800 60475 a 800 60475 a SDict begin [ /View [/XYZ H.V] /Dest (section.1) cvn H.B /DEST pdfmark end 800 60475 a 2199 x Fk(1)2152 b(In)-60 b(tro)60 b(duction)800 65595 y Fj(Let)335 b Fi(n)369 b(>)g Fj(2)335 b(b)36 b(e)334 b(a)i(p)36 b(ositiv)-36 b(e)335 b(in)-36 b(teger)335 b(and)g(let)g Fi(\036)f Fj(denote)h(Euler's)g(totien)-36 b(t)334 b(function.)545 b(De\014ne)335 b Fi(\036)46179 65113 y Fo(1)46705 65595 y Fj(\()p Fi(n)p Fj(\))369 b(=)f Fi(\036)p Fj(\()p Fi(n)p Fj(\))800 67200 y(and)438 b Fi(\036)4104 66718 y Fn(k)4673 67200 y Fj(\()p Fi(n)p Fj(\))378 b(=)g Fi(\036)p Fj(\()p Fi(\036)10275 66718 y Fn(k)24 b Fm(\000)p Fo(1)12045 67200 y Fj(\()p Fi(n)p Fj(\)\))439 b(for)g(all)h(in)-36 b(tegers)439 b Fi(k)423 b Fh(\025)378 b Fj(2.)595 b(Shapiro)438 b([)p 0 .5 0 TeXcolorrgb 32651 67200 a SDict begin H.S end 32651 67200 a 0 .5 0 TeXcolorrgb Fj(4)p 0 .5 0 TeXcolorrgb 33302 66344 a SDict begin H.R end 33302 66344 a 33302 67200 a SDict begin [ /Color [0 1 0] /H /I /Border [0 0 0] /Subtype /Link /Dest (cite.shapiro) cvn H.B /ANN pdfmark end 33302 67200 a Black Fj(])h(de\014nes)f (the)g Fg(class)471 b(numb)-66 b(er)580 b Fi(C)95 b Fj(\()p Fi(n)p Fj(\))439 b(of)p Black 26475 70521 a(1)p Black eop end end %%Page: 2 2 TeXDict begin HPSdict begin 2 1 bop 0 0 a SDict begin /product where{pop product(Distiller)search{pop pop pop version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show grestore}if}{pop}ifelse}{pop}ifelse}if end 0 0 a Black 0 TeXcolorgray 800 -4000 a SDict begin H.S end 800 -4000 a 0 TeXcolorgray 0 TeXcolorgray 800 -4000 a SDict begin H.R end 800 -4000 a 800 -4000 a SDict begin [ /View [/XYZ H.V] /Dest (page.2) cvn H.B /DEST pdfmark end 800 -4000 a Black Black 1328 x Fi(n)434 b Fj(b)-36 b(y)433 b(that)h(in)-36 b(teger)433 b Fi(c)g Fj(suc)-36 b(h)433 b(that)g Fi(\036)18449 -3154 y Fn(c)18912 -2672 y Fj(\()p Fi(n)p Fj(\))369 b(=)f(2.)579 b(De\014ne)433 b(the)g(arithmetic)h (function)f Fi(S)511 b Fj(b)-36 b(y)15777 -76 y Fi(S)77 b Fj(\()p Fi(n)p Fj(\))369 b(=)g Fi(\036)p Fj(\()p Fi(n)p Fj(\))295 b(+)g Fi(\036)25122 -625 y Fo(2)25647 -76 y Fj(\()p Fi(n)p Fj(\))g(+)g Fh(\001)221 b(\001)g(\001)296 b Fj(+)f Fi(\036)32959 -625 y Fn(c)33422 -76 y Fj(\()p Fi(n)p Fj(\))g(+)g(1)p Fi(;)800 2519 y Fj(where)418 b Fi(c)369 b Fj(=)f Fi(C)95 b Fj(\()p Fi(n)p Fj(\).)574 b(Note)418 b(that)g Fi(\036)17300 2037 y Fn(c)p Fo(+1)18965 2519 y Fj(\()p Fi(n)p Fj(\))369 b(=)f(1.)574 b(W)-108 b(e)418 b(sa)-36 b(y)419 b(that)f Fi(n)g Fj(is)h(a)f Fg(p)-66 b(erfe)g(ct)449 b(totient)g(numb)-66 b(er)560 b Fj(\(or)418 b(PTN)800 4124 y(for)434 b(short\))f(if)h Fi(S)77 b Fj(\()p Fi(n)p Fj(\))370 b(=)e Fi(n)p Fj(.)2751 5729 y(Since)454 b Fi(\036)p Fj(\()p Fi(n)p Fj(\))g(is)h(ev)-36 b(en)454 b(if)h Fi(\036)p Fj(\()p Fi(n)p Fj(\))404 b Fi(>)g Fj(1,)460 b(it)455 b(follo)-36 b(ws)456 b(that)e(all)h(PTNs)g (are)f(o)36 b(dd.)640 b(It)455 b(is)f(easy)i(to)e(sho)-36 b(w)454 b(that)800 7335 y(3)1450 6853 y Fn(k)2492 7335 y Fj(is)473 b(a)g(PTN)h(for)f(all)h(p)36 b(ositiv)-36 b(e)473 b(in)-36 b(tegers)473 b Fi(k)45 b Fj(.)696 b(In)473 b(T)-108 b(able)473 b(1)g(the)g(30)g(PTNs)g(less)h(than)e(5)322 b Fh(\001)g Fj(10)46306 6853 y Fo(9)47305 7335 y Fj(whic)-36 b(h)473 b(are)800 8940 y(not)433 b(p)36 b(o)-36 b(w)g(ers)434 b(of)g(3)g(are)g(giv)-36 b(en.)2751 10545 y(In)445 b(addition)f(to)h (the)g(PTNs)g(giv)-36 b(en)445 b(in)g(T)-108 b(able)445 b(1,)k(nine)444 b(more)h(w)-36 b(ere)445 b(found)f(b)-36 b(y)445 b(applying)h(a)f(result)f(of)800 12150 y(V)-108 b(enk)-72 b(ataraman)436 b([)p 0 .5 0 TeXcolorrgb 9798 12150 a SDict begin H.S end 9798 12150 a 0 .5 0 TeXcolorrgb Fj(5)p 0 .5 0 TeXcolorrgb 10449 11294 a SDict begin H.R end 10449 11294 a 10449 12150 a SDict begin [ /Color [0 1 0] /H /I /Border [0 0 0] /Subtype /Link /Dest (cite.ven) cvn H.B /ANN pdfmark end 10449 12150 a Black Fj(]:)584 b(If)436 b Fi(p)374 b Fj(=)f(2)16119 11668 y Fo(2)16645 12150 y Fj(3)17295 11668 y Fn(b)18050 12150 y Fj(+)297 b(1)436 b(is)h(prime)e(then)h(3)p Fi(p)g Fj(is)h(a)f(PTN.)h(A)f(searc)-36 b(h)436 b(of)h Fi(b)373 b Fh(\024)h Fj(5000,)438 b(b)36 b(ey)-36 b(ond)800 13755 y(those)480 b(giving)i(en)-36 b(tries)480 b(in)g(T)-108 b(able)480 b(1,)493 b(turned)479 b(up)g(the)h(follo)-36 b(wing)483 b(nine)c(v)-72 b(alues)481 b(for)g(whic)-36 b(h)480 b Fi(p)449 b Fj(=)f(2)48850 13273 y Fo(2)49376 13755 y Fj(3)50026 13273 y Fn(b)50811 13755 y Fj(+)327 b(1)800 15360 y(is)486 b(prime)e(\(and)h(therefore)g(3)p Fi(p)g Fj(is)h(a)f(PTN\):)h Fi(b)457 b Fj(=)f(39,)499 b(201,)h(249,)f(885,)h(1005,)f(1254,)h(1635,)g(3306,)f(3522.)800 16965 y(The)421 b(PTN)g(whic)-36 b(h)420 b(corresp)36 b(onds)420 b(to)g Fi(b)369 b Fj(=)g(3522)422 b(has)e(1682)i(digits.)575 b(Primalit)-36 b(y)421 b(w)-36 b(as)421 b(v)-36 b(eri\014ed)421 b(with)f(either)800 18570 y(UBASIC)324 b(or)g(Mathematica,)347 b(b)-36 b(y)324 b(applying)g(Lehmer's)g(con)-36 b(v)g(erse)324 b(of)g(F)-108 b(ermat's)324 b(Theorem)g(\(Theorem)g(4.3)800 20175 y(in)433 b(Riesel)i([)p 0 .5 0 TeXcolorrgb 6461 20175 a SDict begin H.S end 6461 20175 a 0 .5 0 TeXcolorrgb Fj(3)p 0 .5 0 TeXcolorrgb 7112 19319 a SDict begin H.R end 7112 19319 a 7112 20175 a SDict begin [ /Color [0 1 0] /H /I /Border [0 0 0] /Subtype /Link /Dest (cite.rie) cvn H.B /ANN pdfmark end 7112 20175 a Black Fj(]\).)10207 24376 y(15)370 b(=)e(3)296 b Fh(\001)f Fj(5)13185 b(36759)370 b(=)f(3)295 b Fh(\001)g Fj(12253)10207 26313 y(39)370 b(=)e(3)296 b Fh(\001)f Fj(13)12535 b(46791)370 b(=)f(3)34353 25765 y Fo(3)35174 26313 y Fh(\001)295 b Fj(1733)9557 28250 y(111)370 b(=)e(3)296 b Fh(\001)f Fj(37)12535 b(65535)370 b(=)f(3)295 b Fh(\001)g Fj(5)h Fh(\001)f Fj(17)h Fh(\001)f Fj(257)9557 30187 y(183)370 b(=)e(3)296 b Fh(\001)f Fj(61)11884 b(140103)371 b(=)e(3)34353 29639 y Fo(3)35174 30187 y Fh(\001)295 b Fj(5189)9557 32125 y(255)370 b(=)e(3)296 b Fh(\001)f Fj(5)g Fh(\001)h Fj(17)10274 b(208191)371 b(=)e(3)295 b Fh(\001)g Fj(29)h Fh(\001)f Fj(239)9557 34062 y(327)370 b(=)e(3)296 b Fh(\001)f Fj(109)11234 b(441027)371 b(=)e(3)34353 33513 y Fo(2)35174 34062 y Fh(\001)295 b Fj(49003)9557 35999 y(363)370 b(=)e(3)296 b Fh(\001)f Fj(11)16167 35450 y Fo(2)27401 35999 y Fj(4190263)371 b(=)e(7)295 b Fh(\001)g Fj(11)h Fh(\001)f Fj(54419)9557 37936 y(471)370 b(=)e(3)296 b Fh(\001)f Fj(157)10584 b(9056583)371 b(=)e(3)34353 37388 y Fo(3)35174 37936 y Fh(\001)295 b Fj(335429)8906 39873 y(2199)371 b(=)d(3)296 b Fh(\001)f Fj(733)9934 b(57395631)371 b(=)e(3)295 b Fh(\001)g Fj(19131877)8906 41810 y(3063)371 b(=)d(3)296 b Fh(\001)f Fj(1021)8633 b(172186887)372 b(=)d(3)295 b Fh(\001)g Fj(57395629)8906 43748 y(4359)371 b(=)d(3)296 b Fh(\001)f Fj(1453)8633 b(236923383)372 b(=)d(3)295 b Fh(\001)g Fj(1427)i Fh(\001)e Fj(55343)8906 45685 y(4375)371 b(=)d(5)13907 45136 y Fo(4)14728 45685 y Fh(\001)296 b Fj(7)10057 b(918330183)372 b(=)d(3)34353 45136 y Fo(3)35174 45685 y Fh(\001)295 b Fj(34012229)8906 47622 y(5571)371 b(=)d(3)13907 47074 y Fo(2)14728 47622 y Fh(\001)296 b Fj(619)8107 b(3932935775)372 b(=)d(5)34353 47074 y Fo(2)35174 47622 y Fh(\001)295 b Fj(29)h Fh(\001)f Fj(5424739)8906 49559 y(8751)371 b(=)d(3)296 b Fh(\001)f Fj(2917)7983 b(4294967295)372 b(=)d(3)295 b Fh(\001)g Fj(5)h Fh(\001)f Fj(17)h Fh(\001)f Fj(257)h Fh(\001)g Fj(65537)8256 51496 y(15723)371 b(=)d(3)13907 50948 y Fo(2)14728 51496 y Fh(\001)296 b Fj(1747)7457 b(4764161215)372 b(=)d(5)295 b Fh(\001)g Fj(11)h Fh(\001)f Fj(86621113)11745 54829 y(T)-108 b(able)434 b(1:)579 b(PTNs)434 b(less)g(than)e(5)296 b Fh(\001)f Fj(10)29001 54347 y Fo(9)29961 54829 y Fj(\(except)434 b(p)36 b(o)-36 b(w)g(ers)433 b(of)i(3\).)2751 57569 y(The)409 b(study)g(of)h(PTNs)f(w) -36 b(as)410 b(initiated)f(b)-36 b(y)409 b(P)-36 b(erez)409 b(Cac)-36 b(ho)410 b([)p 0 .5 0 TeXcolorrgb 31347 57569 a SDict begin H.S end 31347 57569 a 0 .5 0 TeXcolorrgb Fj(2)p 0 .5 0 TeXcolorrgb 31997 56713 a SDict begin H.R end 31997 56713 a 31997 57569 a SDict begin [ /Color [0 1 0] /H /I /Border [0 0 0] /Subtype /Link /Dest (cite.cacho) cvn H.B /ANN pdfmark end 31997 57569 a Black Fj(])g(when)e(he)h(pro)-36 b(v)g(ed)409 b(that)f(3)p Fi(p)p Fj(,)415 b(for)409 b(an)g(o)36 b(dd)800 59174 y(prime)461 b Fi(p)p Fj(,)467 b(is)462 b(a)f(PTN)g(if)h(and)e(only)i (if)f Fi(p)416 b Fj(=)f(4)p Fi(n)314 b Fj(+)g(1,)468 b(where)461 b Fi(n)g Fj(is)g(a)h(PTN.)f(Note)g(that)g(V)-108 b(enk)-72 b(ataraman's)800 60780 y(result,)498 b(men)-36 b(tioned)484 b(ab)36 b(o)-36 b(v)g(e,)499 b(follo)-36 b(ws)487 b(as)f(a)f(corollary)-108 b(.)734 b(Mohan)485 b(and)g(Sury)-36 b(anara)g(y)g(ana)485 b([)p 0 .5 0 TeXcolorrgb 44640 60780 a SDict begin H.S end 44640 60780 a 0 .5 0 TeXcolorrgb Fj(1)p 0 .5 0 TeXcolorrgb 45290 59924 a SDict begin H.R end 45290 59924 a 45290 60780 a SDict begin [ /Color [0 1 0] /H /I /Border [0 0 0] /Subtype /Link /Dest (cite.ms) cvn H.B /ANN pdfmark end 45290 60780 a Black Fj(])h(pro)-36 b(v)g(ed)484 b(that)800 62385 y(3)p Fi(p)p Fj(,)536 b(for)515 b(an)g(o)36 b(dd)515 b(prime)f Fi(p)p Fj(,)535 b(is)516 b(not)e(a)h(PTN)h(if)f Fi(p)507 b Fh(\021)h Fj(3)591 b(\(mo)36 b(d)442 b(4\).)823 b(Th)-36 b(us)514 b(PTNs)h(of)h(the)e(form)i(3)p Fi(p)f Fj(ha)-36 b(v)g(e)800 63990 y(b)36 b(een)433 b(completely)i(c)-36 b(haracterized.)2751 65595 y(Applying)559 b(P)-36 b(erez)559 b(Cac)-36 b(ho's)560 b(result)e(giv)-36 b(es)560 b(the)f(follo)-36 b(wing)561 b(as)e(the)f(only)i(kno)-36 b(wn)559 b(c)-36 b(hains)559 b(of)g(PTNs,)800 67200 y(apart)401 b(from)g(the)f(nine)h (examples)g(of)h(length)f(2)g(men)-36 b(tioned)400 b(earlier:)563 b(3)369 b Fh(!)g Fj(39)h Fh(!)f Fj(471,)409 b(3)44490 66718 y Fo(2)45385 67200 y Fh(!)369 b Fj(111,)409 b(15)370 b Fh(!)p Black 26475 70521 a Fj(2)p Black eop end end %%Page: 3 3 TeXDict begin HPSdict begin 3 2 bop 0 0 a SDict begin /product where{pop product(Distiller)search{pop pop pop version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show grestore}if}{pop}ifelse}{pop}ifelse}if end 0 0 a Black 0 TeXcolorgray 800 -4000 a SDict begin H.S end 800 -4000 a 0 TeXcolorgray 0 TeXcolorgray 800 -4000 a SDict begin H.R end 800 -4000 a 800 -4000 a SDict begin [ /View [/XYZ H.V] /Dest (page.3) cvn H.B /DEST pdfmark end 800 -4000 a Black Black 1328 x Fj(183)514 b Fh(!)f Fj(2199,)540 b(3)9256 -3154 y Fo(3)10295 -2672 y Fh(!)513 b Fj(327,)540 b(255)514 b Fh(!)f Fj(3063)h Fh(!)f Fj(36759,)541 b(363)513 b Fh(!)g Fj(4359,)541 b(3)36855 -3154 y Fo(6)37893 -2672 y Fh(!)513 b Fj(8751,)541 b(3)43886 -3154 y Fo(14)45395 -2672 y Fh(!)513 b Fj(57395631,)800 -1067 y(3)1450 -1549 y Fo(15)2816 -1067 y Fh(!)369 b Fj(172186887.)2751 539 y(The)401 b(purp)36 b(ose)401 b(of)g(this)g(pap)36 b(er)401 b(is)g(to)h(in)-36 b(v)g(estigate)402 b(PTNs)f(of)h(the)f(form)g(3) 38147 56 y Fn(k)38716 539 y Fi(p)p Fj(,)408 b(for)402 b Fi(k)414 b Fh(\025)369 b Fj(2)402 b(and)e Fi(p)h Fj(prime.)2751 2144 y(As)535 b(an)g(aside)g(w)-36 b(e)536 b(note)e(a)i(curious)e (result:)781 b(the)535 b(fact)g(that)g Fi(\036)p Fj(\()p Fi(n)p Fj(\))541 b Fh(\024)h Fi(n=)p Fj(2)536 b(when)f Fi(n)g Fj(is)g(ev)-36 b(en)536 b(easily)800 3749 y(implies)434 b(that)f Fi(\036)p Fj(\()p Fi(n)p Fj(\))369 b Fi(>)g(n=)p Fj(2)434 b(when)f Fi(n)h Fj(is)g(a)g(PTN.)800 6083 y SDict begin H.S end 800 6083 a 800 6083 a SDict begin 14.5 H.A end 800 6083 a 800 6083 a SDict begin [ /View [/XYZ H.V] /Dest (section.2) cvn H.B /DEST pdfmark end 800 6083 a 2103 x Fk(2)2152 b(Su\016cien)-60 b(t)716 b(Conditions)f(for)i(PTNs) 800 11106 y Fj(Mohan)530 b(and)g(Sury)-36 b(anara)g(y)g(ana)531 b(found)f(su\016cien)-36 b(t)530 b(conditions)g(on)h(an)f(o)36 b(dd)530 b(prime)g Fi(p)h Fj(for)g(3)46636 10624 y Fo(2)47162 11106 y Fi(p)f Fj(and)g(3)51621 10624 y Fo(3)52147 11106 y Fi(p)800 12711 y Fj(to)522 b(b)36 b(e)522 b(PTNs,)544 b(giv)-36 b(en)523 b(in)e(their)h(pap)36 b(er)521 b(as)h(Theorem)g(5)h (and)e(Theorem)h(6.)843 b(In)522 b(particular,)544 b(let)522 b Fi(b)g Fj(b)36 b(e)522 b(a)800 14317 y(nonnegativ)-36 b(e)469 b(in)-36 b(teger.)683 b(Then,)477 b(resp)36 b(ectiv)-36 b(ely)-108 b(,)478 b(if)469 b Fi(q)476 b Fj(=)428 b(2)28527 13834 y Fo(5)29053 14317 y Fj(3)29703 13834 y Fn(b)30480 14317 y Fj(+)318 b(1)469 b(and)f Fi(p)428 b Fj(=)g(2)319 b Fh(\001)g Fj(3)40321 13834 y Fo(2)40847 14317 y Fi(q)367 b Fj(+)318 b(1)469 b(are)g(b)36 b(oth)467 b(prime)800 15922 y(then)455 b(3)4435 15440 y Fo(2)4962 15922 y Fi(p)h Fj(is)g(a)h(PTN,)g(and)f(if)h Fi(q)e Fj(=)407 b(2)18993 15440 y Fo(4)19519 15922 y Fj(3)20169 15440 y Fn(b)20938 15922 y Fj(+)311 b(1)456 b(and)g Fi(p)408 b Fj(=)f(2)29049 15440 y Fo(2)29575 15922 y Fi(q)358 b Fj(+)310 b(1)457 b(are)g(b)36 b(oth)455 b(prime)h(then)g(3)45567 15440 y Fo(3)46093 15922 y Fi(p)g Fj(is)h(a)f(PTN.)800 17527 y(There)398 b(is)h(one)g(kno)-36 b(wn)398 b(example)i(of)f(their)f (Theorem)h(5,)406 b(that)398 b(b)36 b(eing)398 b(the)g(PTN)h(15723)371 b(=)d(3)45986 17045 y Fo(2)46512 17527 y Fj(1747)400 b(whic)-36 b(h)800 19132 y(o)36 b(ccurs)428 b(when)f Fi(b)369 b Fj(=)g(1.)577 b(Their)428 b(Theorem)g(6)g(has)f(three)h(kno) -36 b(wn)428 b(examples:)576 b(the)427 b(PTNs)h(46791)371 b(=)e(3)49673 18650 y Fo(3)50199 19132 y Fj(1733)800 20737 y(\()p Fi(b)555 b Fj(=)g(3\),)570 b(140103)557 b(=)e(3)12742 20255 y Fo(3)13268 20737 y Fj(5189)544 b(\()p Fi(b)555 b Fj(=)g(4\),)570 b(and)543 b(918330183)558 b(=)c(3)32943 20255 y Fo(3)33839 20737 y Fh(\001)370 b Fj(34012229)545 b(\()p Fi(b)555 b Fj(=)g(12\).)907 b(The)543 b(v)-72 b(alues)800 22342 y Fi(b)369 b Fh(\024)g Fj(5000)435 b(\(for)f(b)36 b(oth)433 b(theorems\))g(w)-36 b(ere)434 b(tested,)f(but)g(no)g(further)g(examples)h(w)-36 b(ere)434 b(found.)2751 23947 y(Let)451 b Fi(p)h Fj(b)36 b(e)452 b(an)g(o)36 b(dd)451 b(prime.)633 b(W)-108 b(e)452 b(ha)-36 b(v)g(e)452 b(found)f(four)h(further)f(su\016cien)-36 b(t)451 b(conditions)h(on)g Fi(p)g Fj(for)g(3)50013 23465 y Fo(2)50539 23947 y Fi(p)g Fj(to)800 25552 y(b)36 b(e)398 b(a)g(PTN)g(\(three)f(of)i(whic)-36 b(h)397 b(are)i(giv)-36 b(en)398 b(in)g(the)f(follo)-36 b(wing)400 b(Theorem\),)405 b(and)398 b(t)-36 b(w)g(o)398 b(su\016cien)-36 b(t)397 b(conditions)800 27157 y(for)434 b(3)3437 26675 y Fo(3)3963 27157 y Fi(p)g Fj(to)f(b)36 b(e)434 b(a)g(PTN.)800 27416 y SDict begin H.S end 800 27416 a 800 27416 a SDict begin 14.5 H.A end 800 27416 a 800 27416 a SDict begin [ /View [/XYZ H.V] /Dest (theorem.1) cvn H.B /DEST pdfmark end 800 27416 a Black 2785 x Ff(Theorem)502 b(1)p Black 650 w Fg(L)-66 b(et)453 b Fi(b)i Fg(b)-66 b(e)453 b(a)i(nonne)-66 b(gative)451 b(inte)-66 b(ger.)591 b(If)454 b Fi(r)36 b Fg(,)456 b Fi(q)48 b Fg(,)455 b(and)f Fi(p)p Fg(,)i(as)f(given,)f(ar) -66 b(e)454 b(al)66 b(l)455 b(prime)f(then)f Fj(3)51621 29719 y Fo(2)52147 30201 y Fi(p)800 31806 y Fg(is)465 b(a)g(PTN:)800 32360 y SDict begin H.S end 800 32360 a 800 32360 a SDict begin 14.5 H.A end 800 32360 a 800 32360 a SDict begin [ /View [/XYZ H.V] /Dest (Item.1) cvn H.B /DEST pdfmark end 800 32360 a Black 2338 34519 a Fg(1.)p Black 651 w Fi(r)405 b Fj(=)369 b(2)7074 34036 y Fo(4)7600 34519 y Fj(3)8250 34036 y Fn(b)9003 34519 y Fj(+)295 b(1)p Fg(,)465 b Fi(q)416 b Fj(=)369 b(2)295 b Fh(\001)g Fj(3)p Fi(r)332 b Fj(+)295 b(1)p Fg(,)465 b(and)g Fi(p)368 b Fj(=)h(2)295 b Fh(\001)h Fj(3)p Fi(q)343 b Fj(+)294 b(1)p Fg(;)800 35330 y SDict begin H.S end 800 35330 a 800 35330 a SDict begin 14.5 H.A end 800 35330 a 800 35330 a SDict begin [ /View [/XYZ H.V] /Dest (Item.2) cvn H.B /DEST pdfmark end 800 35330 a Black 2338 37231 a Fg(2.)p Black 651 w Fi(r)405 b Fj(=)369 b(2)295 b Fh(\001)g Fj(3)8683 36749 y Fn(b)9437 37231 y Fj(+)f(1)p Fg(,)465 b Fi(q)417 b Fj(=)368 b(2)15281 36749 y Fo(3)15807 37231 y Fi(r)332 b Fj(+)295 b(1)p Fg(,)464 b(and)h Fi(p)369 b Fj(=)g(2)p Fi(q)342 b Fj(+)295 b(1)p Fg(;)800 38042 y SDict begin H.S end 800 38042 a 800 38042 a SDict begin 14.5 H.A end 800 38042 a 800 38042 a SDict begin [ /View [/XYZ H.V] /Dest (Item.3) cvn H.B /DEST pdfmark end 800 38042 a Black 2338 39943 a Fg(3.)p Black 651 w Fi(r)405 b Fj(=)369 b(2)7074 39461 y Fo(2)7600 39943 y Fj(3)8250 39461 y Fn(b)9003 39943 y Fj(+)295 b(1)p Fg(,)465 b Fi(q)416 b Fj(=)369 b(2)14848 39461 y Fo(3)15374 39943 y Fj(3)p Fi(r)332 b Fj(+)294 b(1)p Fg(,)465 b(and)g Fi(p)369 b Fj(=)f(2)p Fi(q)343 b Fj(+)295 b(1)p Fg(.)800 42987 y Ff(Pr)-30 b(oof:)580 b Fj(\(P)-36 b(art)433 b(1\))h(W)-108 b(e)433 b(ha)-36 b(v)g(e)434 b(3)16886 42505 y Fo(2)17412 42987 y Fi(p)369 b Fj(=)g(2)20465 42505 y Fo(6)20991 42987 y Fj(3)21641 42505 y Fn(b)p Fo(+4)23596 42987 y Fj(+)295 b(387)435 b(b)-36 b(y)433 b(direct)h(substitution.)577 b(Also,)8746 45920 y Fi(S)77 b Fj(\(3)10779 45372 y Fo(2)11305 45920 y Fi(p)p Fj(\))369 b(=)g(2)14864 45372 y Fo(2)15390 45920 y Fj(3)16040 45372 y Fo(2)16566 45920 y Fi(q)342 b Fj(+)295 b(2)19442 45372 y Fo(3)19968 45920 y Fj(3)20618 45372 y Fo(2)21145 45920 y Fi(r)331 b Fj(+)295 b(2)24019 45372 y Fo(7)24545 45920 y Fj(3)25195 45372 y Fn(b)p Fo(+1)27151 45920 y Fj(+)f(2)29107 45372 y Fo(7)29634 45920 y Fj(3)30284 45372 y Fn(b)31037 45920 y Fj(+)h Fh(\001)221 b(\001)g(\001)296 b Fj(+)f(2)36146 45372 y Fo(7)36967 45920 y Fj(+)g(2)38924 45372 y Fo(6)39745 45920 y Fj(+)g Fh(\001)221 b(\001)g(\001)296 b Fj(+)f(1)12833 48008 y(=)369 b(2)14864 47460 y Fo(7)15390 48008 y Fj(\(3)16546 47460 y Fn(b)p Fo(+3)18501 48008 y Fj(+)295 b Fh(\001)221 b(\001)g(\001)296 b Fj(+)f(3)g(+)g(1\))g(+)g(451)12833 50096 y(=)369 b(2)14864 49547 y Fo(6)15390 50096 y Fj(3)16040 49547 y Fn(b)p Fo(+4)17995 50096 y Fj(+)295 b(387)221 b Fi(:)800 53029 y Fj(The)434 b(pro)36 b(ofs)434 b(of)g(P)-36 b(arts)434 b(2)f(and)g(3)h(are)g(similar.)1302 b Fe(\003)2751 54634 y Fj(In)517 b(P)-36 b(art)517 b(1,)538 b(when)517 b Fi(b)511 b Fj(=)g(0,)538 b(w)-36 b(e)518 b(ha)-36 b(v)g(e)517 b Fi(r)548 b Fj(=)510 b(17,)539 b Fi(q)559 b Fj(=)510 b(103,)540 b(and)516 b Fi(p)511 b Fj(=)g(619,)539 b(giving)519 b(the)d(PTN)h(5571.)800 56239 y(There)382 b(are)h(no)f(more)g(examples) h(for)g Fi(b)369 b Fh(\024)g Fj(3000.)563 b(In)382 b(P)-36 b(arts)382 b(2)h(and)f(3,)393 b(no)382 b(examples)h(o)36 b(ccur)382 b(for)h Fi(b)369 b Fh(\024)g Fj(3000.)800 56498 y SDict begin H.S end 800 56498 a 800 56498 a SDict begin 14.5 H.A end 800 56498 a 800 56498 a SDict begin [ /View [/XYZ H.V] /Dest (theorem.2) cvn H.B /DEST pdfmark end 800 56498 a Black 2785 x Ff(Theorem)502 b(2)p Black 650 w Fg(L)-66 b(et)459 b Fi(b)g Fg(b)-66 b(e)459 b(a)g(nonne)-66 b(gative)457 b(inte)-66 b(ger.)593 b(If)458 b Fi(q)417 b Fj(=)368 b(2)30972 58801 y Fo(3)31498 59283 y Fj(3)32148 58801 y Fn(b)32890 59283 y Fj(+)282 b(1)460 b Fg(and)f Fi(p)369 b Fj(=)g(2)p Fi(q)330 b Fj(+)283 b(1)460 b Fg(ar)-66 b(e)459 b(b)-66 b(oth)458 b(prime,)800 60889 y(then)464 b Fj(3)4339 60407 y Fo(2)4865 60889 y Fi(p)h Fg(is)g(a)g(PTN.)800 62586 y SDict begin H.S end 800 62586 a 800 62586 a SDict begin 14.5 H.A end 800 62586 a 800 62586 a SDict begin [ /View [/XYZ H.V] /Dest (theorem.3) cvn H.B /DEST pdfmark end 800 62586 a Black 1347 x Ff(Theorem)502 b(3)p Black 650 w Fg(L)-66 b(et)492 b Fi(b)h Fg(b)-66 b(e)491 b(a)i(nonne)-66 b(gative)490 b(inte)-66 b(ger.)678 b(If)492 b Fi(r)456 b Fj(=)420 b(2)31357 63451 y Fo(2)31883 63933 y Fj(3)32533 63451 y Fn(b)33307 63933 y Fj(+)316 b(1)p Fg(,)499 b Fi(q)468 b Fj(=)420 b(2)39310 63451 y Fo(4)39836 63933 y Fi(r)352 b Fj(+)315 b(1)p Fg(,)499 b(and)493 b Fi(p)420 b Fj(=)g(2)49356 63451 y Fo(2)49882 63933 y Fi(q)363 b Fj(+)316 b(1)800 65538 y Fg(ar)-66 b(e)464 b(al)66 b(l)466 b(prime,)e(then)g Fj(3)12542 65056 y Fo(3)13068 65538 y Fi(p)h Fg(is)g(a)g(PTN.)800 67235 y SDict begin H.S end 800 67235 a 800 67235 a SDict begin 14.5 H.A end 800 67235 a 800 67235 a SDict begin [ /View [/XYZ H.V] /Dest (theorem.4) cvn H.B /DEST pdfmark end 800 67235 a Black 26475 70521 a Fj(3)p Black eop end end %%Page: 4 4 TeXDict begin HPSdict begin 4 3 bop 0 0 a SDict begin /product where{pop product(Distiller)search{pop pop pop version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show grestore}if}{pop}ifelse}{pop}ifelse}if end 0 0 a Black 0 TeXcolorgray 800 -4000 a SDict begin H.S end 800 -4000 a 0 TeXcolorgray 0 TeXcolorgray 800 -4000 a SDict begin H.R end 800 -4000 a 800 -4000 a SDict begin [ /View [/XYZ H.V] /Dest (page.4) cvn H.B /DEST pdfmark end 800 -4000 a Black Black Black 1328 x Ff(Theorem)502 b(4)p Black 650 w Fg(L)-66 b(et)488 b Fi(b)i Fg(b)-66 b(e)488 b(a)i(nonne)-66 b(gative)486 b(inte)-66 b(ger.)668 b(If)488 b Fi(s)414 b Fj(=)g(2)31305 -3154 y Fo(5)31831 -2672 y Fj(3)32481 -3154 y Fn(b)33252 -2672 y Fj(+)313 b(1)p Fg(,)495 b Fi(r)451 b Fj(=)413 b(2)314 b Fh(\001)f Fj(3)40879 -3154 y Fo(2)41405 -2672 y Fi(s)g Fj(+)g(1)p Fg(,)495 b Fi(q)462 b Fj(=)413 b(2)48314 -3154 y Fo(4)48841 -2672 y Fj(3)p Fi(r)349 b Fj(+)313 b(1)p Fg(,)800 -1067 y(and)465 b Fi(p)369 b Fj(=)f(2)6376 -1549 y Fo(2)6902 -1067 y Fi(q)343 b Fj(+)295 b(1)465 b Fg(ar)-66 b(e)464 b(al)66 b(l)466 b(prime,)e(then)g Fj(3)21986 -1549 y Fo(3)22512 -1067 y Fi(p)h Fg(is)g(a)g(PTN.)2751 1978 y Fj(Direct)344 b(pro)36 b(ofs)345 b(of)g(Theorems)f(2{4)h(ma)-36 b(y)345 b(b)36 b(e)344 b(obtained)f(as)i(ab)36 b(o)-36 b(v)g(e.)549 b(In)344 b(Theorem)g(2,)363 b(examples)344 b(do)g(not)800 3583 y(o)36 b(ccur)458 b(for)h Fi(b)410 b Fh(\024)h Fj(5000,)465 b(and)458 b(in)g(Theorem)g(3,)465 b(examples)458 b(do)g(not)g(o)36 b(ccur)458 b(for)g Fi(b)411 b Fh(\024)g Fj(3000.)653 b(In)457 b(Theorem)h(4,)800 5188 y(when)380 b Fi(b)369 b Fj(=)g(1,)391 b(w)-36 b(e)381 b(ha)-36 b(v)g(e)381 b Fi(s)368 b Fj(=)h(97,)392 b Fi(r)405 b Fj(=)369 b(1747,)393 b Fi(q)416 b Fj(=)368 b(83857,)393 b(and)380 b Fi(p)369 b Fj(=)g(335429,)393 b(giving)382 b(the)e(PTN)g(9056583.)800 6793 y(There)434 b(are)f(no)h(more)f(examples)i(for)f Fi(b)369 b Fh(\024)g Fj(2000.)800 9053 y SDict begin H.S end 800 9053 a 800 9053 a SDict begin 14.5 H.A end 800 9053 a 800 9053 a SDict begin [ /View [/XYZ H.V] /Dest (section.3) cvn H.B /DEST pdfmark end 800 9053 a 2177 x Fk(3)2152 b(PTNs)716 b(of)h(the)g(form)g Fd(3)22426 10536 y Fi(k)23202 11230 y Fc(p)800 14150 y Fj(In)382 b(seeking)h(examples)g(of)g(PTNs)g (of)g(the)f(form)h(3)24816 13668 y Fn(k)25385 14150 y Fi(p)p Fj(,)393 b Fi(k)414 b Fh(\025)369 b Fj(2,)393 b(w)-36 b(e)383 b(considered)e(primes)h Fi(p)h Fj(and)e Fi(q)430 b Fj(suc)-36 b(h)381 b(that)800 15756 y Fi(q)416 b Fj(=)369 b(2)3824 15274 y Fn(a)4379 15756 y Fj(3)5029 15274 y Fn(b)5783 15756 y Fj(+)295 b(1)434 b(and)f Fi(p)368 b Fj(=)h(2)13755 15274 y Fn(c)14218 15756 y Fj(3)14868 15274 y Fn(d)15408 15756 y Fi(q)343 b Fj(+)294 b(1,)435 b(where)e Fi(a)p Fj(,)h Fi(c)368 b Fh(\025)i Fj(1)433 b(and)h Fi(b)p Fj(,)f Fi(d)369 b Fh(\025)g Fj(0.)579 b(Direct)434 b(substitution)e(giv)-36 b(es)17755 18689 y(3)18405 18141 y Fn(k)18974 18689 y Fi(p)369 b Fj(=)g(2)22027 18141 y Fn(a)p Fo(+)p Fn(c)23721 18689 y Fj(3)24371 18141 y Fn(b)p Fo(+)p Fn(d)p Fo(+)p Fn(k)27586 18689 y Fj(+)295 b(2)29543 18141 y Fn(c)30006 18689 y Fj(3)30656 18141 y Fn(d)p Fo(+)p Fn(k)32736 18689 y Fj(+)g(3)34693 18141 y Fn(k)35484 18689 y Fi(:)800 21622 y Fj(On)433 b(the)g(other)g(hand,)g (w)-36 b(e)434 b(ha)-36 b(v)g(e)7098 24556 y Fi(S)77 b Fj(\(3)9131 24007 y Fn(k)9701 24556 y Fi(p)p Fj(\))368 b(=)h(2)13259 24007 y Fn(c)p Fo(+1)14924 24556 y Fj(3)15574 24007 y Fn(d)p Fo(+)p Fn(k)24 b Fm(\000)p Fo(1)18562 24556 y Fi(q)342 b Fj(+)295 b(2)21438 24007 y Fn(a)p Fo(+)p Fn(c)p Fo(+1)24335 24556 y Fj(3)24985 24007 y Fn(b)p Fo(+)p Fn(d)p Fo(+)p Fn(k)24 b Fm(\000)p Fo(2)29402 24556 y Fj(+)295 b(2)31359 24007 y Fn(a)p Fo(+)p Fn(c)p Fo(+1)34256 24556 y Fj(3)34906 24007 y Fn(b)p Fo(+)p Fn(d)p Fo(+)p Fn(k)24 b Fm(\000)p Fo(3)39323 24556 y Fj(+)295 b Fh(\001)221 b(\001)g(\001)12535 26493 y Fj(+)295 b(2)14492 25945 y Fn(a)p Fo(+)p Fn(c)p Fo(+1)17684 26493 y Fj(+)g Fh(\001)221 b(\001)g(\001)296 b Fj(+)f(1)11228 28581 y(=)369 b(2)13259 28032 y Fn(c)p Fo(+1)14924 28581 y Fj(3)15574 28032 y Fn(d)p Fo(+)p Fn(k)24 b Fm(\000)p Fo(1)18857 28581 y Fj(+)295 b(2)20814 28032 y Fn(a)p Fo(+)p Fn(c)p Fo(+1)23711 28581 y Fj(\(3)24867 28032 y Fn(b)p Fo(+)p Fn(d)p Fo(+)p Fn(k)24 b Fm(\000)p Fo(1)29284 28581 y Fj(+)295 b Fh(\001)221 b(\001)g(\001)296 b Fj(+)e(3)i(+)f(1\))g (+)g(2)39403 28032 y Fn(a)p Fo(+)p Fn(c)41393 28581 y Fj(+)g Fh(\001)221 b(\001)g(\001)296 b Fj(+)e(1)11228 30669 y(=)369 b(2)13259 30120 y Fn(c)p Fo(+1)14924 30669 y Fj(3)15574 30120 y Fn(d)p Fo(+)p Fn(k)24 b Fm(\000)p Fo(1)18857 30669 y Fj(+)295 b(2)20814 30120 y Fn(a)p Fo(+)p Fn(c)22509 30669 y Fj(3)23159 30120 y Fn(b)p Fo(+)p Fn(d)p Fo(+)p Fn(k)26373 30669 y Fj(+)g(2)28330 30120 y Fn(a)p Fo(+)p Fn(c)30320 30669 y Fh(\000)h Fj(1)p Fi(:)800 33602 y Fj(Assuming)392 b(3)7384 33120 y Fn(k)7953 33602 y Fi(p)g Fj(is)h(a)f(PTN,)h(w)-36 b(e)393 b(equate)f(the)g(ab)36 b(o)-36 b(v)g(e)393 b(expressions)f(for)h(3)36022 33120 y Fn(k)36591 33602 y Fi(p)f Fj(and)g Fi(S)77 b Fj(\(3)42157 33120 y Fn(k)42726 33602 y Fi(p)p Fj(\))392 b(and)f(simplify)j(to)800 35207 y(obtain)434 b(the)f(diophan)-36 b(tine)432 b(equation)19515 33602 y SDict begin H.S end 19515 33602 a 19515 33602 a SDict begin 14.5 H.A end 19515 33602 a 19515 33602 a SDict begin [ /View [/XYZ H.V] /Dest (equation.1) cvn H.B /DEST pdfmark end 19515 33602 a 19713 38141 a Fj(2)20363 37592 y Fn(c)20826 38141 y Fj(\(2)21982 37592 y Fn(a)22833 38141 y Fh(\000)295 b Fj(3)24811 37592 y Fn(d)p Fo(+)p Fn(k)24 b Fm(\000)p Fo(1)27799 38141 y Fj(\))368 b(=)h(3)30704 37592 y Fn(k)31568 38141 y Fj(+)295 b(1)p Fi(:)17252 b Fj(\(1\))800 41074 y(Clearly)-108 b(,)435 b Fi(a)369 b(>)g Fj(1)433 b(and)g Fi(c)369 b Fj(=)g(1)434 b(or)f(2)h(for)g Fi(k)479 b Fj(ev)-36 b(en)434 b(or)f(o)36 b(dd,)434 b(resp)36 b(ectiv)-36 b(ely)-108 b(.)2751 42679 y(When)433 b Fi(k)414 b Fj(=)369 b(2,)434 b(the)f(righ)-36 b(t-hand)432 b(side)i(of)g(\()p 0 .5 0 TeXcolorrgb 23691 42679 a SDict begin H.S end 23691 42679 a 0 .5 0 TeXcolorrgb Fj(1)p 0 .5 0 TeXcolorrgb 24341 41823 a SDict begin H.R end 24341 41823 a 24341 42679 a SDict begin [ /Color [1 0 0] /H /I /Border [0 0 0] /Subtype /Link /Dest (equation.1) cvn H.B /ANN pdfmark end 24341 42679 a Black Fj(\))f(is)h(10;)h(th)-36 b(us)432 b Fi(c)369 b Fj(=)g(1)433 b(and)h(the)f(equation)h(reduces)e (to)51240 41074 y SDict begin H.S end 51240 41074 a 51240 41074 a SDict begin 14.5 H.A end 51240 41074 a 51240 41074 a SDict begin [ /View [/XYZ H.V] /Dest (equation.2) cvn H.B /DEST pdfmark end 51240 41074 a 22809 45613 a Fj(2)23459 45064 y Fn(a)24310 45613 y Fh(\000)295 b Fj(3)26288 45064 y Fn(d)p Fo(+1)28399 45613 y Fj(=)369 b(5)p Fi(:)20347 b Fj(\(2\))800 48546 y(Since)461 b(2)4874 48064 y Fn(a)5845 48546 y Fh(\021)416 b Fj(2)591 b(\(mo)36 b(d)442 b(3\),)469 b(w)-36 b(e)461 b(m)-36 b(ust)461 b(ha)-36 b(v)g(e)461 b Fi(a)g Fj(o)36 b(dd.)661 b(W)-108 b(e)461 b(ha)-36 b(v)g(e)461 b Fi(a)416 b Fj(=)f(3,)469 b Fi(d)416 b Fj(=)f(0)462 b(as)f(one)g(solution,)469 b(and)461 b(w)-36 b(e)800 50151 y(ha)g(v)g(e)393 b Fi(a)369 b Fj(=)f(5,)402 b Fi(d)369 b Fj(=)g(2)393 b(as)g(another.)564 b(If)394 b Fi(a)368 b(>)h Fj(5)393 b(then)f(3)26196 49669 y Fn(d)p Fo(+1)28307 50151 y Fh(\021)369 b Fj(123)592 b(\(mo)36 b(d)442 b(128\),)402 b(whic)-36 b(h)393 b(implies)g Fi(d)212 b Fj(+)g(1)369 b Fh(\021)g Fj(11)800 51756 y(\(mo)36 b(d)443 b(32\).)858 b(This)527 b(in)f(turn)g(implies)h(3)20082 51274 y Fn(d)p Fo(+1)22351 51756 y Fh(\021)h Fj(7)591 b(\(mo)36 b(d)442 b(17\),)551 b(and)526 b(th)-36 b(us)526 b(2)37539 51274 y Fn(a)38622 51756 y Fh(\021)h Fj(7)359 b(+)f(5)528 b Fh(\021)g Fj(12)591 b(\(mo)36 b(d)442 b(17\),)800 53361 y(whic)-36 b(h)415 b(is)g(imp)36 b(ossible.)573 b(Th)-36 b(us)414 b(the)g(only)i(solutions)f(to)g(\()p 0 .5 0 TeXcolorrgb 28454 53361 a SDict begin H.S end 28454 53361 a 0 .5 0 TeXcolorrgb Fj(2)p 0 .5 0 TeXcolorrgb 29104 52505 a SDict begin H.R end 29104 52505 a 29104 53361 a SDict begin [ /Color [1 0 0] /H /I /Border [0 0 0] /Subtype /Link /Dest (equation.2) cvn H.B /ANN pdfmark end 29104 53361 a Black Fj(\))g(are)g(giv)-36 b(en)416 b(b)-36 b(y)415 b Fi(a)368 b Fj(=)h(3,)419 b Fi(d)369 b Fj(=)g(0,)419 b(and)414 b(b)-36 b(y)415 b Fi(a)369 b Fj(=)f(5,)800 54966 y Fi(d)557 b Fj(=)f(2.)910 b(Since)543 b(also)i Fi(c)557 b Fj(=)f(1,)572 b(this)544 b(statemen)-36 b(t)543 b(includes)g(b)36 b(oth)544 b(our)f(Theorem)h(2) h(and)e(Theorem)h(5)g(of)800 56571 y(Mohan)433 b(and)g(Sury)-36 b(anara)g(y)g(ana)434 b([)p 0 .5 0 TeXcolorrgb 16913 56571 a SDict begin H.S end 16913 56571 a 0 .5 0 TeXcolorrgb Fj(1)p 0 .5 0 TeXcolorrgb 17564 55715 a SDict begin H.R end 17564 55715 a 17564 56571 a SDict begin [ /Color [0 1 0] /H /I /Border [0 0 0] /Subtype /Link /Dest (cite.ms) cvn H.B /ANN pdfmark end 17564 56571 a Black Fj(].)2751 58177 y(When)f Fi(k)414 b Fj(=)369 b(3,)434 b(\()p 0 .5 0 TeXcolorrgb 10966 58177 a SDict begin H.S end 10966 58177 a 0 .5 0 TeXcolorrgb Fj(1)p 0 .5 0 TeXcolorrgb 11616 57320 a SDict begin H.R end 11616 57320 a 11616 58177 a SDict begin [ /Color [1 0 0] /H /I /Border [0 0 0] /Subtype /Link /Dest (equation.1) cvn H.B /ANN pdfmark end 11616 58177 a Black Fj(\))g(reduces)e(to)18777 56571 y SDict begin H.S end 18777 56571 a 18777 56571 a SDict begin 14.5 H.A end 18777 56571 a 18777 56571 a SDict begin [ /View [/XYZ H.V] /Dest (equation.3) cvn H.B /DEST pdfmark end 18777 56571 a 22809 59782 a Fj(2)23459 59233 y Fn(a)24310 59782 y Fh(\000)295 b Fj(3)26288 59233 y Fn(d)p Fo(+2)28399 59782 y Fj(=)369 b(7)p Fi(:)20347 b Fj(\(3\))800 62106 y(Clearly)515 b Fi(a)503 b Fh(\025)i Fj(3.)816 b(Since)513 b(2)14073 61624 y Fn(a)15132 62106 y Fh(\021)505 b Fj(1)590 b(\(mo)36 b(d)443 b(3\))513 b(and)f(3)26279 61624 y Fn(d)p Fo(+2)28526 62106 y Fh(\021)504 b Fj(1)591 b(\(mo)36 b(d)442 b(8\),)533 b(w)-36 b(e)513 b(m)-36 b(ust)513 b(ha)-36 b(v)g(e)513 b Fi(a)f Fj(and)h Fi(d)g Fj(b)36 b(oth)800 63711 y(ev)-36 b(en.)578 b(W)-108 b(rite)434 b Fi(a)369 b Fj(=)f(2)p Fi(\013)443 b Fj(and)433 b Fi(d)369 b Fj(=)f(2)p Fi(\016)50 b Fj(.)579 b(Then)433 b(\()p 0 .5 0 TeXcolorrgb 23305 63711 a SDict begin H.S end 23305 63711 a 0 .5 0 TeXcolorrgb Fj(3)p 0 .5 0 TeXcolorrgb 23955 62855 a SDict begin H.R end 23955 62855 a 23955 63711 a SDict begin [ /Color [1 0 0] /H /I /Border [0 0 0] /Subtype /Link /Dest (equation.3) cvn H.B /ANN pdfmark end 23955 63711 a Black Fj(\))h(reduces)f(to)31116 62106 y SDict begin H.S end 31116 62106 a 31116 62106 a SDict begin 14.5 H.A end 31116 62106 a 31116 62106 a SDict begin [ /View [/XYZ H.V] /Dest (equation.4) cvn H.B /DEST pdfmark end 31116 62106 a 19128 66645 a Fj(\(2)20284 66096 y Fn(\013)21239 66645 y Fj(+)294 b(3)23195 66096 y Fn(\016)33 b Fo(+1)24903 66645 y Fj(\)\(2)26565 66096 y Fn(\013)27520 66645 y Fh(\000)295 b Fj(3)29498 66096 y Fn(\016)33 b Fo(+1)31206 66645 y Fj(\))368 b(=)h(7)p Fi(:)16666 b Fj(\(4\))p Black 26475 70521 a(4)p Black eop end end %%Page: 5 5 TeXDict begin HPSdict begin 5 4 bop 0 0 a SDict begin /product where{pop product(Distiller)search{pop pop pop version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show grestore}if}{pop}ifelse}{pop}ifelse}if end 0 0 a Black 0 TeXcolorgray 800 -4000 a SDict begin H.S end 800 -4000 a 0 TeXcolorgray 0 TeXcolorgray 800 -4000 a SDict begin H.R end 800 -4000 a 800 -4000 a SDict begin [ /View [/XYZ H.V] /Dest (page.5) cvn H.B /DEST pdfmark end 800 -4000 a Black Black 1328 x Fj(Therefore)495 b(2)7400 -3154 y Fn(\013)8397 -2672 y Fh(\000)336 b Fj(3)10416 -3154 y Fn(\016)33 b Fo(+1)12596 -2672 y Fj(=)473 b(1)494 b(and)g(2)18465 -3154 y Fn(\013)19462 -2672 y Fj(+)336 b(3)21460 -3154 y Fn(\016)33 b Fo(+1)23640 -2672 y Fj(=)472 b(7,)510 b(implying)496 b Fi(\013)481 b Fj(=)472 b(2,)510 b Fi(\016)523 b Fj(=)472 b(0,)510 b(whic)-36 b(h)494 b(in)g(turn)g(implies)800 -1067 y Fi(a)598 b Fj(=)g(4,)603 b Fi(d)598 b Fj(=)g(0)568 b(as)h(the)f(only)h(solution.)983 b(T)-108 b(ogether)568 b(with)g Fi(c)598 b Fj(=)g(2,)603 b(this)568 b(includes)g(the)g(statemen)-36 b(t)567 b(of)800 539 y(Theorem)434 b(6)g(in)f(Mohan)g(and)g(Sury)-36 b(anara)g(y)g(ana) 434 b([)p 0 .5 0 TeXcolorrgb 25006 539 a SDict begin H.S end 25006 539 a 0 .5 0 TeXcolorrgb Fj(1)p 0 .5 0 TeXcolorrgb 25657 -318 a SDict begin H.R end 25657 -318 a 25657 539 a SDict begin [ /Color [0 1 0] /H /I /Border [0 0 0] /Subtype /Link /Dest (cite.ms) cvn H.B /ANN pdfmark end 25657 539 a Black Fj(].)2751 2144 y(W)-108 b(e)434 b(sho)-36 b(w)433 b(next)h(that)f(there)g(are)h (no)f(solutions)h(of)g(\()p 0 .5 0 TeXcolorrgb 28677 2144 a SDict begin H.S end 28677 2144 a 0 .5 0 TeXcolorrgb Fj(1)p 0 .5 0 TeXcolorrgb 29327 1288 a SDict begin H.R end 29327 1288 a 29327 2144 a SDict begin [ /Color [1 0 0] /H /I /Border [0 0 0] /Subtype /Link /Dest (equation.1) cvn H.B /ANN pdfmark end 29327 2144 a Black Fj(\))g(when)f Fi(k)414 b Fh(\025)369 b Fj(4.)2751 3749 y(Supp)36 b(ose)401 b(\014rst)h(that)g Fi(k)448 b Fj(is)403 b(ev)-36 b(en,)409 b Fi(k)414 b Fh(\025)369 b Fj(4.)568 b(Then)402 b Fi(c)369 b Fj(=)g(1.)568 b(Put)402 b Fi(x)369 b Fj(=)g Fi(a)231 b Fj(+)h(1)403 b(and)f Fi(y)416 b Fj(=)369 b Fi(d)232 b Fj(+)f Fi(k)277 b Fh(\000)232 b Fj(1)403 b(so)f(that)800 5354 y(\()p 0 .5 0 TeXcolorrgb 1306 5354 a SDict begin H.S end 1306 5354 a 0 .5 0 TeXcolorrgb Fj(1)p 0 .5 0 TeXcolorrgb 1956 4498 a SDict begin H.R end 1956 4498 a 1956 5354 a SDict begin [ /Color [1 0 0] /H /I /Border [0 0 0] /Subtype /Link /Dest (equation.1) cvn H.B /ANN pdfmark end 1956 5354 a Black Fj(\))434 b(ma)-36 b(y)434 b(b)36 b(e)433 b(giv)-36 b(en)434 b(as)12477 3749 y SDict begin H.S end 12477 3749 a 12477 3749 a SDict begin 14.5 H.A end 12477 3749 a 12477 3749 a SDict begin [ /View [/XYZ H.V] /Dest (equation.5) cvn H.B /DEST pdfmark end 12477 3749 a 21173 6959 a Fj(2)21823 6410 y Fn(x)22704 6959 y Fh(\000)295 b Fj(2)h Fh(\001)f Fj(3)26292 6410 y Fn(y)27213 6959 y Fj(=)369 b(3)29244 6410 y Fn(k)30108 6959 y Fj(+)295 b(1)p Fi(;)18712 b Fj(\(5\))800 9284 y(where)511 b Fi(x)501 b Fh(\025)g Fj(3,)531 b Fi(y)548 b Fh(\025)501 b Fj(3.)811 b(Then)511 b(2)17613 8801 y Fn(x)18699 9284 y Fh(\021)501 b Fj(1)591 b(\(mo)36 b(d)442 b(27\),)531 b(from)512 b(whic)-36 b(h)511 b Fi(x)500 b Fh(\021)h Fj(0)591 b(\(mo)36 b(d)443 b(18\).)811 b(Since)510 b(2)49118 8801 y Fo(18)50616 9284 y Fh(\021)501 b Fj(1)800 10889 y(\(mo)36 b(d)443 b(19\),)434 b(w)-36 b(e)434 b(then)e(ha)-36 b(v)g(e)434 b Fh(\000)p Fj(2)296 b Fh(\001)f Fj(3)18012 10407 y Fn(y)18934 10889 y Fh(\021)369 b Fj(3)20986 10407 y Fn(k)22145 10889 y Fj(\(mo)36 b(d)443 b(19\),)434 b(so)g(that)15007 12977 y Fb(\022)16443 13952 y Fj(3)p 16118 14545 1301 54 v 16118 15761 a(19)17552 12977 y Fb(\023)18529 13275 y Fn(y)19451 14850 y Fj(=)20831 12977 y Fb(\022)21942 13952 y Fh(\000)p Fj(2)296 b Fh(\001)f Fj(3)25235 13470 y Fn(y)p 21942 14545 3846 54 v 23214 15761 a Fj(19)25920 12977 y Fb(\023)27267 14850 y Fj(=)28648 12977 y Fb(\022)29799 13952 y Fj(3)30449 13470 y Fn(k)p 29758 14545 1301 54 v 29758 15761 a Fj(19)31192 12977 y Fb(\023)32538 14850 y Fj(=)33919 12977 y Fb(\022)35355 13952 y Fj(3)p 35030 14545 V 35030 15761 a(19)36463 12977 y Fb(\023)37441 13275 y Fn(k)38231 14850 y Fi(;)800 18680 y Fj(where)4691 17604 y Fb(\000)5432 18157 y Fm(\001)p 5432 18375 262 54 v 5432 19138 a(\001)5827 17604 y Fb(\001)7002 18680 y Fj(is)567 b(a)g(Legendre)f(sym)-36 b(b)36 b(ol.)978 b(Also,)601 b(from)567 b(\()p 0 .5 0 TeXcolorrgb 27902 18680 a SDict begin H.S end 27902 18680 a 0 .5 0 TeXcolorrgb Fj(5)p 0 .5 0 TeXcolorrgb 28552 17824 a SDict begin H.R end 28552 17824 a 28552 18680 a SDict begin [ /Color [1 0 0] /H /I /Border [0 0 0] /Subtype /Link /Dest (equation.5) cvn H.B /ANN pdfmark end 28552 18680 a Black Fj(\),)601 b Fh(\000)p Fj(2)386 b Fh(\001)g Fj(3)33494 18198 y Fn(y)34642 18680 y Fh(\021)595 b Fj(3)36920 18198 y Fn(k)37875 18680 y Fj(+)386 b(1)596 b Fh(\021)g Fj(2)590 b(\(mo)36 b(d)443 b(8\),)600 b(so)567 b Fi(y)615 b Fj(is)800 20286 y(o)36 b(dd.)1053 b(Then)592 b(w)-36 b(e)592 b(ha)-36 b(v)g(e)593 b(a)f(con)-36 b(tradiction)592 b(since)g Fi(k)637 b Fj(is)592 b(ev)-36 b(en,)632 b Fi(y)640 b Fj(is)593 b(o)36 b(dd,)631 b(and)592 b(the)f(Legendre)g(sym)-36 b(b)36 b(ol)800 21891 y(\(3)p Fi(=)p Fj(19\))370 b(=)f Fh(\000)p Fj(1.)2751 23496 y(Supp)36 b(ose)408 b(next)g(that)g Fi(k)454 b Fj(is)409 b(o)36 b(dd,)414 b Fi(k)g Fh(\025)369 b Fj(5.)570 b(Then)409 b Fi(c)368 b Fj(=)h(2.)570 b(Put)408 b Fi(x)369 b Fj(=)g Fi(a)244 b Fj(+)g(2)409 b(and)f Fi(y)417 b Fj(=)369 b Fi(d)244 b Fj(+)g Fi(k)289 b Fh(\000)245 b Fj(1)408 b(so)h(that)800 25101 y(\()p 0 .5 0 TeXcolorrgb 1306 25101 a SDict begin H.S end 1306 25101 a 0 .5 0 TeXcolorrgb Fj(1)p 0 .5 0 TeXcolorrgb 1956 24245 a SDict begin H.R end 1956 24245 a 1956 25101 a SDict begin [ /Color [1 0 0] /H /I /Border [0 0 0] /Subtype /Link /Dest (equation.1) cvn H.B /ANN pdfmark end 1956 25101 a Black Fj(\))434 b(b)36 b(ecomes)8069 23496 y SDict begin H.S end 8069 23496 a 8069 23496 a SDict begin 14.5 H.A end 8069 23496 a 8069 23496 a SDict begin [ /View [/XYZ H.V] /Dest (equation.6) cvn H.B /DEST pdfmark end 8069 23496 a 21173 26706 a Fj(2)21823 26157 y Fn(x)22704 26706 y Fh(\000)295 b Fj(4)h Fh(\001)f Fj(3)26292 26157 y Fn(y)27213 26706 y Fj(=)369 b(3)29244 26157 y Fn(k)30108 26706 y Fj(+)295 b(1)p Fi(;)18712 b Fj(\(6\))800 29030 y(where)434 b Fi(x)369 b Fh(\025)g Fj(4,)434 b Fi(y)417 b Fh(\025)369 b Fj(4.)579 b(There)433 b(are)h(t)-36 b(w)g(o)434 b(main)f(cases)h(to)g (consider.)2751 30636 y(\(a\))426 b(If)g Fi(k)414 b Fh(\021)369 b Fj(1)591 b(\(mo)36 b(d)442 b(4\),)428 b(then)d Fh(\000)p Fj(4)280 b Fh(\001)f Fj(3)21466 30154 y Fn(y)22387 30636 y Fh(\021)369 b Fj(3)24439 30154 y Fn(k)25288 30636 y Fj(+)279 b(1)369 b Fh(\021)g Fj(4)591 b(\(mo)36 b(d)442 b(16\),)428 b(implying)f(that)e Fi(y)474 b Fj(is)426 b(o)36 b(dd.)575 b(Also,)800 32241 y(as)444 b(immediately)h(ab)36 b(o)-36 b(v)g(e,)447 b Fi(x)387 b Fh(\021)g Fj(0)590 b(\(mo)36 b(d)443 b(18\).)610 b(Since)443 b(2)27944 31759 y Fo(18)29327 32241 y Fh(\021)387 b Fj(1)591 b(\(mo)36 b(d)442 b(7\),)447 b(then)c Fh(\000)p Fj(4)303 b Fh(\001)f Fj(3)43673 31759 y Fn(y)44612 32241 y Fh(\021)387 b Fj(3)46682 31759 y Fn(k)47841 32241 y Fj(\(mo)36 b(d)443 b(7\),)800 33846 y(so)434 b(3)3047 33364 y Fn(y)32 b Fo(+1)5171 33846 y Fh(\021)369 b Fj(3)7223 33364 y Fn(k)8383 33846 y Fj(\(mo)36 b(d)442 b(7\).)579 b(This)433 b(is)h(imp)36 b(ossible)434 b(when)g Fi(y)343 b Fj(+)294 b(1)434 b(is)g(ev)-36 b(en)434 b(and)f Fi(k)479 b Fj(is)433 b(o)36 b(dd.)2751 35451 y(\(b\))467 b(If)h Fi(k)k Fh(\021)426 b Fj(3)591 b(\(mo)36 b(d)443 b(4\),)476 b(then)467 b Fh(\000)p Fj(4)318 b Fh(\001)h Fj(3)21906 34969 y Fn(y)22885 35451 y Fh(\021)427 b Fj(3)24995 34969 y Fn(k)25882 35451 y Fj(+)318 b(1)427 b Fh(\021)g Fj(12)591 b(\(mo)36 b(d)443 b(16\),)476 b(so)468 b Fi(y)515 b Fj(is)468 b(ev)-36 b(en.)680 b(Supp)36 b(ose)467 b(\014rst)800 37056 y(that)447 b Fi(y)440 b Fh(\021)393 b Fj(0)590 b(\(mo)36 b(d)443 b(4\).)620 b(Then)447 b(2)17011 36574 y Fn(x)17988 37056 y Fh(\021)393 b Fj(4)305 b Fh(\001)f Fj(3)21692 36574 y Fn(y)22549 37056 y Fj(+)h(3)24516 36574 y Fn(k)25389 37056 y Fj(+)f(1)393 b Fh(\021)g Fj(4)305 b(+)f(2)h(+)f(1)393 b Fh(\021)f Fj(2)591 b(\(mo)36 b(d)442 b(5\).)620 b(This)448 b(implies)f(that)800 38661 y Fi(x)434 b Fj(is)g(o)36 b(dd.)578 b(But,)433 b(from)h(\()p 0 .5 0 TeXcolorrgb 12873 38661 a SDict begin H.S end 12873 38661 a 0 .5 0 TeXcolorrgb Fj(6)p 0 .5 0 TeXcolorrgb 13523 37805 a SDict begin H.R end 13523 37805 a 13523 38661 a SDict begin [ /Color [1 0 0] /H /I /Border [0 0 0] /Subtype /Link /Dest (equation.6) cvn H.B /ANN pdfmark end 13523 38661 a Black Fj(\),)g(2)15474 38179 y Fn(x)16428 38661 y Fh(\021)369 b Fj(1)591 b(\(mo)36 b(d)442 b(3\),)434 b(so)g Fi(x)g Fj(is)g(ev)-36 b(en.)578 b(W)-108 b(e)434 b(ha)-36 b(v)g(e)434 b(a)g(con)-36 b(tradiction.)2751 40266 y(The)508 b(most)f(di\016cult)h(case)g(to)f(eliminate)i(is)f (when)f Fi(k)540 b Fh(\021)495 b Fj(3)591 b(\(mo)36 b(d)442 b(4\))508 b(and)f Fi(y)543 b Fh(\021)495 b Fj(2)591 b(\(mo)36 b(d)443 b(4\).)800 b(Con-)800 41871 y(sideration)482 b(of)g(\()p 0 .5 0 TeXcolorrgb 8888 41871 a SDict begin H.S end 8888 41871 a 0 .5 0 TeXcolorrgb Fj(6)p 0 .5 0 TeXcolorrgb 9539 41015 a SDict begin H.R end 9539 41015 a 9539 41871 a SDict begin [ /Color [1 0 0] /H /I /Border [0 0 0] /Subtype /Link /Dest (equation.6) cvn H.B /ANN pdfmark end 9539 41871 a Black Fj(\),)494 b(mo)36 b(dulo)481 b(5,)495 b(implies)482 b(2)22227 41389 y Fn(x)23263 41871 y Fh(\021)452 b Fj(4)590 b(\(mo)36 b(d)443 b(5\),)494 b(so)482 b Fi(x)451 b Fh(\021)g Fj(2)591 b(\(mo)36 b(d)443 b(4\).)723 b(F)-108 b(rom)481 b(\()p 0 .5 0 TeXcolorrgb 46651 41871 a SDict begin H.S end 46651 41871 a 0 .5 0 TeXcolorrgb Fj(6)p 0 .5 0 TeXcolorrgb 47301 41015 a SDict begin H.R end 47301 41015 a 47301 41871 a SDict begin [ /Color [1 0 0] /H /I /Border [0 0 0] /Subtype /Link /Dest (equation.6) cvn H.B /ANN pdfmark end 47301 41871 a Black Fj(\),)494 b(w)-36 b(e)482 b(also)800 43476 y(ha)-36 b(v)g(e)466 b(2)4481 42994 y Fn(x)5489 43476 y Fh(\021)423 b Fj(1)591 b(\(mo)36 b(d)442 b(27\),)474 b(so)466 b Fi(x)423 b Fh(\021)h Fj(0)590 b(\(mo)36 b(d)443 b(18\))466 b(and)e(then,)473 b(since)465 b Fi(x)424 b Fh(\021)f Fj(2)591 b(\(mo)36 b(d)442 b(4\),)474 b(w)-36 b(e)465 b(ha)-36 b(v)g(e)466 b Fi(x)423 b Fh(\021)g Fj(18)800 45081 y(\(mo)36 b(d)443 b(36\).)569 b(This)407 b(then)e(implies)h(that)g(2)20684 44599 y Fn(x)21638 45081 y Fh(\021)369 b(\000)p Fj(1)591 b(\(mo)36 b(d)443 b(13\).)569 b(Consideration)407 b(of)g(the)e(nine)h (p)36 b(ossibilities)800 46687 y(that)392 b(arise)i(from)f(\()p 0 .5 0 TeXcolorrgb 10115 46687 a SDict begin H.S end 10115 46687 a 0 .5 0 TeXcolorrgb Fj(6)p 0 .5 0 TeXcolorrgb 10765 45830 a SDict begin H.R end 10765 45830 a 10765 46687 a SDict begin [ /Color [1 0 0] /H /I /Border [0 0 0] /Subtype /Link /Dest (equation.6) cvn H.B /ANN pdfmark end 10765 46687 a Black Fj(\),)401 b(mo)36 b(dulo)393 b(13,)402 b(taking)394 b Fi(y)417 b Fh(\021)369 b Fj(2,)402 b(6)393 b(or)g(10)591 b(\(mo)36 b(d)442 b(12\))394 b(and)e Fi(k)414 b Fh(\021)369 b Fj(3,)402 b(7)393 b(or)g(11)591 b(\(mo)36 b(d)443 b(12\))800 48292 y(sho)-36 b(ws)453 b(that)g(in)g(fact)g Fi(y)d Fh(\021)403 b Fj(2)590 b(\(mo)36 b(d)443 b(12\))453 b(and)g Fi(k)447 b Fh(\021)402 b Fj(3)591 b(\(mo)36 b(d)443 b(12\).)637 b(No)-36 b(w)454 b(consider)e(a)i(further)e(nine)g(cases)800 49897 y(of)400 b(\()p 0 .5 0 TeXcolorrgb 2753 49897 a SDict begin H.S end 2753 49897 a 0 .5 0 TeXcolorrgb Fj(6)p 0 .5 0 TeXcolorrgb 3403 49041 a SDict begin H.R end 3403 49041 a 3403 49897 a SDict begin [ /Color [1 0 0] /H /I /Border [0 0 0] /Subtype /Link /Dest (equation.6) cvn H.B /ANN pdfmark end 3403 49897 a Black Fj(\),)407 b(mo)36 b(dulo)399 b(37,)407 b(taking)401 b Fi(y)416 b Fh(\021)370 b Fj(2,)406 b(14)400 b(or)g(26)591 b(\(mo)36 b(d)443 b(36\))399 b(and)g Fi(k)414 b Fh(\021)370 b Fj(3,)406 b(15)400 b(or)g(27)591 b(\(mo)36 b(d)442 b(36\).)568 b(The)399 b(only)800 51502 y(p)36 b(ossibilit)-36 b(y)486 b(is)f Fi(y)503 b Fh(\021)456 b Fj(2)591 b(\(mo)36 b(d)442 b(36\))485 b(and)f Fi(k)501 b Fh(\021)456 b Fj(27)591 b(\(mo)36 b(d)443 b(36\).)732 b(But)484 b(in)g(that)g(case,)498 b(since)485 b(2)45617 51020 y Fo(18)47069 51502 y Fh(\021)456 b Fj(3)49208 51020 y Fo(36)50661 51502 y Fh(\021)g Fj(1)800 53107 y(\(mo)36 b(d)443 b(73\),)564 b(w)-36 b(e)539 b(\014nd)e(that)g (2)15271 52625 y Fn(x)16223 53107 y Fh(\000)366 b Fj(4)h Fh(\001)f Fj(3)20024 52625 y Fn(y)21123 53107 y Fh(\021)547 b Fj(1)367 b Fh(\000)f Fj(4)h Fh(\001)f Fj(9)547 b Fh(\021)g Fj(38)591 b(\(mo)36 b(d)443 b(73\))538 b(and)g(3)40609 52625 y Fn(k)41544 53107 y Fj(+)366 b(1)547 b Fh(\021)g Fj(27)367 b(+)f(1)547 b(=)f(28)800 54712 y(\(mo)36 b(d)443 b(73\).)578 b(This)434 b(con)-36 b(tradicts)433 b(\()p 0 .5 0 TeXcolorrgb 17154 54712 a SDict begin H.S end 17154 54712 a 0 .5 0 TeXcolorrgb Fj(6)p 0 .5 0 TeXcolorrgb 17805 53856 a SDict begin H.R end 17805 53856 a 17805 54712 a SDict begin [ /Color [1 0 0] /H /I /Border [0 0 0] /Subtype /Link /Dest (equation.6) cvn H.B /ANN pdfmark end 17805 54712 a Black Fj(\).)2751 56317 y(W)-108 b(e)434 b(giv)-36 b(e)434 b(this)g(conclusion)f(as:) 18597 54712 y SDict begin H.S end 18597 54712 a 18597 54712 a SDict begin 14.5 H.A end 18597 54712 a 18597 54712 a SDict begin [ /View [/XYZ H.V] /Dest (theorem.5) cvn H.B /DEST pdfmark end 18597 54712 a Black 800 59029 a Ff(Theorem)502 b(5)p Black 650 w Fg(Ther)-66 b(e)358 b(ar)-66 b(e)357 b(no)h(PTNs)g(of)g(the)g(form)g Fj(3)26968 58547 y Fn(k)27537 59029 y Fi(p)p Fg(,)379 b Fi(k)414 b Fh(\025)369 b Fj(4)p Fg(,)379 b(wher)-66 b(e)358 b Fi(p)369 b Fj(=)g(2)39504 58547 y Fn(c)39967 59029 y Fj(3)40617 58547 y Fn(d)41157 59029 y Fi(q)106 b Fj(+)58 b(1)357 b Fg(and)h Fi(q)417 b Fj(=)368 b(2)49358 58547 y Fn(a)49914 59029 y Fj(3)50564 58547 y Fn(b)51080 59029 y Fj(+)58 b(1)800 60634 y Fg(ar)-66 b(e)464 b(primes)h(with)g Fi(a)p Fg(,)f Fi(c)369 b Fh(\025)g Fj(1)465 b Fg(and)g Fi(b)p Fg(,)f Fi(d)369 b Fh(\025)g Fj(0)p Fg(.)2751 63346 y Fj(W)-108 b(e)582 b(next)g(considered)f (another)h(p)36 b(ossibilit)-36 b(y:)876 b(let)582 b Fi(a)p Fj(,)619 b Fi(c)p Fj(,)g Fi(e)j Fh(\025)f Fj(1)583 b(and)e Fi(b)p Fj(,)619 b Fi(d)p Fj(,)h Fi(f)763 b Fh(\025)622 b Fj(0)582 b(b)36 b(e)582 b(in)-36 b(tegers.)800 64951 y(Supp)36 b(ose)479 b Fi(r)484 b Fj(=)448 b(2)9128 64469 y Fn(a)9683 64951 y Fj(3)10333 64469 y Fn(b)11118 64951 y Fj(+)327 b(1,)492 b Fi(q)j Fj(=)448 b(2)17142 64469 y Fn(c)17605 64951 y Fj(3)18255 64469 y Fn(d)18795 64951 y Fi(r)363 b Fj(+)326 b(1,)492 b(and)480 b Fi(p)448 b Fj(=)f(2)28371 64469 y Fn(e)28863 64951 y Fj(3)29513 64469 y Fn(f)30119 64951 y Fi(q)374 b Fj(+)326 b(1)480 b(are)h(all)f(prime,)492 b(and)479 b(let)i Fi(n)448 b Fj(=)g(3)49545 64469 y Fn(k)50114 64951 y Fi(p)479 b Fj(for)800 66556 y Fi(k)414 b Fh(\025)369 b Fj(2.)p Black 26475 70521 a(5)p Black eop end end %%Page: 6 6 TeXDict begin HPSdict begin 6 5 bop 0 0 a SDict begin /product where{pop product(Distiller)search{pop pop pop version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show grestore}if}{pop}ifelse}{pop}ifelse}if end 0 0 a Black 0 TeXcolorgray 800 -4000 a SDict begin H.S end 800 -4000 a 0 TeXcolorgray 0 TeXcolorgray 800 -4000 a SDict begin H.R end 800 -4000 a 800 -4000 a SDict begin [ /View [/XYZ H.V] /Dest (page.6) cvn H.B /DEST pdfmark end 800 -4000 a Black Black 2751 -2672 a Fj(Substitution)432 b(giv)-36 b(es)435 b(us)13341 187 y Fi(n)370 b Fj(=)e(2)16517 -361 y Fn(a)p Fo(+)p Fn(c)p Fo(+)p Fn(e)19380 187 y Fj(3)20030 -361 y Fn(b)p Fo(+)p Fn(d)p Fo(+)p Fn(f)98 b Fo(+)p Fn(k)24527 187 y Fj(+)294 b(2)26483 -361 y Fn(c)p Fo(+)p Fn(e)28115 187 y Fj(3)28765 -361 y Fn(d)p Fo(+)p Fn(f)98 b Fo(+)p Fn(k)32127 187 y Fj(+)295 b(2)34084 -361 y Fn(e)34576 187 y Fj(3)35226 -361 y Fn(f)98 b Fo(+)p Fn(k)37372 187 y Fj(+)294 b(3)39328 -361 y Fn(k)39898 187 y Fi(;)800 3046 y Fj(whereas)434 b(substitution)e(and)h(calculation)i(giv)-36 b(es)435 b(us)7708 5905 y Fi(S)77 b Fj(\()p Fi(n)p Fj(\))370 b(=)e(2)12773 5356 y Fn(c)p Fo(+)p Fn(e)p Fo(+3)15607 5905 y Fj(3)16257 5356 y Fn(d)p Fo(+)p Fn(f)98 b Fo(+)p Fn(k)24 b Fm(\000)p Fo(2)20821 5905 y Fj(+)295 b(2)22778 5356 y Fn(e)p Fo(+1)24472 5905 y Fj(3)25122 5356 y Fn(f)98 b Fo(+)p Fn(k)24 b Fm(\000)p Fo(1)28471 5905 y Fj(+)294 b(2)30427 5356 y Fn(a)p Fo(+)p Fn(c)p Fo(+)p Fn(e)33291 5905 y Fj(3)33941 5356 y Fn(b)p Fo(+)p Fn(d)p Fo(+)p Fn(f)98 b Fo(+)p Fn(k)38437 5905 y Fj(+)295 b(2)40394 5356 y Fn(a)p Fo(+)p Fn(c)p Fo(+)p Fn(e)43552 5905 y Fh(\000)g Fj(1)p Fi(:)800 8764 y Fj(Assuming)435 b Fi(n)g Fj(is)g(a)h(PTN,)f(w)-36 b(e)435 b(equate)h(the)e(expressions)h(for)h Fi(n)f Fj(and)g Fi(S)77 b Fj(\()p Fi(n)p Fj(\))435 b(and)f(simplify)j (to)e(obtain)g(the)800 10369 y(diophan)-36 b(tine)433 b(equation)13229 8764 y SDict begin H.S end 13229 8764 a 13229 8764 a SDict begin 14.5 H.A end 13229 8764 a 13229 8764 a SDict begin [ /View [/XYZ H.V] /Dest (equation.7) cvn H.B /DEST pdfmark end 13229 8764 a 15222 13227 a Fj(2)15872 12679 y Fn(e)16364 13227 y Fj(\(2)17520 12679 y Fn(c)17983 13227 y Fj(\(2)19139 12679 y Fn(a)19989 13227 y Fh(\000)296 b Fj(3)21968 12679 y Fn(d)p Fo(+)p Fn(f)98 b Fo(+)p Fn(k)24 b Fm(\000)p Fo(2)26237 13227 y Fj(\))295 b Fh(\000)g Fj(3)29016 12679 y Fn(f)98 b Fo(+)p Fn(k)24 b Fm(\000)p Fo(1)32069 13227 y Fj(\))369 b(=)f(3)34974 12679 y Fn(k)35839 13227 y Fj(+)294 b(1)221 b Fi(:)12761 b Fj(\(7\))800 16086 y(W)-108 b(e)403 b(found)g(four)h(solutions)f(to)h(\()p 0 .5 0 TeXcolorrgb 16777 16086 a SDict begin H.S end 16777 16086 a 0 .5 0 TeXcolorrgb Fj(7)p 0 .5 0 TeXcolorrgb 17427 15230 a SDict begin H.R end 17427 15230 a 17427 16086 a SDict begin [ /Color [1 0 0] /H /I /Border [0 0 0] /Subtype /Link /Dest (equation.7) cvn H.B /ANN pdfmark end 17427 16086 a Black Fj(\),)409 b(with)403 b Fi(a;)221 b(c;)g(d;)g(f)513 b Fh(\024)369 b Fj(20)404 b(and)f Fi(k)414 b Fh(\024)369 b Fj(10.)569 b(Notice)404 b(that)e Fi(e)369 b Fj(=)g(1)403 b(or)h(2)f(if)h Fi(k)449 b Fj(is)800 17691 y(ev)-36 b(en)293 b(or)g(o)36 b(dd)293 b(resp)36 b(ectiv)-36 b(ely)-108 b(.)532 b(Our)293 b(\014rst)f(solution)h(is)h(giv)-36 b(en)294 b(b)-36 b(y)293 b Fi(a)368 b Fj(=)h Fi(e)g Fj(=)f(2,)322 b Fi(c)369 b Fj(=)g(4,)321 b Fi(d)369 b Fj(=)g Fi(f)511 b Fj(=)368 b(0,)322 b(and)293 b Fi(k)414 b Fj(=)368 b(3.)800 19296 y(Note)505 b(that)g(this)f(is)h(Theorem)g(3.)793 b(The)505 b(second)g(solution)g(is)g(giv)-36 b(en)505 b(b)-36 b(y)505 b Fi(a)490 b Fj(=)g(4,)524 b Fi(c)490 b Fj(=)g Fi(d)g Fj(=)g Fi(e)g Fj(=)g Fi(f)632 b Fj(=)490 b(1,)800 20902 y(and)481 b Fi(k)497 b Fj(=)450 b(2.)724 b(This)482 b(is)g(P)-36 b(art)482 b(1)g(of)g(Theorem)g(1.)724 b(The)482 b(third)f(solution)h (is)g(giv)-36 b(en)482 b(b)-36 b(y)482 b Fi(a)451 b Fj(=)g Fi(e)g Fj(=)f(1,)495 b Fi(c)451 b Fj(=)f(3,)800 22507 y Fi(d)558 b Fj(=)f Fi(f)700 b Fj(=)558 b(0,)573 b(and)544 b Fi(k)603 b Fj(=)558 b(2)545 b(\(P)-36 b(art)544 b(2)h(of)g(Theorem)g (1\),)573 b(and)544 b(the)g(fourth)g(is)h(giv)-36 b(en)545 b(b)-36 b(y)545 b Fi(a)557 b Fj(=)h(2,)573 b Fi(c)558 b Fj(=)f(3,)800 24112 y Fi(d)369 b Fj(=)f Fi(e)h Fj(=)g(1,)434 b Fi(f)511 b Fj(=)369 b(0,)434 b(and)f Fi(k)414 b Fj(=)369 b(2)433 b(\(P)-36 b(art)434 b(3)f(of)i(Theorem)e(1\).)2751 25717 y(Similarly)-108 b(,)381 b(w)-36 b(e)367 b(also)h(considered)e (in)-36 b(tegers)367 b Fi(a;)221 b(c;)g(e;)g(g)418 b Fh(\025)369 b Fj(1,)381 b Fi(b;)221 b(d;)g(f)70 b(;)221 b(h)370 b Fh(\025)f Fj(0,)381 b(where)366 b(all)i(of)g Fi(s)g Fj(=)h(2)48796 25235 y Fn(a)49351 25717 y Fj(3)50001 25235 y Fn(b)50618 25717 y Fj(+)159 b(1,)800 27322 y Fi(r)405 b Fj(=)369 b(2)3822 26840 y Fn(c)4285 27322 y Fj(3)4935 26840 y Fn(d)5475 27322 y Fi(s)245 b Fj(+)f(1,)415 b Fi(q)h Fj(=)369 b(2)12039 26840 y Fn(e)12531 27322 y Fj(3)13181 26840 y Fn(f)13786 27322 y Fi(r)282 b Fj(+)244 b(1,)415 b(and)409 b Fi(p)368 b Fj(=)h(2)22893 26840 y Fn(g)23428 27322 y Fj(3)24078 26840 y Fn(h)24676 27322 y Fi(q)293 b Fj(+)244 b(1)410 b(are)f(supp)36 b(osed)408 b(prime.)570 b(Then,)414 b(as)409 b(ab)36 b(o)-36 b(v)g(e,)415 b(letting)800 28927 y Fi(n)369 b Fj(=)g(3)3976 28445 y Fn(k)4545 28927 y Fi(p)434 b Fj(for)g Fi(k)414 b Fh(\025)369 b Fj(3)434 b(and)f(supp)36 b(osing)433 b Fi(S)77 b Fj(\()p Fi(n)p Fj(\))369 b(=)g Fi(n)434 b Fj(implies)g(the)f(diophan)-36 b(tine)432 b(equation)10300 31786 y(2)10950 31237 y Fn(g)11486 31786 y Fj(\(2)12642 31237 y Fn(e)13133 31786 y Fj(\(2)14289 31237 y Fn(c)14753 31786 y Fj(\(2)15909 31237 y Fn(a)16759 31786 y Fh(\000)295 b Fj(3)18737 31237 y Fn(d)p Fo(+)p Fn(f)98 b Fo(+)p Fn(h)p Fo(+)p Fn(k)24 b Fm(\000)p Fo(3)24280 31786 y Fj(\))295 b Fh(\000)h Fj(3)27060 31237 y Fn(f)98 b Fo(+)p Fn(h)p Fo(+)p Fn(k)24 b Fm(\000)p Fo(2)31387 31786 y Fj(\))295 b Fh(\000)g Fj(3)34166 31237 y Fn(h)p Fo(+)p Fn(k)24 b Fm(\000)p Fo(1)37212 31786 y Fj(\))368 b(=)h(3)40117 31237 y Fn(k)40981 31786 y Fj(+)295 b(1)p Fi(:)800 34645 y Fj(W)-108 b(e)495 b(found)f(sev)-36 b(eral)495 b(solutions,)510 b(but)494 b(only)h(one)f(of)i(them)d(pro)36 b(duced)494 b(an)-36 b(y)494 b(PTNs:)701 b Fi(a)472 b Fj(=)h(5,)510 b Fi(c)472 b Fj(=)h Fi(f)614 b Fj(=)472 b(1,)800 36250 y Fi(d)369 b Fj(=)f Fi(g)417 b Fj(=)369 b(2,)375 b Fi(e)369 b Fj(=)g(4,)376 b Fi(h)368 b Fj(=)h(0,)376 b(and)360 b Fi(k)414 b Fj(=)369 b(3.)554 b(This)361 b(is)g(Theorem)g (4,)376 b(whic)-36 b(h)360 b(w)-36 b(e)361 b(ha)-36 b(v)g(e)361 b(already)g(seen)g(pro)36 b(duces)800 37855 y(one)434 b(kno)-36 b(wn)433 b(PTN.)2751 39460 y(The)571 b(question)h(remains)f (op)36 b(en)571 b(as)h(to)f(whether)f(or)i(not)f(an)-36 b(y)571 b(PTNs)h(exist)g(of)g(the)f(form)g(3)49453 38978 y Fn(k)50022 39460 y Fi(p)g Fj(for)800 41065 y Fi(k)414 b Fh(\025)369 b Fj(4.)800 45491 y Fk(References)800 46806 y SDict begin H.S end 800 46806 a 800 46806 a SDict begin 14.5 H.A end 800 46806 a 800 46806 a SDict begin [ /View [/XYZ H.V] /Dest (section*.1) cvn H.B /DEST pdfmark end 800 46806 a 800 46264 a SDict begin H.S end 800 46264 a 800 46264 a SDict begin 14.5 H.A end 800 46264 a 800 46264 a SDict begin [ /View [/XYZ H.V] /Dest (cite.ms) cvn H.B /DEST pdfmark end 800 46264 a Black 2148 x Fj([1])p Black 651 w(A.)618 b(L.)f(Mohan)f(and)h(D.)g(Sury)-36 b(anara)g(y)g(ana,)663 b(\\P)-36 b(erfect)618 b(totien)-36 b(t)616 b(n)-36 b(um)g(b)36 b(ers",)662 b(in:)945 b Fg(Numb)-66 b(er)633 b(The)-66 b(ory)2823 50017 y(\(Pr)g(o)g(c.)336 b(Thir)-66 b(d)336 b(Matscienc)-66 b(e)334 b(Conf.,)360 b(Mysor)-66 b(e,)361 b(1981\))345 b Fj(Lect.)294 b(Notes)g(in)f(Math.)h Fa(938)p Fj(,)323 b(Springer-V)-108 b(erlag,)2823 51622 y(New)434 b(Y)-108 b(ork,)434 b(1982,)i(pp.)d(101{105.)800 52423 y SDict begin H.S end 800 52423 a 800 52423 a SDict begin 14.5 H.A end 800 52423 a 800 52423 a SDict begin [ /View [/XYZ H.V] /Dest (cite.cacho) cvn H.B /DEST pdfmark end 800 52423 a Black 1889 x Fj([2])p Black 651 w(L.)439 b(P)-36 b(erez)438 b(Cac)-36 b(ho,)441 b(Sobre)c(la)i(suma)g(de)f(indicadores)g (de)g(ordenes)g(sucesiv)-36 b(os,)441 b Fg(R)-66 b(evista)468 b(Matematic)-66 b(a)2823 55918 y(Hisp)g(ano-A)-33 b(meric)-66 b(ana)530 b Fa(5.3)434 b Fj(\(1939\),)h(45{50.)800 56792 y SDict begin H.S end 800 56792 a 800 56792 a SDict begin 14.5 H.A end 800 56792 a 800 56792 a SDict begin [ /View [/XYZ H.V] /Dest (cite.rie) cvn H.B /DEST pdfmark end 800 56792 a Black 1816 x Fj([3])p Black 651 w(H.)821 b(Riesel,)918 b Fg(Prime)820 b(Numb)-66 b(ers)819 b(and)i(Computer)f(Metho)-66 b(ds)820 b(for)g(F)-100 b(actorization)p Fj(,)917 b(2nd)820 b(edition,)2823 60213 y(Birkh\177)-650 b(auser,)434 b(Boston,)g(1994.) 800 61015 y SDict begin H.S end 800 61015 a 800 61015 a SDict begin 14.5 H.A end 800 61015 a 800 61015 a SDict begin [ /View [/XYZ H.V] /Dest (cite.shapiro) cvn H.B /DEST pdfmark end 800 61015 a Black 1889 x Fj([4])p Black 651 w(H.)514 b(Shapiro,)533 b(An)513 b(arithmetic)h(function)f(arising)h(from)g(the) f Fi(\036)g Fj(function,)533 b Fg(A)-33 b(mer.)537 b(Math.)h(Monthly) 2823 64509 y Fa(50)434 b Fj(\(1943\),)h(18{30.)800 65384 y SDict begin H.S end 800 65384 a 800 65384 a SDict begin 14.5 H.A end 800 65384 a 800 65384 a SDict begin [ /View [/XYZ H.V] /Dest (cite.ven) cvn H.B /DEST pdfmark end 800 65384 a Black 1816 x Fj([5])p Black 651 w(T.)g(V)-108 b(enk)-72 b(ataraman,)433 b(P)-36 b(erfect)434 b(totien)-36 b(t)433 b(n)-36 b(um)g(b)36 b(er,)432 b Fg(Math.)465 b(Student)559 b Fa(43)434 b Fj(\(1975\),)g(178.)p Black 26475 70521 a(6)p Black eop end end %%Page: 7 7 TeXDict begin HPSdict begin 7 6 bop 0 0 a SDict begin /product where{pop product(Distiller)search{pop pop pop version(.)search{exch pop exch pop(3011)eq{gsave newpath 0 0 moveto closepath clip/Courier findfont 10 scalefont setfont 72 72 moveto(.)show grestore}if}{pop}ifelse}{pop}ifelse}if end 0 0 a Black 0 TeXcolorgray 800 -4000 a SDict begin H.S end 800 -4000 a 0 TeXcolorgray 0 TeXcolorgray 800 -4000 a SDict begin H.R end 800 -4000 a 800 -4000 a SDict begin [ /View [/XYZ H.V] /Dest (page.7) cvn H.B /DEST pdfmark end 800 -4000 a Black Black 800 -2672 52000 45 v 3579 x Fj(2000)435 b Fg(Mathematics)464 b(Subje)-66 b(ct)463 b(Classi\014c)-66 b(ation)p Fj(:)577 b(Primary)434 b(11A25.)800 1184 y Fg(Keywor)-66 b(ds:)653 b Fj(totien)-36 b(t,)433 b(p)36 b(erfect)434 b(totien)-36 b(t)433 b(n)-36 b(um)g(b)36 b(er,)432 b(class)i(n)-36 b(um)g(b)36 b(er,)433 b(diophan)-36 b(tine)432 b(equation.)p 800 2815 V 800 5866 a(Receiv)-36 b(ed)548 b(July)f(23)h(2003;)605 b(revised)547 b(v)-36 b(ersion)548 b(receiv)-36 b(ed)547 b(Octob)36 b(er)546 b(2)h(2003.)920 b(Published)546 b(in)h Fg(Journal)569 b(of)800 7471 y(Inte)-66 b(ger)463 b(Se)-66 b(quenc)g(es)p Fj(,)431 b(Decem)-36 b(b)36 b(er)434 b(18)g(2003.)580 b(Minor)433 b(t)-36 b(yp)36 b(o)434 b(corrected,)g(June)f(8)g(2009.)p 800 9102 V 800 11353 a(Return)g(to)p 0 1 0 0 TeXcolorcmyk 6815 11611 a SDict begin H.S end 6815 11611 a 0 1 0 0 TeXcolorcmyk -258 x Fj(Journal)h(of)g(In)-36 b(teger)434 b(Sequences)f(home)g(page)p 0 1 0 0 TeXcolorcmyk 29602 10430 a SDict begin H.R end 29602 10430 a 29602 11353 a SDict begin [ /H /I /Border [0 0 0] /Color [0 1 1] /Action << /Subtype /URI /URI (http://www.math.uwaterloo.ca/JIS/) >> /Subtype /Link H.B /ANN pdfmark end 29602 11353 a Black Fj(.)p Black 26475 70521 a(7)p Black eop end end %%Trailer end