\( \DeclareMathOperator{\abs}{abs} \newcommand{\ensuremath}[1]{\mbox{$#1$}} \)
(%i1) | kill ( all ) ; |
(%i1) | t ( T ) : = ( c / g ) · log ( sqrt ( 1 + ( g · T ( t ) / c ) ^ 2 ) + ( g · T ( t ) / c ) ) ; |
(%i2) | x ( T ) : = ( c ^ 2 / g ) · ( sqrt ( 1 + ( g · T ( t ) / c ) ^ 2 ) − 1 ) ; |
(%i3) | dxT : diff ( x ( T ) , T ( t ) , 1 ) ; |
(%i4) | dtT : diff ( t ( T ) , T ( t ) , 1 ) ; |
(%i5) | ratsimp ( dxT / dtT ) ; |
(%i6) | v ( t ) : = g · T ( t ) ; |
(%i7) | g_00 ( x ) : = ( 1 + g · x ( t ) / c ^ 2 ) ^ 2 ; |
(%i8) | T1 ( t ) : = ( c / g ) · sinh ( g · t / c ) ; |
(%i9) | T2 ( t ) : = ( c / g ) · tanh ( g · t / c ) ; |
(%i10) | T ( t ) : = T2 ( t ) ; |
(%i11) | Γ : integrate ( sqrt ( g_00 ( x ( t ) ) − v ( t ) ^ 2 / c ^ 2 ) , t ) ; |
Created with wxMaxima.