<?xml version='1.0' encoding='utf-8'?>
<?xml-stylesheet type="text/xsl" href="/v2/static/oai2.xsl"?>
<OAI-PMH xmlns="http://www.openarchives.org/OAI/2.0/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/ http://www.openarchives.org/OAI/2.0/OAI-PMH.xsd">
  <responseDate>2026-10-06T22:06:37Z</responseDate>
  <request identifier="oai:figshare.com:article/34037859" metadataPrefix="oai_dc" verb="GetRecord">https://api.figshare.com/v2/oai</request>
  <GetRecord>
    <record>
      <header>
        <identifier>oai:figshare.com:article/34037859</identifier>
        <datestamp>2026-10-01T03:29:52Z</datestamp>
        <setSpec>category_29827</setSpec>
        <setSpec>category_29833</setSpec>
        <setSpec>item_type_12</setSpec>
        <setSpec>month_year_10_2026</setSpec>
      </header>
      <metadata>
        <oai_dc:dc xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"  xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:dc="http://purl.org/dc/elements/1.1/" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
          <dc:title>An Integrated Program for the Supremum of a Normalized Prime-Gap Functional Andrica, Heron, Angular Fan, Alternating Power Ladder, the OrHi Constant, and Exact Arithmetic Reduction</dc:title>
          <dc:creator>Francis Henry Ortiz Hidalgo (23651179)</dc:creator>
          <dc:subject>Algebra and number theory</dc:subject>
          <dc:subject>Category theory, k theory, homological algebra</dc:subject>
          <dc:subject>Andrica conjecture</dc:subject>
          <dc:subject>Numbertheory</dc:subject>
          <dc:subject>Supremum test.</dc:subject>
          <dc:subject>Numeros primos</dc:subject>
          <dc:subject>parametrisation</dc:subject>
          <dc:subject>polinomiog generadores de números primos</dc:subject>
          <dc:subject>normalization  process theory</dc:subject>
          <dc:subject>Trigonometrization</dc:subject>
          <dc:description>&lt;p dir="ltr"&gt;Let p_1 &lt; p_2 &lt; ··· be the sequence of primes, let&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;g_i = p_(i+1) - p_i,&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;and define&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;K_i := [p_i√p_(i+1) - p_(i+1)√p_i] / [p_i + p_(i+1)].&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;This manuscript integrates in one chain the algebraic identities of the functional, its exact relation with the Andrica difference, a Euclidean construction with 0 &lt; r &lt; 1, Heron’s formula, semiperimeter variation, an angular parametrization, and a hyperbolic detector abstracted and renamed from a parallel zeta-function program.&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;To prevent notational collisions, the Heron radicand is denoted by R_i and the hyperbolic detector by D_i(σ).&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;We prove&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;K_i = [√(p_i p_(i+1)) / (p_i + p_(i+1))] × [√p_(i+1) - √p_i]&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;= [g_i√(p_i p_(i+1))] / [(p_i + p_(i+1))(√p_i + √p_(i+1))],&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;√R_(i+1) - √R_i = γg_i / 2,&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;g_i = γ[tan θ_(i+1) - tan θ_i],&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;and the exact hyperbolic representation&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;K_i = [g_i(p_i p_(i+1))^(1/4)] /&lt;/p&gt;&lt;p dir="ltr"&gt;      [2(p_i + p_(i+1)) cosh((1/4) log(p_(i+1)/p_i))].&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;The infinite fan of rays through consecutive primes is also formalized. If&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;ω_i = θ_(i+1) - θ_i,&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;then&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;Σ_(i=m)^∞ ω_i = arctan[γ / (p_m - r)],&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;and&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;sin ω_i = γg_i / (a_i a_(i+1)),&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;yielding a global weighted identity for the gaps and a rigorous chord-sector-segment construction.&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;We then obtain an exact reduction of the extremal problem.&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;If&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;K* = K(7,11),&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;the inequality&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;K_i ≤ K*&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;is equivalent to an explicit prime-gap condition&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;g_i ≤ G*(p_i),&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;where&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;G*(7) = 4&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;and&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;G*(p) = 4K*√p + 4(K*)² + O(p^(-1/2)).&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;Thus (7,11) lies exactly on the proposed extremal frontier.&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;The remaining logical gap is unambiguous: prove&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;g_i ≤ G*(p_i)&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;for every consecutive-prime pair.&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;Geometry, trigonometry, hyperbolic identities, and finite computation are not substituted for this universal arithmetic step.&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;We also audit the new handwritten procedure based on&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;F(x,g) = √(x+g) - √x&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;and on power comparisons.&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;It is proved rigorously that, for fixed gap g, both&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;F(x,g)&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;and&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;K(x,x+g)&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;decrease as x increases.&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;In particular, (7,11) is the maximum inside the stratum&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;g = 4.&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;However, F increases with g when x is fixed, so the passage from g = 4 to all prime gaps requires an additional arithmetic inequality.&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;We further prove that a global bound&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;K_i ≤ K(7,11)&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;would imply Legendre’s conjecture.&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;Thus the new procedure strengthens and localizes the remaining gap, but power identities alone do not eliminate it.&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;We also formalize the handwritten pattern that starts from the sum&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;p_(i+1) + p_i&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;and generates&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;p_(i+1)^m + (-1)^(m+1)p_i^m,&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;for&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;m = 1,2,3,...&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;The name OrHi constant is reserved exclusively for the oriented half-power observable&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;O_i = √p_(i+1) - √p_i,&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;with reference value&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;C_OrHi = √11 - √7.&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;An exhaustive sieve through 10^8 verifies this value as the maximum among 5,761,454 consecutive pairs in the range; this is finite evidence and not a universal proof.&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;We also introduce the normalized quotient&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;N_i = [√p_(i+1) - √p_i] / [p_i + p_(i+1)],&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;prove its exact rationalized identity, its monotonicity for fixed gap, and the unconditional limit&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;N_i → 0&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;along the full sequence of consecutive primes.&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;A universal proof using Nagura is added: for consecutive primes with leading binary exponent&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;n &gt; 1,&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;equality&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;T = R&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;occurs only at&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p&gt;(7,11).&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;The sign classification is also proved and the five recent photographs are integrated.&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;These theorems are not identified with a proof of the global maximum of K or of Andrica’s conjecture.&lt;/p&gt;&lt;p&gt;&lt;br&gt;&lt;/p&gt;&lt;p dir="ltr"&gt;Keywords: consecutive primes; prime gaps; normalized functional K_i; Andrica function; Heron’s formula; semiperimeters; complex plane; critical strip; trigonometric parametrization; angular fan; chords; circular sectors; hyperbolic detector; sinh and cosh; extremal reduction; uniform arithmetic inequality; supremum; computational verification; OrHi constant; half-power; alternating signs.&lt;/p&gt;</dc:description>
          <dc:date>2026-10-01T03:29:52Z</dc:date>
          <dc:type>Text</dc:type>
          <dc:type>Preprint</dc:type>
          <dc:identifier>10.6084/m9.figshare.34037859.v1</dc:identifier>
          <dc:relation>https://figshare.com/articles/preprint/An_Integrated_Program_for_the_Supremum_of_a_Normalized_Prime-Gap_Functional_Andrica_Heron_Angular_Fan_Alternating_Power_Ladder_the_OrHi_Constant_and_Exact_Arithmetic_Reduction/34037859</dc:relation>
          <dc:rights>CC BY 4.0</dc:rights>
        </oai_dc:dc>
      </metadata>
    </record>
  </GetRecord>
</OAI-PMH>
