Beruflich Dokumente
Kultur Dokumente
E F A B C
D E F A D
C D A B E
B C B C F
A F E D A
Table o% Contents
&re%a'e(((((((((((((((((((((((((((((((()
&art *+ ,athemati's De'oding the &rime &atterns on -lam.s /piral /0uare(((.....((((...(((.1 2alidating Hardy.s and 3ittle4ood.s Con5e'ture F(((((..((((..(((.$6 7enerating &ythagorean Triples -sing Only /ide a(((((..(((...(((("6 The &attern to &rimiti8e &ythagorean Triples((((((((..((((...((.)" Addendum to &attern o% &rimiti8e &ythagorean Triples....(((..((((...((6" 7oldba'h.s Con5e'ture((((((((((((((((((..(((((..(66 The T4in &rime Con5e'ture+ &ro8en at 3ast.((((..(((((..(((...(...1" Beyond T4in &rimes+ &ro8ing de&oligna'.s Con5e'ture Con'erning the *n%initude o% "9 &rime &airs &art A+ 9 : " 7aps(((((((((((((..(((((..((((..;< &art B+ 9 = " 7aps(((>4or9 in progress?((((((((((..((.xx A /pe'ial Note Con'erning &aired@&rime &roo%s(((((((((..((((..;A
&art **+ /'ien'e Beno.s &aradoxes+ Dis'o8ering ,otion.s /ignature At a Dimensionless *nstant o% Time(((((((((((..((((.......C" Dhy 2enus *s a Failed Home %or 3i%e and its /igni%i'an'e ......(((..((((..A$
&re%a'e
2011 As an analyst, policymaker, and educator in my varied professional life, I have always carried with me a fascination for problems on the cutting (or unsolved) edges of science and mathematics. I have pondered why we cannot solve certain problems, even though we have had decades or centuries to do so. ave they been that daunting, or is it more a case of not recogni!ing the most fruitful path for constructing their solution. I think back to the "tolemaic system for predicting planetary motions across the more stable pattern of the background stars in the evening skies# the ancient $reeks and those who adopted their science tried to e%plain the retrograde motion of the superior (or outer) planets employing a comple% system of epicycles that predicted, with some accuracy, the future locations of the planets in an &arth' centered universe. (laudius "tolemy)s system worked, but it was not ideal. *here was no way to eliminate or account for all error in the system. &ven the (opernican system could not, at first, e%plain planetary motions more accurately, as its sun'centered system had the planets revolving around the sun in circular orbits. It re+uired ,ohannes -epler)s insight that the planets followed elliptical orbits to develop a more accurate plotting of planetary pathways, and his work had to be preceded by *ycho .rahe)s meticulous observations for those elliptical orbits to become evident. /nfortunately for scientific progress, Aristarchus had an insight very similar to that of 0icholas (opernicus, eighteen centuries earlier, suggesting that the earth revolved around the sun, but his idea garnered little support among the ellenistic $reeks. *hat problem in planetary mechanics suggests that the solution of any challenge may re+uire both careful observation and the discovery of the analytical key to understanding the problem before it can be solved. -epler needed .rahe)s earlier work before he could discern the correct geometric construction for the planetary orbits, and that would need 1ir Isaac 0ewton)s and Albert &instein)s later studies of gravitation to more precisely account for observed orbital deviations from -epler)s theoretical construct. 1imilarly, mathematical problems oftentimes re+uire the development of a special analytical tool before they can be solved, even if they do not rank with the importance of planetary motions. 2ithout the correct tool, a given problem may seem unsolvable, or only partially solvable. I have, over the period of a few years, been e%perimenting with a few simple mathematical concepts to see what new insights might be achieved through their use. *hose concepts are not actually new, but their potential has been overlooked as other pathways towards problem solution have been pursued. *he use of a modified base'3 system, with which I began e%perimenting in 4553'56, in the later resolution of the apparent prime patterns in /lam)s 1piral 1+uare involved the application of the recognition that all primes e%cept for 2 and 3 can be reduced to two mathematical e%pressions# 1x F $ and 1x F <, where x is any whole number. All primes e%cept for those first two can be calculated using one or the other of those two e%pressions, though many composites will also arise from their use. (hanging the representation of the spiral s+uare)s elements from base'47 to a modified base'3 provided the key to recognition of why /lam)s patterns are real. *hat problem)s solution also re+uired re8ection of the spiral s+uare concept in favor of an infinite series of embedded s+uares. I have decided to assemble the work I have undertaken in an e'book and post it on the internet for anyone who might find it of interest. I leave it to my readers to determine what truly has value. *he new field of electronic publishing, in this manner, becomes a revival of 9enaissance times when scientific and mathematical investigators shared their work by letter with those in whom they had confidence. I offer mine to all who share my curiosity in mathematics and science. I will be adding sections ' an e%pected total of 4: or 43 articles ' to my e'book as I complete them, so this will be an on'going, evolving work. As any internet posting can be changed with minimal effort in contrast with traditional publication routes, I see no reason to refrain from making changes if I uncover something new of value to share or discern a need for correction or enhancement in anything that I have already published. *herein lays the pleasure, the challenge, and the value of working in an open, electronic world.
&art *+ ,athemati's
1eemingly insoluble problems, or at least those that initially appear to defy solution, are not always as difficult to resolve as they might seem. At times, finding the correct pathway to their solution is merely a matter of visuali!ation, as is the case with the decoding of the prime number pattern in spiral s+uares. *he late 1tanislaw /lam (4575';6) sketched a spiral s+uare of consecutive integers, like that in <igure I, during a boring presentation at a 4533 scientific conference. =ysteriously, the primes in his s+uare seemed to prefer certain odd'number diagonals over others. Figure * -lam.s /piral /0uare
477 3: 33 1; 3; 35 >7 ;$ >2 ;) 55 36 ); 3; 35 67 64 62 6) >6 5; 33 33 $; 4; $A 27 24 66 >: A; 32 3: 43 < 3 ; 22 6: >3 53 1$ 36 4: 6 4 ; ") 63 >> 5: 37 33 46 ) " 5 26 6; >; 56 <A 32 $) 42 $$ 47 2: 6; ;A 53 :; )$ 37 "A 2; 2> 23 65 ;7 52 :> :3 :: :6 <) :2 :4 :7 ;4 54 57 CA ;; ;> ;3 ;: ;6 C) ;2
/lam was an e%ceptionally talented mathematician who had emigrated from his native "oland to the /nited 1tates in 453;. &ventually 8oining the =anhattan "ro8ect, he was 8ointly credited with the *eller'/lam design for thermonuclear weapons. e also originated the concept of nuclear pulse propulsion and devised the Monte Carlo method for solving mathematical problems using statistical sampling. /lam)s mathematical interests spanned number, set, and ergodic theories as well as algebraic topology.
>
/lam)s discovery was intriguing enough to grace the cover of Scientific American in =arch, 4536. /ntil now, that ostensible prime'loading difference has eluded e%planationA no proof has been advanced that confirms that variations in the loading are real, not illusory. "rimes, of course, do not follow a pattern that can be unfailingly reproduced through the use of any known algebraic e%pression, but that does not preclude the e%istence of certain broad patterns to their progression.
A /olution Emerges
*he solution to the mystery underlying /lam)s 1piral 1+uare lay in discovering the best approach to visuali!ing the problem. /lam plotted his s+uare in base'47. 1ubse+uent attempts to prove differential prime'loading on the spiral s+uare)s diagonals have also been couched in base'47. owever, base'47 does not lend itself to spotting the correct approach to this and other pattern problems involving primesA base'3 offers a visually more powerful tool. *able I illustrates how all primes e%cept for the integers two and three fall in 8ust two of that table)s si% modular columns ' specifically A and &. *he base'47 integers in those columns can be converted into modified base'3 numbers that could arbitrarily employ the letters A through < as their final digits for convenience and ease of recognition. *hat modified system would not include !ero as a placeholder because /lam)s 1piral started with a one and not a !ero. &%cluding the integer two, all members of columns ., @, and < in *able I are composites, being whole'number multiples of two. All members of the set defined by membership in column ( are odd multiples of three, therefore making all of them, e%cept for three, composites. *hat leaves columns A and & as the repositories for all of the remaining primes and, in this modified base'3 arrangement, all of those integers, once converted into base' 3 integers, would end in either an A or an & (such as :3 B A.&, which would be recorded as an & in this analysis) simplified representation). *here will, of course, also be composites in (olumns A and & of Table * Con8erting Base@$# to Base@1 ,odularly
A 4 ; $) $A 2: )$ ); 6) 65 :: 1$ 1; ;) ;A ;: 54 A; B " ; 46 27 23 32 3; 66 :7 :3 32 3; >6 ;7 ;3 52 5; C ) 5 4: 24 2> 33 35 6: :4 :> 33 35 >: ;4 ;> 53 55 D 6 47 43 22 2; 36 67 63 :2 :; 36 >7 >3 ;2 ;; 56 477 E < $$ $; ") "A 3: 6$ 6; <) <A 3: ;$ >> C) CA 5: $#$ F 3 42 4; 26 37 33 62 6; :6 37 33 >2 >; ;6 57 53 472
*able I. <igure II utili!es those converted integers to construct a spiral s+uare in base'3, but it displays only the last digit in the base'3 progressionA that is the key to the successful visuali!ation. =athematicians have known that all primes other than two and three can be represented by the e%pressions 3n C 4 and 3n C : where n is an integerA the members of the set comprising (olumn A are represented by the former of those two e%pressions while those comprising (olumn & are represented by
;
the latter. *hey have not, though, applied that knowledge to a visual representation of /lam)s 1piral 1+uare. Figure ** -lam.s /piral Con8erted ,odularly
A . ( @ & < A . ( @ & < < E < A . ( @ & < A . ( & @ E < A . ( @ E < A @ @ ( @ A . ( @ E < A . E ( . ( < E < A . C . C < . A . & @ E < A @ C @ A A < A @ ( @ A . & @ & . < & < ( . C . C < & < ( & @ & . A < E @ A < A @ @ ( @ A < E @ ( . A . & ( . C . A < E @ ( . C < . A < & @ C . A < & @ A A < & @ C . A < & @ ( .
&lements of the principal diagonal are highlighted in red 1ample diagonal patterns are highlighted in blue
*he diagonals of the spiral s+uare depicted in <igure I alternate between odd and even integers. 2hat is here termed, for reference purposes, the principal diagonal, running from 3: through 4 to ;4, divides /lam)s spiral into two halves, the upper right (/9) and the lower left (??). It actually does not matter which way /lam)s 1piral is orientedA the direction that the diagonals are deemed to run will not matter even though the patterns that will be discussed here would appear a bit different if the spiral s+uare were rotated 57o. /lam)s orientation will be retained, but it will be apparent to the careful observer that orientation would not change the e%planation for the patterns observed in prime'loading on certain diagonals. *he construction of /lam)s 1piral holds the key to understanding why primes not only appear to favor certain diagonals but do, indeed, appear on some diagonals with greater fre+uency than on others. /lam)s 1piral 1+uare can be conceived as a series of embedded s+uares formed about the initial, starting point (in this case 4 in base'47 or A in base'3). =oving outward, each layer has eight more elements than the layer underneath it beginning with eight elements, or integers, in the first s+uare that surrounds the starting point. =oving outwards from that initial s+uare, the number of elements in the layers thus follows the progression ;, 43, 26, 32, 67D <igure III illustrates how those eight elements are added to each layerA
5
numbers from an inner s+uare can be paired with those in the ne%t s+uare heading outward, and doing so will leave eight unpaired elements in the outer one of the two ad8acent s+uares. &mbedding a smaller s+uare immediately inside a larger s+uare re+uires each side of the outer s+uare to be two elements longer than each side of the inner s+uare. Figure *** -lam.s /piral Embedded /0uares
$#$ $#" $#) $#6 $#< $#< $#1 $#; $#C $#A $$# $## 3: 33 3> 3; 35 >7 >4 >2 >3 $$$ AA 36 ); )C )A 6# 6$ 6" 6) >6 $$" AC 33 )1 4> 4; 45 27 24 66 >: $$) A; 32 )< 43 < 1 ; 22 6< >3 $$6 A1 34 )6 4: 6 $ C 23 61 >> $$< A< 37 )) 46 ) " A 26 6; >; $$1 A6 :5 )" 43 $" $$ 47 2: 6C >5 $$; A) :; )$ )# "A "C "; "1 6A ;7 $$C A" :> :3 :: :6 :3 <" :4 :7 ;4 $$A A$ A# CA CC C; C1 C< C6 C) C" $"#
.ecause si% (the base system in <igure II) and eight (the number of elements consecutively added to each embedded s+uare of the spiral moving outwards) have a least common multiple of 26, that ?(= becomes critical to understanding how the prime density on the diagonals is real and not imaginary. *o understand how that happens, it becomes necessary to determine how the gaps between every three elements on a given diagonal come to always be multiples of si%. 2hile the spiral s+uare could be oriented in any one of four positions, /lam)s original alignment will be used. *he gaps between every third element will be e%plained moving upward to the right from the principal diagonal, but that choice is strictly arbitraryA the same e%planation would result, albeit with different numbers, employing any one of the three other possible orientations. 1tarting with 4 at the center of the spiral s+uare, moving outward along its diagonal finds the se+uence 4, 3, 43, 34, :>, 54D <ollowing the spiral pathway outward from the first element on the diagonal to the ne%t three, the first 8ump, from 4 to 3 is two spaces, which is accomplished by moving one element to the right from 4 to 2 and then up one element to 3. *he ne%t move would follow that first embedded s+uare around to 5 and then 8ump one to the right to 47, which is the first element on the second embedded s+uare, before moving upward to 43. *he same net effect, however, could be accomplished by making a complete circuit of the first embedded s+uare from 3 back around to 3, then 8umping one element to the right to 42 on the second s+uare, then moving up one more to 43. *hat switches the 8ump from s+uare one to s+uare two from 47'2>
47
to 43'37A the move upward from 37 to 34 remains the same, but switch has the valuable result of creating two steps following the circuit of the inner s+uare that matches the two steps from 4'2 to 2'3. *he total number of steps does not change, but doing it that second way has the advantage of aiding visuali!ation of how multiples of eight come into play. &ach embedded s+uare has a multiple of eight elements, the number of which can be calculated by multiplying the number of the s+uare (numbering s+uare 2'5 as one, 47'2: as twoD) by eight. =oving outward three elements along an upper right diagonal will mean moving outward three embedded s+uares. =oving from 4 to 34 adds eight for s+uare one and 43 for s+uare two, or 26 total. *he three 8umps from 4 to s+uare one, from s+uare one to s+uare two, and from s+uare two to s+uare three adds si% more to the total. =oving outward along a diagonal will thereby add multiples of si% every three elements along that diagonal, as *able II illustrates for three e%amples. *hree consecutive embedded s+uares will have a multiple of 3%; elements, as any three consecutive integers added together will constitute a multiple of three, which will result in a multiple of the ?(= of si% and eight. 1i% will always be added to that figure to account for the three successive 8umps to the ne%t outermost s+uares. Table ** Cal'ulating the Number o% Elements /piraling Out4ard Three Conse'uti8e /0uares From $ to )$ First /0uare 7E /e'ond /0uare ; Third /0uare 43 Total 26 C 2 C 2 C 2 C 3 From ) to <; ; C 2 43 C 2 26 C 2 6; C 3 From $) to A$ 43 C 2 26 C 2 32 C 2 >2 C 3
E 4 is not part of a s+uare, hence the 7 value *he same numbers result from moving from any element on the upper right portion of any embedded s+uare outward. It must be remembered, though, that elements on the principle diagonal running from : to the upper left (:, 4>, 3>D) are part of the upper half of an embedded s+uare and are part of the diagonals that move towards the upper right. *he lower right'hand corners of the embedded s+uares (5, 2:, 65D), which are s+uares of consecutive odd integers, constitute parts of the lower left portions of their embedded s+uares and therefore count in calculating diagonals that run towards the lower left portion of /lam)s 1piral 1+uare. *he center of the principle diagonal (4) can be used in calculating diagonals in either direction.. *able III lists those patterns that are created on the odd diagonals. *hey repeat on every third diagonal in either the /9 or ?? halves of the s+uare, due to the same principles that cause the patterns to repeat on the odd'number diagonals. Table *** Base@1 &atterns on -lam.s Odd Diagonals 3o4er 3e%t
A(A or AA( ((& or (&( A&&
-pper Eight
A(A or (AA &&A &(( or (&(
aving different prime'loading densities does not preclude certain diagonal segments from possessing brief spans of greater density. Average density does not control the e%act location of primes, but it will result in certain diagonals having greater affinities for primes than others. "rimes therefore do favor certain diagonals in /lam)s 1piral. *he matter does not stop thereA base'3 provides only a rough outline of how the densities differ. &ven clearer pictures of differing densities can be obtained using base'37 and base'247 for starters. ,ust as base'2 would put all but one prime on the odd diagonals, utili!ing successively larger factorials of the primes through the nth prime G2%3%:%>%44D%(nth)H would provide even greater definition for the prime' loading densities. .ut as there are an infinite number of primes, no absolute values for the diagonals will ever be attainable. <or practical purposes, the results using base'37 could be crafted with a little e%tra effort, but base'247, base'2347, and base'37737 rapidly become too comple% to make the effort worthwhile once the principle is understood. /lam)s 1piral 1+uare does have different prime'loadings on its diagonals. It is real, not 8ust apparent, and it is due to the structure of /lam)s 1piral 1+uare and how it interfaces with where primes appear in the structure of the number system. <urther investigation of the spiral s+uare)s structure would reveal a wealth of less'distinct patterns, including patterns which can be found on the hori!ontal rows and the vertical columns of the s+uare. As with the prime'loading on the spiral s+uare)s diagonals, those patterns are more easily discerned and e%plained employing the modified base'3 arrangement used in the foregoing analysis than they are in base'47A knowing how the spiral s+uare)s structure creates them may make the search for those density patterns more fruitful.
42 Histori'al Ee%eren'es
$ardner, =. I=athematical 9ecreations# *he 9emarkable ?ore of the "rime 0umber.J American. (=arch, 4536) v.247, pp.427';. 1cientific
"eterson, Ivars. I"rime 1pirals.J 1cience 0ews. =ay 3, 2772. http#KKsciencenews.orgKviewKauthoredKid 36KnameKIvarsL"eterson 1tein, =. and /lam, 1.=. IAn Mbservation on the @istribution of "rimes. American =athematical =onthly. (453>) v.>6, pp.63'6. 1tein, =.?.A /lam, 1.=.A and 2ells, =... IA Fisual @isplay of 1ome "roperties of the @istribution of "rimes.J American =athematical =onthly. (4536) v.>4, pp.:43'27.
43
Techniques
There are times when analytical techniques developed to aid in the solution of one problem can be applied to the solution of another. The use of a modified base-6 in the resolution of the question about prime-loading in Stanislaw lam!s spiral square opened up possibilities with other problems in number theory. "ne of the first that the author considered is #ardy-$ittlewood!s Con%ecture &. The following article was written in '()) based upon research conducted on that topic in early '()). The author undertoo* the solution of this problem even though it was similar to the spiral square because there are differences between it and the square+ had he solved them in the reverse order, #ardy-$ittlewood would have validated the con%ecture that primes do favor certain diagonals in the spiral square, but the reverse is only partially resolved because #ardy-$ittlewood trinomials do not necessarily generate straight rays from their outset. The validation of Con%ecture & therefore required a little e-tra wor*, but that wor* was based upon the recognition that the modified base-6 employed by the author in the solution of lam!s patterns would also provide the e-planation for the #ardy-$ittlewood prime density con%ecture.
46
4:
<rom a +uick visual inspection, the columns for base'3 numbers ending in ., /, and & possess only one prime# ". (olumn C has only one prime# ). All of the other numbers in those four columns are composites. *he remaining primes in their infinitude are confined to the columns for A and 0. *hat has an important practical conse+uence in the validation of ardy)s and ?ittlewood)s (on8ecture <.
x 7 4 2 3 6 : 3 > ; 5 47
*hat eventually defines a diagonal in /lam)s 1piral 1+uare, but at first it appears to 8ump around, as depicted in <igure I. *hat means that while there may be considerable similarities between the ardy' ?ittlewood (on8ecture < trinomials and /lam)s 1piral 1+uare, there are visible differences. <igure I illustrates that point for the trinomial already noted as prime'rich, 6x" @ "x F 6$. *he progression ultimately follows a diagonal track, heading off to the upper right of the spiral s+uare, but it does not begin that way, which it cannot because the initial value is 64 and the second value is an increase of only two at that point, going to 63. Net, trinomials) prime'loading under ardy'?ittlewood can be e%plained in the same manner as that for the spiral s+uare)s diagonal prime densities. In *able II, the initial value for the trinomial increases at a predictable rate as the value of % is steadily increased by one at each step. 2here x : #, the e%pression is simply e+ual to 64. <or x : $, 6x" @ "x will be two, or 6 @ ", representing a F b from the trinomial. *he value of the e%pression now begins to
43
accelerate, adding eight to the previous increase to generate the ne%t increase in the trinomial)s value. *he modified base'3 employed by the author increases by si% for each cycle of the base while multiples of eight are inherent in the generation of the trinomial)s resulting values when the value of % is successively raised by one.
444 442 443 446 44: 443 44> 44; 445 427 424 422 4>4 22; 253 4:5 437 434 432 433 436 43: 433 43> 43; 435 4>7 22> 252 246 24: 243 24> 24; 245 227 224 222 "") 226 22: 223 254 2>> 2>; 2>5 2;7 "C$ 2;2 2;3 2;6 2;: 2;3 2;> 2;; 2;5 257 Initial Falues for .inomial @isplayed in Eed
*he analysis may now proceed in the same manner employed to analy!e the modularity of /lam)s 1piral 1+uare in the author)s paper on that sub8ect (deApri%, 2775). (ontinuing with the trinomial 6x" @ "x F 6$, the values obtained by substituting consecutive natural numbers for x in the e%pression yield an interesting result, very reminiscent to that discovered for diagonals in /lam)s 1piral 1+uare. *able III displays how those values for the trinomial follow an &'A'& pattern when converted to the author)s analytical tool that springs from a modified base'3. *able IF details how that modularity works for 6x" @ "x F 6$A if the initial value for x is set at n, consecutive natural'number values for x will be n F $, n F ", and n F ). *he columns in *able IF detail the relationships between the initial ( n) through fourth consecutive values for x (n F )) beginning with the first three whole'number values of x for the trinomial. In each of those three progressions, eight (consecutive multiples of which, in this case, are added at each step as the value of x is increased by one) and si% mesh together modularly to make every third value of the
4>
trinomial a member of the base'3 set defined by one of the si% symbols designating the last digit of each number (as with either A or &). In the case of 6x" @ "x F6, two is added to the difference between the trinomial)s value at each increase in x of one because that is the initial difference between x : # and x : $A increases accumulate which means that two is part of each succeeding increase and must be dealt with when e%ploring how the modularities mesh. .ecause eight is added to the increase between consecutive values of the trinomial over the preceding increase, a multiple of si% is also achieved after three consecutive steps of adding one to the whole'number value of x. Table *** Con8erting the *nitial 2alues o% 6x" @"x F 6$ to ,odi%ied Base@1
2alue 64 63 :3 >4 5> 434 4>3 223 2;4 Base@1 0 A 0 0 A 0 0 A 0
Table *2 Cal'ulating Di%%eren'es bet4een 2alues %or 6x" @ "x F 6 Dhere n *s *n'reased by Three From 6$ to ;$ >n : # %or 6$? For *n'reasing 2alues o% x from n to n C 4 from n C 4 to n C 2 from n C 2 to n C 3 Total 7(;) C 2 4(;) C 2 2(;) C 2 3(;) C 3 37 From 6) to A; >n : $ %or 6)? 4(;) C 2 2(;) C 2 3(;) C 2 3(;) C 3 :6 From <) to $)$ >n : " %or <)? 2(;) C 2 3(;) C 2 6(;) C 2 5(;) C 2 ;6
<our other trinomials are detailed in *able FA in each case, the trinomial)s values pair up modularly with modified base'3 ending digits (A through <). *he first of those trinomials, 6x" F "x F 6$ changes b from a negative to a positive value ( @" to ") in comparison with the trinomial e%amined above, ultimately changing it from a diagonal ray in /lam)s 1piral 1+uare. Although bs value has been changed to a positive one, its progression in base'3 is also an &'A'& Galthough 6x" F "x F 6$ starts off as &'&'A, that is 8ust a different starting point for the same two &s and an A patternA a similar phenomenon is found on opposite sides of the main diagonal in the 1piral 1+uare for some progressions (deApri%, 2775)H. 2ith all but two primes included within their progressions, A and & have greater prime'loadings than the progressions of the other modified base'3 ending digits and that trinomial, like its @ "x cousin will have greater prime'loadings than progressions featuring only ., (, @, or < progressions and should have greater densities than those progressions that mi% the two prime'rich progressions with any of the four prime'poor ones.
4;
*able F)s second and third trinomials have negative b values, like 6x" @ "x F 6$, but a changes from four to two in the second of those two cases while c is even for both *he change in a from four to two changes the rate of increase in the increases of the trinomial)s successive values from eight to four. *he change in c from odd to even has the very profound effect of changing all of the trinomial)s values from odd to even, which in these two instances have no primes. *he base'3 representations of each of the two trinomials) values will follow patterns like the previous (odd'value) trinomials, but no Table 2 Comparing &rime 3oadings %or /e8eral Other /ele'ted &olynomials BinomialG 2alue %or B A. 6x" F "x F 6$ 7 4 2 3 6 : B. 6x" @ "x F 6# 7 4 2 3 6 : C. "x" @ "x F )1 7 4 2 3 6 : D. "x" @ x F "< 7 4 2 3 6 : 3 > ; 5 47 44 Expression.s 2alue %or 7i8en B 6$ 6; 1$ C) $$) $<$ 67 62 :2 >7 53 437 33 33 67 6; 37 >3 2: 23 )$ 67 <) >7 54 443 46: 4>; 24: 2:3
"rimes highlighted in red
Base@1 Eepresentation & & A & & A @ < @ @ < @ < < @ < < @ A . A @ & @ A . A @ & @
primes can or will be generated. *hose e%amples, and the changes within them, demonstrate that at least some trinomials create progressions in their values that vary in their prime densities. *hat is a ma8or step in validating that trinomials have different prime densities. As the ardy'?ittlewood (on8ecture regarding
45
prime densities specifies that there will be different densities, it is not necessary to prove it in each and every possible caseA it need only be shown that different densities arise and e%plain why they arise and how their structure leads them to have those different prime'loadings. *he ensuing section takes on those tasks.
27
=eanwhile, a F b also plays a role in the increase in value of trinomial e%pressions as x is increased. "art A in *able FII illustrates how consecutive s+uares increase in value. *he rate of change is ". *hat generates the "a rate of change in trinomials, as x" may likewise be conceived of as $x". If a = $, that value for a is simply substituted for $. "art . shows that there is no rate of change for increases in the value of x. It increases by $ at each step. As shown above, both a and b contribute to the increase in value by being multiplied for successive steps beyond x : $ for each trinomial. Table 2** 7enesis o% the "a Eate o% Change
&art A *n'rease in 2alues o% x" *n'rease in x" 2alues as x *n'reases by Conse'uti8e *ntegers ' 4 O 2 3 6 : 6 5 43 2: 3 O : O > O 5 O &art B *n'reases in 2alues o% x *n'rease in x 2alues as x *n'reases by Conse'uti8e *ntegers ' 4 O 2 3 6 : 4 O 4 O 4 O 4 O # # # # # Eate o% Change o% *n'rease in x " " " " " Eate o% Change o% *n'rease in x"
x 7 4
x" 7 4
x 7 4
*ables FI and FII seem to show that "a constitutes the ma8or portion in the increases in value of trinomial e%pressions. owever, seeming to show something and irrefutably demonstrating it are two different propositions. *he two tables provide anecdotal evidence, not irrefutable proofA they only represent illustrative cases. *he parameters of the role of "a as x is increased by successive whole numbers become evident through the derivation of an e+uation based upon the elements of the trinomial e%pression. *hat derivation begins with a simple identity statement#
24
>x @ $?>x? : >x @ $?>x? " " *he e%pression >x @ $?>x? , more commonly written as >x?>x F $) , is used to calculate the cumulative " " addition of all consecutive natural numbers from $ through n inclusive. (onventionally, x represents n, but nothing is violated by employing >x @ $? to represent n as long as x then represents the natural number $ greater than >x @ $?A it is 8ust a different way of writing the e%pression which calculates the value of the cumulative addition, but the importance of writing the e%pression as >x @ $?>x? will be evident shortly. " Mne side of the identity statement above will be replaced with an e%pression that will represent cumulative addition (8ust as xH represents the factorial of x, or the cumulative multiplication of the consecutive natural numbers from $ through x inclusiveA a I following a number or algebraic e%pression will represent the cumulative addition of the successive natural numbers from $ through that given number or e%pression inclusive). /sing that symbol in an e+uation will help identify the process of cumulative addition in a larger e+uation. Although the symbol P I) is new ' created by the author because he could not find a representation for cumulative addition in use elsewhere ' the concept of cumulative addition is not new. >x @ $?>x? : >x @ $?I " 0e%t, both sides of the e+uation will be divided by x, and then multiplied by "a, the role of which is here being investigated# >x @ $? : >x @ $?I " x a>x @ $? : "aJ>x @ $?IK x ax @ a : "aJ>x @ $?IK x *he e%pression >a F b? is then added to both sides of the e+uation, followed by multiplying both sides by x# ax F b : >a F b? F "aJ>x @ $?IK x ax" Fbx : >a F b?x F "aJ>x @ $?IK *his e+uation now demonstrates that the increase over the initial value of the trinomial, ' (where x : #), is the result of two processes. *he first, >a F b?x, generates the second value of the trinomial, where x : $, when it is combined with '. owever, a F b will continue to contribute to the subse+uent values of the trinomial, multiplied by the ever'increasing values of x. *he second component "a, +uickly becomes the ma8or contributor to the trinomial)s increase in value because it is multiplied by the cumulative addition of x @ $. *he e+uation, as a whole, shows that any increase over the constant ' will always include "a as an growing proportion of the trinomial)s increase over its initial value, '. *he set of values for the trinomial, beginning with ' and continuing onward through infinity as x in ax" F bx increases thus becomes predictable and can be plotted out as repeating sets of modified base'3 terms. As the ardy'?ittlewood (on8ecture < speaks to some polynomial e%pressions having greater prime densities than the e%pected average, demonstrating that (on8ecture)s truth for trinomials validates the (on8ecture because some trinomials are prime'rich, as demonstrated by e%ample above, and others are prime'poor. ad (on8ecture < been demonstrated correct first, the apparent prime patterns in /lam)s 1piral 1+uare could have been proven real as a spin'off of the ardy'?ittlewood proofA as it turns out, the reverse happened.
22
*he differing prime densities also occur with binomials (which may be considered trinomials where a : #, though that is not commonly done). *he e%pression "x F ) will include all of the primes e%cept for " while "x F " will only include the prime ". *he need to prove anything further is moot, however, because proving how and why trinomials have differing prime densities demonstrates the validity of ardy and ?ittlewood)s con8ecture without going through the infinite number of polynomial orders.
Histori'al Ee%eren'es
deApri%, Albert . ,r. I@ecoding the "rime "atterns on /lam)s 1piral 1+uare.J &%amining (ertain Mpen Questions in 0umber *heory. (2775). https#KKwww.scribd.comKAlR27deApri% ardy, $. . and ?ittlewood, ,.&. I1ome "roblems of P"artito 0umerorum)A Mn the &%pression of a 0umber as a 1um of "rimes.J (4523). Acta =athematica, 66# 4'>7.
23
P !ha"#$ean T$i%&es
1ythagorean triples have always held a fascination for this author. They have served as a gateway for understanding geometry, trigonometry, number systems, and even cosmology 2the author hopes to include several papers on the latter two topics in this e-boo* before it is completed3. "ne of the first problems with which the author dealt in high school involved the calculation of triples 2or 1Ts3. 4t was not until about a do5en years ago that he completed a complete formula for the calculation of all 1Ts. "thers have also devised systems for calculating triples using %ust one side, but what is e-ceptionally interesting is the diverse ways in which they have proven such systems correct. The author added in his system in part because it offered another unique means of validating calculations using %ust one side and because it also led, through the construction of his three tables 24, 44, and 444 in the succeeding article3 to a system of organi5ing 1ythagorean Triples and 1rimitive 1ythagorean Triples 211Ts3 into a format that leads in 6The 1attern to 1rimitive 1ythagorean Triples7 to an algorithm that organi5es all 1Ts and 11Ts in a logical grouping by magnitude. The *ey to all of that came out of reali5ing that the 1ythagorean Theorem could be written as a2 = c2 ' b2. "rgani5ing triples on the basis of a enabled the author to more easily visuali5e new patterns in the data.
26
<or n = 2, 2n will be greater than n2 ' 1, otherwise n2 ' 1 will be the greater of the two +uantities. *he early $reeks also reali!ed, even though they did not have algebraic notation, that# a = (2'n2, b = 2(n, c = (2+n2
where ()n, ( and n are positive integers that are relatively prime (having no common factor greater than 4), and where ( and n are of opposite parity (which means that one of them is even while the other is odd). *he former of the two algorithms will not generate all "ythagorean triples while the latter will do so. In the series of triples generated using either method, some results will be primitive triples, which means that they are triples that have no common factor between all three that is greater than 4. Mthers will be nonprimitive, or multiples of primitive triples. 9. . @ye and 9.2.@. 0ickalls from &ngland published an algorithm in 455; G@ye and 0ickallsH that would e%press a triple as# x *hat allowed them to set up the e+uation# >x"@b"? "b >x"Fb"? "b
2:
x" @ "bx @ >b" F "b? : # 1pecifying rules for the use of the e+uation in different mathematical situations, the e+uation could be solved to produce roots, one of which would lead to the calculation of a triple by substituting that root into the e%pressions for the three sides of the right triangle. Another interesting approach was developed by .. 9ichardson, who employed matrices to generate "ythagorean triples G9ichardsonH. A close approach to the author)s system came in 455>, with 9. 1imms, whose formulae represented special cases of the current author)s general e+uations for generating b and c from a G1immsH. 2.,. 1pe!eski developed a method for deriving "ythagorean triples that produced a formula like the author)s, publishing it in 277; G1pe!eskiH, but he arrived at his e+uations using a different approach ' which stands as testament to the adage that there may be many roads to the truth. *he author)s e+uations generate all "ythagorean triples using 8ust one side of the right triangle, but they re+uire specifying a whole'number c'b difference and the author e%plains how that may be determined. *hat new algorithm for generating all "ythagorean triples uses two e+uations to calculate b and c from a# b : a" @ >' @ b?" " >' @ b? and ' : a" @ >' @ b?" F >' @ b? " >' @ b? <rom a cursory e%amination, it is evident that the validity of the second e+uation (for c) hinges upon the validity of the e+uation for calculating b, as c is greater than b by the difference between the two numbers. *hat re+uires demonstrating how the e+uation for b was derived. *hat derivation begins with a simple identity statement# b : b Mne side of that e+uation can be multiplied by an equivalent of 4 without altering the statement)s e+uality# b : "b " .y ne%t adding the equivalent of 7 to the right'hand side of the e+uation and applying the commutative property of addition to rearrange the order of the terms, a more useful e%pression begins to emerge# b : "b F >' @ '? " b : >' F b? @ >' @ b? " 0e%t, the right'hand side of the e+uation is multiplied by another, different, value that is also equivalent to 4# b : >' F b? @ >' @ b? . >' @ b? " >' @ b? b : >' F b?>' @ b? @ >' @ b?" ">' @ b? @igressing for a moment, the "ythagorean *heorem holds that#
23
'" : a" F b" *he terms of the theorem may be rearranged, and then factored, to yield# a" : '" @ b" a" : >' F b?>' @ b? At this point, a2 may now be substituted into the e+uation for its e+uivalent to produce# b : a" @ >' @ b?" ">' @ b? or the e+uation for calculating b. *he e+uation does employ c ' b, but it does not re+uire knowledge of the values for either c or b. *he e+uations for generating b and c are valid for all possible values for right triangles including decimal and fractional values, as well as the sought'after triples. 9ecogni!ing that the e+uation for b is valid, the companion e+uation for calculating c may now be simplified a bit# ' : a" @ >' @ b?" F >' @ b? ">' @ b? ' : a" @ >' @ b?" F >' @ b? . ">' @ b? ">' @ b? $ ">' @ b? ' : a" @ >' @ b?" F ">' @ b?" " >' @ b? ' : a" F >' @ b?" " >' @ b? -nowing how to apply the e+uation to attain the desired end now becomes important, and an arrangement of "ythagorean triples into three types, or subcategories, will make it clear how that must be done by focusing on primitive triples. Mrgani!ing "ythagorean triples into three types based upon the values of a and *c ' b), which for simplicity will now be e%pressed as + (for difference), enables the mathematical detective to observe patterns in the primitive triples and develop algorithms for calculating them. 2ith the substitution of + for *c ' b), the two e+uations now become# b = a2 ' +2 2+ and c = a2 + +2 2+
*he e+uation for c now looks similar to the one employed by the ancients, though theirs used two numbers that were not a and d. *he student of number theory should recogni!e at this point that the e+uations derived for describing the relationships between a, b, and c and calculating the latter two sides employing a place constraints upon the values for +. D and a must have a common factor(s) because 2+ must divide cleanly into a2 ' +2 and a2 + +2 for "ythagorean triples to result. *he absence of a common factor would result in the generation of decimal values for b and c. @ecimal values will also result when a and + have opposite parity, again because the difference and sum of their s+uares must be cleanly divisible by 2+. *he three types of primitive triples are illustrated in *ables I ' III. 1ome of the triples in each of those tables have been highlighted in redA those are multiples of other triples and were included in the tables as placeholders to make the mathematical progression of triples clearer and to provide for the most effective illustration of the algorithms for calculating the primitives.
2>
*able I displays the primitive triples where a is odd (thus the *ype M designation). *he first do!en triples for the initial five values of + are included. At the top, + is set forth both as a whole number and as an e%pression, e.g. *1 . ,2). In that e%pression, 1 is designated the multiplier and , is labeled the root *$)A that distinction is made because the $ will have an application in understanding the relationship between a and +. *hrough the operation of the e+uations for b and c, $ will comprise a progression of the odd whole numbers from 1 through infinity. 2hile it may seem unnecessary to list the multiplier in *able M, its inclusion provides for similar treatment for *ype M and *ype & (even) triples (for which the multiplier is 2). *he a for the first triple for each permissible value for + must be e+ual to + + 2$. *he values for a in each column then proceed by intervals that e+ual 2$. - or any factor of $ if $ can be factored, becomes the common factor that a and + must share. Falues for a that do not share a common factor with $ will therefore result in decimal values for b and c due to the e+uations that generate them from a. <or *ype M triples, then, a will be an odd multiple of $ for a given +, provided that a ) +. 1ir Arthur (onan @oyle, speaking through his famous fictional detective, 1herlock olmes, observed that sometimes what is not perceived is more important than what is heard or seen. ?oosely borrowing that concept from *he ound of the .askervilles, certain nonprimitive triples, displayed in red, have been added to *ables I ' III. *hey would not ordinarily be included in a listing of primitive triples, but their presence aids in the visuali!ation of the relationships being discussed. ,ust as the absence of a barking dog solved the case for olmes, the missing triples are a key to creating the new algorithms. *he patterns to the primitive triples are much more difficult to spot in straight listings of primitive triples, like those published on websites like those of 9utgers, (lark /niversity, and the /niversity of /tah)s mathematics website, all of which the author has used upon occasion. 9utgers) list of primitives puts primitive triples in order by the magnitude of side c G9utgersH. *he lists that the author has employed are very useful in providing the raw data needed for research, but they must be refined through a sorting process, like that at work in *ables I'III, before certain problems can be effectively investigated. =any researchers undoubtedly missed the relationship e%plored here because their data was not arranged in a format that facilitated their in+uiries. A successful mathematical investigator may need to e%periment with different data arrangements before selecting the most fruitful route for in+uiry. *he patterns to primitive triples are not truly clear until they been arranged in the three tables that the author employed in his researchA those tables also assisted in the visuali!ation of the formulae for b and c, making clear the relationship between a and +. *ables II and III set out the initial primitive triples where a is a multiple of 6. *hey are divided into two tables because there are slight differences between them that are better addressed by compiling the initial triples of each type separately from each other. *ype &4 primitives have accompanying values for + whose roots comprise the set of all odd whole numbers, 8ust as did the *ype M primitive triples. 2here, in *able II, n is the root for any given permissible value of +, every n!h triple in the progression of "ythagorean triples for that value of + will be a multiple of some smaller'value triple, as ./0, 21, 2,3 where + = 18 is a multiple of the primitive triple .2, /, ,3. Mne of the important differences between *ype M and *ype & 4 primitives is that a begins at + + 2$ for counting down the table)s columns to determine which are the n th *ype M triples that are multiples. *he same counting for a begins at + for *ype &4)s, even though a = + would be impermissible for a "ythagorean triple because a2 ' +2 would then e+ual !ero, meaning that b would have no dimension and that a = c, which cannot be a true statement for any right triangle where c is the hypotenuse. 2hile $ e+uals the s+uare root for + for *ype M primitives, and could have been accurately labeled the s+uare root, it is clearly not that for either *ypes &4 or &2 primitivesA that is why the term Proot) and not Ps+uare root) was used. <or all three types of primitive triples, $ is a factor of +, but it is not always a s+uare root. *he designation of $ for root was made in preference to 4 for factor so as to not confuse the symbol with that for function. <actoring *ype M values for + into 1 . $2 provides for identical treatment for all three types of primitive triples, eliminating the need for special'case handling for the *ype M primitives. <actoring + into either 1 or 2 times $ provides a tool that aids in the calculation of "ythagorean triples and in an understanding of their relationship as e%pressed through the two formulae derived by the author for b and c. is the factor shared by both + and a. &%amining the triple .9, 20, 213 from *able I, 9 is divisible by /. *hat means that even though that triple may not be a primitive (or a placeholder in the table), there must be another triple in which a = 9. *o discover what that triple other two members are, 81 needs to be divided by /A that will yield 2>. <or this new triple, c ' b = /, which re+uires subtracting / from 21, which leaves 22. @ividing that by 2 sets b = 12. Adding back / (or +) sets c = 21, which generates the triple .9, 12, 1,3. *hat triple does not appear in one of the three tables because it is neither a primitive triple (because it is a multiple of ./, 2, ,3) nor a nonprimitive placeholder. In fact, none of the triples where + = / will be primitives. *he process, though, does illustrate how triples may be calculated knowing 8ust a and +. *he primitive triples follow interesting patterns. In *able I, for e%ample, all members of the $ = 1 column are primitives, but where $ = /, every third member is a nonprimitive (or a trivial, as it is often called) while where $
2;
= ,, every fifth member of that column is a nonprimitive. *ables II and III e%hibit other patterns. *he columns continue downward infinitely while new columns are created to the right by infinitely adding two to $. All three tables help demonstrate that the number of primitives is infinite and that they follow clear patterns. Mne more thing may be said about "ythagorean triples# they may be comprised of numbers that are terminating decimals. *erminating decimals are merely whole numbers divided by some power of 10. <or e%ample, a" 1ubstituting and calculating, #.<" #."< #."< : : : $.)" $.1A @ $."" : '" @ b"
@ $.66 #."<
*hat is not really anything new, but it does serve as a helpful guide to those first starting to work with "ythagorean triples.
Table * Type O &rimiti8e Triples + = 1 = *1 . 12) + = 9 = *1 . /2) + = 2, = *1 . ,2) + = 29 = *1 . 12) + = 81= *1 . 92)
a b ' a b ' a b ' a b ' a b ' ) 6 < $< C $; )< $" ); 1) $1 1< AA "# $#$ < $" $) "$ "# "A 6< "C <) ;; )1 C< $$; 66 $"< ; "6 "< 2> 33 6: << 6C ;) A$ 1# $#A 43: >2 4:3 A 6# 6$ )) <1 1< 1< ;" A; $#< CC $); $<) $#6 $C< $$ 1# 1$ )A C# CA >: 477 42: $$A $"# $1A $;$ $A# ""$ $) C6 C< 6: 47; 44> C< $)" $<; $)) $<1 "#< 4;5 4;7 234 $< $$" $$) <$ $6# $6A A< $1C $A) 46> 453 26: "#; ""6 )#< $; $66 $6< <; $;1 $C< $#< "#C ")) $1$ "6# "CA ""< ";" )<) $A $C# $C$ 33 243 22: $$< "<" ";; $;< "CC )); 263 326 67: "$ ""# ""$ 1A "1# "1A 42: 377 32: $CA )6# )CA "1$ )C# 61$ ") "16 "1< ;< )#C )$; $)< )<" );; "#) )A1 66< ";A 66# <"$ "< )$" )$) ;4 337 335 $6< 6#C 6)) "$; 6<1 <#< 25> :76 :;: Author)s note# *riples displayed in red are not primitives. *hey were included as placeholders to illustrate the progression of values for a, b, and c
25
Table ** Type E$ &rimiti8e Triples + = 2 = *2 .12) a b ' + = 18 = *2 ./2) a b ' + = ,0 = *2 . ,2) a b ' + = 98 = *2 . 12) a b ' + = 102 = *2 . 92) a b ' $C$ 272 22: 2:7 ";; 373 )); 3>7 67: 662 6C$ :22
6 ) < "6 ; "< 1# $$ 1$ $$" $< $$) $C# $A 3 ; 47 37 43 36 >7 26 >6 423 32 437 45; 67 C $< $; 33 2> 6: C# )A CA $6# <$ $6A 243 33 47 26 23 62 67 :; 57 :3 473 4:6 >2 4>7 236 ;; $" )< ); 6C << ;) 477 >: 42: $1C A< $A) "<" $$< 46 6; :7 :6 >2 57 447 53 463 4;2 427 24; 2>7 466 $1 1) 1< 1# A$ $#A $"# $$A $1A 453 46> 26: "CC $;< 4; ;7 ;2 33 442 437 437 466 456 247 4>3 2>6 373 27; "# AA $#$ >2 43: 4:3 $6# $;$ ""$ ""6 "#; )#< 326 263 22 427 422 >; 437 4>; 4:7 277 2:7 23; 267 33; 362 2;7 "6 $6) $6< C6 $C; "#< $1# ")$ "C$ "<" ";< );) )1# )$A 23 43; 4>7 57 243 236 4>7 236 346 233 342 647 3>; 337 Author)s note# *riples displayed in red are not primitives. *hey were included as placeholders to illustrate the progression of values for a, b, and c.
37
Table *** Type E" &rimiti8e Triples + = 8 = *2 . 22) a b ' + = /2 = *2 . 22) a b ' + = 12 = *2 . 02) a b ' + = 128 = *2 . 82) a b ' + = 200 = *2 .102) a b ' ""$ 266 "1A 253 32: 3:3 )CA 626 61$ :77 <6$ :;6
$" < $) 6# A 6$ C6 $) C< $66 $; $6< ""# "$ 43 42 27 6; 27 :2 53 2; 477 437 33 436 267 66 "# "$ "A <1 )) 1< 47; 6: 44> $;1 <; $C< "1# 1A 26 32 67 36 6; ;7 427 36 433 452 ;7 27; 2;7 53 "C 6< <) ;" 1< A; $)" C< $<; "#C $#< ")) 377 42: 32 37 3; ;7 ;6 443 466 47; 277 226 432 237 327 4:3 )1 ;; C< CC $#< $); $<1 $)) "#< "6# $1$ "CA )6# $CA 67 53 476 53 42; 437 43; 437 232 2:3 452 327 337 226 66 $$; $"< $#6 $<) $C< 4;7 4;5 234 ";" ""< )<) )C# "1$ 6; 467 46; 442 4;7 242 452 227 252 2;; 237 3;; 677 377 <" $1< $;) $"# "#A "6$ "#6 "<) )"< )#6 "A; 6"< 6"# )6$ :3 452 277 42; 267 2>2 243 2;; 337 327 333 636 667 3;6 Author)s note# *riples displayed in red are not primitives. *hey were included as placeholders to illustrate the progression of values for a, b, and c.
34 Histori'al Ee%eren'es
@ye, 9. . and 0ickalls, 9.2.@. IA 0ew Algorithm for $enerating "ythagorean *riples.J =athematical $a!ette. =arch, 455;. Fol. ;2, pp.;3'54. ollingdale, 1tuart. =akers of =athematics. "p. ;'5. Fiking "enguin Inc.# 0ew Nork, 45;5. 9ichardson, .ill. I"ythagorean *riples.J www.math.wichita.eduKSrichardsonKpythagoreantriples.html 9utgers /niversity. I"rimitive Integral 1olutions to %2 C y2 B !2.J http#KKwww.math.rutgers.eduKSerowlandK tripleslist'long.html 1imms, 9obert. I/sing (ounting 0umbers to $enerate "ythagorean *riples.J http#KKwww.math.clemson.eduK Srsimms 1pe!eski, 2illiam ,. I9ethinking "ythagorean *riples.J Applications and Applied =athematics. http#KKpvamu. eduKaam
32
*ntrodu'tion
In his efforts to find a mechanism for generating "ythagorean triples using 8ust one side of the triangle, rather than using two sides or employing the two'number algorithm known to mathematicians since ancient times (where the two whole numbers are of the form, r = s = # r @ s is odd, and the greatest common denominator, or $(@, of r and s is 4), the author e%amined primitive triples. "rimitive "ythagorean triples are those triples for which the $(@ for the three sides is 4. *he triple L) 6 <M possesses the smallest values which constitute a primitive triple. *he triple L1 C $#M is not, however, a primitive triple because its $(@ is 2. 0o tables of primitive triples were readily available to the author when he began his work, so he devised tables of his own. *his paper shares those tables and outlines the relationships between the triples in each table that would enable a researcher to e%pand their coverage. 9utgers (9utgers), (lark, and @re%el are among the institutions of higher learning that have since hosted tables of primitive "ythagorean triples. *able I provides a sample listing of the first 4: ""*s listed by ascending value of ', which has been the format of preference for tables of triples. *ables in that format provide a good listing of ""*s under a given value for ', but they unfortunately do not present their information in a manner that establishes an easily'visible relationship between the elements in the tables that simultaneously relates them to the overall pattern of "ythagorean triples and facilitates easy calculation of all successive ""*s in some uniform, ascending order. *hey often present their triples by an ascending order of the hypotenuse)s value, which has the advantage of combining multiple values for the legs with a given value for the hypotenuse, but they do not suggest how all triples might be related other than through the algorithm (presumably the rNs method) for their calculation. Table * &rimiti8e &ythagorean Triples >listed by as'ending 8alue o% '?
' : 43 4> 2: 25 3> 64 :3 34 3: >3 ;: ;: ;5 5> a 3 : ; > 27 42 5 2; 44 33 6; 43 33 35 3: b 6 42 4: 26 24 3: 67 6: 37 :3 :: ;6 >> ;7 >2
In mathematics, simplicity is a critical component of elegance. A mathematical e%pression can be elegant when it represents a relationship in a clear, concise, and simple manner. *he "ythagorean *heorem, '" : a" F b", is
33
one such elegant e%pressionA it conveys the relationship between the three sides of a right triangle and will, in certain instances, consist of three whole numbers, which can be calculated using a three'part algorithm ( rNs above). *he elements of "ythagorean triples have been calculable using the rN s relationship by stipulating# a : r " @ s" b : "rs ' : r" F s"
<ollowing the re+uirements for r and s, set forth in this article)s opening paragraph, the classic algorithm will generate all of the "*s, but again, they will not be in order even if r and s follow an increasing magnitude format, as done with *able II. *he algorithm will generate both primitive and nonprimitive triples. Table ** -sing the r s ,ethod %or 7enerating &ythagorean Triples >3isted by As'ending Order o% r then s?
r 2 3 6 6 : : 3 3 > > ( s 4 2 4 3 2 6 4 : 2 3 ( a 3 : 4: > 24 5 3: 44 6: 67 ( b 6 42 ; 26 27 67 42 37 2; 62 ( ' : 43 4> 2: 25 64 3> 34 :3 :; (
Author)s mote# *riples displayed in red are not primitives. *hey were included to illustrate the progression of values for a b and '. "ythagorean triples ' those right triangles for which the values of a, b, and c are all represented by whole numbers ' have held a fascination for mathematicians. *he most famous problem involving "ythagorean triples, or "*s, was <ermat)s ?ast *heorem, which postulated that the relationship between the three sides a b, and ' can never be duplicated with whole number values for any power greater than two. Mther work with "*s has seen several means derived for calculating a "* from 8ust one side, including the author)s I$enerating "ythagorean *riples /sing Mnly side a.J *ables III through F present the author)s work in three tables that organi!e ""*s and certain placeholdersA the tables have been e%panded modestly from his earlier paper in order to reveal how others may calculate the infinite progressions of ""*s with ease, either by hand or by computer. *he ""*s have been divided into separate tables for odd values (*able III) and even values (*ables IF and F) based upon the characteristics of a value the author defines as r, which is used to calculate d, the difference between ' and b in each table)s columns.
36
0onprimitives can be generated from the ""*s in *able I by multiplying any triple in the table by any natural number greater than one to yield infinite series of nonprimitives that begin with every ""* and nonprimitive in the table)s array of triples or any of the triples that result from hori!ontal or vertical e%tensions of the table. &ach column in *able III begins with what the author terms an identity statement, where a : d and ' : a. *hat identity statement is not a triple, but it does aid in the generation of triples. *here are also a number of nonprimitives, displayed in red, that arise in all three tables. *hey may be found in the columns of each table by following specific counting algorithms. In *able III, the count proceeds downward in each column beginning with the first triple below the identity statement. <or any number in the count that is a multiple of any prime factor of the r for that column, the triple will be a nonprimitive. In column one, there are no prime factors of r, so there will not be any nonprimitive triples in the column. In column two, 3 is the only prime factor of 3, so nonprimitives will be found by counting downward from the identity statement LA # AM, finding the first nonprimitive at L"; )1 6<M, the elements of which are all cleanly divisible by 3. Table *** Type O &rimiti8e Triples
d : $ : >$ . $"? d : A : >$ . )"? d : "< : >$ . <"? d : 6A : >$ . ;"? d : C$ : >$ . A"? d : $"$ : >$ . $$"? (
a
4 ) < ; A $$ $) $< $; $A "$ ") "< "; "A (
a
5 $< "$ 2> )) )A 6: <$ <; 33 1A ;< ;4 C; A)
b
7 C "# 33 <1 C# 47; $6# $;1 243 "1# )#C 337 6$1 6;1
c
5 $; "A 6: 1< CA 44> $6A $C< 22: "1A )$; 335 6"< 6C<
a
2: )< 6< << 1< >: C< A< $#< $$< 42: $)< $6< $<< $1<
b
7 $" "C 6C ;" 477 $)" $1C "#C "<" 377 )<" 6#C 61C <)"
c
2: ); <) ;) A; 42: $<; $A) ")) ";; 32: );; 6)) 6A) <<;
a
65 1) ;; A$ $#< $$A $)) 46> $1$ $;< $CA "#) "$; ")$ 26:
c
;4 $#$ $"< 4:3 $C< ""$ 234 )#< )<) 67: 61$ <"$ :;: 1<) ;"<
c
424 $6< $;) "#< "6$ "C$ )"< );) 6"< 6C$ <6$ 37: 1;) ;6< C"$
7 4 6 < $" $) "6 "< 6# 6$ 1# C6 $$" $66 $C# ""# "16 )$" )16 6"# 1$ C< $$) $6< $C$ ""$ "1< )$) )1< 6"$
7 65 $1 1< )1 C< 1# $#A CC $); $"# $<1 453 "6# "CC )6# )A1 6<1 <"# :;; $1A "#< 26: "CA )); )CA 66< <#< <1A 33>
;4 7 AA "# $$; 66 43: >2 $<) $#6 $;$ 4;5 "#; ""< 263 "1$ ";A 25> )$< ))) $A# 4;7 ""6 ";" 326 )C# 66# :76 <;" 166
424 7 $6) "6 $1< <" $C; C6 "#A $"# ")$ "<) ";< "A; )$A )6$ 333 )C< 6#; 6"A $1# "#6 "<" )#6 )1# 6"# 6;6 <<" 1"6 ;##
Author!s note8 Triples displayed in red are not primitives. They were included as placeholders to illustrate the progression of values for a, b, and c. The table!s first row, displayed in green, constitutes what the author terms the identity statement+ it is not a triple, but it does serve as the basis for calculating the members of its column!s infinite set of triples.
3:
7 2 ) < ; 47 $< $; 26 23 )< 6; 1) ;7 AA 427 $6) 43; $A< 326 ); :7 1< ;2 $#$ 422 $6< 4>7 $A; 323
7 :7 $$ 1$ 26 >6 )A CA :3 473
262 7 "16 ") 2;3 6; )#C ;< 337 476 )<" 3>6 )A1 64; 66# 632 6;6 :73 <"C ::7 $)< 43; "#) 267 ";A 327 333 67; 6<< :76
6C << ;) :6 >2 57 1# A$ $#A 33 442 437 >2 43: 4:3 >; C6 57 A1 472 437 $C; 243 "6; 2;7 4>; "#< 236 "1< 25;
477 >: 42: 447 53 463 $"# $$A $1A 437 466 456 $6# $;$ ""$ 4:7 $1# 4>7 $C# 457 277 ")$ 236 "AA 333 2:7 "C$ 346 )6A 3;3
Author!s note8 Triples displayed in red are not primitives. They were included as placeholders to illustrate the progression of values for a, b, and '. The table!s first row, displayed in green, constitutes what the author terms the identity statement+ it is not a triple, but it does serve as the basis for calculating the members of its column!s infinite set of triples. The table is e-panded from the author!s earlier version 2in 9enerating 1ythagorean:3 by setting the difference between successive values for a in each column at 2+ rather than 2++ all of the triples so added are nonprimitive, but they, too, serve as placeholders for better visuali5ation of the progression of the primitives.
33
; 7 ; $" < $) 43 42 27 "# "$ "A 26 32 67 "C 32 )1 67 66 6; <" :3 1# 36 ( 6< 37 ;; 53 $$; 467 $1< 452 ""$ 2:2 <) 3; C< 476 $"< 46; $;) 277 ""A 237
7 >2 $) C< 2; 477 6: 44> 36 433 C< 47; $)) 437 4;5 227 "<) 2;; )"< 336 $<; 277 "#< 232 234 252 )"< 337 )A; 633
2;; 7 )$" "< 333 :2 337 ;4 3;6 442 6#C 632 6<1 6;7 :76 :2; <<" :>3 1## 326 $6< 4;7 "$; 2:3 25> 367 )C< 632 6C$ :32
;" 1< A; ;7 ;6 443 CC $#< $); 53 42; 437 $#6 $<) $C< 442 $"# 42; $)1 466 4;7 "#A 267 ";) 37; 242 "6$ 2>2 )#< 367
Author!s note8 Triples displayed in red are not primitives. They were included as placeholders to illustrate the progression of values for a, b, and c. The table!s first row, displayed in green, constitutes what the author terms the identity statement+ it is not a triple, but it does serve as the basis for calculating the members of its column!s infinite set of triples.
3>
Table 2* Comparing T@Format 4ith E@Format &rogressions o% a b and ' %rom &re'eding 2alues
T@Format Change in+ ' @ ; 6 42 6 ; 6 42 ; 6 ; 42 7 6 ; a @ 2 3 ' 4 43 ' ; ' 3 45 ' 4> 22 4: ' 3: 23 3 23 b @ ; 3 5 ' 3 3 : : 4: ' 6 ' 4 25 ' > 3 ' ; E@Format >Type O &rimiti8es Column $? Change in+ a @ 2 2 2 2 2 2 2 2 2 2 2 2 2 2 b @ ; 42 43 27 26 2; 32 33 67 66 6; :2 :3 37 ' @ ; 42 43 27 26 2; 32 33 67 66 6; :2 :3 37
triple# while it is customary for b to represent the larger of the two legs, an unbroken progression of the triples following the author)s format actually re+uires a to be the larger leg at the top of all but one of the three tables) columns. *hat leads to duplication of some sets, such as L< $" $)M and L$" < $)M. 1uch duplications have been retained in the tables so that the progressions in each column may mathematically flow unimpeded down the columns or across the rows. (hart I outlines a selection of relationships within and between the rows and columns of triples in *ables III'F. Mther relationships e%ist, and they could also be used to e%pand the tables, but the relationships set forth in (hart I will be sufficient to e%pand any of the trio either rightward or downward. *hose relationships all follow from the author)s derivation of the algorithm for calculating a triple using 8ust side a and choosing a value for d following specified rules. An e%amination of the rows in (hart I uncovers a strong similarity across the columnsA in some instances, all three tables (each represented by its own column in the chart) will share an identical characteristic while in others, 8ust the *ype M primitives will share an identical feature. (hart I has certain properties that must be understood before employing them to e%pand *ables III'F. *he chart has eight rows, with each e%amining one property or characteristic across the three tables. 9ows : and 3, for e%ample, result directly from the author)s derivation of the formula for calculating triples using a. 1etting a at d (9ow 4) for all three tables created what the author termed the identity statement# that then re+uired ' to e+ual a (9ow 2) because d : ' @ bA setting ' any lower than d would mean that b would have a negative length, which would not be possible in &uclidian plane geometry, from which the "ythagorean *heorem arose. If b : #, then a : ' and the geometric figure is reduced from a triangle to a line. If ' is increased by at an appropriately greater rate than a from that point onward, as ' must be because it is the hypotenuse, then b = # and a right triangle results. <or La b 'M to be a "ythagorean triple, the natural'number value by which ' must increase compared to a must be determined. *hrough e%amination of the formula the author derived for calculating "*s using a and specifying d, it becomes clear how a must progress in value in each column of the three tables in order for valid "*s to be created, it establishes what ')s value must be and it reveals why ' must e%ceed a by margins linked to perfect s+uares. In the author)s formula, Chart * Chara'teristi's o% &rimiti8e &ythagorean Triples
3;
in E@Format &rogressions >Comparing Tables *** *2 and 2? Chara'teristi' Initial Pa) value in each column <irst row Falue of Pd) by columns For &Ts in Table *** a:d an identity statement, where ' : a and b : # progresses as the s+uares of all odd numbers times 4A d : >$ . r"? where r:$F# $F" $F6( F"r b : a" @ d" "d ':bFd .egin counting down each column from the first triple below the identity statementA add twice the s+uare of that count to a to obtain 'A ' @ a thereby becomes two times a perfect s+uare ((olumn I has no prime factor for r)A begin counting down each column starting with the first triple below the identity statement ' any triple for which the count is a multiple of any prime factor of r is not primitive For &Ts in Table *2 a:d An identity statement, where ' : a and b : # progresses as the s+uares of all odd numbers times 2A d : >" . r"? where r : $F # $ F " $ F 6 ( F"r b : a" @ d" "d ':bFd .egin counting down each column from the first triple below the identity statementA add the s+uare of that count to a to obtain 'A ' @ a thereby becomes a perfect s+uare ((olumn I has no prime factor for r)A begin counting down each column starting with the first triple below the identity statement ' any triple for which the count is a multiple of two or of any prime factor of r is not primitive For &Ts in Table 2 a:d an identity statement, where ' : a and b : # progresses as the s+uares of all even numbers times 2A d : >" . r"? where r:"F# "F" "F6( F"r b : a" @ d" "d ':bFd .egin counting down each column from the first triple below the identity statementA add the s+uare of that count to a to obtain 'A ' @ a thereby becomes a perfect s+uare .egin counting down each column starting with the first triple below the identity statement ' any triple for which the count is a multiple two or of any prime factor of r is not primitive
"rogression of Oa. down a given column following the identity statement Falue of Pb) Falue of O'. "rogression of O'. ' e%pressed in terms of Oa. @ down a given column following the identity statement
' : a" @ d" F d "d .eginning with *ables IF and F, that formula for calculating ' can be used to determine the numerical value of each successive ' designated as 'n, in each of *able IF)s and F)s columns, working with the value of ai, which is defined as the value for a in the appropriate identity statement for each column in the table. *hat process begins with the author)s formula,
35
' : a" @ d" F d "d where r may then be substituted for d, as "r" : d# ' : a" @ >"r"?" F "r" ">"r"? 0ow ' can be written as 'n to mean any specific ' while a" is divided into two components ' namely ai which is the initial value that a assumes in the identity statement at the head of each column in the two tables, and xr, for which x is the number of times r must be added to ai to bring it up to an, the value of a for the specific "* that includes 'n# 'n : >ai F xr?" @ 6r6 F "r" 6r" 1+uaring the binomial representing an yields# 'n : ai" F "aixr F x"r" @ 6r6 F "r" 6r" 0e%t substituting "r" for ai and dividing the fractional value into its components# 'n : "r" F ">"r"?xr F x"r" @ 6r6 F "r" 6r" 6r" 6r" 6r" 1implifying and rearranging the terms# 'n : 6r6 F 6r"xr F x"r" @ 6r6 F"r" 6r" 6r" 6r" 6r" 'n : r" F xr F x" @ r" F "r" 6 'n : "r" F xr F x" 6 .ecause ai : "r", "r" F xr can be replaced with an in the e+uation to produce# 'n : an F x" 6 *hat means that any given 'n is e+ual to the corresponding an plus the +uantity x". As r must be multiplied by " then 6 added to any xn in any column in *able IF or *able F to calculate the ne%t xn in that column, x will always be an even number when calculating the difference between xi and any given xn. @ividing any s+uare of an even number by four will produce a perfect s+uare. *able FIII illustrates that principle. *he s+uare of any even number ( e") may be decomposed into two roots that can be designated " and y. *hat means, e" : >"y?" which can also be written as, e" : >"y?>"y?
67
and through the commutative property of multiplication, e" : >"?">y?" which means that division by 6 would leave y", which would be a perfect s+uare because half of an even whole number must be either a smaller even whole number or an odd whole number.
Table 2*** Eesults o% Di8iding /0uares o% E8en Numbers by Four e " 6 1 C $# e" 6 $1 )1 16 $## e"N6 $ 6 A $1 "<
*he difference between any 'n and its corresponding an in *able IF or *able F will therefore be a perfect s+uare, and that perfect s+uare will be the s+uare of the counting order of that "* below the identity statement in its column. .ecause d in *able III e+uals $ . r" rather than " . r", as it does in *ables IF and F, any given 'n will e%ceed its corresponding an by twice a perfect s+uare x"N" when following the same calculation process used to derive x"N6 for *ables IF and F. *able IT illustrates. Table *B Eesults o% Di8iding /0uares o% E8en Numbers by T4o e " 6 1 C $# e" 6 $1 )1 16 $## " C $C )" <# e"N" >".$? >".6? >".A? >".$1? >"."<?
64
*ables IF and F, which include all the primitive triples that have even values for r, could be combined, but the author has kept them separate to permit easy, visual synchroni!ation of the triples between the three tables. Mthers may wish to combine them if creating their own tables or computeri!ed databases. 1till others have created different types of relationships, such as uni+uely generated triples and co'triples that reverse a and b (1pe!eski). *he primary advantage of the revised format created by the author lies in the order provided by that newer format. *able FI provides one illustration of the order introduced by the author)s workA *able T offers an insight into another# permissible values for d, which are not even evident in the data appearing in *able FI for traditional display formats. *hey are not shown with as great an appreciation for their value in calculating triples even when they are placed in numerical order, as in *able T. *he author)s three tables of ""*s put the data into a working format that enables further investigation into relationships that contribute to the calculation of primitive and nonprimitive triples. /ltimately, each table can be e%panded into a three'dimensional matri%, with the combined matrices including all the "ythagorean triples, whether primitive or nonprimitive (though all of the primitives will be located on the original two'dimensional surfaces that gave rise to the three'dimensional matrices). All of the non' "ythagorean triples that also form right triangles will be found in between the "ythagorean triples, creating thereby the basis for the trigonometric functions that flow in unbroken streams, with ever'more minute detail being achieved through ever'longer decimal se+uences that disappear into the dust of infinity, creating solid cubes comprised of the data points that represent every triple imaginable. All of that constitutes a natural progression from the need to create a simple matri% that would include all of the primitive "ythagorean triples in the ascending order of their magnitude. Table B &ermissible 2alues o% d >%or d P "##? %or &rimiti8e Triples
4 32 424
2 65 42;
; :7 432
5 >2 435
4; ;4 277
2: 5;
Ee%eren'es
deApri%, Albert . ,r. I$enerating "ythagorean *riples /sing Mnly 1ide a.J http#KKwww.scribd.comK R27deApri% Al
9utgers /niversity. I"rimitive Integral 1olutions to %2 C y2 B !2.J http#KKwww.math.rutgers.eduKSerowlandKtriple listSlong.html 1pe!eski, 2illiam ,. I9ethinking "ythagorean *riples.J Applications and Applied =athematics. http#KKpvamu. eduKaam
62
'. "#$)
Mne of the author)s advantages in presenting his work as a developing e'book is the ability to add to or correct anything previously published. It has been suggested to the author that *ables IF and F from pp. 3:'33 be combined into one table for the even values of a in the infinite set of triples designated as a b ' where ' is the hypotenuse and a b and ' are whole numbers. *hat combined table is herewith presented for readers.
d : " : >" x $"? a " 6 1 C $# $" $6 $1 $C "# "" "6 "1 "C )# ( b # ) C $< "6 ' " < $# $; "1
d : C : >" x ""? a C $" $1 "# "6 b # < $" "$ )" ' C $) )# "A 6#
d : $C : >" x )"? a $C "6 )# )1 6" 6C <6 1# 11 ;" ;C C6 A# A1 $#" b # ; $1 "; 6# ' $C "< )6 6< <C
d : )" : >" x 6"? a )" 6# 6C <1 16 ;" C# CC A1 $#6 $$" $"# $"C $)1 $66 b # A "# )) 6C 1< C6 $#< $"C $<) $C# "#A $6# ";) )#C ' )" 6$ <" 1< C# A; $$1 $); $1# $C< "6" "6$ ";1 )#< )6#
d : <# : >" x <"? a <# 1# ;# C# A# $## $$# $"# $)# $6# $<# $1# $;# $C# $A# b '
d : ;" : >" x 1"? ( a ;" C6 A1 $#C $"# $)" $66 $<1 $1C $C# $A" "#6 "$1 ""C "6# b '
# <# $$ 1$ "6 ;6 )A CA <1 $#1 ;< A1 $$A $66 $;$ "## ")$ "16 "AA ))1 $"< $61 $1A $A6 ""$ "<# "C$ )$6 )6A )C1
# ;" $) C< "C $## 6< $$; 16 $)1 C< $#C $)) $1# $CA ""# "<) "CC )"< )16 $<; "## "#< ")" "1$ "A" )"< )1# )A; 6)1
)< ); 6C <# 1) 1< C# C" AA $#$ $"# $6) $1C $A< )"6 $"" $6< $;# $A; )"1
"C 6< <) )" 1# 1C )1 ;; << 6# A1 $#6 66 $$; $"< 6C <" <1 1# 16 $6# $1< $A" ""$ "<" $6C $;) "## ""A "1#
<< ;) ;" A# A$ $#A $$" $)# $)< $<) $1# $C; "$1 ""$ "C# $;C "#< ")6 ""A "AC
Author!s note8 Triples displayed in red are not primitives. They were included as placeholders to illustrate the progression of values for a, b, and '. The table!s first row, displayed in green, constitutes what the author terms the identity statement+ it is not a triple, but it does serve as the basis for calculating the members of its column!s infinite set of triples.
63
Solving certain problems in mathematics require first attaining an understanding of the underlying structure of the number system before a paradigm may be constructed that leads to such a problem!s solution. Such is the case with 9oldbach!s Con%ecture, which was not actually devised initially by 9oldbach. 4n attempting to tac*le this challenge, which the author first completed in '((' but modified slightly in '((; for independent internet publication, the author first investigated the problem!s structure before proposing a solution to it. The author apologi5es to the reader for the rather complicated presentation, but the comple- structure he discovered yielded a complicated e-planation. #e would li*e to attempt a further simplification in the not-too-distant future, but there are higher-ran*ing priorities at the moment. #e would prefer a more elegant solution to the problem. The solution does not tac*le the Con%ecture directly. 4nstead, it sets up barriers, or < as they author li*es to visuali5e them < hurdles that paired potential prime pairs must surmount to be primes that add to consecutive even natural numbers. The author found that raising the hurdle barriers well above those that do e-ist still fails to eliminate a certain minimal number of prime pairs for each family, or set, of even natural numbers. The author!s modified base-6 analytical tool that he used in his wor* on lam!s Spiral Square and the #ardy-$ittlewood Con%ecture & found application in his study of 9oldbach+ that hints that other problems may be waiting out in mathematical limbo that might benefit from its application to them. The author already has another problem!s resolution in which he employed that modified base tool. The easiest way to visuali5e the process of surmounting the barriers to creating new paired primes for successive numbers is to picture a tower of ornamental water pools in a garden8 the top pool must first fill before water is free to flow down into the second-highest pool and then into successively lower pools. "nce a pool is filled, the water is permitted to flow into the ne-t lower pool in the tower. The water serves as an unending < or infinite < supply of numbers < that flow through the barriers.
7oldba'h.s Con5e'ture
c. 2009
66
In 4>62 (hristian $oldbach con8ectured that every odd natural number greater than 3 was the sum of three primes, as :C2C2B5. $oldbach sent his con8ecture to ?eonhard &uler, but that eminent mathematician could neither disprove it nor devise a proof for it. &uler, however, recast the con8ecture in its more widely known form# that every even natural number greater than 2 is the sum of two primes. &uler)s recasting of $oldbach)s (on8ecture in its more commonly known form leads to the original con8ecture because 3 can be added to any every even natural number starting with 6 to generate every odd natural number beginning with >. istorically, $oldbach was not even the first to recogni!e the problem. 9ene @escartes discovered the even natural number version of the problem before $oldbach penned his letter to &uler, but "aul &rdos suggested that Iit is better that the con8ecture be named after $oldbach because, mathematically speaking, @escartes was infinitely rich and $oldbach was very poor.J G"rime $lossaryH Ivan Finogradov proved in 4532 that all sufficiently large enough odd integers can be written as the sum of three primes. 0umber theorists have meanwhile demonstrated the (on8ecture)s validity up to at least 6%4746 G"rime (on8ecturesH, but no one has been able to prove $oldbach)s (on8ecture in the general case. (urrent work includes the use of supercomputers to partition primes using advanced algorithms, and assaults on the problem employing probability analysis indicate that it is more than e%tremely unlikely that the (on8ecture is invalid due to some case far down the number line, but even a vanishingly small probability that such a number e%ists means that it could well e%ist. An e%amination of 8ust the first 33 even natural numbers reveals that while the number of prime pairs that sum to the members of a series of even natural numbers generally increases as the magnitude of those numbers increases, the relationship is not at all directA that variability would seem to make a proof more difficult to construct. Table * Numbers o% &rime &airs Adding to 7i8en E8en Natural Numbers N No. &airs " # 6 $ 1 $ C $ $# " $" $ $6 " $1 " $C " "# " "" ) "6 ) "1 ) "C " )# ) )" " )6 6 )1 6 )C " 6# ) 6" 6 66 ) N No. &airs 61 6 6C < <# 6 <" ) <6 < <1 ) <C 6 1# 1 1" ) 16 < 11 1 1C " ;# < ;" 1 ;6 < ;1 < ;C ; C# 6 C" < C6 C C1 < CC 6 N No. &airs A# A A" 6 A6 < A1 ; AC ) $## 1 $#" C $#6 < $#1 1 $#C C $$# 1 $$" ; $$6 $# $$1 1 $$C 1 $"# $" $"" 6 $"6 < $"1 $# $"C ) $)# ; $)" A
*he (on8ecture)s intractability has been a considerable frustration to professional and amateur mathematicians. *hat frustration served as the basis for a 2777 novel, /ncle "etros U $oldbach)s (on8ecture by Apostolos @o%iadis. <aber and <aber and .loomsbury "ublishing, the novels two publishers, offered a V4 million pri!e for a valid proof of the (on8ecture provided that it was submitted by =arch 4:, 2772.
6:
*hat observable variance in the number of prime pairs that add to 8ust the first few even natural numbers out of the infinite total leads to the possibility, however miniscule, that the number of paired primes could drop back to !ero for some yet une%amined even natural number lurking somewhere in the dark regions beyond 6%4746. If an underlying rule or mechanism governing the number of paired primes that sum to a given even natural number could be discovered, then it could be determined whether or not the number of prime pairs could ever drop to !ero. *he following analysis of the (on8ecture will reveal the mechanisms that govern the number of prime pairs that sum to any given even natural number. <or simplicity, a few abbreviations will be used throughout this article to represent fre+uently employed terms# &00 will represent even natural numberA M0", odd'number pairA and "", prime pair. An M0" will be any pair of odd natural numbers that add to a given &00A M0"s may both be primes, both may be composites, or one member of the pair may be a prime while the other is a composite. A "" will only consist of two primes that sum to a given &00. *hough primes create their own uni+ue progression and cannot be generated in their infinite succession by any known mathematical e%pression without the inclusion of numerous composites, patterns can be imposed upon them. *he simplest of such imposed patterns results when the even numbers, which include only the prime 2 for which all subse+uent even numbers constitute composites, are segregated from the odd numbers, thereby concentrating the infinite remainder of primes in a set that encompasses only half of the natural numbers. A series of operations or manipulations will be arbitrarily performed in this analysis that will reveal how and why the number of paired primes summing to any series of &00s varies. *he resulting information will then enable a paradigm, or model, to be constructed that will demonstrate that every &00 greater than 2 has at least one set of ""s that sum to it.
.ecause 3 is a composite of 2 and 3, the assignment of all natural numbers to the si% sets defined by - C 6n segregates 2 and its composites into 1ets ., @, and < and 3 and its odd composites into 1et (. *hat isolates all other primes and their odd composites, which are not also composites of 3, into 1ets A and &. 0e%t, the set of pairs of natural numbers that sum to any given &00 can be arranged in dual vertical columns, with the left'hand column starting at the top with 4 and continuing downward through n>' (which will be a whole number because every &00, being a composite of 2, is divisible by 2 without remainder). *he right'hand column will begin at the bottom with n>' and continue upward through n-). *hat process is illustrated in *able III for the &00 27.
63
Table *** Di8ision o% a Eepresentati8e ENN into its Component /umming &airs "# C C C C C C C C C C
4 2 3 6 : 3 > ; 5 47
45 4; 4> 43 4: 46 43 42 44 47
primes are noted in red 2ith 4 and n-) paired, 2 and n-' paired, and so forth, the entire set of summing pairs through n>' and n>' are aligned visually. "rimes that are paired in this fashion can be relatively easily observed and counted to yield the total number of prime pairs that add to any given &00. <or 27, there are two prime pairs that sum to the number# 3 and 4> plus > and 43. If the paired natural numbers that sum to each &00 are replaced with their modular set designations of A through < (from *able II) for si% consecutive &00s (labeled as 0 4 through 03 in *able IF below), three patterns of pairings emerge due to the manner in which the summing pairs were aligned mechanically. *he si% possible pairing designations for any ?->' can be AA, .., ((, @@, &&, or <<. 2ith all possible upper cells having si% rows because all of the natural numbers belong to one of the si% sets, and with the first number in the left column for each pair of summing numbers starting with 4 which belongs to 1et A, the pairing designation for ?->' will control the pattern of pairings across the two columns for each &00 by serving as the starting point for the ascending right'hand column for each &00. .ecause there are only si% set memberships possible for ?->' (which are A through <), the patterns will repeat through infinity. /nder this arrangement, 27 from *able III would belong to set @ and the @@ pairings. "aired numbers in the upper cell are then e%amined to determine if the summing pairs for an &00 include AA, &&, or A&K&A match'ups. 2henever ?->' is a member of either 1et A or @, one AA pairing per upper cell will result due to the modular pattern to the pairings. If ?- belongs to either 1et . or &, one && pairing per upper cell will result. If, however, ?->' belongs to either 1et ( or <, there will be an A& plus an &A pairing in each upper cell. *here will be only one bottom cell for a given &00, but there can be anywhere from !ero (where ?- e+uals from 4 to 3) to an infinite number of upper cells (for an infinitely large &00), that number being determined by how many times 3 divides into ?->' e%clusive of any remainder. As sets A and & (from *able II) contain all of the primes e%cept for 2 and 3, those &00s that have A&K&A pairings ought to have a greater potential for paired primes than those &00s that have either AA or && pairings. *hat general, though clearly not absolute trend is evident in *able F, which rearranges the number of paired primes for each &00 from *able I into a new format based upon A and & pairings. &ach &00 in the hori!ontal set for AA, &&, and A&K&A pairings is si% greater than the &00 to its immediate leftA for AA, for e%ample, the set runs 2, ;, 46Dthrough infinity. *able F thereby reveals that some of the variability of ""s is due to the format of the A and & pairings.
6>
Table *2 &ossible &airings and the Eesulting 7roup ,emberships %or NxN" * N$ AA .< (& @@ &( <. ** N" A( .. (A @< && <@ *** *2 N) N6 A& AA .@ .< (( (& @. @@ &A &( << <. 2 N< A( .. (A @< && <@ 2* N1 A& .@ (( @. &A << A& .@ (( @. &A <<
bottom 'ell
Table 2 Number o% &&s by A and E &airings &airings Number o% &rime &airs AA >"@$"C? 7 4 2 2 3 2 2 EE >6@$)#? 4 2 2 3 2 6 3 AENEA >1@$)"? 4 4 2 3 3 6 6 3 6 : 6 3 : 3 6 3 3 : 3 2 : 3 : : > 6 : ; : 6 5 6 : > 3 3 ; : 3 ; 3 > 4 7 3 3 4 2 6 : 4 7 3 > 5
*he total number of AA, &&, and A&K&A pairings for each &00 from 2 through 432 can be substituted for the data in *able F to produce a useful pattern. *he number of AA and && pairings e+uals the number of upper cells for each &00 plus the number of pairings (7 or 4) found in the bottom cell for the &00s belonging to $roups I, II, IF, or F from *able IF. *he number of A&K&A pairings e+uals two times the number of upper cells plus the number of pairings (4 or 2) found in the bottom cell for the &00s belonging to $roups III or FI from *able IF.
6;
Table 2* Total Number o% A and E &airings &airings Number o% A and E &airings by ENN AA >"@ 4 4 2 2 3 3 6 6 : : 3 $"C? EE >6@ 7 4 4 2 2 3 3 6 6 : : $)#? AENEA 4 2 3 6 : 3 > ; 5 4 4 >1@$)"? 7 4 3 3 4 2 > 3 4 3 > > 4 6 ; > 4 : ; ; 4 3 5 ; 4 > 5 5 4 ; 4 7 5 4 5 4 7 4 7 2 7 4 4 4 7 2 4 44 44 22
*he total number of pairings displayed in each data cell in *able FI consists of match'ups that include two primes, two composites, or a prime plus a composite. *he number in each of those data cells sets an upper limit for the total possible number of ""s for a given &00 e%cept for 6 (for which 2C2B6) and for cases where 3 is paired with another prime (such as 3C: B; or 3C5>B477). *his upper limit not only helps make the pattern of ""s clearer, it, too, also plays a role in analy!ing $oldbach)s (on8ecture.
65
Table 2** Odd@Number &airings %or ENN/ 4ith AENEA &airings 1 through A#
1 $" $C "6 )# )1 6" 6C <6 1# 11 ;" ;C C6 A#
4 23 4 25 4 3: 4 64 4 6> 4 :3 4 :5 4 3: 4 >4 4 >> 4 ;3 4 ;5 3 24 3 2> 3 33 3 35 3 6: 3 :4 3 :> 3 33 3 35 3 >: 3 ;4 3 ;> : 45 : 2: : 34 : 3> : 63 : 65 : :: : 34 : 3> : >3 : >5 : ;: > 4> > 23 > 25 > 3: > 64 > 6> > :3 > :5 > 3: > >4 > >> > ;3 5 4: 5 24 5 2> 5 33 5 35 5 6: 5 :4 5 :> 5 33 5 35 5 >: 5 ;4 44 43 44 45 44 2: 44 34 44 3> 44 63 44 65 44 :: 44 34 44 3> 44 >3 44 >5 43 4> 43 23 43 25 43 3: 43 64 43 6> 43 :3 43 :5 43 3: 43 >4 43 >> 4: 4: 4: 24 4: 2> 4: 33 4: 35 4: 6: 4: :4 4: :> 4: 33 4: 35 4: >: 4> 45 4> 2: 4> 34 4> 3> 4> 63 4> 65 4> :: 4> 34 4> 3> 4> >3 45 23 45 25 45 3: 45 64 45 6> 45 :3 45 :5 45 3: 45 >4 24 24 24 2> 24 33 24 35 24 6: 24 :4 24 :> 24 33 24 35 23 2: 23 34 23 3> 23 63 23 65 23 :: 23 34 23 3> 2: 25 2: 3: 2: 64 2: 6> 2: :3 2: :5 2: 3: 2> 2> 2> 33 2> 35 2> 6: 2> :4 2> :> 2> 33 25 34 25 3> 25 63 25 65 25 :: 25 34 34 3: 34 64 34 6> 34 :3 34 :5 33 33 33 35 33 6: 33 :4 33 :> 3: 3> 3: 63 3: 65 3: :: 3> 64 3> 6> 3> :3 35 35 35 6: 35 :4 64 63 64 65 63 6> 6: 6: prime pairs designated in red
*he same process is then repeated in *able FIII for the composites of :, >, and 44. owever, a new factor comes into play due to the manner through the columnar pairings were created. In column five every fifth &00, all of which are composites of :, have composites of : paired against each other, which reduces the total number of M0"s with composites of : in them. *his then yields a higher remainder in column si% and ultimately a greater number of ""s in most cases. *hat effect becomes noticeable with 57 and 427. *he same thing happens with composites of > for every seventh &00 and with composites of 44 for every eleventh &00, but that is not apparent due to the *able FIII)s brevity. It also holds true for the composites of the larger primes involved with larger &00s. *hat is the same basic process that occurred when there were (( pairings, but the larger the prime, the less obvious the process because larger primes have fewer composites for any given &00. Fariation in the numbers of ""s becomes substantially a function of the location of composites in one column versus the location of primes in the other. If a given &00 is a composite of a particular prime (or primes), the composites of that prime (or primes) will be paired against each other and will only bar that prime (or those primes) from matching up with a larger prime to form a "". .ut, as with the match'ups of 3)s composites one'third of the time, composites of larger primes do not usually make up all of the pairings lost by any smaller prime that is a factor of a given &00. *hat means more ""s result, as can be observed in *able F, for which the A&K&A also have (( pairings. Another, though more modest, variation occurs because every prime does not divide without remainder into every &00. 2ith 3, for e%ample, only every third &00 is a composite of 3A dividing 3 into any of the others leaves a remainder of two or four. *he e%istence of those remainders ever'so'slightly lowers the ratio of M0"s knocked out of contention as ""s by composites of 3. *hat happens for every prime)s composites where the s+uare of that prime is smaller than a given &00. *hat also happens with (( pairingsA the e%istence of remainders for any of the primes that have s+uares less than an &00 lowers the ratio for those composites slightly. Mne more factor that plays a role in the variance of the number of ""s must likewise be noted. *he number 4 is a Iunit,J not a prime or a composite. .ut in every case, because it is not a prime, it behaves like a composite when paired with a prime, such as with 64 for 62A ""s can only include primes, so 4 is never part of a "". *hat reduces by one the number of ""s for every &00 that is 4 greater than a
:7
prime. *he interplay of these patterns produces the variability found in column twelve of *able FIII, which is the total number of ""s for each of the table)s &00s. It should also be noted that when composites are paired for an &00, each composite will be counted as a composite of the smallest prime which is a factor of that composites (3:, for e%ample, being counted as a composite of : and not >) when counting up the number of composites to calculate the remainder at any given step in the calculation of the number of ""s for each &00.
$ ENN
" ON&s
2 3 : 3 ; 5 44 42 46 4: 4> 4; 27 24 23 26 23 2> 25 37 32 33
Table 2*** Ho4 the Number o% &&s Are Deri8ed %or ENNs 4ith AENEA &airings ) 6 < 1 ; C A $# &airs Eemainder &airs Eem &airs Eem &airs Eem Dith Dith Dith Dith Comp Comp Comp Comp O% ) O% < O% ; O% $$ 7 2 7 2 7 2 7 2 4 2 2 3 3 6 6 : : 3 3 > > ; ; 5 5 47 47 44 44 2 3 6 : 3 > ; 5 47 44 42 43 46 4: 43 4> 4; 45 27 24 22 7 7 7 4 2 2 2 2 2 6 6 6 6 3 3 3 3 3 6 ; ; 2 3 6 6 6 : 3 > ; > ; 5 47 42 47 44 42 43 43 43 46 7 7 7 7 7 7 7 4 4 4 4 2 4 2 3 2 3 2 6 2 3 2 3 6 6 6 : 3 3 > 3 > > 5 47 > 5 5 44 42 44 44 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 4 4 2 3 6 6 6 : 3 3 > 3 > > 5 47 > 5 5 44 42 47 47
$$ Ad5 For $ 4 4 4 4 4 7 4 4 4 4 7 4 7 4 4 7 4 4 4 7 7 4
$" &&s
4 4 2 3 3 6 6 : : 3 3 3 > ; 5 > ; ; 47 42 47 5
:4
"airings with the composites of a given prime on occasion seem to e%ceed the e%pected limit that should e%ist for the ability of that prime)s composites to be paired with primes as summing pairs. <or e%ample, composites of > should not account for more than 2K>ths of the remainder from column si% in *able FIII (rounded, 2;.3R). owever, composites of > pair up with three primes from the remainder of 47 for the &00 53, which is 37.7R. *hat seeming contradiction, and others like it, occurs due to the arrangement of the smaller primes and composites in the summing pairs. In the case of 53, : is knocked out by 54, but : is a member of the prime'composite family for :, so had : been a composite instead of a prime, 54 would not have knocked out that M0" as a "" because doing that would already be credited to the composites of :. -nocking out : as part of a potential "" thereby raises the number of remaining pairs in column si% with which the composites of > are paired. *hat only happens when the composite of a larger prime pairs up with a smaller prime, as when 54 is paired with : for 53. *ables IT and T for AA pairings and *ables TI and TII for && pairings repeat the analytical process from *ables FII and FIII. In these cases, however, the members of 1et ( are not paired against each other as they were for &00s with A&K&A pairings but rather against members of 1ets & and A respectively. Mnly 3 in 1et ( is prime so those (& and (A pairings reduce the total number of ""s that result from the pairings in comparison with the &00s that have A&K&A match'ups. (( pairings reduce the impact of composites of 3, generally resulting in the higher number of ""s for A&K&A match'ups seen in *able F. owever, unlike with the A&K&A pairings, 3 does not get paired with composites for every &00, so it creates a "" whenever a given &00B 1-=@. *his adds to the variance by increasing the number of ""s by 4 beyond what would be e%pected for those &00s that have AA or && pairings. As 4 is a member of 1et A, it will always be paired with a member of 1et ( for &00s that have && match'ups, so 4 has virtually no impact on the number of ""s in *able TII, unlike in *ables FIII and T, because it only knocks out 3 for the &00 6.
:2
4 2: 4 34 4 3> 4 63 3 23 3 25 3 3: 3 64 : 24 : 2> : 33 : 35 > 45 > 2: > 34 > 3> 5 4> 5 23 5 25 5 3: 44 4: 44 24 44 2> 44 33 43 43 43 45 43 2: 43 34 4: 4> 4: 23 4: 25 4> 24 4> 2> 45 45 45 2: 24 23
:3
Table B Ho4 the Number o% &&s Are Deri8ed %or ENNs 4ith AA &airings
$ ENN " ON&s ) &airs Dith Comp O% ) 7 7 4 2 3 6 : 3 > ; 5 47 44 42 43 46 4: 43 4> 4; 45 27 6 Eemainder < &airs Dith Comp O% < 7 7 7 7 4 4 2 4 4 2 2 3 2 4 3 3 6 3 2 6 6 : 1 Eem ; &airs Dith Comp O% ; 7 7 7 7 7 7 7 7 4 4 4 4 7 2 4 2 2 4 2 4 3 2 C Eem A &airs Dith Comp O% $$ 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 4 4 $# Eem $$ Ad5. For $ 4 4 4 4 7 4 4 4 7 7 4 4 4 4 7 7 4 4 4 7 7 4 $" &&s
4 2 6 : > ; 47 44 43 46 43 4> 45 27 22 23 2: 23 2; 25 34 32
4 2 3 3 6 6 : : 3 3 > > ; ; 5 5 47 47 44 44 42 42
4 2 3 3 3 3 3 6 6 3 6 3 3 : : 6 6 3 > 3 : :
4 2 3 3 3 3 3 6 6 3 6 3 3 : : 6 6 3 > 3 6 6
7 4 2 2 3 2 2 3 6 3 3 2 : 6 : 6 3 : 3 3 6 3
:6
::
Table B** Ho4 the Number o% &&s Are Deri8ed %or ENNs 4ith EE &airings
$ ENN " ON&s ) &airs Dith Comp O% ) 7 4 2 3 6 : 3 > ; 5 47 44 42 43 46 4: 43 4> 4; 45 27 24 6 Eemainder < &airs Dith Comp O% < 7 7 7 7 4 7 4 4 4 2 4 2 2 2 3 2 2 3 3 6 3 3 1 Eem ; &airs Dith Comp O% ; 7 7 7 7 7 7 7 7 4 7 7 7 7 4 4 2 4 4 7 4 2 2 C Eem A &airs Dith Comp O% $$ 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 4 7 $# Eem $$ Ad5. For $ $" &&s
4 3 6 3 > 5 47 42 43 4: 43 4; 45 24 22 26 2: 2> 2; 37 34 33
4 2 2 3 3 6 6 : : 3 3 > > ; ; 5 5 47 47 44 44 42
4 2 2 3 2 6 3 6 3 6 : : : : 6 : 3 3 > 3 3 >
:3
match'ups. If it belongs to either 1et A or 1et @, AA match'ups result while if it is a member of 1et . or 1et &, && pairings are created. As a conse+uence of si% being chosen as the number of sets for the assignment of all natural numbers, all odd composites of 3 are confined to 1et (. *he odd composites for all other primes meanwhile rotate through 1ets A, (, and & due to the <undamental *heorem of Arithmetic. Any prime multiplied by 2 will yield a result uni+ue from the multiplication of any other prime times 2. 0o prime ("%) is divisible by another prime without remainder due to the definition of primes, so 2%3 will never divide without remainder into any 2" % where "%O3. *hat means that two successive odd composites of any prime greater than 3 cannot be members of the same set. *hree successive odd composites of any given prime likewise greater than 3 must be members of three different sets because 3 cannot divide without remainder into 6"%. owever, an odd composite of "% that is three odd composites greater than another composite of "% will be in the same set as that smaller one because 3" % is divisible by 3 without remainder. A corollary to that is that every " %th member of all natural numbers, all odd natural numbers, and each set of natural numbers that have been designated A through < will be a composite of " %. <or e%ample, multiples of : can be counted out in the set of all natural numbers at 47, 4:, 27, 2: D while such multiples appear every fifth member of the odd natural numbers# as in the case of :, >, 5, 44, 43, and 4:. =eanwhile, using 1et A as an e%ample, the progression follows the same pattern, as with 2:, 34, 3>, 63, 65, and ::. *his is all made possible because counting order was chosen as the basis for assigning the natural numbers to their sets. =ultiples of 3" % cause those patterns to occur because 3 is the number of sets chosen created for the assignment of the natural numbers in counting order and because any 03" %, where 0 is any natural number, is divisible without remainder by " %. &mploying the same principle, every "yth composite of "% in a given set will also be a composite of " y counting from the first appearance of such a composite in whichever progression of numbers (all natural numbers, all odd natural numbers, all composites of "%, or all composites of " % in a given set of natural numbers) because all such numbers are products of "y"%, which means that they are divisible without remainder by both " y and "%. *hat says, for e%ample that 47:, which is a composite of both : and > is > odd multiples of : from 3: and : odd multiples of > from 3:. *his process is what limits the impacts of the composites of odd primes greater than 3 on the number of ""s for a given &00. Mne'third of all odd composites of : are already composites of 3 because composites in this analysis are counted in the sets of the smallest prime for which they are a composite. It also means that composites of 3, which with 3 constitute the members of 1et ( of the natural numbers, will be paired against composites of : when 1et ( members are matched against 1et & members, for those &00s that have prime pairs that result form AA pairings, every fifth composite of 3 and every third composite of :.
:>
for one or more &00s, then $oldbach)s (on8ecture would be validated. *able TIII provides the illustration for the discussion of that effort. <irst, an &00 must e%ist in every caseA changing that violates the problem, so the starting point cannot be changed in column one of *able TIII by substituting an odd natural number or some other number that is not an &00. *he supply of &00s is infinite because 2 can be consecutively added through infinity to any last &00 to generate more &00s. *he M0"s for a given &00 could be reduced or increased in column two, but the number of M0"s is established for a given &00 by the mechanical manner in which M0"s are generated. 1tarting with 8ust the first M0" (which is )=? where ?A0??--)) for a given &00, ne%t an even number pair then another odd number pair are added in se+uence below the first pair (as in *able III) until the number of summing pairs e+uals 0??>'. *hat means that the number of M0"s for a given se+uence of &00s will increase by the pattern C4, C7 D because summing pairs are added in an odd'even se+uence as the &00s increase by 2 at each step in their progression. After considering and discarding the foregoing options for finding an &00 greater than 2 that does not have any ""s, the only remaining possibility is to find an &00 for which all primes are paired either with composites or the number 4. (omposites of a given prime are paired up with primes for a given &00 following a very specific template, as e%plained through the e%ploration of the (on8ecture)s mechanics above. 1etting aside 2 and its composites, the composites of 3 then eliminate 9(2K3)'4 (where 9 is the initial number of M0"s when dealing with composites of 3 or the remainder of M0"s not eliminated by composites of the prime immediately smaller than the prime'composite family under consideration) all M0"s from contention as ""s (e%cept when (( pairings occur, for which the composites of 3 eliminate only 4K3 of all M0"s). <ractions are dropped from the results of the calculation because they represent a partial distance to the ne%t composite in a prime)s family of composites, but because that value is fractional, the ne%t composite in the series would be greater than the &00 for which the calculation is made. *he smallest odd prime (3) was chosen to begin that process because one'third of all odd natural numbers are composites of 3 and they thereby have the greatest potential for impact upon the generation of ""s as they have the greatest density of the composites of any odd prime. It is also easier to begin with the smaller primes first because additional, larger primes and their composites only become relevant as the &00s increaseA starting with the smallest primes enables the investigator to employ consistent procedures.
3 ; 47 42 46 43 4; 27 22 26 23 2; 37 32 36 33 3; 67 62
2 2 3 3 6 6 : : 3 3 > > ; ; 5 5 47 47 44
4 4 4 4 4 4 4 4 4 4 2 2 2 2 2 2 2 2 2
4 4 4 4 4 4 4 4 4 4 2 2 2 2 2 2 2 2 2
4 4 4 4 4 4 4 4 4 4 2 2 2 2 2 2 2 2 2
4 4 4 4 4 4 4 4 4 4 2 2 2 2 2 2 2 2 2
4 4 4 4 4 4 4 4 4 4 2 2 2 2 2 2 2 2 2
:;
66 63 6; :7 :2 :6 :3 :; 37 32 36 33 3; >7 >2 >6 >3 >; ;7 ;2 ;6 ;3 ;; 57 52 56 53 5; 477 472 476 473 47; 447 442 446 443 44; 427 422 426 423 42; 437 432 436 433 43; 467 462 466 463 46; 4:7 ( 377 ( 377 Alt. 377 44 42 42 43 43 46 46 4: 4: 43 43 4> 4> 4; 4; 45 45 27 27 24 24 22 22 23 23 26 26 2: 2: 23 23 2> 2> 2; 2; 25 25 37 37 34 34 32 32 33 33 36 36 3: 3: 33 33 3> 3> 3; ( >: ( 4:7 4:7 > ; ; ; ; 5 5 47 47 47 47 44 44 42 42 42 42 43 43 46 46 46 46 4: 4: 43 43 43 43 4> 4> 4; 4; 4; 4; 45 45 27 27 27 27 24 24 22 22 22 22 23 23 26 26 26 26 2: ( :7 ( 477 477 6 6 6 : : : : : : 3 3 3 3 3 3 > > > > > > ; ; ; ; ; ; 5 5 5 5 5 5 47 47 47 47 47 47 44 44 44 44 44 44 42 42 42 42 42 42 43 43 43 ( 2: ( :7 :7 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 6 6 6 6 6 6 6 6 6 6 6 6 : : : : : : 3 3 3 3 3 3 3 3 3 3 3 3 > > > > > > > > > ( 4: ( 37 67 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 6 : : : : : : : : : : : : 3 3 3 ( 47 ( 27 47 7 7 7 7 7 7 7 7 7 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 ( 6 ( ; : 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 6 6 6 ( 3 ( 42 : 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 4 4 4 ( 4 ( 3 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 ( : ( 5 6 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 ( 4 ( 2 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 ( 6 ( > 3 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 7 ( 7 ( 4 7 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 ( 6 ( 3 3 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 ( 4 ( 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 4 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 2 ( 3 ( : 2
:5
*he remaining M0"s that have not been eliminated by the composites of 3 then face similar hurdles from the composites of successive primes up through those of the prime the s+uare of which is the largest prime s+uare smaller than the &00 in +uestion (as, for e%ample, 65 is for the &00s from :7 through 427). *he ratio of the composites follows the same pattern as with the composites of 3# 9(2K:)'4 for the composites of : e%cept when an &00 is divisible by :, for which the composites of : in the parallel columns will be paired against each other and thereby eliminate only 4K: of the M0"s that remain after the composites of 3 have eliminated their share of the M0"s from being ""s. After each prime)s composites remove M0"s from contention as ""s, the ne%t larger prime)s composites are applied to the M0"s that still remain. *hat will continue for all the infinitude of primes for every &00, but only the primes for which the s+uares are less than the &00 need be considered because primes which have s+uares larger than the &00 will not have any composites smaller than the given &00 that are not already a simultaneous composite with a prime that has a s+uare smaller than the &00. =ost of the larger primes will not have any composites that are smaller than a given &00, as any given &00 is finite and the number of primes is infinite. *hat e%planation may seem complicated, but it is similar to the way through which the 1ieve of &ratosthenes mechanically eliminates whole numbers from the number line as potential primes. .oth are sieving processes employing composites. =aking the hurdles higher and therefore harder to pass over for M0"s becomes the ne%t step in determining if there is an &00 for which there are no ""s. <irst, the ratio for composites of 3 in the set of M0"s will be raised to 2K3 for all &00s, which would count 3 as a composite and would mathematically ignore the third of all cases in which composites of 3 are paired against each other. *he numerator of the ratio for the composites of other primes will then be increased to 3 (3K:, 3K>, 3K44D), thereby increasing the share of successive remainders of M0"s knocked out by the composites of those primes. *hat procedure was followed in the construction of *able TIII, which sets up that process. Although *able TIII looks like *ables FIII, T, and TII, those latter three tables represented actual results while *able TIII is an artificial construct. In *able TIII the ratio)s numerator remains at 3 for every prime)s composites even when an &00 is a composite of that prime (which in actual cases winds up having that prime)s composites paired against each other and limits the ratio)s numerator for that prime to 4, as in 4K:). In addition, the unit 4, which is neither a prime nor a composite, will always be considered paired with a prime, thereby increasing the impact of 4 upon the process. =aking those alterations raises the barriers that the M0"s must cross to become ""s in *able TIII. *hose higher ratios and always considering 4 to be paired with a prime substantially reduce the number of ""s that result from the process, as a comparison of *ables I and TIII reveal. .y doing that, the analyst created conditions that violate basic mathematical operations, such as setting the numerators for the ratios used to calculate the number of pairs with composites of :, >, 44 and larger primes at 3 for all pairings. ?ikewise, always considering 4 to be paired with a prime also violates basic mathematical operationsA primes simply do not follow any known pattern, which means that they will not all be two apart, which would be necessary for 4 to pair only with primes. &ven so, ""s are still created under those more stringent conditions, beginning with the &00 23. 2hat happens is that each time the number of M0"s is increased by 4 by increasing the &00 by 2, that added value (of 4 M0") can wind up artificially paired with a composite of 3 or composite of any subse+uent prime through the mathematical functioning of their ratio. 0ote that the term Pvalue) is used. ?ocation of the pairs possessing the composites of various primes is not in +uestion, only their number. *hat way, the number of the ""s becomes the critical factor, not the identity and the e%act location of the primes that comprise those ""s. It is important to remember that such mathematical pairing in *able TIII is not an actual pairingA as an artificial construct, *able TIII is only concerned with how many M0"s could be optimally eliminated as ""s through mathematical ratios, not actual pairings. *hat construct uses higher ratios and other devices to make it harder for ""s to emerge at the end of the process. Mnce that value makes it through the process to become a "", however, that value remains in the "" column due to basic mathematics. *he functioning of those processes can be seen in simple division# dividing a number by : will generate a specific +uotient (as with 5: divided by : yielding 45). Increasing the dividend will eventually increase the +uotient (477K:B27), but nowhere along the infinite number line can the division of ever'larger dividends by : produce smaller +uotients. *herefore, even with these higher barriers, the number of ""s will gradually increase because the factors that originally produced the variance in the actual results have been eliminated and even though the higher barriers generate ""s (in this case beginning at 23) at a higher number and at a slower rate, the alterations do not permit some unknown large number to be devoid of ""s. *he observed
37
variance in the actual results is e+ual to or greater than the minimum number of ""s established for each &00 by the artificial construct, so use of that construct creates a minimum floor below which the number of ""s cannot fall. 9aising the barriers even higher will slow the creation of ""s, as seen for the alternate 377 at the bottom of *able TIIIA for that alternate result, the numerators for the ratios involving primes greater than 3 were raised to 6. In that alternate paradigm, there were still two ""s at 377, though there were five in the construct that used 3 in the numerators of the ratios for the primes greater than 3. @epending upon how much higher the numerator values are set (as long as the ratios do not e+ual 4.77), the arrival of the value 4 and any higher values will be delayed in the "" column. If any of the ratios were set at 4.77, no ""s would result, but that could not happen because altering the sieving process in that way would violate the same mathematical principles that would be compromised if &ratosthenes)s 1ieve had a prime that could eliminate all subse+uent primes in violation of the numerous proofs that verify that the supply of primes is infinite. Mnce the value of an M0" reaches that final, "" column (which would have to be moved to the right as the number of &00s was increased and additional primes became conse+uential in the calculation) it means that from that point forward there must always be at least that minimum number of ""s for all subse+uent &00s. *he hurdles erected serve as sieves that individually strain out M0"s for each &00. If something happens when a 4:th M0" first comes up in the process, it will happen the same way each time the sieving process is employed. Mne 8ust has to picture each M0" passing through the process one at a time. .y dropping the '4 from the ratios used to calculate how many M0"s are eliminated from consideration as ""s by the composites of a given prime Gas with 9(3K:) '4 for the composites of :H, the variance created by composites of primes with s+uares less than the &00 pairing with smaller primes found in the first column of the summing pairs for that &00 is eliminated. All of the primes with s+uares less than that &00 are counted as composites by the artificially increased ratios used to calculate how many M0"s are eliminated by a given prime)s composites, making moot those match'ups that can slightly increase the ratios above e%pected values (as described above for the composites of > for the &00 53 (where the composite 54 knocks out :)A both members of the pair artificially wind up being primes where one would occasionally be a smaller prime than the factor of the composite of the larger prime. &ven though the barriers in the artificial constructs are set well above those that e%ist in reality, ""s are still mathematically generated. 2here 3 is used in the numerator for the primes greater than 3, ""s still wind up being mathematically generated at the &00 23. &ven when 6 replaces 3 in the ratio)s numerator for primes greater than 3, ""s still show up early along the number line, at 422. If 3 then replaced 6 for the numerator of the ratios for primes greater than :, the first "" would arrive at ;62. &ach &00 through 23, 422, or ;62 can be visually inspected to confirm in reality that they have ""s. In fact, the barriers would have to be set e%ceedingly high at this point in our mathematical knowledge because it has already been demonstrated that there are ""s for every &00 up through at least 6%47 46 G"rime (on8ecturesH. 1ince setting the barriers in the artificial construct so far above those that actually winnow out ""s from M0"s cannot bar ""s from making it through the process, the use of that construct to set minimum values for ""s produces results that argue forcefully that $oldbach)s (on8ecture is valid. All of the variance in the results has been eliminated by the more stringent conditions, which means that even with higher barriers to the production of ""s, they are still created for &00s e+ual to or greater than a certain &00, which is determined by how high the ratio numerators are set. (hoosing 3 for the ratio numerator for all primes greater than : and 6 for :)s numerator and 2 for 3)s, always using the higher ratio numerator even when a prime is a factor of a given &00, making all primes composites when their s+uares are less than the &00, and always considering 4 to be paired with a prime place far higher barriers than those that actually e%ist, but even though basic mathematical principles are violated to do so, ""s would still eventually be created and would e%ist for all larger &00s once the first "" arrives, as e%plained above. *herefore, there are no even natural numbers waiting somewhere down the dark, une%plored reaches of the number line waiting to invalidate $oldbach)s (on8ecture as it was restructured by &uler.
34
Histori'al Ee%eren'es
@o%iadis, Apostolos. /ncle "etros U $oldbach)s (on8ecture. .loomsbury "ublishing, 0ew Nork, 2777. offman, "aul. Archimedes) 9evenge. 2.2. 0orton U (ompany, 0ew Nork, 45;;. *he "rime $lossary. 9oldbach!s con%ecture. http#KKprimes.utm.eduKglossaryKpage.phpK$oldbach(on8ec' ture.html Berifying 9oldbach!s Con%ecture up to C - )()C. http#KKwww.informatik.unigiessen.deKstaffKrichsteinKcaK $oldbach.html
32
*ntrodu'tion
*here are two twin number con8ectures, the better known of which contends that there are an infinite number of primes that differ by two. 2hile this has hitherto not been proven, mathematicians generally believe that Ithe evidence Gfor the correctness of that con8ectureH is overwhelming.J " *he discovery of ever'larger twins are continuously announced and considerable work has been done to demonstrate that there is a limiting bounds by which primes can differ. *his is the con8ecture that will be proven in this paper. A second twin prime con8ecture involves a modification to .run)s constant, with a version of it known as the strong twin prime con8ecture, or ardy and ?ittlewood)s first con8ectureA it will not be dealt with here. In the vein of the author)s earlier papers on /lam)s 1piral 1+uare, ardy and ?ittlewood)s (on8ecture <, and $oldbach)s (on8ecture, the approach will be based upon the structure of the number system as it can be permissibly bent to the specifics of the problem.
33
@ue to the researcher)s age, the AA9" recently posted X as did many other sources X the story of *itang Yhang)s =ay 22, 2743 paper that has taken a tremendous step forward in resolving the *win "rime (on8ecture. Yhang, a previously obscure, but popular /niversity of 0ew ampshire mathematics instructor (reportedly in his :7s) broke ardy)s truism that II do not know of an instance of a ma8or mathematical advance initiated by a man past fifty.J 1 Yhang established a bound of >7 million for some integer 0 that serves as the gap between infinitely many prime pairs. is research took advantage of work published in 277: by @aniel $oldston, ,anos "int!, and (em Nildirim, Iwhich had shown there would always be pairs of primes closer than the average distance between two primes. ; <ollowing up on Yhang)s paper, *arrence *ao proposed a "olymath pro8ect ("olymath;) to limit the bound further, reaching an announced value of 6,3;7 on ,uly 2>, 2743.C
3: Table * Di8iding the &aired Number 3ines into Blo's and /ets
.loc 4 1et 4 ' 4 4 3 3R :R :R >E > 5 5 44 44E 43E 43 4: 4: 4>R 45 24 4> 45R 24 23 .loc 3 1et 4 23 2: 2> 25R 34 33 3: 3> 35 64E 63 6: 2: 2> 25 34R 33 3: 3> 35 64 63E 6: 6> .loc 6 1et 4 6> 65 :4 :3 :: :> :5E 34 33 3: 3> 35 65 :4 :3 :: :> :5 34E 33 3: 3> 35 >4 >3R >: >> >5 .loc : 1et 4 >5 ;4 ;3 ;: ;> ;5 54 53 ;4 ;3 ;: ;> ;5 54 53 5:
.loc 2 1et 4
1et 2
1et 2
1et 2
1et 2 .
1et 3
1et 3
1et 3
1et : 444 443 443 44: 44: 44> 44> 445 LLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLL "erfect s+uares denoted by 65 *win "rimes denoted by R
33
Ba : >n" F Cn F$1? S >n" F 6n F6? @ >n" F 6n F 6? @ >n"? " " Ba : >6n F $"? @ >6n F 6? " " Ba : 6 *his, with its removal of the even numbers, is only a variation of the difference between consecutive s+uares.$$ 1o far, nothing is very complicated, but the increase in paired numbers from one bloc to the ne%t is a crucial element in the proof of the infinitude of prime numbers. Mne bloc to the ne%t consecutive bloc will always e%hibit an increase of four pairs of numbers. In addition to dividing the paired number lines into blocs and sets, *able I also denotes the locations of the first ten twin primes. *here are two twin primes in each of the first five blocs, as shown in the table, but unfortunately that pattern does not hold for very long, going to three twin primes in .loc > and four in .loc ; before falling back to two again in the ninth and tenth blocs. *able II illustrates.
4 2 2 2 3 2 6 2 : 2 3 2 > 3 ; 6 5 2 47 2 LLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLL
4 4,3 3,: :,> ;A % % A $$ 44,43 $) $< % % $< $; 4>,45 $A "$ % % "$ ") ") "< % "< "; % % "; "A 25,34 )$ )) % % )) )< % )< ); ); )A % % )A 6$ TTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTT "airs with one or more composites are marked in red. *win "rimes are marked in blue. .oth numbers at a given point are removed from consideration as twin primes if either or both of the pair is a composite. owever, if one of the pair is a prime, it could still be part of a twinA to be so it would have to be paired with a prime at its other position along the modified number line. *he process of removal from consideration stops once one member of the pair has been identified as a composite by the sieving. 2hether the other member of the pair is a prime or a composite is irrelevant. 9emoval from consideration is accomplished by the smallest magnitude prime that divides cleanly into either member of the pairA that larger magnitude primes may divide into either member of the pair is also irrelevant. *he smallest prime that divides into either member of the pair gets all of the credit for the pair)s removal from consideration. owever, unlike &ratosthenes) 1ieve, composites of 3 remove two'thirds of all pairs down the infinitude of this special, combined number line, not one'third. <ive then removes two' fifths of the remaining pairs from consideration, and the process follows in the same manner for each prime in succession (each removing the fraction 2Kp % from the new total ). In each case, a prime can only remove pairs beginning with the pair that is the first to contain that prime)s s+uareA :, for e%ample, does not remove 4:)s pairs from consideration because 4: is first considered a composite of 3 and, as such, was already removed from consideration.
3;
As conse+uence, a prime)s composites can only begin to remove paired numbers from consideration as twin primes beginning with the s+uare of that prime (though a composite of a smaller prime may do so at that point as :4 does with 65, :4 because :4 is a composite of 3 while 65 B >2)A and, *hat blocs progressively and consistently increase by four pairs over the number contained in their immediate predecessors because successive blocs begin with the s+uares of successive odd whole numbers.
Net, all of that does not provide enough tools up to this point to construct the con8ecture)s proof. *hat is because there is an illusion of disorder to primesA one cannot determine e%actly where either primes or twin primes will fall along the paired number lines without resorting to brute arithmetic methods even though the density of primes and twins, when graphed, appear to follow generally predictable functions. *able III offers a snapshot of an interesting relationship. *he table)s first column sets up the initial ten blocs and lists X for each bloc X the initiating odd root, the s+uare of which starts off the right' hand column of the combined number line. *he table then lists Gin (H how many pairs are in each bloc. (olumn @ provides the fractional value of each pair within each bloc (which is the inverse of the total number of pairs in the bloc). (olumn & presents what will become an important value in the process of proving the *win "rime (on8ecture. It is the fraction of pairs along the combined number line that are not removable as possible twin primes by composites of primes e+ual to or less than the defining number from (olumn . for a given bloc. *hat may seem complicated, but it is not. *he prime 3 removes 2K3s of all the pairs beginning with .loc 2 and progresses on through infinity continuing to do so. *hat means that 4K3 of all paired numbers along the combined number line are not removed from consideration as twin primes by the action of odd composites of 3. (olumn < then converts (olumn &)s fractions to rounded decimal values. .y simple deduction, as long as (olumn < is not permanently reduced to 7 from some point, or bloc, onward, the supply of twin primes will not be e%hausted. <rom knowledge of the studies of twin primes, ever'larger twins are being discoveredA no end to them has been found. A given bloc could be reduced to 7, but that will not demonstrate that all successive blocs will also be 7A likewise a fractional value in (olumn < for any bloc will not guarantee that successive blocs will also display non'!ero values. *he values in (olumn < do not even seem to follow an orderly progression. <ollowing the action of 3)s odd composites, the prime : comes into play beginning with .loc 3. 9emembering that the composites of the smaller prime(s) take effect before considering the composites of the new large prime (in this case :), the composites of : remove 2K:s of the remaining paired numbers along the number line beginning with .loc 3, which means that it does not remove 3K:s of those remaining numbers. <igure III illustrates how that works. (omposites of 3 and : remove pairs in a pattern that is infinitely repeated based upon the algorithm# EN : $ @ >p$ @ "?(>px @ "? p$ px EN is the fraction of the pairs not removed from consideration as twins by the actions of the primes from p$ (3) through >px? largest prime serving as a defining number through some arbitrary bloc along the combined number line. <or purposes of the proof, all primes and their composites are considered, but only in consecutive order and at the appropriate point. =oving on, *able III)s (olumn $ lists the actual number of twin primes within each bloc, followed by the fractional value of pairs in each bloc that are twin primes G H. As long as (olumn & is not permanently reduced to !ero from some bloc onward, there are more twin primes and the supply is not e%hausted. &ver'larger twin prime pairs are being discovered, so no end has yet been found to their supply for (olumn $ (and therefore also ) and the value in (olumn & has therefore not been permanently reduced to !ero. owever, the data so far does not give any indication in the other direction eitherA nothing in *able III suggests that the progression of fractions in (olumn & cannot be permanently reduced to !ero at some pointA no boundary is evident below which the values in (olumn & cannot fall, so a !ero value is possible for some as'yet unknown large value for (olumn .. 0o clear pattern has emerged. .ut, there is a way to create a base pattern that demonstrates that the data in an infinite continuation of (olumn & will never be permanently reduced to !ero after some arbitrarily large n is reached in (olumn ..
35
Table *** The Elimination o% &aired Numbers along the Combined Number 3ine as T4in &rimes
A B C Blo' De%ining &airs in Number Blo' >e? 4 2 3 6 : 3 > ; 5 47 4 3 : > 5 44 43 4: 4> 45 6 ; 42 43 27 26 2; 32 33 67 D $Ne E Fra'tion >%? o% &airs Eemaining ( 4K3 4K: 4K> 4K> 5K>> 5K54 5K54 43:K4:6> 43:K4>25 F $.###>%? 7 Number o% T4in &rimes in Blo' 2 2 2 2 2 2 3 6 2 2 H Fra'tion o% &airs in Blo' that are T4ins 4K2 4K6 4K3 4K; 4K47 4K42 3K2; 4K; 4K4; 4K27
4K6 4K; 4K42 4K43 4K27 4K26 4K2; 4K32 4K33 4K67
>7
43, 4: 4 x x 4:, 4> 2 x x 4>, 45 3 45, 24 6 % 24, 23 : % 23, 2: 3 % 2:, 2> > x x 2>, 25 ; % 25, 34 5 34, 33 47 % 33, 3: 44 x x 3:, 3> 42 % 3>, 35 43 % 35, 64 46 % 64, 63 4: '''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''' 63, 6: 43 x x 6:, 6> 4> x x 6>, 65 4; 65, :4 45 % :4, :3 27 % :3, :: 24 % TTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTT 9ed denotes twin primes. $reen indicates pairs with composites of both 3 and :.
>4
Table *2 *nability to Eliminate T4ins through a ,ore Aggressi8e Elimination o% &aired Numbers
A B C Blo' De%ining Number &airs in Blo' >e? D $Ne E $.####>$Ne? F 7 Fra'tion >%? $.####>%? o% &airs Eemaining H Column 7 Di8ided by Column E
4 4 6 4K6 .2:77 ( ( ( 2 3 ; 4K; .42:7 4K3 .3333 2.333 3 : 42 4K42 .7;33 4K: .2777 2.674 6 > 43 4K43 .732: 4K> .4625 2.2;3 : 5 27 4K27 .7:77 4K5 .4444 2.222 3 44 26 4K26 .764> 4K44 .7575 2.4;7 > 43 2; 4K2; .73:> 4K43 .7>35 2.4:6 ; 4: 32 4K32 .7343 4K4: .733> 2.434 5 4> 33 4K33 .72>; 4K4> .7::; 2.44: 47 45 67 4K67 .72:7 4K45 .7:23 2.476 ( ( ( ( ( ( ( ( 55 45> 353 4K353 .772: 4K45> .77:4 2.767 ( ( ( ( ( ( ( ( 555 455> 3553 4K3553 .7772:72 4K455> .777:77> 2.7742 TTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTT
(olumns A through @ in *able IF are taken, with the e%ception of the data for .locs 55 and 555, directly from *able III (for purpose of +uick comparisons). *able IF)s (olumn & meanwhile converts the fractional value of 4Ke to a decimalA that will facilitate the easiest division of the data in (olumn $ by that in (olumn &. (olumn &)s data is the decimal value that a given pair of numbers along the combined number line possesses as a share of the total number pairs within its specific bloc (as one pair in .loc 2 accounts for 4K; of the eight pairs in the bloc, which can be decimally recorded as .42:7). *able III)s (olumn &, with its actual number of twin primes per bloc, and (olumn <, with its fraction of pairs in a given bloc that are twin primes, are not carried over to *able IF. *he patently false assumption upon which *able IF is mathematically constructed is that every odd number in (olumn . is, and will be treated as, a prime for the purpose of eliminating number pairs along the infinite number line as twin primes. A new (olumn < for *able IF records the fraction of the paired numbers beginning with each bloc that are n#! removed from consideration as twin primes by the mathematical action of the primes and false' primes acting against the number line)s paired numbers. *he fraction recorded in (olumn < is calculated by multiplying the fraction of the pairs not removed by the action of composites of 3 (4K3), then multiplying that remainder by the fraction (3K:) of pairs not removed as possible twin primes by the action of : and onward through the odd numbers effective within each specific bloc. *hus, the fraction displayed for each bloc in (olumn < is calculated by multiplying the fraction of paired numbers for each prime or false'prime that cannot be removed from consideration as twin primes. .ecause false'primes are included, a greater fraction of pairs are removed from the number line and a smaller fractional value remains than is found in *able III)s (olumn &. *hat means that (olumn <)s fractional values and (olumn $)s accompanying decimal values are lower than those that can be obtained down each column using only true primes and their composites.$" *hose calculations are done for both primes and false'primes by the author to establish a more restrictive bound than would be possible with 8ust true primes and their composites. *he calculations are +uite simple, as illustrated for 3 through 5#
>2
For 5ust )+ For ) and < 'ombined+ For ) < and ; 'ombined+ For ) < ; and A 'ombined+
E : >$N)? E : >$N)?>)N<? : )N$< : $N< E : >$N)?>)N<?><N;? : $<N$#< : $N; E : >$N)?>)N<?><N;?>;NA? : $#<NA6< : $NA
0ew twin primes are added in each bloc of *able IF because the primes and false'primes upon which the composite calculations are based cannot generate enough composites at any given point to eliminate all pairs as twins. (olumn in *able IF is the result of dividing (olumn $ by (olumn & to show how many twin primes ought to be found in each bloc. $) It is apparent from the limited entries in the table that the values in are decreasing towards 2.777 as one descends the column. *he values in will never actually fall to e%actly 2 or lower (such as to the 7 needed to block the creation of new twins) due to the relationship between the fractions in @ and <. *he number of odd pairs in a bloc, as shown earlier, is calculated by the formula# Bn : >n F "?" S >n?" " *he number of pairs in a given bloc will therefore always be twice the defining number for that bloc plus two. =eanwhile, it has already been shown that for combination of primes and false'primes composed for *able IF, the fraction of pairs remaining will be the inverse of the defining number. @ivision of the number of pairs in a bloc by the defining number will be e+uivalent to# B : "n F " n 1uch a relationship will always produce a result that is a decimal value greater than 2, with that decimal constantly decreasing as n increases. 2hile decimal values are employed from (olumns & and $ to calculate , the same relationship results and the value found for any given bloc in will always be greater than 2. /se of the false'primes thus produces values in *able IF that are both predictable and that will always be greater than 2, thereby insuring that even with the e%tra mathematical impact against the e%istence of twin primes, twin primes cannot be e%tinguished by the more stringent constraints on twins found in *able IF. *able IF thereby provides minimum bounds on the number of twin primes, which is clear are infinite in number 8ust as they would have to be under the more stringent constraints envisioned for *able IF. *he +uestion is resolved# twin primes have to be infinite in number in reality because twins would still be infinite in number under a prime plus false prime arrangement that would remove more pairs from the combined number line than could 8ust real primes and their composites alone. In addition, the real prime plus false'prime combination has the advantage of predictability through infinity that is not evident with 8ust the real primes, ensuring that a minimum boundary for twin primes will e%ist through an infinite and predictable progression.
A%ter4ord
It seems that the proof cannot be that simple, but it is. A minimum boundary that is absolutely predictable in its mathematical behavior has been found that demonstrates that twin primes cannot fall below a certain density per bloc ensures the infinitude of twin primes because the number of blocs is infinite as their infinitude, in turn, is based upon the infinitude of odd numbers. 1imultaneously, the proof)s mechanics match up well with the decreasing density of twin primes. *he primeKfalse'prime
>3
algorithm upon which the proof is constructed reveals a minimum of 2C twins per bloc, and that matches up +uite well with the need for a decreasing density for twinsA the si!e of blocs steadily and predictably increases due to the increasing distance between the s+uares of the consecutive odd numbers that define each bloc. *he true number of primes will vary from that, but the number of twins will consistently e%ceed the minimum set by the boundary, which does not conflict with the need for an infinite number of twin primes as set by the con8ecture. 2hat is clear is that that the composites of real primes alone can never wipe out the opportunities for twin primes along the dual number line. 0ow that it is proven that there is an infinite number of twin primes, what, then, about other 2k differences between primes where k is e+ual to any whole numberW *he arrangement for twins was accomplished by combining two parallel number lines whose variance was IarbitrarilyJ selected to be two because any even'number difference could have been setA two was selected because that met the con8ecture)s parameters. *wo number lines can be moved relative to each other to create any difference between them and their then'paired numbers. *he author will follow this paper with e%amples of such other differences, creating new *ables III and IF to prove such relationships create infinite numbers for any 2k arrangements.$6
Notes
$
"
=c-ee, =aggie. J<irst proof that infinitely many prime numbers come in pairs.J 0ature, 46 =ay 2743. http#KKwww.nature.comKnewsKfirst'proof'that'infinitely'many'prime'numbers'come'in'pairs'4.425;5
6
<
(hang, -enneth. I1olving a 9iddle of "rimes.J 0ew Nork *imes, =ay 27, 2743. http#KKmichaelnielsen.orgKpolymath4Kinde%.phpWtitlaB.ounded'gaps'
*here is an aspect of +uantum theory that proposes all of e%istence is a vast hologram, but number lines do not e%ist in nature X they are human intellectual constructs.
$#
.ecause the number lines are offset by two, composites of three are not found opposite of each other, leading to 2K3s of all number pairs being removed from consideration as twin primes, with one member of each of those pairs being a composite of three.
$$
*he removal of even numbers from consideration, and calculations, can be done because they are in all cases irrelevant. If even numbers were included in this instance, .a would e+ual ;.
$"
Mf course, the composites of the false'primes are really composites of smaller primes, but they wind up being counted twice to arithmetically cut down on the number of possible twin primes. *hey do not actually remove any twin primes, but the calculations make it appear that the number of twins has been reduced.
>6
$)
It is important to remember that both primes and twin primes do not appear to follow orderly progressions. 2ith calculations pro8ecting 2C twin primes per bloc, some blocs may have more primes than that, accumulating some of those decimal values to result with more than two twins in a given bloc. *hat happens with the twins that are permitted by the actions of the real primes and their composites. owever, the actions of the composites of the real primes X say 3 and : X follow a cyclical pattern, as e%plained in the te%t, so that on the average there are more than two twin pairs per bloc due to the composites of 3 and :A the addition of larger primes to the mi% mask those effects by knocking out pairs not removed by the actions of 3)s and :)s composites, but the composites for 3 and : follow a cyclical, or modular, pattern.
$6
*he introductory e%planations will not be needed again, as they would remain the same. 2hat will need to be determined is whether or not a similar relationship e%ists between @ and <, producing a similar , for 2k pairs to be infinite in number for any given whole'number value of k.
>:
Beyond T4in &rimes+ &ro8ing de&oligna'.s Con5e'ture Con'erning the *n%initude o% "9 &rime &airs &art A+ 9 : " 7aps
c. 2012 Alphonse de"olignac e%panded the *win "rime (on8ecture in 4;65 by hypothesi!ing that an infinite number of consecutive primes (p and p)) e%ist where p) X p B 2k for which k is a natural number = 4.4 /nder this formulation, the *win "rime (on8ecture becomes the case where k B 4. 2 "roving the validity of de"olignac)s (on8ecture, however, will be a bit more complicated than that for demonstrating the case for twin primes. *he twin prime version is simpler to prove because there are no intervening primes between p and p), which makes the *win "rime (on8ecture a special case. *he case of k B 2 is also a special case, not unlike that for the twin primesA there is one, and only one, instance where there is an intervening prime between the two members of any of the k B 2 prime pairings, specifically where : intervenes between 3 and >. @ue to the odd composites of 3 thereafter, there are no other progressions of three consecutive differing by two because every third odd number is a multiple of 3. After the progression 3,:,> there will therefore be no instances where intervening primes will have to be considered and thus the 3,:,> trio can be ignored because where there are an infinite number of cases, the reduction of the total by one case leaves a still'infinite number of cases remaining. 3 As only one e%ception e%ists, at the very outset of the progression of k B 2 pairings, it will be ignored without harm to the con8ecture)s validity. *he following case for k B 2 pairings will generally proceed like that for twin primes, with certain aspects understood from the latter)s proof. 1ome additional material will meanwhile be added at the beginning.
Table * T4in and 9 : " &rime &airs Found in the First Ten Blo's
Blo' Number o% T4in &rimes Number o% 9 : " &rimes LL4LLLLLLLLL LLLLLLLLLLLLLLLLLLL2LLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLL 4LLLLLLLLLLLLLLLL 2 2 3 3 2 2 6 2 4 : 2 6 3 2 2 > 3 2 ; 6 3 5 2 3 47 2 2
>3
*otal 24 (23 counting .loc 4) 22 (23 counting .loc 4) .loc ) is separated from the others because it lac*s a complete set of paired numbers for both twins and * A ' pairings. *he reason that they do not follow identical patterns lies in the shift of the left'hand column in the k B 2 pairings from the position that it had in the twins) pairingsA the composites, beginning with those of 3 and continuing through those for ever'larger primes, have their positions shifted, causing them to be paired against different primes (or composites), as shown in <igure I below. *hat shift will leave different prime pairings in its wake. It must be remembered, however, that only the positions of the composites, and therefore their pairings, changeA the number of composites obviously remains the same, so they can block out only a certain sha$e of primes from being prime pairs, as *able IF from the author)s preceding article illustrates.: Mld prime pairings from the twins are lost through the alteration of the patterns, but new ones arise. <igure I reveals why the processes for twin prime and k B 2 pairings are the same even though they appear to be different#
Figure * Comparing &rime &air /ie8ing &atterns %or T4in and 9 : " Number 3ines
T4ins $ $ ) R ) < R < ; ; A A $$ R $$ $) $) $< $< $; R $; $A $A "$ "$ ") ") "< "< "; "; "A R "A )$ )$ )) )) )< )< ); ); )A )A 6$ 9 : "s $ ) $ < R ) ; < A R ; $$ A $) $$ $< R $) $; $< $A $; "$ R $A ") "$ "< ") "; "< "A "; )$ "A )) )$ )< )) ); )< )A R ); 6$
R R R R
R R R R
TTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTTT 7e 8 !9in #$ : = 2 %$i(e %ai$s R $$ $) R *;#!e8 /,1 n#! a !$ue : = 2) %ai$ $e(#5e+ b c#(%#si!e #4 / #n $i"h! si+e #4 %ai$in" $; "$ %ai$ $e(#5e+ b c#(%#si!e #4 / #n &e4! si+e #4 %ai$in" "; "A %ai$ $e(#5e+ b c#(%#si!e #4 , )$ )< <igure I also aids the reader on visuali!ing why the number of paired primes per bloc differs between twins and k B 2s in their details even though the overall picture remains very similar. *he chart could be set up several different ways, but the author chose to hold the right'hand columns for the twins and k B 2 pairings
>>
constantA the left'handed columns for each are shifted from each other (or one is shifted from the other) to create the gaps of 2 and 6 between the paired numbers. &ach such pairing could be considered an opportunity for a pairing of primes. (omposites for 3 and then higher primes in succession knock out those possibilities for paired primes to e%ist, as, for e%ample, 5 in the right'hand column for k B 2 matchups kills the chance for : from the left'hand column to be part of a prime pair. *he process of identifying nonprime pairs along the infinite course of each doubled number line may be conceived as a sieving operation, but once a particular pair has been found to have a composite, no further consideration need be givenA having one #$ two composites in a pair makes no difference in this analysis.
Notes
4
2olframAlpha e%presses the problem as Ievery even number is the difference of two consecutive primes in infinitely many ways.J http#KKwolframalpha.comKinputKWiBdeC"olignac)sCcon8ecture <or e%ample, 6 e+uals >'3, 44'>, 4>'43, etc.
2
<or those not as familiar with the parlance, if k B 4, then 2k B 2 and two is the gap for twin primes. *he author dealt with twin primes in his preceding article, The Twin 1rime Con%ecture8 A Structural Approach.
3
An infinite +uantity minus a finite +uantity must, perforce, yield an infinite result, lest an infinite result should become the addition of two finite numbers, making the infinite number thereby finite.
6
>;
3
*he primeKfalse'prime algorithm is used to eliminate a greater number of pairs than could be achieved using the composites of only true primes. In reality, the false'primes are already composites of smaller primes, but by employing them in the calculations, they reduce the number of match'ups that could be paired primes for a given value of k. *heir use also guarantees a certain predictability that is not available with primes aloneA all odd numbers are treated as if they were primes, which (when their s+uares are reached along the paired number lines) would then generate composites that more effectively limit the possible number of paired primes and do so at a rate that can be calculated because the location of all odd numbers is known whereas primes do not follow a regular pattern.
>
*he proof for kB2 becomes a restatement of that for k B 4. &verything remains the same e%cept for the e%clusion of 3, :, >, as 3 and > are not consecutive primes. 0o other progression of three consecutive primes of the form p, p C 2, and p C 6 is possible.
>5
;7
;4
;2
Beno.s &aradoxes
Teno of &lea (alt. spelling Yeno, ca. 657'637 ..(.) created a series of parado%es that ostensibly demonstrated the difficulties inherent in working with concepts involving infinity and they supported the philosophical contention that motion and divisibility were illusions, that the universe is singular, eternal, and unchanging.4 is parado%es have led to controversies in the mathematical and philosophical worlds which linger X a bit X today. A member of the &leatic 1chool founded by Tenophanes and championed by Teno)s mentor "armenides in southern Italy (an area then known as =agna $raecia), Teno supported the school)s doctrine of Iall is one,J crafting his parado%es to counter those devised by philosophers who opposed "armenides) ideas. &ven though the &leans believed that motion and divisibility were illusions, they applied considerable intellect to their philosophical arguments, as witnessed by the continuing disagreements over the solution of Teno)s parado%es. Teno employed the techni+ue of reducto absurdium, challenging opponents) arguments and supporting his own through proof by contradiction. Teno devised an estimated 67 pu!!les, now termed parado%es, to support the &leatic philosophy, though most of those pu!!les were variations on 8ust several themes. is only known work, 0picheivemata, was a compendium of those pu!!les. =ost of his original te%t has unfortunately been lost, like many other ancient treatisesA only 277 words of it yet remain. 2 2hat the modern world knows of Teno)s parado%es has arrived via other $reek philosopher'scientists, including Aristotle and "lato. 2ith seemingly nothing left of Teno)s 0picheivemata, and with the general lapse of learning in &urope during the @ark Ages, Teno)s legacy dwelt in obscurity until his work was populari!ed by .ertrand 9ussell and ?ewis (arroll. 2ith that populari!ation, four of Teno)s parado%es have become generally familiar today# o o o o The /ichotomy X which argues that absolute motion is impossibleA The Achilles X relative motion is likewise impossibleA The Arrow (or The &letcher!s 1arado-) X time cannot be divisibleA and, The Stadium X half the time is e+ual to twice the time.
*his paper will briefly e%amine The /ichotomy and The &letcher!s 1arado- to summari!e Teno)s reasoning behind them. After challenging the two parado%es along classical lines of opposition to them, the paper will present a new argument against The Arrow that demonstrates that motion can be perceived at a dimensionless instant of time, which interestingly enough opens the door a tiny crack to uncover a little +uantum weirdness in the macro world.
;3
;6
As stated, motion is movement between two definable, essentially ad8oining points X the start and the finish. If infinite subdivision could somehow decrease the distance between two points to the e%tent that they become one dimensionless point, there would then theoretically be no motion at that ultimate, dimensionless subdivision (though, technically speaking, no subdivision would yield 8ust a point because half of something cannot be nothingA that would make all distances e+uivalent to nothing as infinite subdivision should then ultimately yield nothing but strings of dimensionless points along any course of travel, making any motion thereby impossible). 1uch an outcome is what Teno cleverly argued would result if the universe were not a singular, indivisible entity. Teno appeared to be arguing that is the outcome that would result from any attempt at motion, but assuming both that an infinite number of steps is re+uired for any distance and that any trip would be barred from being initiated because any first or subse+uent step would be limited to covering a !ero distance, Teno confused the issue for his readers because no infinite number of subdivisions would ever yield a distance e+ual to a dimensionless point and because, as pointed out above, infinitesimal subdivisions would re+uire only infinitesimal amounts of time to cross, given a finite speed of motion. *o summari!e# motion occurs between dimensionless points, not within them, because they are artificial constructs which possess no internal passage of time. Teno attempted to defend the belief that all motion was illusory because any distance was a collection of dimensionless points that could not be crossed and because infinite subdivision produced an infinite succession of divisions of a distance that would consume infinite time in their crossing, which he reasoned must be impossible.
;:
so therefore the arrow cannot be in motion. 9egardless of which moment is selected for e%amination, no motion ought to be detected according to Teno. *he ancient $reeks, as talented as they were, could not measure the speed of lightA they did not even reali!e that light had a speed of propagation. =odern scientists have a fairly good understanding of its speed and have defined it to be e%actly 255,>52,6:; kmKsec. .ut apparently until now no one has had a means for detecting motion at a dimensionless moment of time. 2ith no duration to an instant, there has theoretically been no way to measure motion, even motion with the swiftness of light, because motion re+uires time for an e%penditure of energy to generate or sustain it. 0onetheless, motion is measurable at (though not across or within) a specific instant of time, even if the technology for doing so must advance for the observation to be actually made at the low speeds common in the everyday physical world. A thought'e%periment illustrates how that observation can be accomplished. *he e%periment will also show how the <letcher)s "arado% is resolved by demonstrating that an arrow)s motion can be observed at a fro!en moment of time, thereby overturning Teno)s contention that since motion cannot be seen, it must therefore not e%ist.
;3
keep reinforcing itself even though the starting times from different places along the arrow)s length would have begun at earlier times than the shortest possible pathway from = to the observer at M. If that seems at all confusing, consider two different types of energy travelling from the same point to the same observer, but at different speeds. *he visible flash and smoke from a track meet starter)s gun fired at a track)s 277 m mark are seen by timers at the finish line before they can hear the sound of the gun firing. *he sound wave arrives later than the light carrying the image, which means that when the sound wave arrives at the timers) positions at the finish line, they are already seeing images that began their path to the timers later than the sound waves started. A timer is therefore hearing something that happened further in the past than the light that arrives at the same moment. Mne may think of such situations as gateways into slightly different pasts. *he arrow in motion under the thought'e%periment)s conditions sees a midpoint and a front point whose light'carried images
M
?ote8 /iagram not drawn to scale
began their 8ourneys to the observer at different points in time in order to simultaneously arrive at the observer)s position. *he image from "4 that began at the same time as the light'carried image from = will not arrive until a later instant because it has 4.2: cm further to travel. *he front half of the arrow in motion will therefore appear ever'so'slightly shorter, or compressed in length, than the arrow that is not in
;>
motion. *hat tiny, but calculable, compression would provide the evidence that a given arrow is in motionA one can IseeJ motion a! a given dimensionless motion in time because, with sensitive enough e+uipment, one could measure that compression. *hat compression is the motion that one sees at the dimensionless instant. Teno was therefore wrong because one could, with advanced'enough e+uipment observe the effect of motion at a dimensionless moment, so the parado% dissolves into the nothingness of a failed idea. *he ancients of Teno)s time did not understand the speed of light and what individuals actually saw. ?ight carrying images to an observer serves, in a sense, as a time machine because time must pass for any image to reach an observerA more distant ob8ects are further in the past than closer ones, which is a point well' understood by astronomers.
*his figure of 4.4:> % 47'>cm represents motion)s signature on the arrow in flight under the conditions specified and is represented by the line segment " 4"2, which is greatly e%aggerated in <igure I. It is the apparent foreshortening or compression of the front half of the arrowA while it is e%tremely minute, its magnitude can be calculated, making it a real +uantity and, as such, it contradicts Teno)s contention that, since motion cannot be seen at a dimensionless instant of time, motion cannot be real because time consists of a string of such instants. =otion)s signature could be seen with technologically advanced enough e+uipment, so the parado% falls because motion could be determined at a dimensionless instant of time. 2hat would be seen is a bit counterintuitive X a shortening of the front half of the arrow in the direction opposite to its path of flight, but it happens due to the different distances that light, and therefore the arrow)s image, must travel from different parts of the arrow in the thought'e%periment as it is
;;
conceived. 2hat one sees are images of parts (in reality an infinite number of parts) from ever'so minutely different times blending together to produce the image of the arrow that the observer sees. 0ow, an astute observer would note that another calculation must be made before the issue can be fully and finally resolved. .ased upon the mathematics of the "ythagorean *heorem, M" 4 is minutely longer than M"2 due to "4"2 being a calculable reduction of " 4=. At the velocity of the arrow in this e%periment, it actually does not amount to a difference that would change the e%periment)s conclusion. *o demonstrate, calculations will be done side'by'side comparing the time the arrow)s point takes to travel from "2 to "4 versus the difference in time that light would take to cover the difference in length of M" 4 (earlier calculated to be 4,774.2652 cm) and the length of M" 2 (calculated to be 4,774.2654 cm utili!ing "ythagoras)s e%ceptionally wonderful theorem). *he formula for velocity >8 : d? will be used to compare t the travel times involved# Arro4 point tra8el time &" to &$ t : d 8 t : $.$<1C x $#@C 'm ".";C x $#) 'mNse' t : 6.$16$ x $#@$" se' >O&$ S O&"?>'? t : d 8 t : $.# x $#@6 'm ).# x $#$#'mNse' t : ).)))) x $#@$< se'
*he arrow point travel time from "2 to "4 is 4.2652 % 473 times greater than the time that light would re+uire to cross a distance e+ual to M"4 X M"2. A slight alteration of the "4"2 distance would be needed to ad8ust the relationships so that the image from the ad8usted " 2 position would arrive at the observer at the same time that the midpoint)s image arrived from =, but it is not critical to the conclusion reached here about the IvisibilityJ of motion at a dimensionless instant of time. As one might surmise from the particulars of the thought'e%periment, the numerical results could be changed by altering the e%periment)s parameters, though motion would still leave an imprint at a dimensionless instant of time. An ob8ect)s closest point to its observer could be changed to any point on the ob8ectA it could even be replaced by a different ob8ect, but an observer would still note either a compression in front of the nearest point, a lengthening behind that point, or both. *he si!e of the e%perimental ob8ect can be varied to any degree desired as could its distance from the observer. *he ob8ect could meanwhile be moving towards the observer or on a path away from him. *he ob8ect)s path need not even be straightA it could be in orbit around the observer or an astronomical body on which the observer is located. All cases would demonstrate apparent compression andKor lengtheningKe%pansion. *he following calculation illustrates one of many different possibilities. In it, the arrow and all of the other parameters from the original thought'e%periment are retained, but its velocity is increased to 7.>:c# Ca : 8>O&$ S O,? ' Ca : >"."< x $#$# 'mNse'?>$ ##$."6A 'm S $ ###.### 'm? ).# x $#$# 'mNse' Ca : >"."< x $#$# 'mNse'?> $."6A 'm? ).# x $#$#'mNse' Ca : .A)1C 'm At high velocities, approaching that of light, the apparent compression (and, likewise, the apparent e%pansion behind the midpoint in this e%periment) becomes very visible. *here would be a larger ad8ustment for the different lengths of M"4 and M"2, but as M"2OM= due to the "ythagorean *heorem, there
;5
will be a noticeable compressionKe%pansion effect and a clear refutation of Teno)s reasoning in the <letcher)s "arado%.
Notes
4
*he &lean 1chool proposed that everything was one, that motion was an illusion, and that most things perceived were likewise illusions. Teno attempted to refute the non'&leans by demonstrating the impossibilities behind their thinking, that, for e%ample, the divisibility of space leads to the conclusion that motion is impossible. 2 http#KKwww.masthcs.orgKanalysisKrealsKhistoryK!eno.html 3 Aristotle was an early $reek philosopher'scientist who presented a series of arguments against Teno)s parado%es, by pointing out fallacies in his logic (1hysics). 6 "hysicists still debate the nature of timeA it is part of &instein)s space'time continuum, but how it functions is still open to discussion. : Aristotle, 1hysics, 235b37. 3 *he rounded figure used herein for the speed of light is the same for light travelling in a vacuum as it is for light travelling through &arth)s atmosphere.
57
A Chan"e #4 Pace
As an astronomy student and laboratory assistant, the author often wondered why Benus was so inhospitable to life while 0arth was the only *nown home for it in the Solar System. Ges, Benus is closer to the Sun, but it is still beyond the inner edge of what astronomers call the 69oldiloc*s Hone,7 where life ought to be possible. 4t would be hotter than its near-twin, the 0arth, but temperatures there should have been within the range possible for life and its polar regions would probably not be much warmer than the tropics on 0arth+ it ought to be habitable. #owever, with temperatures hot enough to melt lead and a poisonous>cho*ing atmosphere of sulphuric acid and carbon dio-ide, what might have been apparently never was, or at most did not last for long. Dhat could have driven Benus down a pathway so different from that of 0arth < or, conversely and critically for the search for life elsewhere < what might have enabled 0arth to develop so differently from Benus. An insight into the cause or causes of those differences might help astronomers gauge the possibility for success for the S0T4 pro%ect, the Search for 0-tra-Terrestrial 4ntelligence. 4t is %ust possible that Benus is the norm for what will li*ely be many 0arth-si5ed planets to be discovered by astronomers employing ever-advancing technology. The following brief article s*etches out several reasons for the differences between the two planets and proposes the root cause behind those differences. &uture research into the questions touched upon by the article will undoubtedly bring new theories, clarifications, and insights as part of the ongoing process of science. 4t is the first of a pro%ected group of pieces concerning science that will comprise a modest section of this e-boo*, which is still under construction. 0n%oy the article and consider its implications.
54
*ntrodu'tion
Appreciation for the role that lunar gravity has played in making &arth more hospitable to life has been increasing in recent years. It has been generally accepted that having the =oon in orbit around &arth has stabili!ed its a%ial tilt, keeping the planet more consistently around a value X 23 o 2>) X that provides seasonal variations without e%tremes, as is the current case with Fenus and was apparently the case with =ars in that planet)s geological past. 1cientists have likewise theoretically connected tidal pools that fluctuate daily with the evolution of life on &arth. (omputer simulations that have modeled a violent lunar birth have likewise now achieved widespread acceptance in the astronomical community. =any theories take time to attain acceptance in the general scientific community. Mne of those, which plays a critical role in this paper, was Alfred 2egener)s 454: book, *he origin of continents and oceans (originally published in $erman), that presented the ideas on tectonics and continental drift that he first proposed in 4542. is ideas did not gain academic credibility until fifty years later, when marine geology and the discovery that the continents appeared to move relative to the 0orth "ole forced geologists to adopt 2egener)s ideas as the best e%planation for the phenomena that they were discovering. *hat the =oon)s e%istence has been necessary, or at least e%tremely beneficial, for the development of life on &arth is now gaining general acceptance. *he ensuing paper will optimistically add another credential to our satellite)s resume of accomplishments in fostering life on &arth. It will do so in the conte%t of the failure of life to take hold on &arth)s nearest planetary neighbor, Fenus. *his paper, in an attempt to provide the broad conte%t for the theories that it e%presses, will first e%plore planetary evolution and the =oon)s connection to it, contrasting geological and biological conditions on &arth and Fenus, which the author dubs Ithe failed home for life,J leaving the possibility that Fenus may well have once harbored life forms similar to those found on &arth during the early days of biological evolution on our planet. It will then move forward, e%plaining a broader scope for the &arth'=oon relationship than is currently accepted. ow &arth is being affected by the evolution and aging of that relationship will be tied into the generally accepted e%planation of what went wrong for life on Fenus and how Fenus, and not &arth, might provide the basic model for the viability of life on the escalating number of e%tra'solar planets being discovered.
52
(ytherean$ surface temperature and atmosphere. 1omething therefore must have happened differently on the two planets for &arth to have travelled one path towards an abundance of life forms and Fenus another, completely different trail towards hostility to terrestrial'type life.
Ea$!h
465.3 % 473 km (4.77 A/) Earth : $.# $<o C 42,>:3 km &arth B 4.77 thin crust, mantle, molten outer 'ore solid inner core N " O" H"O tra'e CO" , e
=enus
47;.2 % 473 km (7.>2 A/) $.A x Earth 616o C 42,476 km 7.;2 % &arth thin crust (but thicker than &arth)s), mantle, solid core CO" H"/O6 then probably the same as &arth)s hot spots
Cratering minorA mostly weathered, subducted minorA volcanic resurfacing LLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLL /igni%i'ant di%%eren'es highlighted in red
&%amining *able I)s data, it is obvious that insolation, or the amount of solar radiation received at our neighbor)s distance from the 1un is almost twice as great as that received by the &arth, but those average figures do not take into consideration either substantial variations on each planet due to e+uatorial versus polar insolation levels or for the long (ytherean night, which ought to contribute to atmospheric and surface cooling. &arth)s a%ial tilt of 23.:o allows for fro!en polar !ones and torrid e+uatorial conditions. *he (ytherean tilt of 4>>.3 o, combined with its long nights, should produce a variation there also, leaving large regions seasonally temperate, even if 8ust barely by &arth standards. istorically, the (ytherean a%ial tilt was not likely 4>> o at all timesA lacking a stabili!ing satellite, it probably varied over time, even if a collision knocked it into a greater tilt at some point in its past. /nfortunately for the cause of life, all of Fenus is e%cessively hot due to the high atmospheric (M 2 content. 2hile there is no detectable molecular o%ygen in Fenus)s atmosphere, considerable o%ygen is bound molecularly to (ytherean carbon to produce the planet)s crushing atmospheric pressure and the hot'house effect that results from carbon dio%ide)s ability, as a greenhouse gas, to trap heat. 1omething happened differently on the two planets to smother Fenus in that suffocating (M2 while &arth was left with 8ust enough (M 2 to support plant life while substantial molecular o%ygen facilitated the rise of the animals. *here appears to be general agreement in planetary astronomy that active plate tectonics on &arth, contrasted with now inactive tectonics on Fenus, is the significant difference between the
53
two planets," but the root cause behind &arth)s active plate tectonics versus Fenus) now apparent lack thereof remains an open +uestion. *he following analysis proposes that the e%istence of &arth)s large lunar companion is the basic cause for the &arth)s hospitable conditions for life and it suggests that this finding will have implications in the search for intelligent life beyond the 1olar 1ystem (1&*I) and in the determination of the remaining time of habitability for life on &arth.
56
and gravitational interactions between it and &arth resulted in a collision, modeled by astronomers, that landed a glancing blow on &arth that ripped off terran crust and mantle that then merged with rubble left behind by *heia to form either one or two moons that circled &arth in a tight orbit. $$ &arth)s mantle was reduced in mass and at least some of *heia)s core merged into the &arth, modestly increasing our planet)s mean density. .ecause &arth)s nascent crust and its mantle were still very hot and plastic from the heat of accretion, terran gravity reestablished the planet)s spherical shape within about one day, leaving no scarring apparent today. 2hatever remained of *heia headed out into interstellar territory, its damage done and its blessing bestowed. &arth)s collision with *heia was not an e%ception to business as usual in the solar neighborhood in the late Accretion &ra, when the evolving system was less than 477 million years old. 9ationale and some evidence e%ist to argue that each of the remaining inner planets e%perienced one or more ma8or collisions prior to commencement of the ?ate eavy .ombardment (? .). &ven the =oon, as already noted, had a ma8or collision, which in the =oon)s case merged two satellites travelling in roughly the same orbit, combining a smaller body that now makes up the highlands on the side of the =oon not visible from &arth with the much larger body that comprises most of the mass of today)s =oon in an impact that had a relatively slow closing rate, facilitating a merger rather than a shattering crash. =ercury also suffered a ma8or collision, one that ripped away a considerable portion of its crust and mantle. =ercury)s core had already substantially differentiated, which led to a much higher mean density for the innermost planet, 8ust as the collision that had created the =oon did with &arth. If a moon could have coalesced from the debris of =ercury)s collision, it did not remain in orbit around the planet for very long because the =ercury)s ill 1phere is too small for the innermost planet to retain a moon in competition with the nearby massive solar gravity well.$" =ars e%perienced a series of ma8or collisions, with the most powerful of those carving out the .orealis .asin in the planet)s northern hemisphereA the .asin was only discovered by =ars orbiters. &arth'based observers failed to detect evidence of that collision because the .asin)s edges were depressed and because the depression covered such an immense area. $) *he collisions it suffered reduced the bulk of the 9ed "lanet)s atmosphere, severely restricting its greenhouse capability and leaving the planet cold and dry. $6 *hat leaves only Fenus in the inner system. *he massive tilt of the (ytherean a%is of rotation could be the result of an obli+ue collision with a smaller body that did not have enough mass and relative speed to put sufficient debris into orbit that could coalesce into a moon. Fenus has a slightly lower density than &arth, which lost crustal and mantle materials due to its impact with *heia, thereby giving &arth a resulting higher average density than it had previously possessed. It is therefore unlikely that Fenus lost any appreciable mass due to that collision. *hat proposed collision with Fenus is speculativeA as of the date of this article it has not yet even been modeled, but it is a likely scenario given the amount of material orbiting the 1un in the inner system at that time. (ollisions were thus the norm in the inner 1olar 1ystem of the late Accretion &ra. 2ith more ob8ects in orbit around the 1un in the inner system, the likelihood for collisions was good. ad those ma8or collisions occurred during or after the ? . there would have been clues in the amount of cratering on =ercury, the =oon, and even =ars that would have dated those massive impacts to the ? .. A crucial +uestion does arise with the =oon)s creation# what is the probability that ma8or moons have been created by similar collisions in the !ones that are populated by terrestrial'type planets around other stars. *he answer to that +uestion will have a great deal of influence on where to search for e%tra'terrestrial life once the search technology has been upgraded to the point that the markers for life can be detected on distant earths and on super'earths. The 7iant &lanets <ollowing the initial accretion of 1ol)s ma8or planetary retinue, three outer gas giants are believed to have migrated outward from the 1un, establishing orbits similar to those that they have today. 0eptune, the outermost and third'most massive giant, accreted about 37R closer to the 1un than it is today. According to the 0ice =odel, 0eptune ostensibly accreted inside the orbit of /ranus, and those two planets began a dance that saw them e%change positions.$< After 0eptune)s and /ranus) e%change or in any event about a billion years after the formation of the 1olar 1ystem, 0eptune began its steady drift further outward from the 1un. .eyond it laid the -uiper .odies and the Mort (loud. A little rocket science makes what happened ne%t a little more comprehensible. Applying standard 0ewtonian physics, gravity serves as a function of mass, causing bodies to be attracted towards each other in a process that is strengthened, as they close the gap between them, by the inverse s+uare of the distance that separates them. 0ewton)s 1econd ?aw of =otion Gpublished in his 43;> Phi&#s#%hiae ;a!u$a&is P$inci%ia <a!he(a!icaH e%plains that the mutual forces of action and reaction between two bodies are equa&, #%%#si!e, an+ c#'&inea$. (ombining 0ewton)s work on mathematics and physics with -epler)s ?aws of "lanetary =otions, it +uickly becomes evident that the 1olar 1ystem, through a comple% clockwork of ever'moving masses, is held together by
5:
gravity. 9ocket scientists have employed those 0ewtonian principles to give space probes speed boosts through gravitational assists that bring the probes close to planetary bodies to pick up acceleration on their 8ourneys of e%ploration. .ut it must be remembered that if a probe uses a planet)s gravity to pick up a little acceleration, the helpful planet in turn loses a little velocity that is proportional to the masses of the two ob8ects, as is re+uired by the 1econd ?aw. In that way a probe can gain a considerable boost while minimally impacting the planet)s orbital velocityA the difference between a probe)s mass and a planet)s mass is so great that the effect upon the planet)s velocity is infinitesimal. 0eptune hovered on the edge of a wider -uiper .elt, which is believed to have e%tended farther inward during the early years of the 1olar 1ystem than it does today. 2ith appro%imately 4> &arth masses, 0eptune had considerable gravitational impact upon the rock and ice bodies that revolved about the 1un beyond that ice'giant)s then'closer orbital path. 0eptune itself was a rock and ice body, as models of its interior strongly suggest. *here simply was not enough material left beyond 0eptune to create another giant world. .ut 0eptune would not leave the outer 1olar 1ystem at peace. *he planet)s powerful gravity began tugging at the rock and ice bodies that lay out beyond it in deeper space. *hose that could not lock themselves into a simple mathematical resonance with 0eptune Glike "luto)s 2#3 orbital synchronicity with 0eptuneH were drawn inward through 0eptune)s warping of space'time. 1ome of those bodies, including 0eptune)s moon *riton, were captured by one of the outer giants. *he giant'planet satellites with retrograde motion compared with their primary)s e+uatorial rotation are believed to be such captured -uiper bodies.$1 /ranus and 1aturn then provided additional gravitational boosts to the inward'bound -uiper and Mort ob8ects. =assive ,upiter finally either (4) pulled those migrating bodies into itself or into orbit around it, (2) e%pelled them from the 1olar 1ystem, or (3) sent them further sunward. As a result of 0ewton)s 1econd ?aw, 0eptune)s orbit ratcheted outward, as did /ranus) and 1aturn)s to lesser degrees, all due to the acceleration they imparted to the -uiper and Mort bodies dislodged by 0eptune. It is theori!ed that ,upiter)s orbit remained fairly similar to what it had originally been, perhaps actually shrinking by 4' 2R.$; If 0eptune)s distance from the 1un did increase by 37R, or anything close to that figure, a fair amount of mass had to have been gravitationally dislodged by that blue ice'giant and sent sunward. At this 8uncture in the discussion it is important to remember that great amounts of ice, which is a ma8or component of -uiper bodies, thereby streamed sunward after the planets had formed or had almost completely formed.
Dater Arri8es
=any astronomers now believe that the ? . included ob8ects from the ice'rich regions of the 1olar 1ystem brought water to the terrestrial bodies. *here is evidence for ice in deep polar craters on the =oon, $C and =ars seems to have limited amounts of ice on its surface plus evidence for earlier flowing water and shallow seasA $A even =ercury now seems to have small amounts of ice. "# *he =oon and =ercury lack protective atmospheres, so any water that they did ac+uire through the ? . would logically have rapidly evaporated off into spaceA if any was preserved, it would therefore have to be under the surface or in deep craters where sunlight cannot penetrate, as very recent discoveries suggest. 2hile =ars still holds some water from its ancient seas, Fenus has none now evident "$ in contrast with &arth, which has retained massive oceans of that li+uid so essential for life. &vidence was recently announced (Mctober :, 2744, reported online in 0ature) that strengthens the theory that &arth)s large supply of water originated in the -uiper .elt."" (omet artley 2, which likely descended into the inner 1olar 1ystem from the -uiper .elt, has a hydrogen'to'deuterium ratio that matches of the water in &arth)s oceans. 1i% other comets whose I to II ratios have been studies, had a different ratioA however, their source of origination was believed to have been the theori!ed Mort (loud, which lies far beyond the -uiper .elt. ?ead author of the study, "aul artogh of the =a% "lanck Institute for 1olar 1ystem 9esearch, said that the team will have to study other comets to determine if their ratio)s match those of terrestrial water. 1hould additional studies determine a similar I to II ratio for the short'term comets that originate in the -uiper .elt, the .elt will more assuredly stand out as the source of the water in the inner system that would have arrived during the ? .. As .elt ob8ects are mi%tures of rock, ice and other fro!en gasses, their prevalence in the ? . would strengthen the case for the e%istence of water on Fenus following the ? .. *hen it would be 8udged that Fenus had possessed water to help lubricate the planet)s early plate tectonics and +uite possibly have filled oceans, like on &arth, which could have harbored early, primitive life'forms.
53
It is unlikely that the 1un would have evaporated away the entire ancient (ytherean hydrosphere 8ust through insolation. *he 1un has gradually increased its luminosity as it has aged, with Fenus receiving about 27R less insolation at the time of the ? . by current estimates, which in turn suggests that there would have been less chance of the 1un boiling away all of the water Fenus received from collisions with incoming ice'laden bodies. 1omething in addition to solar radiation alone had to be acting upon Fenus, in a way that did not occur on &arth, for Fenus to lose all of its water. *he primary culprit in that loss would, of course, have been the greenhouse effect brought on by the thick, (M2'dominated (ytherean atmosphere. &arth at the same stage of planetary evolution X at about the time of the bombardment of ice'rich bodies X also possessed an atmosphere rich in (M 2, but it did not suffer from the runaway effect that evaporated the (ytherean hydrosphere and put that water vapor within reach of the solar radiation that would break down the 2M molecules and allow the hydrogen to escape into space from the upper reaches of the planet)s atmosphere. *hat means that some process was initiated on &arth that was either absent on Fenus or was shut off in an early epoch there. *hat process was plate tectonics. Mn &arth, plate tectonics create new oceanic and continental crust through e%tensive volcanic activity in places where lava wells up through long volcanic chains, such as the Atlantic Mcean)s mid'oceanic ridge and the "acific Mcean)s 9ing of <ire. In other areas, subduction involves large pieces of e%isting crust being forced down below a neighboring plate, taking with it carbon, which is then stored in rock metamorphosed through that subduction. (arbon was thereby cycled out of the atmosphere, assisted by life processes. *hose life processes removed (M2 from the atmosphere and in return released M2 back into it. As molecular o%ygen gradually built up, metals were o%idi!ed, M3 was generated protecting the evolving life from the 1un)s intense ultraviolet radiation, animal life that re+uired o%ygen arose, and carbon from dead, decaying life forms was deposited and eventually subducted. It had to be an ongoing process because volcanoes released fresh (M2 into the atmosphere. Fenus has numerous volcanoes and volcanic remnants, but no active volcanoes have been spotted to date by missions to the planet or through earth'based radar imaging. =ost of the surface is comprised of cooled lava flows, which have resurfaced the planet since the cessation of the earlier bombardments. *he e%istence of those volcanic features indicates that Fenus has e%perienced volcanic activity like &arth and has had massive lava flows not unlike the @eccan *raps that spread across the Indian subcontinent 3: million years ago. Folcanic activity on Fenus may have ended, or substantially ended, because the (ytherean mantle has cooled more than has &arth)s and that cooling would produce a crust thicker than that of the &arth. ") As plate tectonics on &arth are driven by heat from the planet)s interior as part of the planetary cooling process, it would be reasonable to hypothesi!e that the cooling of Fenus and the thickening of the planet)s crust in comparison with &arth)s would have strangled plate tectonics and volcanism due to that cooling. Fenus could very easily have had plate tectonics and a substantial hydrosphere following the ? ., but cooling of the (ytherean interior ended the tectonics and their carbon recycling, allowing the dense (M 2 component of the (ytherean atmosphere to take off on a runaway greenhouse spiral that boiled off the water and caused it to rise into the upper atmosphere where solar radiation attacked the water)s molecular integrity. *he (ytherean gravity was unable to retain the planet)s hydrogen any more than &arth)s gravity can retain considerable atomic hydrogen, so Fenus lost its water and became inhospitable to life. Mnly hints of plate tectonics remain there to suggest that the early history of Fenus may have been very similar to &arth)s, "6 but the cooling of the (ytherean mantle and core set Fenus on its divergent path, away from its twin. *he key +uestion then arises as to how &arth, further from the 1un than Fenus, retained greater interior heat, particularly in light of &arth)s mass and diameter being only modestly greater than Fenus)s.
5>
align with a planet)s magnetic field, but the massive lava flows that have covered Fenus after the planet lost its field would have left no apparent orientation to any iron particles in the upper portions of the planet)s thick crust. =agnetic fields arise, as scientists believe, from turbulence within a terrestrial planet)s li+uid metallic outer core. *he e%istence of a li+uid metal core within the &arth has long been determined through studies of earth+uake p' and s'waves. 2ith temperatures e+ualing those of the 1un)s outer layer, a great deal of turbidity and convection takes place in the &arth)s core. 2hat are still primitive computer models agree in their general outlines with what is theori!ed to e%ist within the core and with what is needed to create &arth)s magnetic field. &arth)s field helps protect the planet)s surface from the solar wind, generating the magnetosphere which traps the potentially harmful particles streaming in from the 1un."< Fenus lacks a magnetic field and accompanying magnetosphere. *he (ytherean ionosphere partly mitigates the absence of a magnetosphere, but damaging solar radiation that would destroy terrestrial'type life does reach down through the planet)s atmosphere, unlike on &arth where most harmful radiation is blocked. *hat lack of a protective magnetic field is attributed to a cooling of the (ytherean metallic core. Fenus)s density of appro%imately :.2 gramsKcm3 in comparison with &arth)s :.: gmKcm 3 argues strongly that the two planets have very similar overall compositions."1 2ith similar densities and with births from the same section of the early proto'solar disc, the two planets ought to have very similar compositions and structures. 1ome divergence in geological history would be possible, but Fenus and &arth have followed strikingly different pathways with significantly different results, as is summari!ed in *able II.
Ea$!h
Active 2orldwide activity 1trong Activity 02, M2,
2
=enus
InactiveA some evidence for ancient activity @ormant now, but possibly periodic Inactive eavy (M2 concentrationA 0o
2 2
M, small (M2
2
1M6 clouds
Abundant
=oderate thickness
5;
,antle Core
"lasticity in upper region (Asthenosphere) =olten metal surrounding solid inner core
LLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLL 1late tectonics, volcanic activity, and atmosphere recapitulated from Table 4 for ease of reader review.
<ollowing the Accretion &ra, the inner 1olar 1ystem then e%perienced the ? ., which brought water in the form of ice from the -uiper .elt due to gravitational disruption of that region by 0eptune and the channeling influence of the gravitational attractions of the three other giants planets. .oth Fenus and &arth should have ac+uired considerable water, creating substantial hydrospheres. Fenus, surprisingly, would have been an easier target for those icy bodies to hit due to the (ytherean orbit being smaller than &arth)s, creating a greater density of incoming bodies being attracted sunward by 1ol)s gravityA Fenus should therefore have received more water than &arth for the same geometrical reason that it receives greater insolation than its outer neighbor. Fenus ought to have had oceans, which would originally have helped lubricate tectonic activity, but it was shortly after the ? . that the planets) pathways diverged. Fenus began cooling internally faster than &arth. *he (ytherean mantle began to cool and its plastic asthenosphere began to harden. *he core likewise cooled and solidified, or Pfro!e.) *ectonics is a cooling process, utili!ing heat that rises from below through convective currents to drive the plate motions. As Fenus cooled, plate tectonics would have slowed, then haltedA only periodic lava flows, like those of the @eccan *raps, remained to resurface the planet. 2ith plate tectonics halted on Fenus, no mechanism remained to cycle (ytherean carbon, so the planet)s atmosphere and surface heated up through a runaway greenhouse effect, which in turn boiled off all of the planet)s water and allowed the water molecules to be broken up in the planet)s atmosphere and the hydrogen to escape into space because the (ytherean gravity was not strong enough to retain the lighter and most common isotope of that lightest of all elements. "C At the same time, with its core cooling, Fenus gradually lost its magnetic field and magnetosphere, which in turn meant that the planet)s surface would have steadily less protection from solar radiation that would be damaging to life, if any had arisen there Gand it did arise very early on &arth, as testified by Australian stromatolitesH. Fenus became inhospitable to life while &arth)s plate tectonics continued functioning through to today and its outer core remained molten enough to permit the planet to retain its magnetic protection from the solar wind."A
55
.oth Fenus and &arth have generated a good portion of their own internal heat through radioactive decay. *he three primary elements involved in radioactive decay on &arth are /ranium, *horium, and "otassium. *able III provides their radioactive half'lives.
Table *** Hal%@3i8es o% Earth.s ,ost /igni%i'ant Eadioa'ti8e *nternal Heat@7enerating *sotopes >s#!#%e
23; 232
?a&4'@i5es
6.6>%475 yrs. 4.64%4747yrs. 4.2;%475yrs.
/ *h 67 -
LLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLLL *hese three elements reside in the mantle, )# wherein they radiate their heat upward, driving plate tectonics, and downward, helping keep the outer core molten. 1ome scientists will say that there was a different distribution of those elements between the two planets, leaving Fenus with less, but that leaves the unanswered +uestion of why &arth would have actually received such a substantially greater concentration of radioactive elements than the other terrestrial bodies if it indeed had received such a greater supply. 1ome means, other than the heat from radioactive decay, must be found to account for the differences between &arth and Fenus. &arth still has active plate tectonics, a molten outer core, and a magnetosphere whereas Fenus has none of those or at least not at a level presently perceptible. 1omething significant must be added to the heat budget e+uation for &arth to have retained those characteristics which Fenus no longer displays. 9adioactive decay is important, but using the half'lives of the three radioactive isotopes from *able III, almost half of the original ")C/, a bit over seven'eighths of the original ")"*h, and nine'tenths of the starting supply of 6#- have decayed since &arth formed. *here would be intermediate products in the decay process, but the only conclusion possible is that both Fenus and &arth have been losing their supply of radioactive materials that have been heating the planets internally. *he (ytherean interior no longer produces enough heat from radioactive decay to drive plate tectonics and keep enough of the core molten to preserve the planet)s magnetic field. 1omething else must have contributed significantly to &arth)s total heat budget for it to have retained those characteristics so necessary for the continuation of life on the planet. .oth planets also retained heat from their accretion processes, but as noted regarding radioactive isotope decay, that residual accretion heat combined with radioactive decay no longer drives tectonics or retains a molten outer core within Fenus, arguing that neither retained accretion heat nor radioactive decay would be enough, even combined, to sustain &arth)s tectonics and the planet)s molten outer core. 0o reason e%ists to suggest that Fenus and &arth have significantly different compositions, particularly with radioactive materials, that would have provided &arth with greater internal heat than Fenus. Fenus is closer to the 1un, so it does get more insolation, but no mechanism is currently known that would greatly increase internal heat loss by raising surface temperatures. Fenus)s closer position to the 1un would create greater gravitational heating of the (ytherean interior due to the planet)s closer orientation to the 1un)s powerful gravity well, but that would be offset by Fenus having the least orbital eccentricity of any of the eight planets, cancelling out much or most of the advantage in internal heating that Fenus would e%perience due to its closer pro%imity to that gravity well. *he 1un does have an effect on the &arth)s tides, but the =oon e%erts a greater influence, which leads to the inference that the combined lunar and solar influence on &arth)s internal heat budget is greater than the sole influence of the 1un on Fenus.
477
*he =oon adds a significant gravitational component that so far seems to be overlooked in assessing &arth)s heat budget. It is a declining in its absolute contribution to &arth)s heat budget, 8ust as are radioactive decay and latent heat from planetary accretion, but it has been historically significant on a geological time scale. *he =oon)s gravity pulls on &arth)s mantle and the core 8ust as it does on the hydrosphere and the atmosphere. *hat constant churning both creates heat and impacts upon the convective currents that drive plate tectonics, modifying the convection that helps the &arth)s interior cool through tectonics. "late tectonics would thus be prolonged on &arth in comparison with Fenus due to the =oon)s gravitational effect. =odeling of the &arth)s core in order to determine how the planet)s magnetic field is generated is still in its mathematical infancy, so any modeling of the =oon)s effect upon &arth)s internal heat budget would be at best a very rough appro%imation.)$ (ritics of an enhanced lunar role will argue that the =oon)s mass is too small to have such a striking impact upon &arth)s geological history and the rise of life on the planet. 2hat, then, could account for the different geological pathways followed by the two planetsW 1imilar si!es, masses, distance from the 1un, and densities argue for similar histories. &arth has a slightly higher density, but if astronomers are correct about the =oon)s creation, greater average planetary density would have resulted from the loss of crustal and mantle material in the collision with *heia that created the &arth)s satellite. Mne could then argue that &arth)s loss of part of its mantle helped facilitate plate tectonics, but that benefit would have to include an offset for easier heat loss through a thinner mantle, which ought to have helped cool the planet and slow down, or even end, plate tectonics if there were no other source adding to &arth)s heat budget. It should also be noted that the =oon once orbited the &arth considerably closer than it does today. )" *he =oon is gradually spiraling outward due to tidal (gravitational) forces. *he gravitational energy that slowed the =oon)s rotation, locking one face toward the &arth, and is causing the =oon to ever'so'slowly spiral outward, winds up adding energy to the &arth, ultimately contributing to its heat budget. 1o far, the &arth has, as a storage battery, retained enough heat internally to both keep the outer core molten and drive plate tectonics, providing the planet with its protection from the solar wind and the runaway greenhouse effect that choked off any possibility for life or for continuing life on Fenus. &arth, then, becomes the e%ception to the rule that Fenus sets# terrestrial bodies of appro%imately the &arth)s mass and diameter would cool and lose the plate tectonics and magnetic fields that would make them hospitable to life unless they had a large companion satellite that increased their internal heat, helping to keep those two processes active longer than would be e%pected on a solitary planet.
474
Itidal heatingJ combines with a wobble in &nceladus) rotation to generate the heat that powers those geyser eruptions. 9adioactive decay heating would not be enough to prevent cooling and the water)s solidification. *he diminutive moon)s oval'shaped orbit brings &nceladus closer to 1aturn and then takes it farther away, Ithe gravity s+uee!ing the body)s insides GvaryingH accordingly, creating friction and thus heat.J )< <ollowing that determination, it was announced at the 8oint meeting of the &uropean "lanetary 1cience (ongress and the @ivision for "lanetary 1ciences Mctober 3, 2744 in 0antes, <rance that some areas of &nceladus) surface have snow crystals piled up to a depth of 477 meters, which scientists believe have taken millions of years to accumulate as the result of the spray from the moon)s geysers.)1 *hose snowy piles demonstrate that the geysers are not a transient phenomenon. Mne final clue to the sources of &arth)s total heat budget comes from geologists who also wonder from where it all originates. If they still ponder from where the total internal heat budget originates, then room remains in the e+uation for gravitational or tidal heating. Astronomers and geologists observe it occurring on other worlds and moons, ranging outward from =ercury to the gas giants) satellites. *he =oon does not benefit from its pro%imity to &arth and the tidal tug of war between its primary and the 1un because its other sources of internal heat have long since failed to produce enough heat to keep the interior molten in combination with gravitational heatingA it is a clear indication that worlds) interiors will eventually go (relatively) cold when radiational heating and heat from the early formation are e%hausted. owever, the =oon)s maria stand as reasonable arguments for an ancient molten interior that is now cooled, evidenced by its present lack of a magnetosphere.
472
overall heat budget. 0either the water'ocean nor the atmosphere is bounded as their upper surfaces can e%pand, with the ocean)s water against the yielding atmosphere and the atmosphere ultimately against the vacuum of space. *he third great ocean has by far the greatest mass. &arth)s outer core comprises an ocean of molten metal X primarily iron X that completely envelops the solid inner core and is, in turn, bounded by &arth)s mantle. It possesses a viscosity lower than that of water and has a thickness of 2,347 km (4,3>7 mi). aving a low viscosity, the outer core is sub8ect to lunar gravity, but because it is bounded on its top and bottom by essentially unyielding, solid material, it reacts to lunar attraction with tidal bulges that are forced into becoming density waves bounded or constrained by the mantle above and the inner core below. *hat density wave would create pressure against both the mantle above and the inner core below, and pressure creates heat. "ressure would increase the heat in the molten outer core and in both the lower mantle and the upper part of the inner core. *he density wave would also generate friction as the current created by the moving density wave pushed laterally along the underside of the mantle. 1imilarly, there would be pressure and friction applied against the surface of the solid inner core. *hat density wave may be thought of as a piston creating pressure in a cylinder, like a manually operated tire pump does when it creates pressure to force air into a tire. *he pump)s cylinder reacts to the pressure and friction with the creation of waste heat, only inside the &arth that heat is not wasted. Instead, convection and conduction push heat up into the mantle, eventually helping to drive plate tectonics, and downward into the inner core helping to slow the outward spread of its solidification. As the density wave passes through the outer core, it leaves turbulence, like eddies, in its wake, making the outer core harder to model, but it does help mi% the heat and may well add to the generation of the *erran magnetic field. All of this suggests that more computer power will be needed to fully model &arth)s heat budget and how that heat mechanically drives the plate tectonics that so fortuitously accommodate terrestrial life. *he foregoing means that those searching for &arth'si!ed worlds would need to modify their searches in one of two ways. <irst, they could search for &arths with relatively large satellites like the =oon. *hat could re+uire more sensitive e+uipment than would be necessary to search for e%tra'solar &arths, but the e%istence of such moons would give greater hope for life on any worlds that they do discover. *here would, of course, be possible spectral signatures for o%ygen on habitable worlds that would also help distinguish habitable worlds from their inhospitable siblings. 1earchers could also seek out I1uper &arthsJ which ought to have enough mass to retain heat from their initial formation and enough radioactive material to have sufficient internal heat to drive plate tectonics without the e%istence of a ma8or satellite. )A A combination of the two strategies X seeking planets with large satellites plus greater si!e than &arth X could also work, but there would be limits imposed by e%cessive plate tectonics and volcanism that would inhibit the rise of life rather than foster it, as the =oon has fostered life on &arth. *he age of the planet would also be an important factor because moons can gradually spiral away from their primary and because plate tectonics are a cooling processA after sufficient time, any planet)s interior would cool off and the planet would become less hospitable because the tectonic process would no longer remove carbon that would otherwise contribute to a (M2'driven greenhouse. 1eeking &arths with large moons and 1uper &arths would be the likeliest, best strategies for locating life'bearing planetsA planets of &arth'Fenus masses without satellites would very probably be barren, barring some other mechanism for limiting the (M2 build'up in their atmospheres. 2hile it certainly will be argued that the =oon)s influence on &arth)s internal heat budget is not that great, some mechanism must e%ist to e%plain the difference between &arth)s still'viable plate tectonics and the lack of them on Fenus. <ollowing Mccam)s precept, lunar gravitational heating represents the simplest e%planation, and therefore the more likely correct one, given the known and hypothesi!ed factorsA any other e%planation will be considerably more complicated, re+uiring greater certainty in its data. &arth has had more internal heat than its near'twin even though, from their inner'system pro%imity, the two planets ought to have similar compositions. (onsiderable evidence e%ists elsewhere in the 1olar 1ystem that validates gravitational heating enough to make it feasible for it to have been an important factor in sustaining plate tectonics. *he data concerning &arth suggests that radioactive heating and residual accretion heat ought to have lessened as they did on Fenus and that gravitational heating has also decreased substantially since the =oon has steadily receded from its remaining parent. "late tectonics will therefore have a limited remaining lifespan on &arth, geologically speaking.
473
colleagues have discerned that outer core iron is rapidly releasing its heat through conduction rather than through the convection that drives planetary plate tectonics. 6# *he research team)s findings, initially publici!ed in ?ature, state that, I*he theoretical conse+uences of this discrepancy are far'reaching. *he scientists say something else must be going on in &arth)s depths to account for the missing thermal energy in their calculations.J A series of possible mechanics have been proposed as a result# =ore radioactive material e%ists than previously suspectedA Inner core iron is solidifying faster than e%pected and releasing latent heat of crystalli!ationA (hemical reactions among the core)s iron alloys and among the mantle)s silicates are fiercer and more energetic than previously believedA and, 1omething novel and bi!arre is happening, but is as yet undetermined. *aken in the broadest view, this new data indicates that the &arth)s core is rapidly cooling on a geological time scale and, that over such a time scale, plate tectonics will be facing cessation to the detriment of climate and the continuing e%istence of life on the planet. &arth)s rapid dissipation of the heat through conduction is likely a good e%planation of what happened on Fenus. *he (ytherean core cooled, tectonics slowed, then stopped, and the generation of the planet)s magnetosphere stopped. As no simple e%planation has emerged as to why Fenus would have considerable less radioactive material relative to &arth and why its heat from accretion should be significantly less than &arth)s, it must mean that the =oon in its orbit revolving around &arth has provided mankind)s home with considerable internal heat due to gravitational action stirring the *erran interior. *he ?ondon findings suggest that radioactivity is likely lessening within the &arth as it had to have done inside Fenus for the observable differences between the planets to e%ist. *he same would hold true for any latent heat from accretion. *hat would leave &arth with the advantage of gravitational heating due to the =oon carrying on its constant churning of the &arth)s interior, but as the =oon)s orbital semi'ma8or a%is has been gradually increasing, that too is of ever'lesser efficacy in heating &arth)s interior. &arth is simply cooling off and it is evolving into another Fenus. Its plate tectonics will cease before volcanoes totally die out, so sulphur dio%ide will be released into the atmosphere as a source for sulphuric acid clouds. (arbon would no longer be recycled, building up the (M2 in the atmosphere that would eventually lead to a runaway greenhouse effect. *he oceans would boil off, with the result that water molecules would be split apart by incoming radiation that is no longer blocked by a magnetosphere that died out when the outer core crystalli!ed, thereby losing its ability to generate a magnetic field in con8unction with a contrasting solid inner core. 0one of that would happen instantaneously, but as the tectonics gradually lessened, sulphur and carbon would become increasing burdens for *erran life, as may well have happened to nascent life on &arth)s twin. A tipping point would be reached, but it is more likely to be on a geological timeframe, with effects being noticed only in minute increments. *hat does not mean that humanity could not produce a runaway independently of planetary geology by increasing its emissions beyond &arth)s ability to recycle deleterious waste products. Fenus and &arth may well therefore be the once and future twins.
Notes
$ "
*he author prefers using the ad8ective I(ythereanJ over IFenusianJ when referring to Fenus. .y removing a si!eable portion of &arth)s carbon from the biosphere, plate tectonics help keep carbon from combining with o%ygen in a runaway greenhouse effect. A lower availability of carbon means a lesser chance for a runaway to get started. Mther carbon has been bound up and buried in the substances used today as fossil fuels. ) *he most recent scientific theory suggests that today)s =oon resulted from the merger of two breakaway bodies that were parked in close orbital pro%imity to each otherA that is not to be confused with &arth)s recent, temporary second moon (277>';), a captured tiny asteroid. 1ee IA second moon for &arth.J
6
Any water resulting from the accretion process would not have been able to condense on the hot planetary surfaces still cooling from the accretion. *hat water would have evaporated into the atmosphere where radiation would have disassociated the moleculesA the hydrogen from that process would have escaped off into space.
<
*he turbulence and spinning of the outer li+uid core generates the strong electric currents that must surround a spinning solid inner core in order for a terrestrial planet to generate a magnetic field. *errestrial planets cool from the outside in (crustal cooling) and the inside out (core cooling, or free!ing). Inner core cooling had to have begun before a magnetic field could have been generated. *hat strongly suggests that Fenus possessed a magnetic field
476
while its interior cooling was still incomplete. Fenus is now believed to have a totally solid core because the planet has no magnetic field.
1
=ercury seems to be a modest e%ception because its core is, for the planet)s diameter, proportionally larger than &arth)s, but astronomers now hypothesi!e that =ercury, like &arth, suffered a collision with another large, planet' si!ed body that blew off much of the planet)s crust and mantle. .ut in =ercury)s case, either no moon formed or, if one formed, it did not remain in orbit very long due to the 1un)s pro%imity and the disruptive power of its intense gravitational field. As &arth and =ercury would still have been semi'plastic at the times of those proposed early collisions, the planetary scarring from those impacts would have filled in, leaving nothing other than &arth)s satellite and =ercury)s relatively large metallic core as testimony to those events.
;
@euterium (" ), being heavier than regular hydrogen, is retained more easily. It can serve as a marker for early water in the inner 1olar 1ystem.
C
*he giant planets are believed to have accreted faster than the terrestrial ones. *he terrestrial bodies accreted within a 477 million year span that began with the outset of the condensation of the solar nebula.
A
*here were appro%imately 477 times as many asteroids and -uiper bodies at that time than now remain in the 1olar 1ystem
$#
*heia, a *itan, was said to have been the mother of the =oon, hence the selection of that name for the protoplanet that collided with &arth, creating the =oon as one of the results of that collision.
$$
"lanetary scientist &rik Asphaug of the /niversity of (alifornia, 1anta (ru!, And =artin ,ut!i of 1wit!erland)s /niversity of .ern have run computer simulations that indicate a high likelihood that &arth)s present satellite formed from the collision of two predecessors in close orbit to each other. =ore recently, &arth captured a very small asteroid from near'&arth orbit, with the tiny moonlet going into a polar orbit for 43 months in 2773'> before it escaped back into a heliocentric orbit. ?i! -ruesi, IA second moon for &arthWJ Astronomy, <ebruary, 2744, p.36.
$"
*he ill 1phere is that region surrounding a planet where the planet)s gravity e%ceeds that of the 1un. 1atellites generally have to orbit within the inner half of the sphere in order to have a chance for a stable orbit. =ercury, being e%ceptionally close to the 1un has a miniscule ill 1phere, which means that it would have little chance of retaining a satellite.
$)
*he .orealis .asin was recently discerned from data provided by the =ars 9econnaissance Mrbiter and the =ars $lobal 1urveyor. It is at least 3.5 billion years old and it covers an area of ;,:77 km across by 47,377 km long, covering roughly 67R of the planet)s surface. "ro8ect scientists determined that the impacting ob8ect was at least 2,777 km in diameter and it struck =ars at a 6: o angle. *he northern hemisphere basin it left behind presents the smoothest terrain on the planet, leading some geologists to believe that it was once covered by an ocean Gsee I.orealis basinJ and (handlerH. An ocean forming in the basin would have done much to erode away impact scars from the event and any impacts from the ? ., negating the need for plate tectonics and volcanic resurfacing to eliminate impact scars from that collision.
$6
=ars is believed to have e%perienced at least five ma8or collisions, with one with a "luto'si!ed planetesimal creating a vast crater or depression known as the .orealis .asin GaboveH, discovered through data from =ars orbiters. *here would have been some reduction in the 9ed "lanet)s mass, but it would have been smaller than the ma8or collisions that blew off considerable parts of the crusts and mantles of both &arth and =ercury. As they are not in retrograde orbits, @eimos and "hobos may well have aggregated from materials blown into orbit from one of those collisions, but with less material available and ,upiter e%erting its influence, the moons did not become ma8or satellites. According to recent information, "hobos)s interior is about one'third porous space.
$<
Mriginally developed at the (ote d)A!ur Mbservatory near 0ice, the 0ice =odel was proposed by 9. $omes, ?evinson, Alessandro =orbidelli, and -leomenis *siganis in three papers published in ?ature in 277:. 43?i! -ruesi, I(aptured moons of the giant planets,J Astronomy, <ebruary, 2744, p.37.
al
47:
$;
,upiter had a tremendous gravitational impact upon the Asteroid .elt. ,upiter)s orbit would have shrunk if it was gravitationally casting more asteroidal material, mass'wise, out of solar orbit than it was sending -uiper and Mort ob8ects sunward.
$C
In a ,uly, 2742 report in 9eophysical Iesearch $etters, 0A1A)s ?unar 9econnaissance Mrbiter has provided data that indicates that 1hackleton (rater, near the southern lunar pole, has crater walls composed of :'47 percent water by weight. *he 3 km deep crater is in permanent shadow and is therefore cold enough for ice to be retained.
$A
Ice can be found in the higher =artian latitudes, especially during winter. *he new 0A1A rover (uriosity will search =ars for signs of ancient life, which would have re+uired 2M. *he rover will investigate clay'like sediments in the $ale (rater that could have sheltered life. =eanwhile, the &uropean 1pace Agency)s &%press orbiter discovered that much greater amounts of water than suspected e%ist in the =artian atmosphere, which at times becomes supersaturated.
"#
Arecibo)s radio telescope had previously imaged locations at both of =ercury)s poles that had a high likelihood of being ice. 0A1A)s =essenger probe team announced 0ovember 25, 2742 that ice and organic compounds had been found in deep polar craters based upon observations for which they are the best fit answers. www.telegraph.co.ukKscienceKspaceK5>43443Kice'found'on'=ercury.html
"$
@euterium, which is not as +uick to escape into space as the more common lighter isotope of hydrogen, has been detected in the upper levels of the (ytherean atmosphere, providing evidence for an earlier e%istence of a (ytherean hydrosphere.
""
9eported online in ?ature and in IA @elivery <rom 1pace *hat =ade a .ig 1plash,J The ?ew Gor* Times, Mctober 44, 2744, p. @3.
")
&arth)s oceanic crust, which comprises roughly three'+uarters of the planet)s total crust, runs :'47 km in thickness while continental crust (the continents and the continental shelves) is 37':7 km thick. =agellan mission gravity measurements have indicated that the (ytherean crust is :7 km thick. *hat result would be e%pected if the planet)s interior was cooling while declining convection was no longer powering plate tectonics.
"6
(ontinental'si!ed uplands X Ishtar *errain in the (ytherean southern hemisphere and Aphrodite *erra along the e+uator ' may show evidence of much earlier plate tectonics. In any case, no sign e%ists of active tectonics either today or in recent geologic times.
"<
&arth)s magnetic field does not have the same a%is as the planet)s overall a%is of rotation. It has also slowly wandered over time relative to the geographical poles, suggesting that the inner, solid core rotates on a different a%is than the &arth as a whole. *hat would not be impossible, given that the outer core is molten. *he viscosity of the outer core would moderate drastic changes in the orientation of the inner core)s a%is of rotation, but it would not prevent variability in the magnetic a%is) alignment relative to the planetary a%is. *he two a%es could have been set on different orientations by earlier impacts that came after the differentiation of iron and nickel out of the mantle and into the core. *hat thinking is not too different than that e%pressed by a team led by @r. (hristina @wyer from the /niversity of (alifornia at 1anta (ru! and by =ichael ?e .ars of the 9esearch Institute for Mut'of'&+uilibrium "henomena of =arseille, <rance. .oth tackled the cause behind the magneti!ation of some of the rocks brought back from the =oon by Apollo 44A coming to different conclusions about how the magneti!ation came about, the researchers posited that the =oon)s mantle rotated against the outer core, creating a lunar magnetic field G-ingH. Fariations in rotation are thus not 8udged to be impossible. *he inner and outer cores need not be locked onto one a%is of rotation with the mantle and crust.
"1
1ome of that density difference would be accounted for through the =oon)s violent birth, with lower'density *erran crust contributing to the =oon)s mass. "; ,upiter has enough gravitational force to affect =ercury)s orbitA disrupting the orbits of the planetesimals and planetoids that aggregated into =ars would not be beyond its power.
473
"C
$ravity did not retain hydrogen in (ytherean atmosphere, leaving the atmospheric o%ygen free to bind with other elements, particularly carbon.
"A
$eophysics professor .ruce .uffett at /( .erkeley)s @epartment of &arth and "lanetary 1cience notes that the cores like &arth)s that still generate magnetic fields need to keep generating heat# I"lanets do die. *hey run out of heat and wind down. 1o the &arth has to keep regenerating.J http#KKphys.orgKnewsK2747'planetary'magnetic' fields.html
)#
*hose three elements are known to be rock'loving rather than metal'loving. *hat accounts for their abundance in the mantle versus the core. )$ "rofessor .uffett (see note 25) meanwhile sees computer modeling of the &arth)s interior in its infancy. II would claim that the models are very far from being realistic, and therefore the inferences we draw from the about the &arth are going to be +uestionable.J Mne serious problem with the modeling is the scale on which the planet)s interior can be modeled. Another problem is with the viscosity of the outer core used for the models, because Ithe viscosity of the li+uid core is so low X more fluid than even water X the stirring motions there span the whole range all the way down to one'meter scales, which the models cannot handle.J http#KKphys.orgKnewsK2747'planetary' magnetic'fields.html
)"
?unar recession has been measured by laser ranging employing mirrors left on the =oon by Apollo mission astronauts. *he current rate is appro%imately 3.2 cm per year, which would give a much closer past orbital distance regardless of whether or not the rate varied in the past. *idal forces vary inversely by the cube of the distance, which means that lunar tidal forces would have been considerably greater in the past, which in turn would have meant greater internal heat production from the effects of lunar gravity on the &arth.
))
Interestingly, the =oon has the greatest orbital eccentricity of the 1olar 1ystem)s larger planetary satellites at 7.7:65, nearly twice that of number two *itan)s 7.72;;. Its orbital eccentricity would contribute to the =oon)s ability to stir up &arth)s interior and thereby generate internal heat. In return, there is some evidence for &arth stirring up the lunar interiorA to other proposed e%planations for lunar magnetism lasting longer than it should have due to a molten outer core, one needs to consider *erran gravity churning up the lunar interior and thereby allowing the =oon to retain a molten outer core like &arth)s longer than original thought through gravitational heating.
)6
1ee, for e%ample, I"ast and present tidal dissipation on =ercury,J A. 9ivoldini, =. .euthe, and *. Fan oolst from the 2747 (opernicus meeting at http#KKmeetings.copernicus.orgKepsc2747KabstractsK&"1(2747'3>4.pdf. *he authors state# I*idal forces from the 1un deform =ercury and because of internal friction generate heat. *he amount of generated heat depends on the internal structure of the planet, its rheology, and on the tidal potential.
)<
.ill Andrews, I=ysterious water on &nceladus results from lunar Pwobble,)J Astronomy, <ebruary, 2744, p.24. ?i! -ruesi, I&nceladus is a snowy moon,J Astronomy, <ebruary, 2742, p.4;.
)1
);
,ason "almer, ..( 0ews I=oons like &arth)s could be more common than we thought,J www.bbb.co.ukKnewsKscience'environment'433754:3 reports on computer simulations run at the /niversity of Yurich)s Institute of *heoretical "hysics and the /niversity of (olorado)s ?aboratory for Atmospheric and 1pace 1ciences. *he simulations found a 4 in 42 chance of generating a system in which a planet with at least half of &arth)s mass had a satellite of at least half the =oon)s mass arose, with the full range of probabilities running from 4 in 6: to 4 in 6.
)C
*hat can be seen by the entire mass above a given location at sea level producing only one standard atmosphere of pressure while 8ust 33 feet of water generates one atmosphere of additional pressure above a diver.
)A
arvard researchers @imitar @. 1asselov and @iana Falencia hypothesi!e that super'&arths would have more radioactive materials and greater retained heat with which to generate more vigorous mantle churning. I"lanets 2e (ould (all ome,J Scientific American, August, 2747, pp.3;'63. "lanetary cores of super'&arths could also be completely solidified through great pressure, dampening any magnetosphere and limiting opportunities for life thereon. "rospect s for life might therefore re+uire a limited range of planetary si!es without the e%istence of a large satellite.
47>
6#
0atalie Angier, I*he &nigma 4,;77 =iles .elow /s,J The ?ew Gor* Times, =ay 25, 2742, p.@4.
47;
Edu'ation+
=.A. "olitical 1cience. $raduate 1chool of "ublic Affairs, 1/0N Albany. (oncentrations in American politicalKgovernmental system, political history, behavior analysis, and research methodology. 9eceived research assistantship. =asters) essay e%amined history and impact of segregationist attitudes on 1outhern voting behavior. ..A. Mhio 2esleyan /niversity. istory and 8ournalism ma8orsA political science, education, &nglish, and astronomy minor e+uivalents. (opy editing intern 1chenectady /nion 1tar as part of 8ournalism ma8or. 1tudent teacher at Mlentangy .1. (Mhio). Astronomy @epartment laboratory (teaching) assistant. -appa @elta "i (education) and "hi Alpha *heta (history) honoraries. istory senior research seminar e%amined segregationist voting in AlabamaA 8ournalism senior seminar tested for bias in 456; presidential campaign news coverage. "ossess a 0ew Nork 1tate "ermanent (ertificate in secondary social studies (>'42). 1cored 2;3 on teaching methodologies, 2;3 on ?A1*, and 2;> on social studies content e%aminations (477'377 scoring curve) taken for recertification.
475
(ollective .argaining with /.1. (ivil 1ervice (ommission and with "ace /niversity Institute for 1ub'urban $overnance. .oth programs dealt with collective bargaining techni+ues and fiscal research in the public sector. $overnmental Affairs ?eadership 1eminar with /.1. ,aycees. participation in politics and development of model legislatures. 2ashington training program focused on
ugh M).rian <oundation ?eadership training seminar for &ast 9egion. @ealt with program administration and leadership training techni+ues. Mfficers) *raining 1chool with /.1. ,aycees. <ocused on leadership training, finance, and program management. ?egislative <unctions with (ornell (ooperative &%tension and 0.N.1. 1chool of Industrial and ?abor 9elations. &%amined operations of county legislatures and other local policy'making bodies.
447
1ocial 1tudies *eacher# ((ana8oharie (entral 1chool @istrict) $lobal 1tudies I and II, American istory and $overnment, &conomics, and "articipation in $overnment. &nriched courses with public opinion polling (conducted in'school), a mock election, a model legislature, and a mock investment portfolio. 1erved as a cooperating teacher with 1t. 9ose)s teacher training program. (?imited to two years by state retiree earnings cap). "olitical 1cience Instructor# (1chenectady (ounty (ommunity (ollege) /nited 1tates $overnment and "olitics ("M?423). &nriched course through a public opinion surveyA worked with a computeri!ed class management platform (Angel). 1ummer 1chool *eacher# (1chenectady (ity 1chool @istrict) American istory and $overnment and substituted in other sub8ectsA graded 9egents) e%ams. 1ubstituted in summer school two more years and graded 9egents) e%ams. 1ubstitute *eacher# ((apital 9egion .M(&1, si% years). 1erved as a substitute middle school and high school teacher through the .M(&1 substitute coordination service in the 1chenectady, (ohoes, =ohonasen, Foorheesville, 0iskayuna and 1outh (olonie school districts and the .M(&1 special education program. 1erved as a long'term substitute in special education in .uckeye Falley 1chool @istrict, @elaware, Mhio. *rustee with 1chenectady (ounty (ommunity (ollege (hairman, Fice (hairman, *reasurer 0egotiated additional funding from sponsor elped organi!e .oard training sessions @eveloped efforts to provide trustees with greater e%posure within 1((( community (o'originator of community conference to focus on needs 1((( could fulfill Active with statewide community college trustees association (A.(K0N((*) "resenter, 0N((* Annual (onferences Iole of the $egislator-Trustee in &acilitating Sponsor Support The $egislator-Trustee and 4nformation &low "resenter, A.( *rustee Institutes /eveloping Successful Ielationships with $ocal Sponsors "articipant and @elegate, A.(K0N((* Annual (onferences and Institutes =ember, 0N((* &ducation (ommittee $uest 1peaker, <aculty (ouncil of (ommunity (olleges Community Colleges &ace Challenges from the State!s Strategy of Iaising the .ar Academically Assisted 0.N.1. (ivil 1ervice @epartment)s =unicipal 1ervices @ivision with I.".A. program <acilitator, county government and public administration training Mral test panel member 0.N.1. 1enate (oordinator of 1enate 1tudent "olicy <orum redesigned and managed 1enate)s model legislature 1upervised staff development of educational packets for over 677 annual participants (supervised work of over 27 team members) @esigned and initiated model legislature for 0.N.1. ,aycees Interviewer for @r. ?eigh 1tel!er)s (1/0N Albany) surveys on attitudes toward public education =ember, 1cotia'$lenville 1chool @istrict omework (ommittee =ember, =iddle 1chool 1ubcommittee "rovided in'service training program on county government health issues for capital district nursing directors) association ugh M).rian Nouth <oundation
444
(haired initial Nouth ?eadership 1eminar 0.N.1. &ast 9egion Assistant ead (ounselor, (ounselor 0.N.1. 1outh ,udge, 0.N.1. 1outh 9oundtable <acilitator on careers in government Mrgani!ed 1chenectady ,aycees (ounty $overnment for a @ay program ?ed seminar on county government and helped students prepare model county legislative meeting Instructor for 0.N.1. ,aycees at annual Mfficers) *raining 1chool @eveloped and conducted training programs for ,aycees on pro8ect management, chapter management, public speaking, and press release writing (including development of training manuals)
442
Z 0-amining Certain "pen Luestions in ?umber Theory published on http#www.scribd.comKAlR27deApri%A a compilation of mathematics and science articles organi!ed as a developing e'book, 2744'2A articles to' date include# o lam!s Spiral Square 1atterns 0-plained (reached [4K45,577 on Nahoo in 2K42) o 9oldbach!s Con%ecture8 Analysis and Balidation (reached [27K455,777 on Nahoo in 5K42) o 9enerating 1ythagorean Triples sing "nly a (reached [2;K464,777 on Nahoo in 5K42) o The 1attern to 1ythagorean Triples (reached [2;K464,777 on Nahoo in 5K42) o Balidating #ardy and $ittlewood!s Con%ecture & (reached [4K43,;77 on Nahoo in 5K42) o Feno!s 1arado-es8 /iscovering Motion!s Signature at a /imensionless 4nstant of Time o The Twin 1rime Con%ecture8 A Structural Approach o .eyond Twin 1rimes8 1roving de1olignac!s Con%ecture Internet publications were accessed in a minimum of 33 countries by 6K4K46
<iction# Z Annually contributed poetry to Ihythms, the 1chenectady (ounty (ommunity (ollege literary publication Z 2rite poetry and short stories 1cience# Z @eveloped a coherent theory e%plaining why plate tectonics ceased on Fenus, leading to its thick (M 2 atmosphere and its importance to 1&*I investigationsA published on http#KKscribd.comKAlR27deApri%, 2742 Z (reated a series of short pieces on unusual or interesting observations for publication on http#KKwww.scribd.comKAlR27deApri% Z @isproved Teno)s arrow (motion) parado% by discovering how motion leaves a signature on dimensionless instants of timeA published on http#KKscribd.comKAlR27deApri%,2742 Art# Z Z "hotography (reate pencil'sketch art pieces
443
1chenectady 1alvation Army Advisory .oard Z (hairman and vice chairman Z (apital @rive fundraising cabinet Folunteered with .oy 1couts, 1cotia'$lenville track and cross country, Alcoholism (ouncil, /nited 2ay, N=(A
&ersonal+
Z Z Z 9ecreational activities include running (27 miles per week)A campingA snorkelingA creative writingA sketching and photographyA number theoryA and reading science fiction stories and history, science, and astronomy articles. 1erve as school track official in (apital @istrict 1ports participation has included track, rugby, and softball