Legal Notice, Disclaimer, and Book Ordering Information:

(* Legal Notice, Disclaimer, and Book Ordering Information:

Last Modified: FIO January 1, 1995

Mathematica For Physics
Robert L. Zimmerman and Fredrick I. Olness
MathSource Number: 0206-862 

ISBN 0-201-53796-6
For ordering information, call 1-800-822-6339
Addison-Wesley Publishing Company

Communication with the authors:
Fredrick I. Olness:  olness@mail.physics.smu.edu
Robert L. Zimmerman: bob@zim.uoregon.edu

Copyright 1995, Addison-Wesley Publishing Company, Inc. The material in
this file may be distributed freely  so long as the content remains
unchanged, and the copyright and  reference notices are included. The
publisher grants permission for the noncommercial use of these programs
and program segments.  All other uses require the prior written consent
of the publisher.    

All rights are reserved with regard to the  material in the
"Mathematica For Physics" text, and may not be reproduced, stored in a
retrieval system, or transmitted,  in any form or by any means,
electronic, mechanical, photocopying,  recording, or otherwise, without
the prior written permission  of the publisher. 

The programs and applications presented in this book have been included
for  their instructional value. They have been tested with care but are
not  guaranteed for any particular purpose. The publisher does not
offer any  warranties or representations, nor does it accept any
liabilities with  respect to the programs or applications. 

 *)

Chapter 2, Section 5, Problem 2:   
Relativistic Collision

<<mainDir:subDir:ch2init.m  (* Mac  Version *)

<<mainDir/subDir/ch2init.m  (* Unix Version *)

Solution:

Clear["Global`*"];

p1=m1 gam1 {1,0,0,v1};
p2=m2      {1,0,0,0 };

p3=m3 gam3 {1,0,0,v3};

eta=DiagonalMatrix[1,-1,-1,-1];

gamrule=Join[ Solve[{p1.eta.p1 == m1^2},gam1][[2]]
             ,Solve[{p3.eta.p3 == m3^2},gam3][[2]]
            ]

iRule={1/Sqrt[-1+v_^2]:>1/(I Sqrt[1-v^2])};
gamrule= gamrule //.iRule

vrule=Solve[{p1.eta.p1 == m1^2
            ,p3.eta.p3 == m3^2},{v1,v3}][[4]]

eq1= Thread[p1+p2==p3] /.gamrule //Simplify

sol1= (( Solve[ eq1[[1]],{m3}][[1]] 
            /.vrule 
            //PowerExpand 
            //Simplify 
          ) //PowerExpand 
            //Simplify
          )

sol2= ( Solve[ eq1[[4]]/.sol1 /.gamrule ,{v3}][[1]]
          /.{Sqrt[1-v1^2] -> 1/gam1} 
          //Simplify
       )

p1+p2==p3 //.Join[sol1,sol2]