上の式では割り算をしていないので、0であるかの確認は不要です。
下の式では割り算をするので、0ないことを保証する必要があります。
下の式についても、上と同様に割り算をせずに、
cos(theta)-2=0 or 2cos(theta)-1=0
としても構いません。
前者は、三角関数の値域から解なしとなります。
厳密にいうと、
0に関する除算は定義されていないので、
割り算を行うときは、いつでも必ず割る数が0でないことを保証する必要があります。
そもそも、0でないことが保証ができないのであれば、割り算を行うことはできません。
xなどの変数で除するときは、x not=0の時という場合分けをすると思いますが、
これはxで割るにあたって、xが0でないことを保証する必要があるからです。
割り算をしたらとりあえず確認が必要ということですか??