<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD Journal Archiving and Interchange DTD v2.3 20070202//EN" "archivearticle.dtd">
<article xml:lang="EN" xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" article-type="methods-article">
<front>
<journal-meta>
<journal-id journal-id-type="publisher-id">Bohr. Scit.</journal-id>
<journal-title>BOHR International Journal of Smart Computing and Information Technology</journal-title>
<abbrev-journal-title abbrev-type="pubmed">Bohr. Scit.</abbrev-journal-title>
<issn pub-type="epub">2583-2026</issn>
<publisher>
<publisher-name>BOHR</publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id pub-id-type="doi">10.54646/bijscit.2021.11</article-id>
<article-categories>
<subj-group subj-group-type="heading">
<subject>Methods</subject>
</subj-group>
</article-categories>
<title-group>
<article-title>Large semi primes factorization with its implications to RSA cryptosystems</article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author" corresp="yes">
<name><surname>Omollo</surname> <given-names>Richard</given-names></name>
<xref ref-type="aff" rid="aff1"><sup>1</sup></xref>
<xref ref-type="corresp" rid="c001"><sup>&#x002A;</sup></xref>
</contrib>
<contrib contrib-type="author" corresp="yes">
<name><surname>Okoth</surname> <given-names>Arnold</given-names></name>
<xref ref-type="aff" rid="aff2"><sup>2</sup></xref>
<xref ref-type="corresp" rid="c002"><sup>&#x002A;</sup></xref>
</contrib>
</contrib-group>
<aff id="aff1"><sup>1</sup><institution>Department of Computer Science and Software Engineering</institution>, <addr-line>School of Informatics and Innovative Systems</addr-line>, <country>Jaramogi</country></aff>
<aff id="aff2"><sup>2</sup><institution>Oginga Odinga University of Science and Technology</institution>, <addr-line>Bondo</addr-line>, <country>Kenya</country></aff>
<author-notes>
<corresp id="c001">&#x002A;Correspondence: Richard Omollo, <email>richard.otieno@gmail.com</email></corresp>
<corresp id="c002">Arnold Okoth, <email>arnolaeustein9790@gmail.com</email></corresp>
</author-notes>
<pub-date pub-type="epub">
<day>03</day>
<month>02</month>
<year>2021</year>
</pub-date>
<volume>2</volume>
<issue>1</issue>
<fpage>1</fpage>
<lpage>8</lpage>
<history>
<date date-type="received">
<day>02</day>
<month>01</month>
<year>2021</year>
</date>
<date date-type="accepted">
<day>20</day>
<month>01</month>
<year>2021</year>
</date>
</history>
<permissions>
<copyright-statement>Copyright &#x00A9; 2021 Omollo and Okoth.</copyright-statement>
<copyright-year>2021</copyright-year>
<copyright-holder>Omollo and Okoth</copyright-holder>
<license xlink:href="https://creativecommons.org/licenses/by-nc-nd/4.0/"><p>This is an open-access article distributed under the terms of the Creative Commons Attribution License (CC BY). The use, distribution or reproduction in other forums is permitted, provided the original author(s) and the copyright owner(s) are credited and that the original publication in this journal is cited, in accordance with accepted academic practice. No use, distribution or reproduction is permitted which does not comply with these terms.</p></license>
</permissions>
<abstract>
<p>RSA&#x2019;s strong cryptosystem works on the principle that there are no trivial solutions to integer factorization. Furthermore, factorization of very large semi primes cannot be done in polynomial time when it comes to the processing power of classical computers. In this paper, we present the analysis of Fermat&#x2019;s Last Theorem and Arnold&#x2019;s Theorem. Also highlighted include new techniques such as Arnold&#x2019;s Digitized Summation Technique (A.D.S.T.) and a top-to-bottom, bottom-to-top approach search for the prime factors. These drastically reduce the time taken to factorize large semi primes as for the case in RSA Cryptosystem.</p>
</abstract>
<kwd-group>
<kwd>Arnold&#x2019;s theorem</kwd>
<kwd>Fermat last theorem</kwd>
<kwd>RSA Cryptosystem</kwd>
<kwd>semi primes</kwd>
<kwd>factorization limit</kwd>
<kwd>Fermat method</kwd>
<kwd>RSA numbers.</kwd>
</kwd-group>
<counts>
<fig-count count="3"/>
<table-count count="11"/>
<equation-count count="28"/>
<ref-count count="23"/>
<page-count count="8"/>
<word-count count="5266"/>
</counts>
</article-meta>
</front>
<body>
<sec id="S1" sec-type="intro">
<title>1. Introduction</title>
<p>In year 1978, Ronald Rivest, Adi Shamir and Leonard Adleman released one of the first public-key cryptosystem (<xref ref-type="bibr" rid="B1">1</xref>) known as RSA Cryptosystem. It has been over 40 years down the line and it still one of the strongest cryptosystems in the world. It takes one of the greatest problems in Number Theory (integer factorization) to be one of the most suitable solutions to computer security. There are still no trivial solutions to the factorization of semi primes. The RSA Cryptosystem works on the basis of multiplying two relatively large prime numbers <italic>k</italic> and <italic>l</italic> of at least 50 digits each (<xref ref-type="bibr" rid="B2">2</xref>, <xref ref-type="bibr" rid="B3">3</xref>). The semi prime (<italic>y</italic>) obtained can be as big as 100 to 600 digits (500 to 2048 bits). Attempts have been made to crack these RSA numbers with modern factorization methods such as the Elliptic Curve Method, Quadratic Field Sieve and the Number Field Sieve (<xref ref-type="bibr" rid="B4">4</xref>). Still, the factorization of these large semi primes might take several months even for a supercomputer. It takes an estimated 2000 years&#x2019; work for a 2.2 GHz Opteron computer to factorize a 232 digit RSA number (<xref ref-type="bibr" rid="B5">5</xref>).</p>
<p>Recently, there have been advancements in the field of quantum cryptography which might lead to the possibility of factorizing these large semi primes in just a few days if not hours (<xref ref-type="bibr" rid="B6">6</xref>). The Shor Algorithm is one of the most commonly used algorithms in quantum computing developed by Peter Shor. Though quantum cryptography seems promising, they are still not yet widely applicable (<xref ref-type="bibr" rid="B7">7</xref>). This might remain the case for the next few years to come. In comparison, classical computers still cannot factorize very large semi primes in polynomial time (<xref ref-type="bibr" rid="B8">8</xref>, <xref ref-type="bibr" rid="B9">9</xref>). At least not until there are significant technical developments in the processing power of the classical computers or a breakthrough is found for integer factorization. If a trivial solution is found for integer factorization then the RSA Cryptosystem would be rendered useless (<xref ref-type="bibr" rid="B10">10</xref>).</p>
<p>We are going to analyze a version of Fermat&#x2019;s Last Theorem and Arnold&#x2019;s Theorem for right angled triangles. From the Fermat&#x2019;s Last Theorem, we obtain the shortened Diophantine equation</p>
<disp-formula id="S1.Ex1">
<mml:math id="M1">
<mml:mrow>
<mml:mrow>
<mml:msup>
<mml:mi>x</mml:mi>
<mml:mn>2</mml:mn>
</mml:msup>
<mml:mo>-</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:msup>
<mml:mi>z</mml:mi>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mpadded>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mtext>y</mml:mtext>
</mml:mrow>
</mml:math>
</disp-formula>
<p>This equation can be further expanded to(<italic>x</italic> + <italic>z</italic>) (<italic>x</italic>&#x2212;<italic>z</italic>) = <italic>y</italic>. From the first part of the equation you get the equations <italic>x</italic> + <italic>z</italic> = <italic>k</italic> and <italic>x</italic> &#x2212; <italic>z</italic> = <italic>l</italic> where the value of <italic>y</italic> is the semi prime; <italic>k</italic> and <italic>l</italic> are the two prime factors for <italic>y</italic>.</p>
<disp-formula id="S1.Ex2">
<mml:math id="M2">
<mml:mrow>
<mml:mrow>
<mml:mi>x</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>y</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>z</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>k</mml:mi>
<mml:mo>,</mml:mo>
<mml:mi>l</mml:mi>
</mml:mrow>
<mml:mo>&#x2208;</mml:mo>
<mml:mi>N</mml:mi>
</mml:mrow>
</mml:math>
</disp-formula>
<p>That equation is used to form the Fermat&#x2019;s method for factorization (<xref ref-type="bibr" rid="B11">11</xref>&#x2013;<xref ref-type="bibr" rid="B15">15</xref>). We also look at Arnold&#x2019;s Theorem which is derived from the Pythagorean equation <italic>a</italic><sup>2</sup>+<italic>b</italic><sup>2</sup> = <italic>c</italic><sup>2</sup> which can be written as <italic>a</italic><sup>2</sup> = <italic>c</italic><sup>2</sup> &#x2212; <italic>b</italic><sup>2</sup> (<xref ref-type="bibr" rid="B16">16</xref>). This can be expanded to the equation <italic>a</italic><sup>2</sup> = (<italic>c</italic>+<italic>b</italic>) (<italic>c</italic>&#x2212;<italic>b</italic>). So if <italic>c</italic>&#x2212;<italic>b</italic> = 1 it will leave us with the equation <italic>a</italic><sup>2</sup> = b+c. Therefore, the two equations which form Arnold&#x2019;s Theorem for right angled triangles are <italic>a</italic><sup>2</sup> = b+c and c-b=1. They are very critical in setting up a factorization limit which will in turn create a different angle for finding the prime factors.</p>
<p>The technique employed after getting the factorization limit is referred to as the top-to-bottom, bottom-to-top approach. It involves several independent operations which will be running simultaneously from two points A to B, B being the factorization limit. There are two operations; one will run from point A heading toward point B and the other running from point B heading toward point A. there will also be two other operations starting from the central point O. One will run from point O toward point A and the other will run from point O toward point B. Therefore, if the prime difference between the two prime factors is too big, too small of too centralized you will find it in just a matter of seconds. This was a problem with Fermat method for factorization (<xref ref-type="bibr" rid="B17">17</xref>&#x2013;<xref ref-type="bibr" rid="B22">22</xref>).</p>
<p>Techniques such as Arnold&#x2019;s Digitized Summation Technique (A.D.S.T.) helps identify hidden properties of large semi primes used in RSA Cryptography. It simply involves adding the digits of a number until one is left with only one single digit (<xref ref-type="bibr" rid="B23">23</xref>). Since RSA numbers have hundreds of digits, A.D.S.T. is going to bring them down to just one digit. That is combined with the operation <italic>y</italic> = 1, which will always give you a multiple of 4. These techniques are solely meant to drastically reduce the time taken to factorize large semi primes. This aligns with the objective of the paper which is to be able to factorize and factorize RSA numbers in polynomial time using the processing power of the average classical computer.</p>
</sec>
<sec id="S2">
<title>2. Research methodology</title>
<p>Here, we give the definitions of some terms which are helpful as the research methodology.</p>
<p><bold><italic>Definition 2.1</italic></bold></p>
<p>Arnold&#x2019;s Digitized Summation Technique (A.D.S.T.): This refers to the subsequent addition of the digits of a number until you are left with only one single digit.</p>
<p><bold><italic>Definition 2.2</italic></bold></p>
<p>Digitized number form (D.N.F.): This refers to the digit you obtain after applying A.D.S.T. to a number.</p>
<p><bold><italic>Definition 2.3</italic></bold></p>
<p>Semi primes: These refer to composite numbers which only have two prime factors.</p>
<p><bold><italic>Definition 2.4</italic></bold></p>
<p>Prime difference: This refers to the difference between the two prime factors of the semi prime.</p>
<p><bold><italic>Definition 2.5</italic></bold></p>
<p>Factorization limit: This refers to the point where you have the largest possible prime difference between the two prime factors of the semi prime.</p>
</sec>
<sec id="S3">
<title>3. Results and discussion</title>
<p>Here, we give the results of the study and further discussion. We start with the analysis of a version of Fermat Last Theorem which involves squares and then Arnold&#x2019;s Theorem on right angled triangles.</p>
<p><bold><italic>Theorem 3.1</italic></bold></p>
<p>If <italic>y</italic> is a semi prime in <italic>x</italic><sup>2</sup> &#x2212; <italic>z</italic><sup>2</sup> = y which can be expanded to (<italic>x</italic> + <italic>z</italic>) (<italic>x</italic> &#x2212; <italic>z</italic>) = <italic>y</italic>, then (<italic>x</italic> + <italic>z</italic>) = <italic>k</italic> and (<italic>x</italic> &#x2212; <italic>z</italic>) = <italic>l</italic> where <italic>k</italic> and <italic>l</italic> are the two prime factors of the semi prime <italic>y</italic> such that <italic>k</italic> &#x003E; <italic>l</italic>.</p>
<p><bold><italic>Proof</italic></bold></p>
<p>We have seen that <italic>k</italic> = <italic>l</italic> = <italic>y</italic> from the statement above. Also <italic>k</italic> &#x2212; <italic>l</italic> = <italic>d</italic>, where (<italic>d</italic>) is the prime difference and (<italic>y</italic>) is the semi prime. From the Gold Bach Conjecture we observe that when you add two prime numbers you will eventually have an even number. This is true for prime numbers greater than 2. From that we get that</p>
<disp-formula id="S3.Ex3">
<mml:math id="M3">
<mml:mrow>
<mml:mo stretchy="false">[</mml:mo>
<mml:mi>k</mml:mi>
<mml:mo>+</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:mi>l</mml:mi>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>2</mml:mn>
<mml:mi>x</mml:mi>
<mml:mo>.</mml:mo>
<mml:mo stretchy="false">]</mml:mo>
</mml:mrow>
</mml:math>
</disp-formula>
<p>The above equation means that <italic>x</italic> is half the value of the two prime numbers <italic>k</italic> and <italic>l</italic>. It can also be written as <italic>k</italic> = 2<italic>x</italic> &#x2212; <italic>l</italic>. We now replace <italic>k</italic> from the two equations <italic>k</italic> = <italic>l</italic> = <italic>y</italic> and <italic>k</italic> + <italic>l</italic> = 2<italic>x</italic>. The equation <italic>k</italic> = <italic>l</italic> = <italic>y</italic> will be (2<italic>x</italic> &#x2212; <italic>l</italic>)<italic>l</italic> = <italic>y</italic>which is 2xl &#x2212; <italic>l</italic><sup>2</sup> = y and <italic>k</italic> + <italic>l</italic> = 2<italic>x</italic> will be 2<italic>x</italic> &#x2212; <italic>l</italic> + <italic>l</italic> = 2<italic>x</italic>. The equation 2<italic>xl</italic> &#x2212; <italic>l</italic><sup>2</sup> = <italic>y</italic> can be rewritten as the quadratic equation;</p>
<disp-formula id="S3.Ex4">
<mml:math id="M4">
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:msup>
<mml:mi>l</mml:mi>
<mml:mn>2</mml:mn>
</mml:msup>
<mml:mo>-</mml:mo>
<mml:mrow>
<mml:mn>2</mml:mn>
<mml:mo>&#x2062;</mml:mo>
<mml:mi mathvariant="normal">x</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mi mathvariant="normal">l</mml:mi>
</mml:mrow>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:mtext>y</mml:mtext>
</mml:mpadded>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>0</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<p>This will give us the two equations <inline-formula><mml:math id="INEQ33"><mml:mrow><mml:mpadded width="+3.3pt"><mml:mi>l</mml:mi></mml:mpadded><mml:mo rspace="5.8pt">=</mml:mo><mml:mrow><mml:mi>x</mml:mi><mml:mo>-</mml:mo><mml:msqrt><mml:mrow><mml:msup><mml:mi>x</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mo>-</mml:mo><mml:mi>y</mml:mi></mml:mrow></mml:msqrt></mml:mrow></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math id="INEQ34"><mml:mrow><mml:mpadded width="+3.3pt"><mml:mi>k</mml:mi></mml:mpadded><mml:mo rspace="5.8pt">=</mml:mo><mml:mrow><mml:mi>x</mml:mi><mml:mo>+</mml:mo><mml:msqrt><mml:mrow><mml:msup><mml:mi>x</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mo>-</mml:mo><mml:mi>y</mml:mi></mml:mrow></mml:msqrt></mml:mrow></mml:mrow></mml:math></inline-formula>. So let us say that <inline-formula><mml:math id="INEQ35"><mml:mrow><mml:mpadded width="+3.3pt"><mml:msqrt><mml:mrow><mml:msup><mml:mi>x</mml:mi><mml:mn>2</mml:mn></mml:msup><mml:mo>-</mml:mo><mml:mi>y</mml:mi></mml:mrow></mml:msqrt></mml:mpadded><mml:mo rspace="5.8pt">=</mml:mo><mml:mi>z</mml:mi></mml:mrow></mml:math></inline-formula>.We get that <italic>l</italic> = <italic>x</italic> &#x2212; <italic>z</italic> and <italic>k</italic> = <italic>x</italic> + <italic>z</italic>. Therefore, the equation <italic>k</italic> = <italic>l</italic> = <italic>y</italic> is written as (<italic>x</italic> + <italic>z</italic>)(<italic>x</italic> &#x2212; <italic>z</italic>) = <italic>y</italic>. This equation can be written as</p>
<disp-formula id="S3.Ex5">
<mml:math id="M5">
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:msup>
<mml:mi>x</mml:mi>
<mml:mn>2</mml:mn>
</mml:msup>
<mml:mo>-</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:msup>
<mml:mi>z</mml:mi>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mpadded>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mtext>y</mml:mtext>
</mml:mrow>
<mml:mo>.</mml:mo>
</mml:mrow>
</mml:math>
</disp-formula>
<p>We have seen that <italic>x</italic> + <italic>z</italic> = <italic>k</italic> and <italic>x</italic> &#x2212; <italic>z</italic> = <italic>l</italic>. From the two equations we get that <italic>z</italic> can be expressed as <italic>z</italic> = <italic>k</italic> &#x2212; <italic>x</italic> and <italic>z</italic> = <italic>x</italic> &#x2212; <italic>l</italic>. Combining the two equations we get <italic>k</italic> &#x2212; <italic>x</italic> = <italic>x</italic> &#x2212; <italic>l</italic> and <italic>k</italic> + <italic>l</italic> = 2<italic>x</italic>. Dividing both sides by 2, one gets that <inline-formula><mml:math id="INEQ46"><mml:mrow><mml:mpadded width="+3.3pt"><mml:mi>x</mml:mi></mml:mpadded><mml:mo rspace="5.8pt">=</mml:mo><mml:mfrac><mml:mrow><mml:mi>k</mml:mi><mml:mo>+</mml:mo><mml:mi>l</mml:mi></mml:mrow><mml:mn>2</mml:mn></mml:mfrac></mml:mrow></mml:math></inline-formula>. Replacing the x in the equation <italic>z</italic> = <italic>k</italic> &#x2212; <italic>z</italic> we get<inline-formula><mml:math id="INEQ48"><mml:mrow><mml:mpadded width="+3.3pt"><mml:mi>z</mml:mi></mml:mpadded><mml:mo rspace="5.8pt">=</mml:mo><mml:mrow><mml:mi>k</mml:mi><mml:mo>+</mml:mo><mml:mfrac><mml:mrow><mml:mi>k</mml:mi><mml:mo>+</mml:mo><mml:mi>l</mml:mi></mml:mrow><mml:mn>2</mml:mn></mml:mfrac></mml:mrow></mml:mrow></mml:math></inline-formula>. This can be factored into the equation <inline-formula><mml:math id="INEQ49"><mml:mrow><mml:mpadded width="+3.3pt"><mml:mi>z</mml:mi></mml:mpadded><mml:mo rspace="5.8pt">=</mml:mo><mml:mfrac><mml:mrow><mml:mi>k</mml:mi><mml:mo>-</mml:mo><mml:mi>l</mml:mi></mml:mrow><mml:mn>2</mml:mn></mml:mfrac></mml:mrow></mml:math></inline-formula>.</p>
<p>Replacing the x and z in the equation <italic>x</italic><sup>2</sup> &#x2212; <italic>z</italic><sup>2</sup> = y with <inline-formula><mml:math id="INEQ51"><mml:mrow><mml:mpadded width="+3.3pt"><mml:mi>x</mml:mi></mml:mpadded><mml:mo rspace="5.8pt">=</mml:mo><mml:mfrac><mml:mrow><mml:mi>k</mml:mi><mml:mo>+</mml:mo><mml:mi>l</mml:mi></mml:mrow><mml:mn>2</mml:mn></mml:mfrac></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math id="INEQ52"><mml:mrow><mml:mpadded width="+3.3pt"><mml:mi>z</mml:mi></mml:mpadded><mml:mo rspace="5.8pt">=</mml:mo><mml:mfrac><mml:mrow><mml:mi>k</mml:mi><mml:mo>-</mml:mo><mml:mi>l</mml:mi></mml:mrow><mml:mn>2</mml:mn></mml:mfrac></mml:mrow></mml:math></inline-formula>.</p>
<p>We get</p>
<disp-formula id="S3.Ex6">
<mml:math id="M6">
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:msup>
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mfrac>
<mml:mrow>
<mml:mi>k</mml:mi>
<mml:mo>+</mml:mo>
<mml:mi>l</mml:mi>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:mfrac>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
<mml:mo>-</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:msup>
<mml:mrow>
<mml:mo stretchy="false">(</mml:mo>
<mml:mfrac>
<mml:mrow>
<mml:mi>k</mml:mi>
<mml:mo>-</mml:mo>
<mml:mi>l</mml:mi>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:mfrac>
<mml:mo stretchy="false">)</mml:mo>
</mml:mrow>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mpadded>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mtext>y</mml:mtext>
</mml:mrow>
<mml:mo>.</mml:mo>
</mml:mrow>
</mml:math>
</disp-formula>
<p>The equation <inline-formula><mml:math id="INEQ53"><mml:msup><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mfrac><mml:mrow><mml:mi>k</mml:mi><mml:mo>+</mml:mo><mml:mi>l</mml:mi></mml:mrow><mml:mn>2</mml:mn></mml:mfrac><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:mn>2</mml:mn></mml:msup></mml:math></inline-formula> is expanded to</p>
<p><inline-formula><mml:math id="INEQ54"><mml:mfrac><mml:mrow><mml:msup><mml:mrow><mml:mtext>k</mml:mtext></mml:mrow><mml:mn>2</mml:mn></mml:msup><mml:mo>+</mml:mo><mml:mrow><mml:mn>2</mml:mn><mml:mo>&#x2062;</mml:mo><mml:mi>k</mml:mi><mml:mo>&#x2062;</mml:mo><mml:mi>l</mml:mi></mml:mrow><mml:mo>+</mml:mo><mml:msup><mml:mi>l</mml:mi><mml:mn>2</mml:mn></mml:msup></mml:mrow><mml:mn>4</mml:mn></mml:mfrac></mml:math></inline-formula> And the equation <inline-formula><mml:math id="INEQ55"><mml:msup><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mfrac><mml:mrow><mml:mi>k</mml:mi><mml:mo>-</mml:mo><mml:mi>l</mml:mi></mml:mrow><mml:mn>2</mml:mn></mml:mfrac><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:mn>2</mml:mn></mml:msup></mml:math></inline-formula> is expanded to</p>
<disp-formula id="S3.Ex7">
<mml:math id="M7">
<mml:mrow>
<mml:mfrac>
<mml:mrow>
<mml:mrow>
<mml:msup>
<mml:mtext>k</mml:mtext>
<mml:mn>2</mml:mn>
</mml:msup>
<mml:mo>-</mml:mo>
<mml:mrow>
<mml:mn>2</mml:mn>
<mml:mo>&#x2062;</mml:mo>
<mml:mi>k</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mi>l</mml:mi>
</mml:mrow>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:msup>
<mml:mi>l</mml:mi>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mrow>
<mml:mn>4</mml:mn>
</mml:mfrac>
<mml:mo>.</mml:mo>
</mml:mrow>
</mml:math>
</disp-formula>
<p>Therefore,</p>
<p><inline-formula><mml:math id="INEQ56"><mml:mrow><mml:mrow><mml:msup><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mfrac><mml:mrow><mml:mi>k</mml:mi><mml:mo>+</mml:mo><mml:mi>l</mml:mi></mml:mrow><mml:mn>2</mml:mn></mml:mfrac><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:mn>2</mml:mn></mml:msup><mml:mo>-</mml:mo><mml:mpadded width="+3.3pt"><mml:msup><mml:mrow><mml:mo stretchy="false">(</mml:mo><mml:mfrac><mml:mrow><mml:mi>k</mml:mi><mml:mo>-</mml:mo><mml:mi>l</mml:mi></mml:mrow><mml:mn>2</mml:mn></mml:mfrac><mml:mo stretchy="false">)</mml:mo></mml:mrow><mml:mn>2</mml:mn></mml:msup></mml:mpadded></mml:mrow><mml:mo rspace="5.8pt">=</mml:mo><mml:mi>y</mml:mi></mml:mrow></mml:math></inline-formula> becomes</p>
<disp-formula id="S3.Ex8"><mml:math id="M8">
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mfrac>
<mml:mrow>
<mml:msup>
<mml:mtext>k</mml:mtext>
<mml:mn>2</mml:mn>
</mml:msup>
<mml:mo>+</mml:mo>
<mml:mrow>
<mml:mn>2</mml:mn>
<mml:mo>&#x2062;</mml:mo>
<mml:mi>k</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mi>l</mml:mi>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:msup>
<mml:mi>l</mml:mi>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mrow>
<mml:mn>4</mml:mn>
</mml:mfrac>
<mml:mo>-</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:mfrac>
<mml:mrow>
<mml:mrow>
<mml:msup>
<mml:mtext>k</mml:mtext>
<mml:mn>2</mml:mn>
</mml:msup>
<mml:mo>-</mml:mo>
<mml:mrow>
<mml:mn>2</mml:mn>
<mml:mo>&#x2062;</mml:mo>
<mml:mi>k</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mi>l</mml:mi>
</mml:mrow>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:msup>
<mml:mi>l</mml:mi>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mrow>
<mml:mn>4</mml:mn>
</mml:mfrac>
</mml:mpadded>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mi>y</mml:mi>
</mml:mrow>
<mml:mo>.</mml:mo>
</mml:mrow>
</mml:math>
</disp-formula>
<p>Solving the equation, we get,</p>
<disp-formula id="S3.Ex10">
<mml:math id="M9">
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mstyle displaystyle="true">
<mml:mfrac>
<mml:mrow>
<mml:msup>
<mml:mtext>k</mml:mtext>
<mml:mn>2</mml:mn>
</mml:msup>
<mml:mo>+</mml:mo>
<mml:mrow>
<mml:mn>2</mml:mn>
<mml:mo>&#x2062;</mml:mo>
<mml:mi>k</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mi>l</mml:mi>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:msup>
<mml:mi>l</mml:mi>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mrow>
<mml:mn>4</mml:mn>
</mml:mfrac>
</mml:mstyle>
<mml:mo>-</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:mstyle displaystyle="true">
<mml:mfrac>
<mml:mrow>
<mml:mrow>
<mml:msup>
<mml:mtext>k</mml:mtext>
<mml:mn>2</mml:mn>
</mml:msup>
<mml:mo>-</mml:mo>
<mml:mrow>
<mml:mn>2</mml:mn>
<mml:mo>&#x2062;</mml:mo>
<mml:mi>k</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mi>l</mml:mi>
</mml:mrow>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:msup>
<mml:mi>l</mml:mi>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mrow>
<mml:mn>4</mml:mn>
</mml:mfrac>
</mml:mstyle>
</mml:mpadded>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:mstyle displaystyle="true">
<mml:mfrac>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:msup>
<mml:mtext>k</mml:mtext>
<mml:mn>2</mml:mn>
</mml:msup>
<mml:mo>+</mml:mo>
<mml:mrow>
<mml:mn>2</mml:mn>
<mml:mo>&#x2062;</mml:mo>
<mml:mi>k</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mi>l</mml:mi>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:msup>
<mml:mi>l</mml:mi>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mrow>
<mml:mo>-</mml:mo>
<mml:msup>
<mml:mi>k</mml:mi>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:mrow>
<mml:mn>2</mml:mn>
<mml:mo>&#x2062;</mml:mo>
<mml:mi>k</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mi>l</mml:mi>
</mml:mrow>
</mml:mrow>
<mml:mo>-</mml:mo>
<mml:msup>
<mml:mi>l</mml:mi>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mrow>
<mml:mn>4</mml:mn>
</mml:mfrac>
</mml:mstyle>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:mstyle displaystyle="true">
<mml:mfrac>
<mml:mrow>
<mml:mn>4</mml:mn>
<mml:mo>&#x2062;</mml:mo>
<mml:mi>k</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mi>l</mml:mi>
</mml:mrow>
<mml:mn>4</mml:mn>
</mml:mfrac>
</mml:mstyle>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mi>k</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mi>l</mml:mi>
</mml:mrow>
</mml:mrow>
<mml:mo>.</mml:mo>
</mml:mrow>
</mml:math>
</disp-formula>
<p>Hence;</p>
<disp-formula id="S3.Ex11">
<mml:math id="M12">
<mml:mrow>
<mml:mpadded width="+3.3pt">
<mml:mi>y</mml:mi>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mi>k</mml:mi>
<mml:mo>&#x2062;</mml:mo>
<mml:mi>l</mml:mi>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
<p>We have observed that <italic>z</italic> can be expressed as the equation <inline-formula><mml:math id="INEQ57"><mml:mrow><mml:mpadded width="+3.3pt"><mml:mi>z</mml:mi></mml:mpadded><mml:mo rspace="5.8pt">=</mml:mo><mml:mfrac><mml:mrow><mml:mi>k</mml:mi><mml:mo>-</mml:mo><mml:mi>l</mml:mi></mml:mrow><mml:mn>2</mml:mn></mml:mfrac></mml:mrow></mml:math></inline-formula> and k-l = <italic>d</italic>. So by replacing <italic>k - l</italic> with <italic>d</italic> in the first equation, we get that <inline-formula><mml:math id="INEQ59"><mml:mrow><mml:mpadded width="+3.3pt"><mml:mi>z</mml:mi></mml:mpadded><mml:mo rspace="5.8pt">=</mml:mo><mml:mfrac><mml:mi>d</mml:mi><mml:mn>2</mml:mn></mml:mfrac></mml:mrow></mml:math></inline-formula>. This can also be written as</p>
<disp-formula id="S3.Ex12">
<mml:math id="M13">
<mml:mrow>
<mml:mpadded width="+3.3pt">
<mml:mi>d</mml:mi>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mn>2</mml:mn>
<mml:mo>&#x2062;</mml:mo>
<mml:mi>z</mml:mi>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
<p>also since (<italic>x</italic> + <italic>z</italic>)(<italic>x</italic> &#x2212; <italic>z</italic>) = <italic>y</italic> and <italic>d</italic> = (<italic>x</italic> + <italic>z</italic>) &#x2212; (<italic>x</italic> &#x2212; <italic>z</italic>). This gives us <italic>d</italic> = <italic>x</italic> + <italic>z</italic> &#x2212; <italic>x</italic> = <italic>z</italic> which can be solved back to<italic>d</italic> = 2<italic>z</italic>. The value of d and z are directly proportional, so if the prime difference is big then the <italic>z</italic> is also be big. Also, we know that <italic>x</italic> &#x003E; <italic>z</italic>, so during computation it takes a longer time to find the value of <italic>x</italic> if <italic>d</italic> is very large. This is because using the Fermat method for factorizing semi primes; we first start by the searching for the value of<italic>x</italic>.</p>
<p>From the equations above we can tell that just by having the semi prime and the prime difference we obtain the two other prime numbers <italic>k</italic> and <italic>l</italic>. This is majorly due to the fact that <italic>d</italic> = 2<italic>z</italic>.</p>
<p><bold><italic>Problem</italic></bold></p>
<p>Given the semi prime 55, one finds the two prime numbers given that the prime difference is 6?</p>
<p><bold><italic>Solution</italic></bold></p>
<p>Since <inline-formula><mml:math id="INEQ67"><mml:mrow><mml:mpadded width="+3.3pt"><mml:mi>z</mml:mi></mml:mpadded><mml:mo rspace="5.8pt">=</mml:mo><mml:mfrac><mml:mi>d</mml:mi><mml:mn>2</mml:mn></mml:mfrac></mml:mrow></mml:math></inline-formula></p>
<disp-formula id="S3.Ex13">
<mml:math id="M14">
<mml:mrow>
<mml:mpadded width="+3.3pt">
<mml:mi>z</mml:mi>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:mfrac>
<mml:mn>6</mml:mn>
<mml:mn>2</mml:mn>
</mml:mfrac>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>3</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<p>We also know that <italic>x</italic><sup>2</sup> &#x2212; <italic>z</italic><sup>2</sup> = y and we have the value for <italic>z</italic> and <italic>y</italic>. After replacing these values, we get the equation <italic>x</italic><sup>2</sup> &#x2212; 3<sup>2</sup> = 55 which is <italic>x</italic><sup>2</sup> = 55+9 = 64. Therefore, <italic>x</italic> will be 8. We also saw that <italic>x</italic> + <italic>z</italic> = <italic>k</italic> and <italic>x</italic> &#x2212; <italic>z</italic> = <italic>l</italic> where <italic>k</italic> and <italic>l</italic> are the two prime numbers.</p>
<p>So 8 + 3 = <italic>k</italic> and 8&#x2212;3 = <italic>l</italic></p>
<p>The two prime numbers will be <italic>k</italic> = 11 and <italic>l</italic> = 5.</p>
<p><italic>k</italic>, <italic>l</italic>, <italic>x</italic>, <italic>y</italic>, <italic>z</italic>, <italic>d</italic> &#x2208; <italic>N</italic></p>
<p><bold><italic>Theorem 3.2</italic></bold></p>
<p>Arnold&#x2019;s Theorem for right angled triangle states that <italic>a</italic><sup>2</sup>  =  b+c. If <italic>a</italic> is the smallest side of a right-angled triangle where <italic>ab</italic> and <italic>a</italic> = <italic>b</italic> thenc-b = 1</p>
<p><bold><italic>Proof</italic></bold></p>
<p>The Pythagorean equation <italic>a</italic><sup>2</sup> + <italic>b</italic><sup>2</sup> = <italic>c</italic><sup>2</sup> can also be written as <italic>a</italic><sup>2</sup> = <italic>c</italic><sup>2</sup> &#x2212; <italic>b</italic><sup>2</sup>. This can be expanded to the equation <italic>a</italic><sup>2</sup> = (<italic>c</italic> + <italic>b</italic>)(<italic>c</italic> &#x2212; <italic>b</italic>). So if <italic>c</italic> &#x2212; <italic>b</italic> = 1 it leaves us with the equation</p>
<disp-formula id="S3.Ex14"><mml:math id="M15">
<mml:mrow>
<mml:mpadded width="+3.3pt">
<mml:msup>
<mml:mi>a</mml:mi>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mtext>b</mml:mtext>
<mml:mo>+</mml:mo>
<mml:mtext>c</mml:mtext>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
<p>Therefore, the two equations which form Arnold&#x2019;s Theorem for right angled triangles are</p>
<disp-formula id="S3.Ex15"><mml:math id="M16">
<mml:mrow>
<mml:mpadded width="+3.3pt">
<mml:msup>
<mml:mi>a</mml:mi>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mpadded>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mrow>
<mml:mtext>b</mml:mtext>
<mml:mo>+</mml:mo>
<mml:mtext>c</mml:mtext>
</mml:mrow>
</mml:mrow>
</mml:math>
</disp-formula>
<p>and</p>
<disp-formula id="S3.Ex16"><mml:math id="M17">
<mml:mrow>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mo>-</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:mi>b</mml:mi>
</mml:mpadded>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<p>Using the two equations we can formulate the simultaneous equation</p>
<disp-formula id="S3.E1">
<label>(a)</label>
<mml:math id="M18">
<mml:mrow>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mo>+</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:mi>b</mml:mi>
</mml:mpadded>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:msup>
<mml:mi>a</mml:mi>
<mml:mn>2</mml:mn>
</mml:msup>
</mml:mrow>
</mml:math>
</disp-formula>
<disp-formula id="S3.E2">
<label>(b)</label>
<mml:math id="M19">
<mml:mrow>
<mml:mrow>
<mml:mi>c</mml:mi>
<mml:mo>-</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:mi>b</mml:mi>
</mml:mpadded>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<p>So when a right angled triangle satisfies both equation and we are only given the value of <italic>a</italic>, we can easily obtain the two other sides. This is possible through the simultaneous equation above. This brings us back to the equation <italic>x</italic><sup>2</sup> &#x2212; <italic>z</italic><sup>2</sup> = y in theorem 3.1. In this case, we replace <italic>a</italic><sup>2</sup> with<italic>y</italic>. So when you are only given the semi prime <italic>y</italic>, one solves it using the simultaneous equation</p>
<disp-formula id="S3.E1a">
<label>(a)</label>
<mml:math id="M20">
<mml:mrow>
<mml:mrow>
<mml:mi>x</mml:mi>
<mml:mo>+</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:mi>z</mml:mi>
</mml:mpadded>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mi>y</mml:mi>
</mml:mrow>
</mml:math>
</disp-formula>
<disp-formula id="S3.E2a">
<label>(b)</label>
<mml:math id="M21">
<mml:mrow>
<mml:mrow>
<mml:mi>x</mml:mi>
<mml:mo>-</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:mi>z</mml:mi>
</mml:mpadded>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<p><bold><italic>Problem</italic></bold></p>
<p>Given the semi prime 55 can you obtain the two prime numbers <italic>k</italic> and <italic>l</italic>. (Note that this time we are not given the prime difference.)</p>
<p><bold><italic>Solution</italic></bold></p>
<disp-formula id="S3.E1b">
<label>(a)</label>
<mml:math id="M22">
<mml:mrow>
<mml:mrow>
<mml:mi>x</mml:mi>
<mml:mo>+</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:mi>z</mml:mi>
</mml:mpadded>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>55</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<disp-formula id="S3.E2b">
<label>(b)</label>
<mml:math id="M23">
<mml:mrow>
<mml:mrow>
<mml:mi>x</mml:mi>
<mml:mo>-</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:mi>z</mml:mi>
</mml:mpadded>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<p>This will give you <italic>z</italic> = 27. To get the value of x we substitute z from (equation a) with 27. This will give us <italic>x</italic> + 27 = 55<italic>x</italic> = 28. Therefore, the equation <italic>x</italic><sup>2</sup> &#x2212; <italic>z</italic><sup>2</sup> = y will be 28<sup>2</sup> &#x2212; 27<sup>2</sup> = 55.</p>
<p>To find the two prime numbers we used the two equations <italic>x</italic> + <italic>z</italic> = <italic>k</italic> and <italic>x</italic> &#x2212; <italic>z</italic> = <italic>l</italic> where <italic>k</italic> and <italic>l</italic> are the two prime numbers. In this case we notice something very interesting with our values for <italic>k</italic> and <italic>l</italic></p>
<disp-formula id="S3.Ex17">
<mml:math id="M24">
<mml:mrow>
<mml:mrow>
<mml:mn>28</mml:mn>
<mml:mo>+</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:mn>27</mml:mn>
</mml:mpadded>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mi>k</mml:mi>
</mml:mrow>
</mml:math>
</disp-formula>
<disp-formula id="S3.Ex18">
<mml:math id="M25">
<mml:mrow>
<mml:mrow>
<mml:mn>28</mml:mn>
<mml:mo>-</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:mn>27</mml:mn>
</mml:mpadded>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mi>l</mml:mi>
</mml:mrow>
</mml:math>
</disp-formula>
<p>Therefore, <italic>k</italic> and <italic>l</italic> will be 55 and 1. This means that using Arnold&#x2019;s Theorem of right-angled triangles; it treats the semi prime as an actual prime number. So how is this important to us? The Fermat method for factorization searches for the prime difference of a semi prime <italic>y</italic> from 1 till an undefined value. Using Arnold&#x2019;s Theorem, we set a limit to the largest prime difference a semi prime can have. By treating a semi prime as a prime number, it means that the prime difference will be the largest since it is <italic>k-1</italic>. That is, we are only subtracting one from the largest prime number <italic>k</italic>. When we subtract any value larger than 1 then the prime difference have a much smaller value. The largest possible prime difference is what is referred to as the factorization limit. So during the search for the prime difference through the search of <italic>z</italic>, we run two operations simultaneously. One starts from where the prime difference is smallest as it runs toward the largest possible value for the prime difference. This is actually what happens with the Fermat method for factorization. The other operation runs from the largest possible value for the prime difference as it heads down toward the smallest value. When we say that it searches through the prime difference, what we mean is that we modify the search for <italic>z</italic> since the prime difference is directly proportional to z. The search uses the equation <italic>x</italic><sup>2</sup> &#x2212; <italic>z</italic><sup>2</sup> = y and we saw that <italic>d</italic> = 2<italic>z</italic>.</p>
<sec id = "S3.SS1">
<title>3.1. RSA cryptosystem</title>
<p>RSA Cryptosystem relies on the fact that finding the prime difference of two large prime numbers of at least 50 digits each cannot actually be done in polynomial time using a single 2.2 GHz Opteron computer. However, adding this new property into the equation it increases our chances of finding the prime difference even if it is too big. Furthermore, if the prime difference is too big or too small, we find it very fast using the two operations which runs simultaneously. So the most ideal prime difference for RSA numbers are not be too large or too small. It should be centralized. However, since we have the highest and lowest point where the values of the prime difference are, we can actually modify the computer operations to also accommodate the prime difference being centralized. This is demonstrated on <xref ref-type="fig" rid="F1">Figure 1</xref> where point A is where the prime difference is smallest, point O is where the prime difference is centralized and point B is where the prime difference is largest. Actually, we run a total of 4 operations simultaneously to find the prime difference much faster. The first operation starts at point A heading toward point O. The second operation starts at point O heading toward point A. The third operation also starts at point O but this time heading toward point B. The final operation starts at point B heading toward point O. This is what is referred to as the top-to-bottom, bottom-to-top approach.</p>
<fig id="F1" position="float">
<label>FIGURE 1</label>
<caption><p>Top-to-bottom, bottom-to-top approach for finding the prime difference.</p></caption>
<graphic mimetype="image" mime-subtype="tiff" xlink:href="bijscit-2021-11-g001.tif"/>
</fig>
<p>Note that this is just the primary application of that concept. One can actually split point A to point O twice and point O to point B also twice such that we have a total of 8 operations running simultaneously. One can have as many operations running simultaneously depending on the size of the semi prime. For semi primes up to about 50 digits, having four operations running simultaneously is enough. But when the semi prime is about 600 digits as the case with RSA numbers, we can even have 32 operations running simultaneously. This, however, depends on the processing power of the computer. The operations are not exactly tied to be done on one computer. One can also assign as many computers as he/she wish to run some of the operations. This depends on the availability and practicality of using many computers in the first place. There are other properties of semi primes that we will see ahead that also help in reducing the number of tests the operations entail.</p>
<p>Going back to the equation <italic>x</italic><sup>2</sup> &#x2212; <italic>z</italic><sup>2</sup> = y, we realize that the expression x-z does not have to be 1 as stated in Arnold&#x2019;s Theorem for right angled triangles. We can try it with other integers 1, 2, 3, 4 &#x2026; and subject it to the simultaneous equation. If we let <italic>x</italic> &#x2212; <italic>z</italic> = 2 we get that the equation <italic>x</italic><sup>2</sup> &#x2212; <italic>z</italic><sup>2</sup> = y is expanded to (<italic>x</italic> + <italic>z</italic>)(<italic>x</italic> &#x2212; <italic>z</italic>) = <italic>y</italic>. So if <italic>x</italic> &#x2212; <italic>z</italic> = 2 the two equations will be</p>
<disp-formula id="S3.E1c">
<label>(a)</label>
<mml:math id="M26">
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
<mml:mo>&#x2062;</mml:mo>
<mml:mi>x</mml:mi>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:mrow>
<mml:mn>2</mml:mn>
<mml:mo>&#x2062;</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:mi>z</mml:mi>
</mml:mpadded>
</mml:mrow>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mi>y</mml:mi>
</mml:mrow>
</mml:math>
</disp-formula>
<disp-formula id="S3.E2c">
<label>(b)</label>
<mml:math id="M27">
<mml:mrow>
<mml:mrow>
<mml:mi>x</mml:mi>
<mml:mo>-</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:mi>z</mml:mi>
</mml:mpadded>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<p>Solving for the semi prime 55 we will get</p>
<disp-formula id="S3.E1d">
<label>(a)</label>
<mml:math id="M28">
<mml:mrow>
<mml:mrow>
<mml:mrow>
<mml:mn>2</mml:mn>
<mml:mo>&#x2062;</mml:mo>
<mml:mi>x</mml:mi>
</mml:mrow>
<mml:mo>+</mml:mo>
<mml:mrow>
<mml:mn>2</mml:mn>
<mml:mo>&#x2062;</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:mi>z</mml:mi>
</mml:mpadded>
</mml:mrow>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>55</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<disp-formula id="S3.E2d">
<label>(b)</label>
<mml:math id="M29">
<mml:mrow>
<mml:mrow>
<mml:mi>x</mml:mi>
<mml:mo>-</mml:mo>
<mml:mpadded width="+3.3pt">
<mml:mi>z</mml:mi>
</mml:mpadded>
</mml:mrow>
<mml:mo rspace="5.8pt">=</mml:mo>
<mml:mn>2</mml:mn>
</mml:mrow>
</mml:math>
</disp-formula>
<fig id="F2" position="float">
<label>FIGURE 2</label>
<caption><p>The graph shows the plotted values for the different values of <italic>x-z</italic> in <italic>x</italic><sup>2</sup> &#x2212; <italic>z</italic><sup>2</sup> = 55.</p></caption>
<graphic mimetype="image" mime-subtype="tiff" xlink:href="bijscit-2021-11-g002.tif"/>
</fig>
<p>We multiply equation Eqn.(b) by 2 and add the two equations which give us <italic>x</italic> = 14.75. Substituting the <italic>x</italic> in equation b we get that <italic>z</italic> = 14.75 &#x2212; 2. Therefore, <italic>x</italic> = 14.75 and <italic>z</italic> = 12.75.</p>
<p>From the <xref ref-type="table" rid="T1">Table 1</xref> above we observe that only when <italic>x-z</italic> is 1, 5 and 11 is when the values of <italic>x</italic>, <italic>y</italic> and <italic>z</italic> are whole numbers. That is<italic>x</italic>,<italic>y</italic>,<italic>z</italic> &#x2208; <italic>Z</italic>. We also observe that the integers of <italic>x-z</italic> are the same when <italic>x</italic> &#x2212; <italic>z</italic> = <italic>l</italic> and <italic>x</italic> + <italic>z</italic> = <italic>k</italic>which in our case is 5 and 11. But for x-z = 11 the 3 in <italic>z</italic> is negative. The real value for <italic>x-z</italic> is actually 6 but in our case, it gives us different values for <italic>x</italic> and <italic>z</italic>. However, when we use 6 as the prime difference in Fermat&#x2019;s Last Theorem equation <italic>x</italic><sup>2</sup> &#x2212; <italic>z</italic><sup>2</sup> = <italic>y</italic> we obtained the values for <italic>x</italic> and <italic>z</italic> to be 8 and 3, respectively. Furthermore, one also notice that for (<italic>x</italic> &#x2212; <italic>z</italic>) = 6 which is the actual prime difference between the two prime numbers the value of <italic>z</italic> are less than one. That is <italic>z</italic> &#x003C; 1.</p>
<table-wrap position="float" id="T1">
<label>TABLE 1</label>
<caption><p>The values of <italic>x-z</italic> from 1 to 11 for the semi prime 55.</p></caption>
<table cellspacing="5" cellpadding="5" frame="hsides" rules="groups">
<thead>
<tr>
<td valign="top" align="left">x - z</td>
<td valign="top" align="center">x<sup>2</sup> &#x2212; z<sup>2</sup> =</td>
<td valign="top" align="center">y</td>
</tr>
</thead>
<tbody>
<tr>
<td valign="top" align="left">1</td>
<td valign="top" align="center">28<sup>2</sup> &#x2212; 27<sup>2</sup> =</td>
<td valign="top" align="center">55</td>
</tr>
<tr>
<td valign="top" align="left">2</td>
<td valign="top" align="center">14.75<sup>2</sup> &#x2212; 12.75<sup>2</sup> =</td>
<td valign="top" align="center">55</td>
</tr>
<tr>
<td valign="top" align="left">3</td>
<td valign="top" align="center">10.66667<sup>2</sup> &#x2212; 7.66667<sup>2</sup> =</td>
<td valign="top" align="center">55</td>
</tr>
<tr>
<td valign="top" align="left">4</td>
<td valign="top" align="center">8.875<sup>2</sup> &#x2212; 4.875<sup>2</sup> =</td>
<td valign="top" align="center">55</td>
</tr>
<tr>
<td valign="top" align="left">5</td>
<td valign="top" align="center">8<sup>2</sup> &#x2212; 3<sup>2</sup> =</td>
<td valign="top" align="center">55</td>
</tr>
<tr>
<td valign="top" align="left">6</td>
<td valign="top" align="center">7.58333<sup>2</sup> &#x2212; 1.58333<sup>2</sup> =</td>
<td valign="top" align="center">55</td>
</tr>
<tr>
<td valign="top" align="left">7</td>
<td valign="top" align="center">7.42857<sup>2</sup> &#x2212; 0.42857<sup>2</sup>=</td>
<td valign="top" align="center">55</td>
</tr>
<tr>
<td valign="top" align="left">8</td>
<td valign="top" align="center">7.4375<sup>2</sup> &#x2212; (&#x2212; 0.5625)<sup>2</sup> =</td>
<td valign="top" align="center">55</td>
</tr>
<tr>
<td valign="top" align="left">9</td>
<td valign="top" align="center">7.55556<sup>2</sup> &#x2212; (&#x2212; 1.44444)<sup>2</sup> =</td>
<td valign="top" align="center">55</td>
</tr>
<tr>
<td valign="top" align="left">10</td>
<td valign="top" align="center">7.75<sup>2</sup> &#x2212; (&#x2212; 2.55)<sup>2</sup> =</td>
<td valign="top" align="center">55</td>
</tr>
<tr>
<td valign="top" align="left">11</td>
<td valign="top" align="center">8<sup>2</sup> &#x2212; (&#x2212; 3)<sup>2</sup> =</td>
<td valign="top" align="center">55</td>
</tr>
</tbody>
</table></table-wrap>
<p>The y-axis represents <italic>x</italic><sup>2</sup> while the x- axis represents <italic>z</italic><sup>2</sup>. The use of such curves is used in another complex method of factorizing numbers known as the <italic>Elliptic Curve Method</italic> which is not discussed in depth in this paper.</p>
</sec>
<sec id="S3.SS2">
<title>3.2. Arnold&#x2019;s digitized summation technique (A.D.S.T.)</title>
<p>We are now going to bring in Arnold&#x2019;s Digitized Summation Technique which simply involves adding the digits of a number until one is left with only one digit. When one adds the digit of a number like 1234 one gets 1 + 2 + 3 + 4 = 10, which one keeps adding till he is left with only one digit, so if one gets 10 one adds 1 + 0 = 1. The process of adding is what is referred to as A.D.S.T. The resultant digit 1 becomes the Digitized Number Form (D.N.F.) of the number 1234. Since RSA Cryptosystem is based on using very large numbers even up to 600 digits, we are going to utilize A.D.S.T to look at some properties of such numbers which would otherwise be hard to observe. The Python code below is supposed to sum down a 1000 digits number into a single digit in just a few seconds.</p>
<p>Considering that we are only given the semi prime (y), we first need to find the digitized number form through A.D.S.T. In other words, we need to add the digits of that semi prime until we are left with only one single digit. Since the semi primes in the case of RSA numbers have over 100 digits, the Python code above is of great help since it can find the D.N.F. of a-thousand-digit semi prime in just a second. If the Digitized Number Form (D.N.F.) is 2, 5 or 8, it means that the semi prime is of the form <italic>6n-1</italic>. If it is 1, 4 or 7, it means that the semi prime is of the form <italic>6n+1</italic>. A semi prime cannot have a D.N.F. of 3, 6 or 9. This is because such numbers are all multiples of 3. This holds true if the semi prime is an odd number, which is true for almost all cases apart from when another prime number is multiplied by 2 which is also a prime number.</p>
<p><bold><italic>Examples</italic></bold></p>
<p>55 = 5 + 5 = 10,10 = 1 + 0 = 1 D.N.F. of 55 is 1 and is of the form (6<italic>n</italic> + 1)</p>
<p>65 = 6 + 5 = 11, 11 = 1 + 1 = 2 D.N.F. of 65 is 2 and is of the form (6<italic>n</italic> &#x2212; 1)</p>
<p>99 = 9 + 9 = 18, 18 = 1 + 8 = 9 D.N.F. of 99 is 9 and it will be a multiple of 3</p>
<p>For even numbers, if a number has a D.N.F. of 1, 4 or 7, then it is of the form <italic>3n+1</italic> where n is an odd number. If a number has a D.N.F. of 2, 5 or 8, then it is of the form <italic>3n-1</italic>. If it has a D.N.F. of 3, 6 or 9 it still remains to be a multiple of 3. So how does A.D.S.T. come in to the actual equation used in the factorization process?</p>
</sec>
<sec id="S3.SS3">
<title>3.3. Arnold&#x2019;s digitized summation technique and the x<sup>2</sup> &#x2212; z<sup>2</sup>=y equation</title>
<p>When we look at the D.N.F. of numbers forming the equation <italic>x</italic><sup>2</sup> &#x2212; <italic>z</italic><sup>2</sup> = y, we notice something very interesting. Below, we have highlighted two tables which form the basic identities for semi primes having either a D.N.F. of 1, 4 and 7 or 2, 5 and 8.</p>
<p>From <xref ref-type="table" rid="T2">Table 2</xref> we notice that all the values of <italic>x</italic><sup>2</sup> have a D.N.F. of 9 and from <xref ref-type="table" rid="T3">Table 3</xref>, we notice that all the values of <italic>z</italic><sup>2</sup> have a D.N.F. of 9. This means that those values are actually multiples of 9. This property is seen with the multiples of 9 shown below.</p>
<table-wrap position="float" id="T2">
<label>TABLE 2</label>
<caption><p>D.N.F. of the values of <italic>x</italic> and <italic>z</italic> when the D.N.F. of the semi primes are 2, 5 and 8.</p></caption>
<table cellspacing="5" cellpadding="5" frame="hsides" rules="groups">
<thead>
<tr>
<td valign="top" align="left">x<sup>2</sup></td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">z<sup>2</sup></td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">y</td>
</tr>
</thead>
<tbody>
<tr>
<td valign="top" align="left">9</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">7</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">2</td>
</tr>
<tr>
<td valign="top" align="left">9</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">4</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">5</td>
</tr>
<tr>
<td valign="top" align="left">9</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">1</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">8</td>
</tr>
</tbody>
</table></table-wrap>
<table-wrap position="float" id="T3">
<label>TABLE 3</label>
<caption><p>D.N.F. of the values of <italic>x</italic> and <italic>z</italic> when the D.N.F. of the semi primes are 1, 4 and 7.</p></caption>
<table cellspacing="5" cellpadding="5" frame="hsides" rules="groups">
<thead>
<tr>
<td valign="top" align="left">x<sup>2</sup></td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">z<sup>2</sup></td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">y</td>
</tr>
</thead>
<tbody>
<tr>
<td valign="top" align="left">1</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">9</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">1</td>
</tr>
<tr>
<td valign="top" align="left">4</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">9</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">4</td>
</tr>
<tr>
<td valign="top" align="left">7</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">9</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">7</td>
</tr>
</tbody>
</table></table-wrap>
<fig id="F3" position="float">
<label>FIGURE 3</label>
<caption><p>Python code showing how you can obtain the A.D.S.T. of a number.</p></caption>
<graphic mimetype="image" mime-subtype="tiff" xlink:href="bijscit-2021-11-g003.tif"/>
</fig>
<p><bold><italic>Example</italic></bold></p>
<p>9 = 9 D.N.F. is 9</p>
<p>18 = 1 + 8 = 9 D.N.F. is 9</p>
<p>27 = 2 + 7 = 9 D.N.F. is 9</p>
<p>36 = 3 + 6 = 9 D.N.F. is 9</p>
<p>45 = 4 + 5 = 9 D.N.F. is 9</p>
<p>54 = 5 + 4 = 9 D.N.F. is 9</p>
<p>63 = 6 + 3 = 9 D.N.F. is 9</p>
<p>72 = 7 + 2 = 9 D.N.F. is 9</p>
<p>81 = 8 + 1 = 9 D.N.F. is 9</p>
<p>90 = 9 + 0 = 9 D.N.F. is 9</p>
<p>Examples of real values of <italic>x</italic><sup>2</sup> &#x2212; <italic>z</italic><sup>2</sup> = y and their D.N.F. are shown on the tables below. The values of <xref ref-type="table" rid="T4">Tables 4</xref>, <xref ref-type="table" rid="T6">6</xref> are obtained from Fermat Last Theorem as shown in theorem 3.1.</p>
<table-wrap position="float" id="T4">
<label>TABLE 4</label>
<caption><p>Real values of <italic>x</italic>, <italic>y</italic> and <italic>z</italic> when the D.N.F. of the semi primes are 2, 5 and 8.</p></caption>
<table cellspacing="5" cellpadding="5" frame="hsides" rules="groups">
<thead>
<tr>
<td valign="top" align="left">x<sup>2</sup></td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">z<sup>2</sup></td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">y</td>
</tr>
</thead>
<tbody>
<tr>
<td valign="top" align="left">81</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">16</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">65</td>
</tr>
<tr>
<td valign="top" align="left">81</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">4</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">77</td>
</tr>
<tr>
<td valign="top" align="left">36</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">1</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">35</td>
</tr>
</tbody>
</table></table-wrap>
<table-wrap position="float" id="T5">
<label>TABLE 5</label>
<caption><p>D.N.F. of <italic>x</italic>, <italic>y</italic> and <italic>z</italic> for the values in <xref ref-type="table" rid="T4">Table 4</xref>.</p></caption>
<table cellspacing="5" cellpadding="5" frame="hsides" rules="groups">
<thead>
<tr>
<td valign="top" align="left">x<sup>2</sup></td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">z<sup>2</sup></td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">y</td>
</tr>
</thead>
<tbody>
<tr>
<td valign="top" align="left">9</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">7</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">2</td>
</tr>
<tr>
<td valign="top" align="left">9</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">4</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">5</td>
</tr>
<tr>
<td valign="top" align="left">9</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">1</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">8</td>
</tr>
</tbody>
</table></table-wrap>
<table-wrap position="float" id="T6">
<label>TABLE 6</label>
<caption><p>Real values of <italic>x</italic>,<italic>y</italic> and <italic>z</italic> when the D.N.F. of the semi primes are 1, 4 and 7.</p></caption>
<table cellspacing="5" cellpadding="5" frame="hsides" rules="groups">
<thead>
<tr>
<td valign="top" align="left">x<sup>2</sup></td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">z<sup>2</sup></td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">y</td>
</tr>
</thead>
<tbody>
<tr>
<td valign="top" align="left">64</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">9</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">55</td>
</tr>
<tr>
<td valign="top" align="left">256</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">9</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">247</td>
</tr>
<tr>
<td valign="top" align="left">196</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">81</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">115</td>
</tr>
</tbody>
</table></table-wrap>
<table-wrap position="float" id="T7">
<label>TABLE 7</label>
<caption><p>D.N.F of x, y and z for the values in <xref ref-type="table" rid="T6">Table 6</xref>.</p></caption>
<table cellspacing="5" cellpadding="5" frame="hsides" rules="groups">
<thead>
<tr>
<td valign="top" align="left">x<sup>2</sup></td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">z<sup>2</sup></td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">y</td>
</tr>
</thead>
<tbody>
<tr>
<td valign="top" align="left">1</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">9</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">1</td>
</tr>
<tr>
<td valign="top" align="left">4</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">9</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">4</td>
</tr>
<tr>
<td valign="top" align="left">7</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">9</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">7</td>
</tr>
</tbody>
</table></table-wrap>
<p>Now we are look at examples of real values <italic>x</italic><sup>2</sup>&#x2212;<italic>z</italic><sup>2</sup>=y and their D.N.F. This time the values of <xref ref-type="table" rid="T8">Tables 8</xref>, <xref ref-type="table" rid="T10">10</xref> are obtained from Arnold&#x2019;s Theorem for right angled triangles as shown in theorem 3.2.</p>
<table-wrap position="float" id="T8">
<label>TABLE 8</label>
<caption><p>Real values of <italic>x</italic>, <italic>y</italic> and <italic>z</italic> when the D.N.F. of the semi primes are 2, 5 and 8.</p></caption>
<table cellspacing="5" cellpadding="5" frame="hsides" rules="groups">
<thead>
<tr>
<td valign="top" align="left">x<sup>2</sup></td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">z<sup>2</sup></td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">y</td>
</tr>
</thead>
<tbody>
<tr>
<td valign="top" align="left">1089</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">1024</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">65</td>
</tr>
<tr>
<td valign="top" align="left">1521</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">1444</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">77</td>
</tr>
<tr>
<td valign="top" align="left">324</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">289</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">35</td>
</tr>
</tbody>
</table></table-wrap>
<table-wrap position="float" id="T9">
<label>TABLE 9</label>
<caption><p>D.N.F of x, y and z for the values in <xref ref-type="table" rid="T8">Table 8</xref>.</p></caption>
<table cellspacing="5" cellpadding="5" frame="hsides" rules="groups">
<thead>
<tr>
<td valign="top" align="left">x<sup>2</sup></td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">z<sup>2</sup></td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">y</td>
</tr>
</thead>
<tbody>
<tr>
<td valign="top" align="left">9</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">7</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">2</td>
</tr>
<tr>
<td valign="top" align="left">9</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">4</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">5</td>
</tr>
<tr>
<td valign="top" align="left">9</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">1</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">8</td>
</tr>
</tbody>
</table></table-wrap>
<table-wrap position="float" id="T10">
<label>TABLE 10</label>
<caption><p>Real values of <italic>x</italic>, <italic>y</italic> and <italic>z</italic> when the D.N.F. of the semi primes are 1, 4 and 7.</p></caption>
<table cellspacing="5" cellpadding="5" frame="hsides" rules="groups">
<thead>
<tr>
<td valign="top" align="left">x<sup>2</sup></td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">z<sup>2</sup></td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">y</td>
</tr>
</thead>
<tbody>
<tr>
<td valign="top" align="left">784</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">729</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">55</td>
</tr>
<tr>
<td valign="top" align="left">15376</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">15129</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">247</td>
</tr>
<tr>
<td valign="top" align="left">3364</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">3249</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">115</td>
</tr>
</tbody>
</table></table-wrap>
<table-wrap position="float" id="T11">
<label>TABLE 11</label>
<caption><p>D.N.F of x, y and z for the values in <xref ref-type="table" rid="T10">Table 10</xref>.</p></caption>
<table cellspacing="5" cellpadding="5" frame="hsides" rules="groups">
<thead>
<tr>
<td valign="top" align="left">x<sup>2</sup></td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">z<sup>2</sup></td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">y</td>
</tr>
</thead>
<tbody>
<tr>
<td valign="top" align="left">1</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">9</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">1</td>
</tr>
<tr>
<td valign="top" align="left">4</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">9</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">4</td>
</tr>
<tr>
<td valign="top" align="left">7</td>
<td valign="top" align="center">&#x2212;</td>
<td valign="top" align="center">9</td>
<td valign="top" align="center">=</td>
<td valign="top" align="center">7</td>
</tr>
</tbody>
</table></table-wrap>
<p>It is important to note that the values for the semi prime <italic>y</italic> are the same for <xref ref-type="table" rid="T4">Tables 4</xref>, <xref ref-type="table" rid="T8">8</xref>. The same is seen with <xref ref-type="table" rid="T6">Tables 6</xref>, <xref ref-type="table" rid="T10">10</xref> which have the same values for <italic>y</italic>. But as we saw earlier, the two theorems give different values for <italic>x</italic> and <italic>z</italic>. However, the D.N.F. identity actually remains the same when we use either of the two theorems.</p>
<p>From <xref ref-type="table" rid="T4">Tables 4</xref>, <xref ref-type="table" rid="T6">6</xref>, <xref ref-type="table" rid="T8">8</xref>, <xref ref-type="table" rid="T10">10</xref> we also notice that if <italic>x</italic><sup>2</sup> or <italic>z</italic><sup>2</sup> is an even number in <italic>x</italic><sup>2</sup>&#x2212;<italic>z</italic><sup>2</sup> = y (Fermat&#x2019;s Last Theorem) then it also be an even number in <italic>x</italic><sup>2</sup>&#x2212;<italic>z</italic><sup>2</sup> = y (Arnold&#x2019;s Theorem)</p>
</sec>
<sec id="S3.SS4">
<title>3.4. Arnold&#x2019;s digitized summation technique and they = 1 operation</title>
<p>Here we look at the final step in an attempt to factorize large semi primes in polynomial time. We have a total of 4 scenarios for the <italic>y</italic> = 1 operation.</p>
<p>i. If y+1 is divisible by 4 and y has a D.N.F. of 2, 5 or 8, then <italic>x</italic><sup>2</sup> is divisible by 36.</p>
<p>ii. If y-1 is divisible by 4 and y has a D.N.F. of 2, 5 or 8, then <italic>z</italic><sup>2</sup> is divisible by 4.</p>
<p>iii. If y+1 is divisible by 4 and y has a D.N.F. of 1, 4 or 7, then <italic>x</italic><sup>2</sup> is divisible by 4.</p>
<p>iv. If y-1 is divisible by 4 and y has a D.N.F. of 1, 4 or 7, then <italic>z</italic><sup>2</sup> is divisible by 36.</p>
<p>We obtained these properties of the semi primes while trying to find the trivial solution for integer factorization. Eventually, we did not get any trivial solution after the analysis of several semi primes and composite numbers in general. However, by studying the sequence of semi primes containing the same D.N.F., we were able to come up with the four definite scenarios shown above. They are incorporated into the programs which were running simultaneously in search for the value of <italic>x</italic><sup>2</sup> and <italic>z</italic><sup>2</sup>. They are able to drastically reduce the time taken to factor large semi primes once combined with the top-to-bottom, bottom-to-top approach. We are still carrying out further research in search for a trivial solution for integer factorization.</p>
</sec>
</sec>
<sec id="S4" sec-type="conclusion">
<title>4. Conclusion</title>
<p>We can be able to conclude that it is technically possible to factorize relatively large semi primes in polynomial time using the processing power of the average classical computer. Using techniques such as Arnold&#x2019;s Digitized Summation Technique (A.D.S.T.) and the top-to-bottom, bottom-to-top approach, the time taken to factorize large semi primes will be drastically reduced. This, we find that has greater implications on RSA which is about large prime numbers. Our paper provides an insight into reviewing RSA and excites further research interests in co-primes and primes, as a breakthrough to improving cryptographic chances in computer and network security in regards to data.</p>
</sec>
</body>
<back>
<ref-list>
<title>References</title>
<ref id="B1"><label>1.</label><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Smart</surname> <given-names>N.</given-names></name></person-group> <source><italic>Cryptography: an introduction.</italic></source> <publisher-loc>New York</publisher-loc>: <publisher-name>McGraw-Hill College</publisher-name> (<year>2004</year>). <fpage>433</fpage> p.</citation></ref>
<ref id="B2"><label>2.</label><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Katz</surname> <given-names>J</given-names></name> <name><surname>Lindell</surname> <given-names>Y.</given-names></name></person-group> <source><italic>Introduction to modern cryptography.</italic></source> <publisher-loc>Washington, DC</publisher-loc>: <publisher-name>CRC Press</publisher-name> (<year>2007</year>). <fpage>248</fpage> p.</citation></ref>
<ref id="B3"><label>3.</label><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Finotti</surname> <given-names>L.</given-names></name></person-group> <source><italic>A gentle introduction to number theory and cryptography.</italic></source> (<year>2009</year>). 60 p. Available online at: <ext-link ext-link-type="uri" xlink:href="https://www.math.utk.edu/~finotti/papers/grad.pdf">https://www.math.utk.edu/~finotti/papers/grad.pdf</ext-link></citation></ref>
<ref id="B4"><label>4.</label><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Bhatt</surname> <given-names>M</given-names></name> <name><surname>Aneja</surname> <given-names>A</given-names></name> <name><surname>Tripathi</surname> <given-names>S</given-names></name></person-group>. <article-title>Classical cryptography v/s quantum cryptography: a comparative study.</article-title> <source><italic>Int J Electr Comput Sci Eng.</italic></source> (<year>1956</year>) <volume>1</volume>:<fpage>121</fpage>&#x2013;<lpage>9</lpage>.</citation></ref>
<ref id="B5"><label>5.</label><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Barak</surname> <given-names>B.</given-names></name></person-group> <source><italic>An intensive introduction to cryptography.</italic></source> (<year>2018</year>). 366 p. Available online at: <ext-link ext-link-type="uri" xlink:href="https://files.boazbarak.org/crypto/lnotes_book.pdf">https://files.boazbarak.org/crypto/lnotes_book.pdf</ext-link></citation></ref>
<ref id="B6"><label>6.</label><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Hayward</surname> <given-names>M.</given-names></name></person-group> <source><italic>Quantum computing and shor&#x2019;s algorithm.</italic></source> (<year>2015</year>). <fpage>59</fpage> p. Available online at: <ext-link ext-link-type="uri" xlink:href="https://pdfs.semanticscholar.org/8072/dc7247460849b18abbb463429a09cfb2e3e6.pdf">https://pdfs.semanticscholar.org/8072/dc7247460849b18abbb463429a09cfb2e3e6.pdf</ext-link></citation></ref>
<ref id="B7"><label>7.</label><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Duplij</surname> <given-names>SA</given-names></name> <name><surname>Shapoval</surname> <given-names>II</given-names></name></person-group>. <article-title>Quantum computations: fundamentals and algorithms.</article-title> <source><italic>Problems Atomic Sci Technol.</italic></source> (<year>2007</year>) <volume>2007</volume>:<fpage>230</fpage>&#x2013;<lpage>5</lpage>.</citation></ref>
<ref id="B8"><label>8.</label><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Devlin</surname> <given-names>K</given-names></name></person-group>. <article-title>The millennium problems: the seven greatest unsolved mathematical puzzles of our time.</article-title> <source><italic>Basic Books</italic></source> (<year>2002</year>) <volume>2002</volume>:<issue>288</issue>.</citation></ref>
<ref id="B9"><label>9.</label><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Budd</surname> <given-names>S.</given-names></name></person-group> <source><italic>The distribution of prime numbers and its applications.</italic></source> (<year>2015</year>). Available online at: <ext-link ext-link-type="uri" xlink:href="https://www.lakeheadu.ca/sites/default/files/uploads/77/images/Budd%20Samuel.pdf">https://www.lakeheadu.ca/sites/default/files/uploads/77/images/Budd%20Samuel.pdf</ext-link></citation></ref>
<ref id="B10"><label>10.</label><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Schneier</surname> <given-names>B.</given-names></name></person-group> <source><italic>Applied cryptography: protocols, algorithms, and source code in C.</italic></source> <publisher-loc>New York</publisher-loc>: <publisher-name>John Wiley &#x0026; Sons</publisher-name> (<year>1996</year>). <fpage>784</fpage> p.</citation></ref>
<ref id="B11"><label>11.</label><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Barakat</surname> <given-names>M</given-names></name> <name><surname>Eder</surname> <given-names>C</given-names></name> <name><surname>Hanke</surname> <given-names>T.</given-names></name></person-group> <source><italic>An introduction to cryptography.</italic></source> (<year>2018</year>). <fpage>145</fpage> p. Available online at: <ext-link ext-link-type="uri" xlink:href="https://www.mathematik.uni-kl.de/~ederc/download/Cryptography.pdf">https://www.mathematik.uni-kl.de/~ederc/download/Cryptography.pdf</ext-link></citation></ref>
<ref id="B12"><label>12.</label><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Crandall</surname> <given-names>R</given-names></name> <name><surname>Pomerance</surname> <given-names>C.</given-names></name></person-group> <source><italic>Prime numbers: a computational perspective.</italic></source> <publisher-loc>New York</publisher-loc>: <publisher-name>Springer-Verlag</publisher-name> (<year>2005</year>). <fpage>597</fpage> p.</citation></ref>
<ref id="B13"><label>13.</label><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Borevich</surname> <given-names>ZI</given-names></name> <name><surname>Shafarevich</surname> <given-names>IR.</given-names></name></person-group> <source><italic>Number theory.</italic></source> <publisher-loc>Cambridge, MA</publisher-loc>: <publisher-name>Academic Press</publisher-name> (<year>1996</year>). <fpage>435</fpage> p.</citation></ref>
<ref id="B14"><label>14.</label><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Janacek</surname> <given-names>GJ</given-names></name> <name><surname>Close</surname> <given-names>ML.</given-names></name></person-group> <source><italic>Mathematics for computer scientists.</italic></source> <publisher-loc>Norwalk, CT</publisher-loc>: <publisher-name>Ventus Publishing</publisher-name> (<year>2011</year>). <fpage>153</fpage> p.</citation></ref>
<ref id="B15"><label>15.</label><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Stallings</surname> <given-names>W.</given-names></name></person-group> <source><italic>Cryptography and network security: principles and practice.</italic></source> <publisher-loc>Prentice Hall, NJ</publisher-loc>: <publisher-name>Prentice Hall</publisher-name> (<year>2011</year>). <fpage>900</fpage> p.</citation></ref>
<ref id="B16"><label>16.</label><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Barnett</surname> <given-names>JH.</given-names></name></person-group> <source><italic>Generating pythagorean triples: a gnomonic exploration.</italic></source> (<year>2017</year>). Available online at: <ext-link ext-link-type="uri" xlink:href="https://digitalcommons.ursinus.edu/cgi/viewcontent.cgi?article=1008&#x0026;context=triumphs_number">https://digitalcommons.ursinus.edu/cgi/viewcontent.cgi?article=1008&#x0026;context=triumphs_number</ext-link></citation></ref>
<ref id="B17"><label>17.</label><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Stein</surname> <given-names>W.</given-names></name></person-group> <source><italic>Elementary number theory: primes, congruence and secrets.</italic></source> (<year>2017</year>). <fpage>172</fpage> p. Available online at: <ext-link ext-link-type="uri" xlink:href="https://wstein.org/ent/ent.pdf">https://wstein.org/ent/ent.pdf</ext-link></citation></ref>
<ref id="B18"><label>18.</label><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Lehman</surname> <given-names>E</given-names></name> <name><surname>Leighton</surname> <given-names>FT</given-names></name> <name><surname>Meyer</surname> <given-names>AR.</given-names></name></person-group> <source><italic>Mathematics for computer science.</italic></source> (<year>2017</year>). <fpage>988</fpage> p. Available online at: <ext-link ext-link-type="uri" xlink:href="https://courses.csail.mit.edu/6.042/spring17/mcs.pdf">https://courses.csail.mit.edu/6.042/spring17/mcs.pdf</ext-link></citation></ref>
<ref id="B19"><label>19.</label><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Saul</surname> <given-names>A</given-names></name> <name><surname>Mario</surname> <given-names>C.</given-names></name></person-group> <source><italic>Hidden structures in the randomness of prime number sequence?</italic></source> (<year>2005</year>). Available online at: <ext-link ext-link-type="uri" xlink:href="https://arxiv.org/abs/cond-mat/0310148">https://arxiv.org/abs/cond-mat/0310148</ext-link></citation></ref>
<ref id="B20"><label>20.</label><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Tao</surname> <given-names>T.</given-names></name></person-group> <source><italic>Structure and randomness in the prime numbers.</italic></source> (<year>2007</year>). Available online at: <ext-link ext-link-type="uri" xlink:href="https://www.math.ucla.edu/~tao/preprints/Slides/primes.pdf">https://www.math.ucla.edu/~tao/preprints/Slides/primes.pdf</ext-link></citation></ref>
<ref id="B21"><label>21.</label><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Michele</surname> <given-names>E.</given-names></name></person-group> <source><italic>Mathematics and culture III.</italic></source> <publisher-loc>Berlin Heidelberg</publisher-loc>: <publisher-name>Springer-Verlag</publisher-name> (<year>2012</year>). <fpage>208</fpage> p.</citation></ref>
<ref id="B22"><label>22.</label><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Baibekov</surname> <given-names>S</given-names></name> <name><surname>Altynbek</surname> <given-names>S</given-names></name></person-group>. <article-title>Development of New Methods for Generating Prime Numbers.</article-title> <source><italic>Nat Sci Sci Res Publis.</italic></source> (<year>2015</year>) <volume>7</volume>:<fpage>416</fpage>&#x2013;<lpage>23</lpage>.</citation></ref>
<ref id="B23"><label>23.</label><citation citation-type="journal"><person-group person-group-type="author"><name><surname>Okoth</surname> <given-names>A</given-names></name> <name><surname>Okelo</surname> <given-names>B</given-names></name></person-group>. <article-title>Arnold&#x2019;s digitized summation technique and the generalized notion of the collatz conjecture.</article-title> <source><italic>Int J Mod Comput Inform Commun Technol.</italic></source> (<year>2019</year>) <volume>2</volume>:<fpage>36</fpage>&#x2013;<lpage>42</lpage>.</citation></ref>
</ref-list>
</back>
</article>
