<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.4 20241031//EN" "JATS-journalpublishing1-4.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" article-type="research-article" dtd-version="1.4" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">jamp</journal-id>
      <journal-title-group>
        <journal-title>Journal of Applied Mathematics and Physics</journal-title>
      </journal-title-group>
      <issn pub-type="epub">2327-4379</issn>
      <issn pub-type="ppub">2327-4352</issn>
      <publisher>
        <publisher-name>Scientific Research Publishing</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.4236/jamp.2026.148151</article-id>
      <article-id pub-id-type="publisher-id">jamp-153350</article-id>
      <article-categories>
        <subj-group>
          <subject>Article</subject>
        </subj-group>
        <subj-group>
          <subject>Physics</subject>
          <subject>Mathematics</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>An Angular Reformulation of the Kronecker Delta through a Jeno-Type Structural Nullity —Gram-Schmidt Orthogonalization and a Sliding-Ladder Application</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <name name-style="western">
            <surname>Soto</surname>
            <given-names>Oscar Mauricio Jeno</given-names>
          </name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
      </contrib-group>
      <aff id="aff1"><label>1</label> Department of Natural Sciences (Physics), Liceo Federico Albert Faupp, Chanco, Chile </aff>
      <author-notes>
        <fn fn-type="conflict" id="fn-conflict">
          <p>The author declares no conflicts of interest regarding the publication of this paper.</p>
        </fn>
      </author-notes>
      <pub-date pub-type="epub">
        <day>10</day>
        <month>08</month>
        <year>2026</year>
      </pub-date>
      <pub-date pub-type="collection">
        <month>08</month>
        <year>2026</year>
      </pub-date>
      <volume>14</volume>
      <issue>08</issue>
      <fpage>3089</fpage>
      <lpage>3099</lpage>
      <history>
        <date date-type="received">
          <day>19</day>
          <month>07</month>
          <year>2026</year>
        </date>
        <date date-type="accepted">
          <day>21</day>
          <month>08</month>
          <year>2026</year>
        </date>
        <date date-type="published">
          <day>24</day>
          <month>08</month>
          <year>2026</year>
        </date>
      </history>
      <permissions>
        <copyright-statement>© 2026 by the authors and Scientific Research Publishing Inc.</copyright-statement>
        <copyright-year>2026</copyright-year>
        <license license-type="open-access">
          <license-p> This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license ( <ext-link ext-link-type="uri" xlink:href="https://creativecommons.org/licenses/by/4.0/">https://creativecommons.org/licenses/by/4.0/</ext-link> ). </license-p>
        </license>
      </permissions>
      <self-uri content-type="doi" xlink:href="https://doi.org/10.4236/jamp.2026.148151">https://doi.org/10.4236/jamp.2026.148151</self-uri>
      <abstract>
        <p>A geometric reformulation of the Kronecker delta is proposed for finite-dimensional real inner-product spaces equipped with normalized basis vectors. The construction separates index identity, represented by <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>δ</p>
        <p>ij</p>
        <p>, from off-diagonal angular coupling, represented by <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>(</p>
        <p>1−</p>
        <p>δ</p>
        <p>ij</p>
        <p>)cos</p>
        <p>θ</p>
        <p>ij</p>
        <p>. The resulting quantity coincides with the Gram matrix for normalized bases and reduces exactly to the classical Kronecker delta for orthonormal bases. The label structural nullity distinguishes an off-diagonal pair whose metric coupling vanishes by orthogonality; it does not introduce a new arithmetic zero. Two applications are developed. First, Gram-Schmidt orthogonalization is interpreted as the systematic elimination of off-diagonal Gram couplings, quantified by the sign-independent functional <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>N(</p>
        <p>B</p>
        <p>)=</p>
        <p>∑</p>
        <p>i&lt;j</p>
        <p>(</p>
        <p>1−</p>
        <p>cos</p>
        <p>2</p>
        <p>θ</p>
        <p>ij</p>
        <p>)</p>
        <p>. Second, a frictionless sliding-ladder problem is used to show how the angular decomposition exposes the geometric source of a kinematic singularity and the physical loss-of-contact condition. For a homogeneous ladder released from an angle <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>θ</p>
        <p>0</p>
        <p>, contact with the wall is lost when <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>sin</p>
        <p>θ</p>
        <p>s</p>
        <p>=(</p>
        <p>2/3</p>
        <p>)sin</p>
        <p>θ</p>
        <p>0</p>
        <p>; for release from the vertical, <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>y</p>
        <p>s</p>
        <p>=</p>
        <p>2L/3</p>
        <p>. The framework is presented as an interpretive decomposition of standard linear algebra, not as a replacement for the Kronecker delta, the Gram matrix, or classical mechanics.</p>
      </abstract>
      <kwd-group kwd-group-type="author-generated" xml:lang="en">
        <kwd>Kronecker Delta</kwd>
        <kwd>Gram Matrix</kwd>
        <kwd>Gram-Schmidt Orthogonalization</kwd>
        <kwd>Sliding Ladder</kwd>
        <kwd>Unilateral Contact</kwd>
        <kwd>Orthogonality</kwd>
        <kwd>Structural Nullity</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec1">
      <title>1. Introduction and Scope</title>
      <p>Throughout this work, <inline-formula><mml:math><mml:mi> V </mml:mi></mml:math></inline-formula> denotes a finite-dimensional real inner-product space. Unless explicitly stated otherwise, every vector entering the angular construction is normalized. These assumptions are essential. In a complex inner-product space, the inner product is generally complex and cannot be represented solely by a real angle, whereas for non-normalized vectors, the standard norm factors must be retained.</p>
      <p>For an orthonormal basis <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mrow><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> e </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:mi> i </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mi> n </mml:mi></mml:msubsup></mml:mrow></mml:math></inline-formula> ,</p>
      <disp-formula id="FD1">
        <label>(1)</label>
        <mml:math>
          <mml:mrow>
            <mml:mrow>
              <mml:mo>〈</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>e</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msub>
                <mml:mo>,</mml:mo>
                <mml:msub>
                  <mml:mi>e</mml:mi>
                  <mml:mi>j</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>〉</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>δ</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:msub>
              <mml:mi>δ</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>{</mml:mo>
              <mml:mrow>
                <mml:mtable columnalign="left">
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mn>1</mml:mn>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mi>i</mml:mi>
                        <mml:mo>=</mml:mo>
                        <mml:mi>j</mml:mi>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mn>0</mml:mn>
                        <mml:mo>,</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                    <mml:mtd columnalign="left">
                      <mml:mrow>
                        <mml:mi>i</mml:mi>
                        <mml:mo>≠</mml:mo>
                        <mml:mi>j</mml:mi>
                        <mml:mo>.</mml:mo>
                      </mml:mrow>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
              </mml:mrow>
            </mml:mrow>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The off-diagonal zero summarizes two logically distinct statements: the indices differ, and the corresponding vectors are orthogonal. The purpose of the present notation is to keep these mechanisms separate.</p>
      <p>Although the Kronecker delta and the Gram matrix already provide a complete mathematical description of orthogonality, they encode index identity and metric coupling in a compact form. The present decomposition does not replace either object. Instead, it separates their logical roles, allowing the geometric source of an off-diagonal contribution to remain explicit in calculations where orthogonality is created, tested, or lost.</p>
      <p>The Kronecker delta encodes index identity and orthonormality in linear algebra and tensor notation [<xref ref-type="bibr" rid="B1">1</xref>][<xref ref-type="bibr" rid="B2">2</xref>]. For a general basis, inner products are collected in the Gram matrix [<xref ref-type="bibr" rid="B3">3</xref>][<xref ref-type="bibr" rid="B4">4</xref>]. To demonstrate utility beyond elementary examples, the manuscript develops two applications: a complete Gram-Schmidt calculation in <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> ℝ </mml:mi><mml:mn> 3 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> and a constrained-mechanics analysis of a homogeneous ladder sliding without friction. The latter distinguishes a purely kinematic divergence from the physically admissible motion governed by unilateral contact.</p>
    </sec>
    <sec id="sec2">
      <title>2. Complementary Off-Diagonal Selector</title>
      <p><bold>Definition 2.1</bold>(Off-diagonal selector). <italic>Defi</italic><italic>ne</italic></p>
      <disp-formula id="FD2">
        <label>(2)</label>
        <mml:math>
          <mml:mrow>
            <mml:msubsup>
              <mml:mtext>Δ</mml:mtext>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
              <mml:mtext>J</mml:mtext>
            </mml:msubsup>
            <mml:mo>=</mml:mo>
            <mml:mn>1</mml:mn>
            <mml:mo>−</mml:mo>
            <mml:msub>
              <mml:mi>δ</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD3">
        <mml:math>
          <mml:mrow>
            <mml:msubsup>
              <mml:mtext>Δ</mml:mtext>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
              <mml:mtext>J</mml:mtext>
            </mml:msubsup>
            <mml:mo>=</mml:mo>
            <mml:mn>0</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The quantity <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mtext> Δ </mml:mtext><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow><mml:mtext> J </mml:mtext></mml:msubsup></mml:mrow></mml:math></inline-formula> is not an inner product. It only selects an off-diagonal index pair, indicating where an angular coupling may occur.</p>
    </sec>
    <sec id="sec3">
      <title>3. Angular Kronecker-Jeno Quantity</title>
      <p>Let <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> e </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> e </mml:mi><mml:mi> j </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> be unit vectors, and let <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> θ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub><mml:mo> ∈ </mml:mo><mml:mrow><mml:mo> [ </mml:mo><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> , </mml:mo><mml:mi> π </mml:mi></mml:mrow><mml:mo> ] </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> denote their angle.</p>
      <p><bold>Definition 3.1</bold> (Angular Kronecker-Jeno quantity).</p>
      <disp-formula id="FD4">
        <label>(3)</label>
        <mml:math>
          <mml:mrow>
            <mml:msubsup>
              <mml:mi>δ</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
              <mml:mrow>
                <mml:mtext>KJ</mml:mtext>
              </mml:mrow>
            </mml:msubsup>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>δ</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mo>+</mml:mo>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mn>1</mml:mn>
                <mml:mo>−</mml:mo>
                <mml:msub>
                  <mml:mi>δ</mml:mi>
                  <mml:mrow>
                    <mml:mi>i</mml:mi>
                    <mml:mi>j</mml:mi>
                  </mml:mrow>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mi>cos</mml:mi>
            <mml:msub>
              <mml:mi>θ</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Equivalently, <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> δ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> i </mml:mi></mml:mrow><mml:mrow><mml:mtext> KJ </mml:mtext></mml:mrow></mml:msubsup><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> δ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow><mml:mrow><mml:mtext> KJ </mml:mtext></mml:mrow></mml:msubsup><mml:mo> = </mml:mo><mml:mi> cos </mml:mi><mml:msub><mml:mi> θ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> for <inline-formula><mml:math><mml:mrow><mml:mi> i </mml:mi><mml:mo> ≠ </mml:mo><mml:mi> j </mml:mi></mml:mrow></mml:math></inline-formula> .</p>
      <p><bold>Proposition 3.2</bold>(Recovery of the classical Kronecker delta). <italic>If</italic><inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> e </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>is orthonormal</italic>, <italic>then</italic><inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> δ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow><mml:mrow><mml:mtext> KJ </mml:mtext></mml:mrow></mml:msubsup><mml:mo> = </mml:mo><mml:msub><mml:mi> δ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> .</p>
      <p><italic>Proof.</italic> For <inline-formula><mml:math><mml:mrow><mml:mi> i </mml:mi><mml:mo> = </mml:mo><mml:mi> j </mml:mi></mml:mrow></mml:math></inline-formula> , the definition gives <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> δ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> i </mml:mi></mml:mrow><mml:mrow><mml:mtext> KJ </mml:mtext></mml:mrow></mml:msubsup><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . For <inline-formula><mml:math><mml:mrow><mml:mi> i </mml:mi><mml:mo> ≠ </mml:mo><mml:mi> j </mml:mi></mml:mrow></mml:math></inline-formula> , orthogonality gives <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> θ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub><mml:mo> = </mml:mo><mml:mrow><mml:mi> π </mml:mi><mml:mo> / </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:mrow></mml:math></inline-formula> , and therefore <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> δ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow><mml:mrow><mml:mtext> KJ </mml:mtext></mml:mrow></mml:msubsup><mml:mo> = </mml:mo><mml:mtext> cos </mml:mtext><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mrow><mml:mi> π </mml:mi><mml:mo> / </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> . □</p>
    </sec>
    <sec id="sec4">
      <title>4. Structural Nullity</title>
      <p><bold>Theorem 4.1</bold> (Structural nullity). <italic>Let</italic><inline-formula><mml:math><mml:mrow><mml:mi> i </mml:mi><mml:mo> ≠ </mml:mo><mml:mi> j </mml:mi></mml:mrow></mml:math></inline-formula><italic>and let</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> e </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> e </mml:mi><mml:mi> j </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula><italic>be unit vectors satisfying</italic><inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> 〈 </mml:mo><mml:mrow><mml:msub><mml:mi> e </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> e </mml:mi><mml:mi> j </mml:mi></mml:msub></mml:mrow><mml:mo> 〉 </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> .<italic>Th</italic><italic>en</italic></p>
      <disp-formula id="FD5">
        <label>(4)</label>
        <mml:math>
          <mml:mrow>
            <mml:msubsup>
              <mml:mi>δ</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
              <mml:mrow>
                <mml:mtext>KJ</mml:mtext>
              </mml:mrow>
            </mml:msubsup>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mn>1</mml:mn>
                <mml:mo>−</mml:mo>
                <mml:msub>
                  <mml:mi>δ</mml:mi>
                  <mml:mrow>
                    <mml:mi>i</mml:mi>
                    <mml:mi>j</mml:mi>
                  </mml:mrow>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mi>cos</mml:mi>
            <mml:msub>
              <mml:mi>θ</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>1</mml:mn>
            <mml:mo>⋅</mml:mo>
            <mml:mn>0</mml:mn>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mn>0</mml:mn>
              <mml:mtext>J</mml:mtext>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p><italic>Numerically</italic>, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mn> 0 </mml:mn><mml:mtext> J </mml:mtext></mml:msub><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> .</p>
      <p><italic>Proof.</italic> Because <inline-formula><mml:math><mml:mrow><mml:mi> i </mml:mi><mml:mo> ≠ </mml:mo><mml:mi> j </mml:mi></mml:mrow></mml:math></inline-formula> , one has <inline-formula><mml:math><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> − </mml:mo><mml:msub><mml:mi> δ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . Orthogonality implies <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> θ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub><mml:mo> = </mml:mo><mml:mrow><mml:mi> π </mml:mi><mml:mo> / </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:mrow></mml:math></inline-formula> , that the angular factor vanishes. The symbol <inline-formula><mml:math><mml:mrow><mml:msub><mml:mn> 0 </mml:mn><mml:mtext> J </mml:mtext></mml:msub></mml:mrow></mml:math></inline-formula> records the mechanism by which the ordinary numerical zero was obtained. □</p>
      <p><bold>Remark 4.2</bold><bold>.</bold><italic>The distinction is semantic and structural</italic>,<italic>not arithmetic</italic>.<italic>Standard algebra continues to use the ordinary real number zero</italic>.<italic>The label</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mn> 0 </mml:mn><mml:mi> J </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula><italic>carries bookkeeping information only</italic>.</p>
    </sec>
    <sec id="sec5">
      <title>5. Relation to the Gram Matrix and Metric Tensor</title>
      <p>For</p>
      <disp-formula id="FD6">
        <label>(5)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>x</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mstyle displaystyle="true">
              <mml:munder>
                <mml:mo>∑</mml:mo>
                <mml:mi>i</mml:mi>
              </mml:munder>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>x</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msup>
                <mml:msub>
                  <mml:mi>e</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msub>
              </mml:mrow>
            </mml:mstyle>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mi>y</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mstyle displaystyle="true">
              <mml:munder>
                <mml:mo>∑</mml:mo>
                <mml:mi>j</mml:mi>
              </mml:munder>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>y</mml:mi>
                  <mml:mi>j</mml:mi>
                </mml:msup>
                <mml:msub>
                  <mml:mi>e</mml:mi>
                  <mml:mi>j</mml:mi>
                </mml:msub>
              </mml:mrow>
            </mml:mstyle>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>the inner product is</p>
      <disp-formula id="FD7">
        <label>(6)</label>
        <mml:math>
          <mml:mrow>
            <mml:mrow>
              <mml:mo>〈</mml:mo>
              <mml:mrow>
                <mml:mi>x</mml:mi>
                <mml:mo>,</mml:mo>
                <mml:mi>y</mml:mi>
              </mml:mrow>
              <mml:mo>〉</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mstyle displaystyle="true">
              <mml:munder>
                <mml:mo>∑</mml:mo>
                <mml:mrow>
                  <mml:mi>i</mml:mi>
                  <mml:mo>,</mml:mo>
                  <mml:mi>j</mml:mi>
                </mml:mrow>
              </mml:munder>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>x</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msup>
                <mml:msup>
                  <mml:mi>y</mml:mi>
                  <mml:mi>j</mml:mi>
                </mml:msup>
                <mml:msub>
                  <mml:mi>g</mml:mi>
                  <mml:mrow>
                    <mml:mi>i</mml:mi>
                    <mml:mi>j</mml:mi>
                  </mml:mrow>
                </mml:msub>
              </mml:mrow>
            </mml:mstyle>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>〈</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>e</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msub>
                <mml:mo>,</mml:mo>
                <mml:msub>
                  <mml:mi>e</mml:mi>
                  <mml:mi>j</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>〉</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>For normalized vectors, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub><mml:mo> = </mml:mo><mml:mi> cos </mml:mi><mml:msub><mml:mi> θ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> i </mml:mi></mml:mrow></mml:msub><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> , so</p>
      <disp-formula id="FD8">
        <label>(7)</label>
        <mml:math>
          <mml:mrow>
            <mml:msubsup>
              <mml:mi>δ</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
              <mml:mrow>
                <mml:mtext>KJ</mml:mtext>
              </mml:mrow>
            </mml:msubsup>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>δ</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mo>+</mml:mo>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mn>1</mml:mn>
                <mml:mo>−</mml:mo>
                <mml:msub>
                  <mml:mi>δ</mml:mi>
                  <mml:mrow>
                    <mml:mi>i</mml:mi>
                    <mml:mi>j</mml:mi>
                  </mml:mrow>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Thus, symmetry, positive semidefiniteness, rank, and basis dependence are inherited directly from the Gram matrix.</p>
      <p>Define the sign-independent angular-nullity matrix by</p>
      <disp-formula id="FD9">
        <label>(8)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>N</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>i</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>0</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:msub>
              <mml:mi>N</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>1</mml:mn>
            <mml:mo>−</mml:mo>
            <mml:msubsup>
              <mml:mi>g</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:msubsup>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mrow>
                <mml:mi>sin</mml:mi>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:msub>
              <mml:mi>θ</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mi>i</mml:mi>
            <mml:mo>≠</mml:mo>
            <mml:mi>j</mml:mi>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Unlike <inline-formula><mml:math><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> − </mml:mo><mml:mi> cos </mml:mi><mml:msub><mml:mi> θ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> , this quantity is invariant under reversal of either vector and reaches its maximum precisely at orthogonality.</p>
    </sec>
    <sec id="sec6">
      <title>6. Restriction to Normalized Real Vectors</title>
      <p>For arbitrary nonzero vectors,</p>
      <disp-formula id="FD10">
        <label>(9)</label>
        <mml:math>
          <mml:mrow>
            <mml:mrow>
              <mml:mo>〈</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>e</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msub>
                <mml:mo>,</mml:mo>
                <mml:msub>
                  <mml:mi>e</mml:mi>
                  <mml:mi>j</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>〉</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>‖</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>e</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>‖</mml:mo>
            </mml:mrow>
            <mml:mrow>
              <mml:mo>‖</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>e</mml:mi>
                  <mml:mi>j</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>‖</mml:mo>
            </mml:mrow>
            <mml:mi>cos</mml:mi>
            <mml:msub>
              <mml:mi>θ</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Consequently, the angular definition does not reproduce the full Gram matrix unless <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ‖ </mml:mo><mml:mrow><mml:msub><mml:mi> e </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow><mml:mo> ‖ </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> for every <inline-formula><mml:math><mml:mi> i </mml:mi></mml:math></inline-formula> . Restoring the norm factors gives the standard inner product. In particular, for <inline-formula><mml:math><mml:mrow><mml:mi> i </mml:mi><mml:mo> ≠ </mml:mo><mml:mi> j </mml:mi></mml:mrow></mml:math></inline-formula> ,</p>
      <disp-formula id="FD11">
        <label>(10)</label>
        <mml:math>
          <mml:mrow>
            <mml:mrow>
              <mml:mo>〈</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>e</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msub>
                <mml:mo>,</mml:mo>
                <mml:msub>
                  <mml:mi>e</mml:mi>
                  <mml:mi>j</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>〉</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>‖</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>e</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>‖</mml:mo>
            </mml:mrow>
            <mml:mrow>
              <mml:mo>‖</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>e</mml:mi>
                  <mml:mi>j</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>‖</mml:mo>
            </mml:mrow>
            <mml:msubsup>
              <mml:mi>δ</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
              <mml:mrow>
                <mml:mtext>KJ</mml:mtext>
              </mml:mrow>
            </mml:msubsup>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The proposal, therefore, does not replace the ordinary inner product. In complex spaces, a real angle alone also loses phase information; a direct extension would require a phase-sensitive construction and lies outside the present scope.</p>
    </sec>
    <sec id="sec7">
      <title>7. Gram-Schmidt Orthogonalization</title>
      <p>The Gram-Schmidt process and its numerically stable variants are standard tools in matrix computation and numerical linear algebra [<xref ref-type="bibr" rid="B5">5</xref>][<xref ref-type="bibr" rid="B6">6</xref>]. Let <inline-formula><mml:math><mml:mrow><mml:mi> B </mml:mi><mml:mo> = </mml:mo><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> v </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> v </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> be linearly independent. Gram-Schmidt constructs</p>
      <disp-formula id="FD12">
        <label>(11)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>w</mml:mi>
              <mml:mn>1</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>v</mml:mi>
              <mml:mn>1</mml:mn>
            </mml:msub>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD13">
        <label>(12)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>w</mml:mi>
              <mml:mi>k</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>v</mml:mi>
              <mml:mi>k</mml:mi>
            </mml:msub>
            <mml:mo>−</mml:mo>
            <mml:mstyle displaystyle="true">
              <mml:munderover>
                <mml:mo>∑</mml:mo>
                <mml:mrow>
                  <mml:mi>i</mml:mi>
                  <mml:mo>=</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
                <mml:mrow>
                  <mml:mi>k</mml:mi>
                  <mml:mo>−</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
              </mml:munderover>
              <mml:mrow>
                <mml:msub>
                  <mml:mrow>
                    <mml:mtext>proj</mml:mtext>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>w</mml:mi>
                      <mml:mi>i</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                </mml:msub>
              </mml:mrow>
            </mml:mstyle>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>v</mml:mi>
                  <mml:mi>k</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>where</p>
      <disp-formula id="FD14">
        <label>(13)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mrow>
                <mml:mtext>proj</mml:mtext>
              </mml:mrow>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>w</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msub>
              </mml:mrow>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>v</mml:mi>
                  <mml:mi>k</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>〈</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>v</mml:mi>
                      <mml:mi>k</mml:mi>
                    </mml:msub>
                    <mml:mo>,</mml:mo>
                    <mml:msub>
                      <mml:mi>w</mml:mi>
                      <mml:mi>i</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>〉</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mrow>
                <mml:msup>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>‖</mml:mo>
                      <mml:mrow>
                        <mml:msub>
                          <mml:mi>w</mml:mi>
                          <mml:mi>i</mml:mi>
                        </mml:msub>
                      </mml:mrow>
                      <mml:mo>‖</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:msup>
              </mml:mrow>
            </mml:mfrac>
            <mml:msub>
              <mml:mi>w</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD15">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>w</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>/</mml:mo>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>‖</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>w</mml:mi>
                      <mml:mi>i</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                  <mml:mo>‖</mml:mo>
                </mml:mrow>
              </mml:mrow>
            </mml:mrow>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD16">
        <label>(14)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mrow>
                <mml:mtext>proj</mml:mtext>
              </mml:mrow>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>q</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msub>
              </mml:mrow>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>v</mml:mi>
                  <mml:mi>k</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>‖</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>v</mml:mi>
                  <mml:mi>k</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>‖</mml:mo>
            </mml:mrow>
            <mml:mi>cos</mml:mi>
            <mml:msub>
              <mml:mi>θ</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>k</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:msub>
              <mml:mi>q</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Thus, the coefficient removed at each step is exactly the off-diagonal angular coupling with a previously normalized direction.</p>
      <p>For a normalized ordered family <inline-formula><mml:math><mml:mrow><mml:mi> B </mml:mi><mml:mo> = </mml:mo><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> b </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , define</p>
      <disp-formula id="FD17">
        <label>(15)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi mathvariant="script">N</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>B</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:munder>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mn>1</mml:mn>
                <mml:mo>≤</mml:mo>
                <mml:mi>i</mml:mi>
                <mml:mo>&lt;</mml:mo>
                <mml:mi>j</mml:mi>
                <mml:mo>≤</mml:mo>
                <mml:mi>n</mml:mi>
              </mml:mrow>
            </mml:munder>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mn>1</mml:mn>
                <mml:mo>−</mml:mo>
                <mml:msup>
                  <mml:mrow>
                    <mml:mi>cos</mml:mi>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:msup>
                <mml:msub>
                  <mml:mi>θ</mml:mi>
                  <mml:mrow>
                    <mml:mi>i</mml:mi>
                    <mml:mi>j</mml:mi>
                  </mml:mrow>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:munder>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mn>1</mml:mn>
                <mml:mo>≤</mml:mo>
                <mml:mi>i</mml:mi>
                <mml:mo>&lt;</mml:mo>
                <mml:mi>j</mml:mi>
                <mml:mo>≤</mml:mo>
                <mml:mi>n</mml:mi>
              </mml:mrow>
            </mml:munder>
            <mml:msup>
              <mml:mrow>
                <mml:mi>sin</mml:mi>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:msub>
              <mml:mi>θ</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p><bold>Proposition 7.1</bold><bold>.</bold><italic>For normalized vector</italic><italic>s</italic>,</p>
      <disp-formula id="FD18">
        <label>(16)</label>
        <mml:math>
          <mml:mrow>
            <mml:mn>0</mml:mn>
            <mml:mo>≤</mml:mo>
            <mml:mi mathvariant="script">N</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>B</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>≤</mml:mo>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mtable columnalign="left">
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mi>n</mml:mi>
                    </mml:mtd>
                  </mml:mtr>
                  <mml:mtr columnalign="left">
                    <mml:mtd columnalign="left">
                      <mml:mn>2</mml:mn>
                    </mml:mtd>
                  </mml:mtr>
                </mml:mtable>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p><italic>and</italic><inline-formula><mml:math><mml:mrow><mml:mi mathvariant="script"> N </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> B </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mtable columnalign="left"><mml:mtr columnalign="left"><mml:mtd columnalign="left"><mml:mi> n </mml:mi></mml:mtd></mml:mtr><mml:mtr columnalign="left"><mml:mtd columnalign="left"><mml:mn> 2 </mml:mn></mml:mtd></mml:mtr></mml:mtable></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula><italic>if and only if the family is pairwise orthogonal</italic>.</p>
      <p><italic>Proof.</italic> Every term belongs to <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> [ </mml:mo><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> , </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mo> ] </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . The upper bound is reached exactly when <inline-formula><mml:math><mml:mrow><mml:mi> cos </mml:mi><mml:msub><mml:mi> θ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> for every pair <inline-formula><mml:math><mml:mrow><mml:mi> i </mml:mi><mml:mo> &lt; </mml:mo><mml:mi> j </mml:mi></mml:mrow></mml:math></inline-formula> . □</p>
      <p><bold>Remark 7.2</bold> (Interpretation). <italic>Gram</italic>-<italic>Schmidt may be interpreted as a sequential elimination of the off-diagonal Gram couplings associated with the already constructed orthonormal directions</italic>.<italic>The final orthonormal family has</italic><italic>a</italic><italic>Gram matrix</italic><inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> I </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula><italic>and maximizes</italic><inline-formula><mml:math><mml:mi mathvariant="script"> N </mml:mi></mml:math></inline-formula> .<italic>The functional is not claimed to be monotone for every possible intermediate normalization convention; rather</italic>,<italic>it provides a global diagnostic of pairwise orthogonality for each normalized family being compared</italic>.</p>
      <sec id="sec7dot1">
        <title>
          Complete Example in
          <inline-formula>
            <mml:math>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>ℝ</mml:mi>
                  <mml:mn>3</mml:mn>
                </mml:msup>
              </mml:mrow>
            </mml:math>
          </inline-formula>
        </title>
        <p>Take</p>
        <disp-formula id="FD19">
          <label>(17)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>v</mml:mi>
                <mml:mn>1</mml:mn>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mn>1</mml:mn>
                  <mml:mo>,</mml:mo>
                  <mml:mn>1</mml:mn>
                  <mml:mo>,</mml:mo>
                  <mml:mn>0</mml:mn>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:msub>
                <mml:mi>v</mml:mi>
                <mml:mn>2</mml:mn>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mo>,</mml:mo>
                  <mml:mn>0</mml:mn>
                  <mml:mo>,</mml:mo>
                  <mml:mo>−</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:msub>
                <mml:mi>v</mml:mi>
                <mml:mn>3</mml:mn>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mn>1</mml:mn>
                  <mml:mo>,</mml:mo>
                  <mml:mn>1</mml:mn>
                  <mml:mo>,</mml:mo>
                  <mml:mn>2</mml:mn>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>Then</p>
        <disp-formula id="FD20">
          <label>(18)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>w</mml:mi>
                <mml:mn>1</mml:mn>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mn>1</mml:mn>
                  <mml:mo>,</mml:mo>
                  <mml:mn>1</mml:mn>
                  <mml:mo>,</mml:mo>
                  <mml:mn>0</mml:mn>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <disp-formula id="FD21">
          <label>(19)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>w</mml:mi>
                <mml:mn>2</mml:mn>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:msub>
                <mml:mi>v</mml:mi>
                <mml:mn>2</mml:mn>
              </mml:msub>
              <mml:mo>−</mml:mo>
              <mml:mfrac>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>〈</mml:mo>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>v</mml:mi>
                        <mml:mn>2</mml:mn>
                      </mml:msub>
                      <mml:mo>,</mml:mo>
                      <mml:msub>
                        <mml:mi>w</mml:mi>
                        <mml:mn>1</mml:mn>
                      </mml:msub>
                    </mml:mrow>
                    <mml:mo>〉</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:msup>
                    <mml:mrow>
                      <mml:mrow>
                        <mml:mo>‖</mml:mo>
                        <mml:mrow>
                          <mml:msub>
                            <mml:mi>w</mml:mi>
                            <mml:mn>1</mml:mn>
                          </mml:msub>
                        </mml:mrow>
                        <mml:mo>‖</mml:mo>
                      </mml:mrow>
                    </mml:mrow>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                </mml:mrow>
              </mml:mfrac>
              <mml:msub>
                <mml:mi>w</mml:mi>
                <mml:mn>1</mml:mn>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mn>1</mml:mn>
                  <mml:mo>,</mml:mo>
                  <mml:mo>−</mml:mo>
                  <mml:mn>1</mml:mn>
                  <mml:mo>,</mml:mo>
                  <mml:mo>−</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <disp-formula id="FD22">
          <label>(20)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>w</mml:mi>
                <mml:mn>3</mml:mn>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:msub>
                <mml:mi>v</mml:mi>
                <mml:mn>3</mml:mn>
              </mml:msub>
              <mml:mo>−</mml:mo>
              <mml:mfrac>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>〈</mml:mo>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>v</mml:mi>
                        <mml:mn>3</mml:mn>
                      </mml:msub>
                      <mml:mo>,</mml:mo>
                      <mml:msub>
                        <mml:mi>w</mml:mi>
                        <mml:mn>1</mml:mn>
                      </mml:msub>
                    </mml:mrow>
                    <mml:mo>〉</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:msup>
                    <mml:mrow>
                      <mml:mrow>
                        <mml:mo>‖</mml:mo>
                        <mml:mrow>
                          <mml:msub>
                            <mml:mi>w</mml:mi>
                            <mml:mn>1</mml:mn>
                          </mml:msub>
                        </mml:mrow>
                        <mml:mo>‖</mml:mo>
                      </mml:mrow>
                    </mml:mrow>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                </mml:mrow>
              </mml:mfrac>
              <mml:msub>
                <mml:mi>w</mml:mi>
                <mml:mn>1</mml:mn>
              </mml:msub>
              <mml:mo>−</mml:mo>
              <mml:mfrac>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>〈</mml:mo>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>v</mml:mi>
                        <mml:mn>3</mml:mn>
                      </mml:msub>
                      <mml:mo>,</mml:mo>
                      <mml:msub>
                        <mml:mi>w</mml:mi>
                        <mml:mn>2</mml:mn>
                      </mml:msub>
                    </mml:mrow>
                    <mml:mo>〉</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:msup>
                    <mml:mrow>
                      <mml:mrow>
                        <mml:mo>‖</mml:mo>
                        <mml:mrow>
                          <mml:msub>
                            <mml:mi>w</mml:mi>
                            <mml:mn>2</mml:mn>
                          </mml:msub>
                        </mml:mrow>
                        <mml:mo>‖</mml:mo>
                      </mml:mrow>
                    </mml:mrow>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                </mml:mrow>
              </mml:mfrac>
              <mml:msub>
                <mml:mi>w</mml:mi>
                <mml:mn>2</mml:mn>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mo>−</mml:mo>
                  <mml:mfrac>
                    <mml:mn>2</mml:mn>
                    <mml:mn>3</mml:mn>
                  </mml:mfrac>
                  <mml:mo>,</mml:mo>
                  <mml:mfrac>
                    <mml:mn>2</mml:mn>
                    <mml:mn>3</mml:mn>
                  </mml:mfrac>
                  <mml:mo>,</mml:mo>
                  <mml:mo>−</mml:mo>
                  <mml:mfrac>
                    <mml:mn>4</mml:mn>
                    <mml:mn>3</mml:mn>
                  </mml:mfrac>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>Direct calculation gives</p>
        <disp-formula id="FD23">
          <label>(21)</label>
          <mml:math>
            <mml:mrow>
              <mml:mrow>
                <mml:mo>〈</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>w</mml:mi>
                    <mml:mn>1</mml:mn>
                  </mml:msub>
                  <mml:mo>,</mml:mo>
                  <mml:msub>
                    <mml:mi>w</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>〉</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mrow>
                <mml:mo>〈</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>w</mml:mi>
                    <mml:mn>1</mml:mn>
                  </mml:msub>
                  <mml:mo>,</mml:mo>
                  <mml:msub>
                    <mml:mi>w</mml:mi>
                    <mml:mn>3</mml:mn>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>〉</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mrow>
                <mml:mo>〈</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>w</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msub>
                  <mml:mo>,</mml:mo>
                  <mml:msub>
                    <mml:mi>w</mml:mi>
                    <mml:mn>3</mml:mn>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>〉</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mn>0.</mml:mn>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>After normalization, the vectors <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> q </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:mrow><mml:mrow><mml:msub><mml:mi> w </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow><mml:mo> / </mml:mo><mml:mrow><mml:mrow><mml:mo> ‖ </mml:mo><mml:mrow><mml:msub><mml:mi> w </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow><mml:mo> ‖ </mml:mo></mml:mrow></mml:mrow></mml:mrow></mml:mrow></mml:math></inline-formula> satisfy <inline-formula><mml:math><mml:mrow><mml:mi> G </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> q </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> q </mml:mi><mml:mn> 2 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> q </mml:mi><mml:mn> 3 </mml:mn></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:msub><mml:mi> I </mml:mi><mml:mn> 3 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> .</p>
        <p>The geometric interpretation of one Gram-Schmidt projection step is illustrated in <xref ref-type="fig" rid="fig1">Figure 1</xref>. </p>
        <fig id="fig1">
          <label>Figure 1</label>
          <graphic xlink:href="https://html.scirp.org/file/1724830-rId163.jpeg?20260824031553" />
        </fig>
        <p><bold>Figure 1</bold><bold>.</bold> Technical interpretation of one Gram-Schmidt step. The projection carries the angular coupling with the previously normalized direction, while the residual is orthogonal to it.</p>
      </sec>
    </sec>
    <sec id="sec8">
      <title>8. Physical Application: Frictionless Sliding Ladder</title>
      <p>The frictionless sliding-ladder problem is a classic example of constrained rigid-body mechanics. The derivation below follows the conventional Newtonian and energy formulations described in standard mechanics texts [<xref ref-type="bibr" rid="B7">7</xref>]-[<xref ref-type="bibr" rid="B9">9</xref>], and then interprets the relevant geometric factors through the angular decomposition.</p>
      <p>Consider a homogeneous rigid ladder of length <inline-formula><mml:math><mml:mi> L </mml:mi></mml:math></inline-formula> and mass <inline-formula><mml:math><mml:mi> m </mml:mi></mml:math></inline-formula> , with its lower endpoint on a frictionless horizontal floor and its upper endpoint on a frictionless vertical wall. Let <inline-formula><mml:math><mml:mrow><mml:mi> θ </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> t </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> be the angle measured from the floor. While both contacts are maintained,</p>
      <disp-formula id="FD24">
        <label>(22)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>x</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mi>L</mml:mi>
            <mml:mi>cos</mml:mi>
            <mml:mi>θ</mml:mi>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mi>y</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mi>L</mml:mi>
            <mml:mi>sin</mml:mi>
            <mml:mi>θ</mml:mi>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:msup>
              <mml:mi>x</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mo>+</mml:mo>
            <mml:msup>
              <mml:mi>y</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mi>L</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <sec id="sec8dot1">
        <title>8.1. Angular Structure and the Geometric Constraint</title>
        <p>Let <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> e </mml:mi><mml:mi> x </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> e </mml:mi><mml:mi> y </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> be Cartesian unit vectors and let</p>
        <disp-formula id="FD25">
          <label>(23)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>ℓ</mml:mi>
              <mml:mo>=</mml:mo>
              <mml:mi>cos</mml:mi>
              <mml:mi>θ</mml:mi>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:msub>
                <mml:mi>e</mml:mi>
                <mml:mi>x</mml:mi>
              </mml:msub>
              <mml:mo>+</mml:mo>
              <mml:mi>sin</mml:mi>
              <mml:mi>θ</mml:mi>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:msub>
                <mml:mi>e</mml:mi>
                <mml:mi>y</mml:mi>
              </mml:msub>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>be the unit vector along the ladder. Then</p>
        <disp-formula id="FD26">
          <label>(24)</label>
          <mml:math>
            <mml:mrow>
              <mml:msubsup>
                <mml:mi>δ</mml:mi>
                <mml:mrow>
                  <mml:mi>x</mml:mi>
                  <mml:mi>ℓ</mml:mi>
                </mml:mrow>
                <mml:mrow>
                  <mml:mtext>KJ</mml:mtext>
                </mml:mrow>
              </mml:msubsup>
              <mml:mo>=</mml:mo>
              <mml:mi>cos</mml:mi>
              <mml:mi>θ</mml:mi>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:msubsup>
                <mml:mi>δ</mml:mi>
                <mml:mrow>
                  <mml:mi>y</mml:mi>
                  <mml:mi>ℓ</mml:mi>
                </mml:mrow>
                <mml:mrow>
                  <mml:mtext>KJ</mml:mtext>
                </mml:mrow>
              </mml:msubsup>
              <mml:mo>=</mml:mo>
              <mml:mi>sin</mml:mi>
              <mml:mi>θ</mml:mi>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>The Gram matrix of <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> e </mml:mi><mml:mi> x </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:msub><mml:mi> e </mml:mi><mml:mi> y </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:mi> ℓ </mml:mi></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is</p>
        <disp-formula id="FD27">
          <label>(25)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>G</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>θ</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mtable>
                    <mml:mtr>
                      <mml:mtd>
                        <mml:mn>1</mml:mn>
                      </mml:mtd>
                      <mml:mtd>
                        <mml:mn>0</mml:mn>
                      </mml:mtd>
                      <mml:mtd>
                        <mml:mrow>
                          <mml:mi>cos</mml:mi>
                          <mml:mi>θ</mml:mi>
                        </mml:mrow>
                      </mml:mtd>
                    </mml:mtr>
                    <mml:mtr>
                      <mml:mtd>
                        <mml:mn>0</mml:mn>
                      </mml:mtd>
                      <mml:mtd>
                        <mml:mn>1</mml:mn>
                      </mml:mtd>
                      <mml:mtd>
                        <mml:mrow>
                          <mml:mi>sin</mml:mi>
                          <mml:mi>θ</mml:mi>
                        </mml:mrow>
                      </mml:mtd>
                    </mml:mtr>
                    <mml:mtr>
                      <mml:mtd>
                        <mml:mrow>
                          <mml:mi>cos</mml:mi>
                          <mml:mi>θ</mml:mi>
                        </mml:mrow>
                      </mml:mtd>
                      <mml:mtd>
                        <mml:mrow>
                          <mml:mi>sin</mml:mi>
                          <mml:mi>θ</mml:mi>
                        </mml:mrow>
                      </mml:mtd>
                      <mml:mtd>
                        <mml:mn>1</mml:mn>
                      </mml:mtd>
                    </mml:mtr>
                  </mml:mtable>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mi>det</mml:mi>
              <mml:mi>G</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mi>θ</mml:mi>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mn>0.</mml:mn>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>The zero determinant records that <inline-formula><mml:math><mml:mi> ℓ </mml:mi></mml:math></inline-formula> is not an independent third direction in the plane. Equivalently, <inline-formula><mml:math><mml:mi> x </mml:mi></mml:math></inline-formula> , <inline-formula><mml:math><mml:mi> y </mml:mi></mml:math></inline-formula> , and <inline-formula><mml:math><mml:mi> θ </mml:mi></mml:math></inline-formula> must not be treated as three independent generalized coordinates.</p>
        <p>The mechanical configuration during the two-contact phase is shown in <xref ref-type="fig" rid="fig2">Figure 2</xref>.</p>
        <fig id="fig2">
          <label>Figure 2</label>
          <graphic xlink:href="https://html.scirp.org/file/1724830-rId190.jpeg?20260824031553" />
        </fig>
        <p><bold>Figure 2</bold><bold>.</bold> Homogeneous ladder in the two-contact phase. The wall force <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> N </mml:mi><mml:mi> w </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> must remain nonnegative because the wall can push but cannot pull.</p>
      </sec>
      <sec id="sec8dot2">
        <title>8.2. Kinematic Singularity</title>
        <p>Differentiating the geometric constraint gives</p>
        <disp-formula id="FD28">
          <label>(26)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>x</mml:mi>
              <mml:mover accent="true">
                <mml:mi>x</mml:mi>
                <mml:mo>˙</mml:mo>
              </mml:mover>
              <mml:mo>+</mml:mo>
              <mml:mi>y</mml:mi>
              <mml:mover accent="true">
                <mml:mi>y</mml:mi>
                <mml:mo>˙</mml:mo>
              </mml:mover>
              <mml:mo>=</mml:mo>
              <mml:mn>0</mml:mn>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mover accent="true">
                <mml:mi>y</mml:mi>
                <mml:mo>˙</mml:mo>
              </mml:mover>
              <mml:mo>=</mml:mo>
              <mml:mo>−</mml:mo>
              <mml:mfrac>
                <mml:mi>x</mml:mi>
                <mml:mi>y</mml:mi>
              </mml:mfrac>
              <mml:mover accent="true">
                <mml:mi>x</mml:mi>
                <mml:mo>˙</mml:mo>
              </mml:mover>
              <mml:mo>=</mml:mo>
              <mml:mo>−</mml:mo>
              <mml:mfrac>
                <mml:mrow>
                  <mml:mi>cos</mml:mi>
                  <mml:mi>θ</mml:mi>
                </mml:mrow>
                <mml:mrow>
                  <mml:mi>sin</mml:mi>
                  <mml:mi>θ</mml:mi>
                </mml:mrow>
              </mml:mfrac>
              <mml:mover accent="true">
                <mml:mi>x</mml:mi>
                <mml:mo>˙</mml:mo>
              </mml:mover>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>Using the angular quantities, </p>
        <disp-formula id="FD29">
          <label>(27)</label>
          <mml:math>
            <mml:mrow>
              <mml:mover accent="true">
                <mml:mi>y</mml:mi>
                <mml:mo>˙</mml:mo>
              </mml:mover>
              <mml:mo>=</mml:mo>
              <mml:mo>−</mml:mo>
              <mml:mfrac>
                <mml:mrow>
                  <mml:msubsup>
                    <mml:mi>δ</mml:mi>
                    <mml:mrow>
                      <mml:mi>x</mml:mi>
                      <mml:mi>ℓ</mml:mi>
                    </mml:mrow>
                    <mml:mrow>
                      <mml:mtext>KJ</mml:mtext>
                    </mml:mrow>
                  </mml:msubsup>
                </mml:mrow>
                <mml:mrow>
                  <mml:msubsup>
                    <mml:mi>δ</mml:mi>
                    <mml:mrow>
                      <mml:mi>y</mml:mi>
                      <mml:mi>ℓ</mml:mi>
                    </mml:mrow>
                    <mml:mrow>
                      <mml:mtext>KJ</mml:mtext>
                    </mml:mrow>
                  </mml:msubsup>
                </mml:mrow>
              </mml:mfrac>
              <mml:mover accent="true">
                <mml:mi>x</mml:mi>
                <mml:mo>˙</mml:mo>
              </mml:mover>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>If one imposes <inline-formula><mml:math><mml:mrow><mml:mover accent="true"><mml:mi> x </mml:mi><mml:mo> ˙ </mml:mo></mml:mover><mml:mo> = </mml:mo><mml:mi> u </mml:mi><mml:mo> ≠ </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> all the way to <inline-formula><mml:math><mml:mrow><mml:mi> θ </mml:mi><mml:mo> → </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> , then <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> δ </mml:mi><mml:mrow><mml:mi> y </mml:mi><mml:mi> ℓ </mml:mi></mml:mrow><mml:mrow><mml:mtext> KJ </mml:mtext></mml:mrow></mml:msubsup><mml:mo> = </mml:mo><mml:mi> sin </mml:mi><mml:mi> θ </mml:mi><mml:mo> → </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> | </mml:mo><mml:mover accent="true"><mml:mi> y </mml:mi><mml:mo> ˙ </mml:mo></mml:mover><mml:mo> | </mml:mo></mml:mrow><mml:mo> → </mml:mo><mml:mi> ∞ </mml:mi></mml:mrow></mml:math></inline-formula> . This divergence is not a physical prediction. It signals that constant lower-end speed, permanent two-point contact, perfect rigidity, and continuation to <inline-formula><mml:math><mml:mrow><mml:mi> y </mml:mi><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> are mutually incompatible assumptions.</p>
      </sec>
      <sec id="sec8dot3">
        <title>8.3. Energy and Angular Acceleration</title>
        <p>The center of mass is</p>
        <disp-formula id="FD30">
          <label>(28)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>r</mml:mi>
                <mml:mi>C</mml:mi>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mfrac>
                    <mml:mi>L</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:mfrac>
                  <mml:mi>cos</mml:mi>
                  <mml:mi>θ</mml:mi>
                  <mml:mo>,</mml:mo>
                  <mml:mfrac>
                    <mml:mi>L</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:mfrac>
                  <mml:mi>sin</mml:mi>
                  <mml:mi>θ</mml:mi>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:msubsup>
                <mml:mi>v</mml:mi>
                <mml:mi>C</mml:mi>
                <mml:mn>2</mml:mn>
              </mml:msubsup>
              <mml:mo>=</mml:mo>
              <mml:mfrac>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>L</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                </mml:mrow>
                <mml:mn>4</mml:mn>
              </mml:mfrac>
              <mml:msup>
                <mml:mover accent="true">
                  <mml:mi>θ</mml:mi>
                  <mml:mo>˙</mml:mo>
                </mml:mover>
                <mml:mn>2</mml:mn>
              </mml:msup>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>With <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> I </mml:mi><mml:mi> C </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:mrow><mml:mrow><mml:mi> m </mml:mi><mml:msup><mml:mi> L </mml:mi><mml:mn> 2 </mml:mn></mml:msup></mml:mrow><mml:mo> / </mml:mo><mml:mrow><mml:mn> 12 </mml:mn></mml:mrow></mml:mrow></mml:mrow></mml:math></inline-formula> , the kinetic and potential energies are</p>
        <disp-formula id="FD31">
          <label>(29)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>T</mml:mi>
              <mml:mo>=</mml:mo>
              <mml:mfrac>
                <mml:mn>1</mml:mn>
                <mml:mn>2</mml:mn>
              </mml:mfrac>
              <mml:mi>m</mml:mi>
              <mml:msubsup>
                <mml:mi>v</mml:mi>
                <mml:mi>C</mml:mi>
                <mml:mn>2</mml:mn>
              </mml:msubsup>
              <mml:mo>+</mml:mo>
              <mml:mfrac>
                <mml:mn>1</mml:mn>
                <mml:mn>2</mml:mn>
              </mml:mfrac>
              <mml:msub>
                <mml:mi>I</mml:mi>
                <mml:mi>C</mml:mi>
              </mml:msub>
              <mml:msup>
                <mml:mover accent="true">
                  <mml:mi>θ</mml:mi>
                  <mml:mo>˙</mml:mo>
                </mml:mover>
                <mml:mn>2</mml:mn>
              </mml:msup>
              <mml:mo>=</mml:mo>
              <mml:mfrac>
                <mml:mrow>
                  <mml:mi>m</mml:mi>
                  <mml:msup>
                    <mml:mi>L</mml:mi>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                </mml:mrow>
                <mml:mn>6</mml:mn>
              </mml:mfrac>
              <mml:msup>
                <mml:mover accent="true">
                  <mml:mi>θ</mml:mi>
                  <mml:mo>˙</mml:mo>
                </mml:mover>
                <mml:mn>2</mml:mn>
              </mml:msup>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mi>V</mml:mi>
              <mml:mo>=</mml:mo>
              <mml:mfrac>
                <mml:mrow>
                  <mml:mi>m</mml:mi>
                  <mml:mi>g</mml:mi>
                  <mml:mi>L</mml:mi>
                </mml:mrow>
                <mml:mn>2</mml:mn>
              </mml:mfrac>
              <mml:mi>sin</mml:mi>
              <mml:mi>θ</mml:mi>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>Released from rest at <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> θ </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> , conservation of energy gives</p>
        <disp-formula id="FD32">
          <label>(30)</label>
          <mml:math>
            <mml:mrow>
              <mml:msup>
                <mml:mover accent="true">
                  <mml:mi>θ</mml:mi>
                  <mml:mo>˙</mml:mo>
                </mml:mover>
                <mml:mn>2</mml:mn>
              </mml:msup>
              <mml:mo>=</mml:mo>
              <mml:mfrac>
                <mml:mrow>
                  <mml:mn>3</mml:mn>
                  <mml:mi>g</mml:mi>
                </mml:mrow>
                <mml:mi>L</mml:mi>
              </mml:mfrac>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>sin</mml:mi>
                  <mml:msub>
                    <mml:mi>θ</mml:mi>
                    <mml:mn>0</mml:mn>
                  </mml:msub>
                  <mml:mo>−</mml:mo>
                  <mml:mi>sin</mml:mi>
                  <mml:mi>θ</mml:mi>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>,</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>and differentiation yields</p>
        <disp-formula id="FD33">
          <label>(31)</label>
          <mml:math>
            <mml:mrow>
              <mml:mover accent="true">
                <mml:mi>θ</mml:mi>
                <mml:mo>¨</mml:mo>
              </mml:mover>
              <mml:mo>=</mml:mo>
              <mml:mo>−</mml:mo>
              <mml:mfrac>
                <mml:mrow>
                  <mml:mn>3</mml:mn>
                  <mml:mi>g</mml:mi>
                </mml:mrow>
                <mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mi>L</mml:mi>
                </mml:mrow>
              </mml:mfrac>
              <mml:mi>cos</mml:mi>
              <mml:mi>θ</mml:mi>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
      </sec>
      <sec id="sec8dot4">
        <title>8.4. Wall Reaction and Loss of Contact</title>
        <p>The horizontal coordinate of the center of mass is <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> C </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mrow><mml:mi> L </mml:mi><mml:mo> / </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mi> cos </mml:mi><mml:mi> θ </mml:mi></mml:mrow></mml:math></inline-formula> , hence</p>
        <disp-formula id="FD34">
          <label>(32)</label>
          <mml:math display="inline">
            <mml:mrow>
              <mml:msub>
                <mml:mover accent="true">
                  <mml:mi>x</mml:mi>
                  <mml:mo>¨</mml:mo>
                </mml:mover>
                <mml:mi>C</mml:mi>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mo>−</mml:mo>
              <mml:mfrac>
                <mml:mi>L</mml:mi>
                <mml:mn>2</mml:mn>
              </mml:mfrac>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mi>cos</mml:mi>
                  <mml:mi>θ</mml:mi>
                  <mml:mtext>
                     
                  </mml:mtext>
                  <mml:msup>
                    <mml:mover accent="true">
                      <mml:mi>θ</mml:mi>
                      <mml:mo>˙</mml:mo>
                    </mml:mover>
                    <mml:mn>2</mml:mn>
                  </mml:msup>
                  <mml:mo>+</mml:mo>
                  <mml:mi>sin</mml:mi>
                  <mml:mi>θ</mml:mi>
                  <mml:mtext>
                     
                  </mml:mtext>
                  <mml:mover accent="true">
                    <mml:mi>θ</mml:mi>
                    <mml:mo>¨</mml:mo>
                  </mml:mover>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>Substituting the preceding energy relations gives</p>
        <disp-formula id="FD35">
          <label>(33)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>N</mml:mi>
                <mml:mi>w</mml:mi>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mi>m</mml:mi>
              <mml:msub>
                <mml:mover accent="true">
                  <mml:mi>x</mml:mi>
                  <mml:mo>¨</mml:mo>
                </mml:mover>
                <mml:mi>C</mml:mi>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mfrac>
                <mml:mrow>
                  <mml:mn>3</mml:mn>
                  <mml:mi>m</mml:mi>
                  <mml:mi>g</mml:mi>
                </mml:mrow>
                <mml:mn>4</mml:mn>
              </mml:mfrac>
              <mml:mi>cos</mml:mi>
              <mml:mi>θ</mml:mi>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mn>3</mml:mn>
                  <mml:mi>sin</mml:mi>
                  <mml:mi>θ</mml:mi>
                  <mml:mo>−</mml:mo>
                  <mml:mn>2</mml:mn>
                  <mml:mi>sin</mml:mi>
                  <mml:msub>
                    <mml:mi>θ</mml:mi>
                    <mml:mn>0</mml:mn>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>A frictionless wall can exert only a nonnegative normal force. Therefore, contact is lost at the first instant for which <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> N </mml:mi><mml:mi> w </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> . Before the horizontal position is reached, <inline-formula><mml:math><mml:mrow><mml:mi> cos </mml:mi><mml:mi> θ </mml:mi><mml:mo> ≠ </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> , so</p>
        <disp-formula id="FD36">
          <label>(34)</label>
          <mml:math>
            <mml:mrow>
              <mml:mi>sin</mml:mi>
              <mml:msub>
                <mml:mi>θ</mml:mi>
                <mml:mi>s</mml:mi>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mfrac>
                <mml:mn>2</mml:mn>
                <mml:mn>3</mml:mn>
              </mml:mfrac>
              <mml:mi>sin</mml:mi>
              <mml:msub>
                <mml:mi>θ</mml:mi>
                <mml:mn>0</mml:mn>
              </mml:msub>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>Equivalently,</p>
        <disp-formula id="FD37">
          <label>(35)</label>
          <mml:math>
            <mml:mrow>
              <mml:msubsup>
                <mml:mi>δ</mml:mi>
                <mml:mrow>
                  <mml:mi>y</mml:mi>
                  <mml:mi>ℓ</mml:mi>
                </mml:mrow>
                <mml:mrow>
                  <mml:mtext>KJ</mml:mtext>
                </mml:mrow>
              </mml:msubsup>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>θ</mml:mi>
                    <mml:mi>s</mml:mi>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mfrac>
                <mml:mn>2</mml:mn>
                <mml:mn>3</mml:mn>
              </mml:mfrac>
              <mml:msubsup>
                <mml:mi>δ</mml:mi>
                <mml:mrow>
                  <mml:mi>y</mml:mi>
                  <mml:mi>ℓ</mml:mi>
                </mml:mrow>
                <mml:mrow>
                  <mml:mtext>KJ</mml:mtext>
                </mml:mrow>
              </mml:msubsup>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:msub>
                    <mml:mi>θ</mml:mi>
                    <mml:mn>0</mml:mn>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>For release from the vertical, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> θ </mml:mi><mml:mn> 0 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:mrow><mml:mi> π </mml:mi><mml:mo> / </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:mrow></mml:math></inline-formula> , and therefore </p>
        <disp-formula id="FD38">
          <label>(36)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>θ</mml:mi>
                <mml:mi>s</mml:mi>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mtext>arcsin</mml:mtext>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mfrac>
                    <mml:mn>2</mml:mn>
                    <mml:mn>3</mml:mn>
                  </mml:mfrac>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>≈</mml:mo>
              <mml:msup>
                <mml:mrow>
                  <mml:mn>41.81</mml:mn>
                </mml:mrow>
                <mml:mo>∘</mml:mo>
              </mml:msup>
              <mml:mo>,</mml:mo>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:mtext>
                 
              </mml:mtext>
              <mml:msub>
                <mml:mi>y</mml:mi>
                <mml:mi>s</mml:mi>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mi>L</mml:mi>
              <mml:mi>sin</mml:mi>
              <mml:msub>
                <mml:mi>θ</mml:mi>
                <mml:mi>s</mml:mi>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mfrac>
                <mml:mrow>
                  <mml:mn>2</mml:mn>
                  <mml:mi>L</mml:mi>
                </mml:mrow>
                <mml:mn>3</mml:mn>
              </mml:mfrac>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>For smaller angles, the two-contact formula would predict <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> N </mml:mi><mml:mi> w </mml:mi></mml:msub><mml:mo> &lt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> , that the wall would require the ladder to pull. The constrained model must therefore terminate at <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> θ </mml:mi><mml:mi> s </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and be replaced by the subsequent one-contact dynamics.</p>
        <p>The normalized wall reaction for release from the vertical is displayed in <xref ref-type="fig" rid="fig3">Figure 3</xref>. </p>
        <fig id="fig3">
          <label>Figure 3</label>
          <graphic xlink:href="https://html.scirp.org/file/1724830-rId241.jpeg?20260824031553" />
        </fig>
        <p><bold>Figure 3</bold><bold>.</bold> Normalized wall reaction for release from the vertical. The two-contact solution is physically admissible only while <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> N </mml:mi><mml:mi> w </mml:mi></mml:msub><mml:mo> ≥ </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> . The zero at <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> θ </mml:mi><mml:mi> s </mml:mi></mml:msub><mml:mo> ≈ </mml:mo><mml:msup><mml:mrow><mml:mn> 41.81 </mml:mn></mml:mrow><mml:mo> ∘ </mml:mo></mml:msup></mml:mrow></mml:math></inline-formula> marks loss of wall contact.</p>
        <p><xref ref-type="fig" rid="fig4">Figure 4</xref> shows the evolution of the horizontal and vertical angular couplings together with the loss-of-contact threshold.</p>
        <fig id="fig4">
          <label>Figure 4</label>
          <graphic xlink:href="https://html.scirp.org/file/1724830-rId246.jpeg?20260824031553" />
        </fig>
        <p><bold>Figure 4</bold><bold>.</bold> Evolution of the vertical and horizontal angular couplings. The marked value is the loss-of-contact threshold for release from the vertical.</p>
      </sec>
    </sec>
    <sec id="sec9">
      <title>9. Comparison with the Standard Formulation</title>
      <p><bold>Table 1</bold> summarizes the interpretive role of the proposed decomposition. The right-hand column does not add new dynamics or algebra; it makes explicit which geometric factor is active in each standard calculation.</p>
      <p><bold>Table 1</bold><bold>.</bold> Classical objects and their angular interpretation.</p>
      <table-wrap id="tbl1">
        <label>Table 1</label>
        <table>
          <tbody>
            <tr>
              <td>
                <bold>Standard</bold>
                <bold>Formulation</bold>
              </td>
              <td>
                <bold>Angular Kronecker</bold>
                <bold>-</bold>
                <bold>Jeno</bold>
                <bold>Interpretation</bold>
              </td>
            </tr>
            <tr>
              <td>
                Kronecker delta
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>δ</mml:mi>
                        <mml:mrow>
                          <mml:mi>i</mml:mi>
                          <mml:mi>j</mml:mi>
                        </mml:mrow>
                      </mml:msub>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>Index identity is separated from possible off-diagonal angular coupling.</td>
            </tr>
            <tr>
              <td>
                Gram coefficient
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>g</mml:mi>
                        <mml:mrow>
                          <mml:mi>i</mml:mi>
                          <mml:mi>j</mml:mi>
                        </mml:mrow>
                      </mml:msub>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>
                For normalized real vectors,
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>g</mml:mi>
                        <mml:mrow>
                          <mml:mi>i</mml:mi>
                          <mml:mi>j</mml:mi>
                        </mml:mrow>
                      </mml:msub>
                      <mml:mo>=</mml:mo>
                      <mml:msubsup>
                        <mml:mi>δ</mml:mi>
                        <mml:mrow>
                          <mml:mi>i</mml:mi>
                          <mml:mi>j</mml:mi>
                        </mml:mrow>
                        <mml:mrow>
                          <mml:mtext>KJ</mml:mtext>
                        </mml:mrow>
                      </mml:msubsup>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
                .
              </td>
            </tr>
            <tr>
              <td>
                Orthogonality
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>g</mml:mi>
                        <mml:mrow>
                          <mml:mi>i</mml:mi>
                          <mml:mi>j</mml:mi>
                        </mml:mrow>
                      </mml:msub>
                      <mml:mo>=</mml:mo>
                      <mml:mn>0</mml:mn>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>
                The off-diagonal selector is active, while the angular coupling vanishes:
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mn>0</mml:mn>
                        <mml:mtext>J</mml:mtext>
                      </mml:msub>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
                .
              </td>
            </tr>
            <tr>
              <td>Gram-Schmidt projection coefficient</td>
              <td>
                The removed coefficient is proportional to
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:mi>cos</mml:mi>
                      <mml:msub>
                        <mml:mi>θ</mml:mi>
                        <mml:mrow>
                          <mml:mi>i</mml:mi>
                          <mml:mi>k</mml:mi>
                        </mml:mrow>
                      </mml:msub>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
                .
              </td>
            </tr>
            <tr>
              <td>Ladder kinematic singularity</td>
              <td>
                The divergence arises from division by the vanishing vertical coupling
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:mi>sin</mml:mi>
                      <mml:mi>θ</mml:mi>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
                .
              </td>
            </tr>
            <tr>
              <td>Loss of wall contact</td>
              <td>
                The physical boundary is imposed separately by the unilateral condition
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>N</mml:mi>
                        <mml:mi>w</mml:mi>
                      </mml:msub>
                      <mml:mo>≥</mml:mo>
                      <mml:mn>0</mml:mn>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
                .
              </td>
            </tr>
          </tbody>
        </table>
      </table-wrap>
    </sec>
    <sec id="sec10">
      <title>10. Discussion</title>
      <p>The Gram-Schmidt application shows that the notation can track which off-diagonal coupling is removed at each projection step. This is mathematically equivalent to standard orthogonalization, but it preserves the angular meaning of the projection coefficient. The functional <inline-formula><mml:math><mml:mrow><mml:mi mathvariant="script"> N </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> B </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> provides a sign-independent scalar diagnostic of pairwise orthogonality for normalized families.</p>
      <p>The ladder application goes further by separating two issues that are often conflated. First, the kinematic relation <inline-formula><mml:math><mml:mrow><mml:mover accent="true"><mml:mi> y </mml:mi><mml:mo> ˙ </mml:mo></mml:mover><mml:mo> = </mml:mo><mml:mo> − </mml:mo><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mrow><mml:mrow><mml:mi> cos </mml:mi><mml:mi> θ </mml:mi></mml:mrow><mml:mo> / </mml:mo><mml:mrow><mml:mi> sin </mml:mi><mml:mi> θ </mml:mi></mml:mrow></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mover accent="true"><mml:mi> x </mml:mi><mml:mo> ˙ </mml:mo></mml:mover></mml:mrow></mml:math></inline-formula> contains a denominator that vanishes when the ladder approaches the horizontal configuration. Second, the freely released ladder does not remain in two-point contact until that configuration. The unilateral contact condition forces the two-contact model to terminate earlier, at <inline-formula><mml:math><mml:mrow><mml:mi> sin </mml:mi><mml:msub><mml:mi> θ </mml:mi><mml:mi> s </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mrow><mml:mn> 2 </mml:mn><mml:mo> / </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mi> sin </mml:mi><mml:msub><mml:mi> θ </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> . The angular decomposition identifies the geometric factor that vanishes, whereas the contact inequality determines the physically admissible interval.</p>
      <p>The condition <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> N </mml:mi><mml:mi> w </mml:mi></mml:msub><mml:mo> ≥ </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> is not encoded by <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> δ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow><mml:mrow><mml:mtext> KJ </mml:mtext></mml:mrow></mml:msubsup></mml:mrow></mml:math></inline-formula> itself. It remains a mechanical contact condition. Accordingly, the usefulness of the angular decomposition is diagnostic and interpretive rather than dynamical. The present results do not establish a new tensor, scalar product, or force law. They show that a standard Gram entry can be decomposed into index selection and angular coupling, and that this bookkeeping can clarify both orthogonalization and constrained mechanics.</p>
      <p>The framework remains restricted to normalized real vectors unless the usual norm factors are restored. In complex inner-product spaces, phase information cannot be represented by a single real angle. These limitations are not technical afterthoughts; they define the domain in which the proposed notation is mathematically equivalent to familiar objects.</p>
    </sec>
    <sec id="sec11">
      <title>11. Conclusions</title>
      <p>The angular quantity</p>
      <disp-formula id="FD39">
        <label>(37)</label>
        <mml:math>
          <mml:mrow>
            <mml:msubsup>
              <mml:mi>δ</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
              <mml:mrow>
                <mml:mtext>KJ</mml:mtext>
              </mml:mrow>
            </mml:msubsup>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>δ</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mo>+</mml:mo>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mn>1</mml:mn>
                <mml:mo>−</mml:mo>
                <mml:msub>
                  <mml:mi>δ</mml:mi>
                  <mml:mrow>
                    <mml:mi>i</mml:mi>
                    <mml:mi>j</mml:mi>
                  </mml:mrow>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mi>cos</mml:mi>
            <mml:msub>
              <mml:mi>θ</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>recovers the classical Kronecker delta in an orthonormal basis and coincides with the Gram matrix in a normalized real basis. Its role is interpretive: it separates index identity from the angular mechanism responsible for an off-diagonal metric contribution.</p>
      <p>Two concrete uses were demonstrated. In Gram-Schmidt orthogonalization, off-diagonal Gram couplings are sequentially removed until the Gram matrix becomes the identity, while <inline-formula><mml:math><mml:mrow><mml:mi mathvariant="script"> N </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> B </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> reaches its maximum value. In the sliding-ladder problem, the apparent infinite endpoint speed follows from division by the vanishing vertical coupling <inline-formula><mml:math><mml:mrow><mml:mi> sin </mml:mi><mml:mi> θ </mml:mi></mml:mrow></mml:math></inline-formula> under an incompatible constant-speed constraint. In the physically released system, the ladder loses wall contact earlier, at <inline-formula><mml:math><mml:mrow><mml:mi> sin </mml:mi><mml:msub><mml:mi> θ </mml:mi><mml:mi> s </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mrow><mml:mn> 2 </mml:mn><mml:mo> / </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mi> sin </mml:mi><mml:msub><mml:mi> θ </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> ; for release from the vertical, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> y </mml:mi><mml:mi> s </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:mrow><mml:mrow><mml:mn> 2 </mml:mn><mml:mi> L </mml:mi></mml:mrow><mml:mo> / </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:mrow></mml:math></inline-formula> .</p>
      <p>Thus, the decomposition does not replace classical linear algebra or mechanics. It makes explicit which angular factor vanishes and where a constrained model ceases to be physically admissible. Future work may examine whether the same bookkeeping is useful in constrained dynamics, numerical orthogonalization, finite-element formulations, and tensor calculations in which orthogonality evolves during computation.</p>
    </sec>
    <sec id="sec12">
      <title>Appendix: Equivalence with the Normalized Gram Matrix</title>
      <p>Let <inline-formula><mml:math><mml:mrow><mml:mi> B </mml:mi><mml:mo> = </mml:mo><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> e </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:msub><mml:mi> e </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> be a normalized family in a finite-dimensional real inner-product space. Its Gram matrix is <inline-formula><mml:math><mml:mrow><mml:mi> G </mml:mi><mml:mo> = </mml:mo><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , where</p>
      <disp-formula id="FD40">
        <label>(38)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>〈</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>e</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msub>
                <mml:mo>,</mml:mo>
                <mml:msub>
                  <mml:mi>e</mml:mi>
                  <mml:mi>j</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>〉</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>For <inline-formula><mml:math><mml:mrow><mml:mi> i </mml:mi><mml:mo> = </mml:mo><mml:mi> j </mml:mi></mml:mrow></mml:math></inline-formula> , normalization gives <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> i </mml:mi></mml:mrow></mml:msub><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . For <inline-formula><mml:math><mml:mrow><mml:mi> i </mml:mi><mml:mo> ≠ </mml:mo><mml:mi> j </mml:mi></mml:mrow></mml:math></inline-formula> , the real inner-product identity gives <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub><mml:mo> = </mml:mo><mml:mi> cos </mml:mi><mml:msub><mml:mi> θ </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mi> j </mml:mi></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> . Hence</p>
      <disp-formula id="FD41">
        <label>(39)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>δ</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mo>+</mml:mo>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mn>1</mml:mn>
                <mml:mo>−</mml:mo>
                <mml:msub>
                  <mml:mi>δ</mml:mi>
                  <mml:mrow>
                    <mml:mi>i</mml:mi>
                    <mml:mi>j</mml:mi>
                  </mml:mrow>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mi>cos</mml:mi>
            <mml:msub>
              <mml:mi>θ</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:msubsup>
              <mml:mi>δ</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mi>j</mml:mi>
              </mml:mrow>
              <mml:mrow>
                <mml:mtext>KJ</mml:mtext>
              </mml:mrow>
            </mml:msubsup>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Therefore, <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> δ </mml:mi><mml:mrow><mml:mtext> KJ </mml:mtext></mml:mrow></mml:msup></mml:mrow></mml:math></inline-formula> and <inline-formula><mml:math><mml:mi> G </mml:mi></mml:math></inline-formula> are identical matrices under the stated assumptions. Every algebraic property used in this manuscript is consequently inherited from the Gram matrix rather than postulated independently.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <title>References</title>
      <ref id="B1">
        <label>1.</label>
        <citation-alternatives>
          <mixed-citation publication-type="book">Strang, G. (2016) Introduction to Linear Algebra. 5th Edition, Wellesley-Cambridge Press.</mixed-citation>
          <element-citation publication-type="book">
            <person-group person-group-type="author">
              <string-name>Strang, G.</string-name>
              <string-name>Edition, W</string-name>
            </person-group>
            <year>2016</year>
            <article-title>Introduction to Linear Algebra</article-title>
            <source>5th Edition</source>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B2">
        <label>2.</label>
        <citation-alternatives>
          <mixed-citation publication-type="book">Halmos, P.R. (1958) Finite-Dimensional Vector Spaces. 2nd Edition, Van Nostrand.</mixed-citation>
          <element-citation publication-type="book">
            <person-group person-group-type="author">
              <string-name>Halmos, P.R.</string-name>
              <string-name>Edition, V</string-name>
            </person-group>
            <year>1958</year>
            <article-title>Finite-Dimensional Vector Spaces</article-title>
            <source>2nd Edition</source>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B3">
        <label>3.</label>
        <citation-alternatives>
          <mixed-citation publication-type="book">Horn, R.A. and Johnson, C.R. (2013) Matrix Analysis. 2nd Editon, Cambridge University Press.</mixed-citation>
          <element-citation publication-type="book">
            <person-group person-group-type="author">
              <string-name>Horn, R.A.</string-name>
              <string-name>Johnson, C.R.</string-name>
              <string-name>Editon, C</string-name>
            </person-group>
            <year>2013</year>
            <article-title>Matrix Analysis</article-title>
            <source>2nd Editon</source>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B4">
        <label>4.</label>
        <citation-alternatives>
          <mixed-citation publication-type="book">Lee, J.M. (2018) Introduction to Riemannian Manifolds. 2nd Edition, Springer. https://doi.org/10.1007/978-3-319-91755-9 <pub-id pub-id-type="doi">10.1007/978-3-319-91755-9</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/978-3-319-91755-9">https://doi.org/10.1007/978-3-319-91755-9</ext-link></mixed-citation>
          <element-citation publication-type="book">
            <person-group person-group-type="author">
              <string-name>Lee, J.M.</string-name>
              <string-name>Edition, S</string-name>
            </person-group>
            <year>2018</year>
            <article-title>Introduction to Riemannian Manifolds</article-title>
            <source>2nd Edition</source>
            <pub-id pub-id-type="doi">10.1007/978-3-319-91755-9</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B5">
        <label>5.</label>
        <citation-alternatives>
          <mixed-citation publication-type="book">Golub, G.H. and Van Loan, C.F. (2013) Matrix Computations. 4th Edition, Johns Hopkins University Press.</mixed-citation>
          <element-citation publication-type="book">
            <person-group person-group-type="author">
              <string-name>Golub, G.H.</string-name>
              <string-name>Loan, C.F.</string-name>
              <string-name>Edition, J</string-name>
            </person-group>
            <year>2013</year>
            <article-title>Matrix Computations</article-title>
            <source>4th Edition</source>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B6">
        <label>6.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Trefethen, L.N. and Bau III, D. (1997) Numerical Linear Algebra. SIAM. https://doi.org/10.1137/1.9780898719574 <pub-id pub-id-type="doi">10.1137/1.9780898719574</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1137/1.9780898719574">https://doi.org/10.1137/1.9780898719574</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Trefethen, L.N.</string-name>
              <string-name>III, D.</string-name>
            </person-group>
            <year>1997</year>
            <article-title>Numerical Linear Algebra</article-title>
            <pub-id pub-id-type="doi">10.1137/1.9780898719574</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B7">
        <label>7.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Taylor, J.R. (2005) Classical Mechanics. University Science Books.</mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Taylor, J.R.</string-name>
            </person-group>
            <year>2005</year>
            <article-title>Classical Mechanics</article-title>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B8">
        <label>8.</label>
        <citation-alternatives>
          <mixed-citation publication-type="book">Goldstein, H., Poole, C. and Safko, J. (2002) Classical Mechanics. 3rd Edition, Addison-Wesley.</mixed-citation>
          <element-citation publication-type="book">
            <person-group person-group-type="author">
              <string-name>Goldstein, H.</string-name>
              <string-name>Poole, C.</string-name>
              <string-name>Safko, J.</string-name>
              <string-name>Edition, A</string-name>
            </person-group>
            <year>2002</year>
            <article-title>Classical Mechanics</article-title>
            <source>3rd Edition</source>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B9">
        <label>9.</label>
        <citation-alternatives>
          <mixed-citation publication-type="book">Kleppner, D. and Kolenkow, R. (2014) An Introduction to Mechanics. 2nd Edition, Cambridge University Press. https://doi.org/10.1017/CBO9781139013963 <pub-id pub-id-type="doi">10.1017/CBO9781139013963</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1017/CBO9781139013963">https://doi.org/10.1017/CBO9781139013963</ext-link></mixed-citation>
          <element-citation publication-type="book">
            <person-group person-group-type="author">
              <string-name>Kleppner, D.</string-name>
              <string-name>Kolenkow, R.</string-name>
              <string-name>Edition, C</string-name>
            </person-group>
            <year>2014</year>
            <article-title>An Introduction to Mechanics</article-title>
            <source>2nd Edition</source>
            <pub-id pub-id-type="doi">10.1017/CBO9781139013963</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
    </ref-list>
  </back>
</article>