=================================================================== RCS file: /home/cvs/OpenXM/doc/sci-semi2001/factorb.tex,v retrieving revision 1.4 retrieving revision 1.5 diff -u -p -r1.4 -r1.5 --- OpenXM/doc/sci-semi2001/factorb.tex 2001/07/25 05:44:01 1.4 +++ OpenXM/doc/sci-semi2001/factorb.tex 2001/07/26 07:55:05 1.5 @@ -1,4 +1,4 @@ -% $OpenXM: OpenXM/doc/sci-semi2001/factorb.tex,v 1.3 2001/07/24 09:35:54 noro Exp $ +% $OpenXM: OpenXM/doc/sci-semi2001/factorb.tex,v 1.4 2001/07/25 05:44:01 noro Exp $ \Large \parskip 0pt @@ -161,11 +161,11 @@ $\Rightarrow$ {\bf \ec $x^2-t=0$ $B$N@0?t:,$rC5$9J}K! $\Rightarrow$ {\ec $B:,$rC5$9J}K!$,E,MQ$G$-$k(B} -{\eec $B:,5r(B : $BCf4VCM$NDjM}(B} -$B!V(B$f(a) < 0, f(b) > 0$ $B$J$i(B $a$, $b$ $B$N4V$K(B $f(c)=0$ $B$J$k(B $c$ $B$,$"$k(B.$B!W(B - \begin{itemize} \item {\eec $BFsJ,K!(B} + +{\eec $B:,5r(B : $BCf4VCM$NDjM}(B} +$B!V(B$f(a) < 0, f(b) > 0$ $B$J$i(B $a$, $b$ $B$N4V$K(B $f(c)=0$ $B$J$k(B $c$ $B$,$"$k(B.$B!W(B $B6h4V$rH>J,$:$D69$a$FDI$$9~$`(B