>>634
《下記の方法》はパターンがあっていません。むしろこの変換は
補助式による記号ｍの消去ではないでしょうか？

本来は式の組からの変数消去はEliminate[]ですが、手っ取り早く
書くと、
y1 /. Solve[(w0 - w)/(w0*w)
== 1/m*(1 - Cos[theta]), m] // Simplify
ですかね･･･

ただ w/w0の比で纏めるには、細工がいりますが、
簡単な整理ですのでマニュアルの方が早いです。