次のページ
前のページ
目次
CAN-4-1-19
CAN-4-1-21
CAN-4-1-23
CAN-4-1-24
24 行目の「（この考えは正しくない）？」という疑問に対して、「正しくない」が答えだ。
したがって、 16 行目以降の論法は、全体としては成り立たない。
【SEOテキスト】宇田雄一05.6.15,CAN-4-1-24-21,22→CAN-4-1-19-12,23-28,29,CAN-4-1-24-23,(∂/∂α)K(Q(t;α);P(t;α);t;α)=∂2n+1G(Q(t;α);P(t;α);t)∴[∂2ζ□(t;α)]t∂□K(ζ(t;α);t;α)+∂2n+2K(ζ(t;α);t;α)=∂2n+1G(ζ(t;α);t)∴∂2n+2K(ζ(t;α);t;α)=[∂□G(ζ(t;α);t)]tJ∂□K(ζ(t;α);t;α)+∂2n+1G(ζ(t;α);t)∵CAN-4-1-24-4,=[G(□;t),K(□;t;α)](ζ(t;α))+∂2n+1G(ζ(t;α);t)∵CAN-4-1-21①,=(d/dt)G(ζ(t;α);t)∵CAN-4-1-23-7～9,CAN-4-1-24-26,(∂/∂α)(d/dt)G(ζ(t;α);t)=(∂/∂α)[G(□;t),K(□;t;α)](ζ(t;α))※1,=[∂2ζ□(t;α)]∂□[G(□;t),K(□;t;α)](ζ(t;α))+[G(□;t),∂2n+2K(□;t;α)](ζ(t;α))したがって、(d/dt)G(ζ(t;α);t)=0ならば(∂/∂α)(d/dt)G(ζ(t;α);t)=0※2,ここでf(0)=0,∀α;f(α)=0⇒(d/dα)f(α)=0ならばf=0と考えて良いことにする。(この考えは正しくない)?すると、∀α;(d/dt)G(ζ(t;α);t)=0※1→TEC-0-4-31-12～14※2→CAN-4-1-24-23,23-7～9,f(α),α