🚀 go-pugleaf

In article <DJtJ4v.3Fu@ulis.ac.jp> I wrote:
>In article <4b38d0$2c3@ayame.ipc.chiba-u.ac.jp> hagiwara@yuri.ipc.chiba-u.ac.jp (ManAV) writes:
>>$B$O$.$o$i!w$A$P$@$$$,$/$G$9$%!#(J
>	...
>>$B$I$&$b5$$K$J$k$N$G$9$,!V2?8N(Jx$B$NCM$K$3$@$o$k!#!W$N$G$7$g$&$+!)(J
	...
>$B!VITDj85>e$NB?9`<0!&M-M}<0$H$$$C$?35G0$O!"87L)$K$O9b9;$NHO0O$r(J
>$BD6$($F$7$^$&$+$i!W$H$$$&$N$,Ez$G$9(J...$B!#(J

$B$3$&=q$$$F$7$^$C$?$$$-$,$+$j>e!'(J

$B$O$.$o$i$5$s(J also writes:
>>[(x + 1)/x = 1] $B$b(J [A = (x+1)/x]$B$H$$$&$h$&$K<u$1;_$a$F$$$k$N$G(J
>>[A = 1]$B$OLdBj$J$$$H9M$($^$9!#(J

$B$O$.$o$i$5$s!J$d$*$=$i$/B>$NJ}$b!K$,8@$$$?$$$3$H$O!"(J
$B<!$N$h$&$K=$@5$N>e0UL#$r;}$?$;$k$3$H$,$G$-$^$9!J$?$V$s!K!#(J

$B!V(Jg(x)=0 $B$N$H$-(J f(x) $B$NCM$r5a$a$k$3$H$O!"(Jf(x) $B$r(J g(x)$B$G!V3d$C$?!WM>$j(J
$B$r5a$a$k$3$H$HFI$_D>$;$k!W!"(J
$B<0$G=q$1$P!"(JA=g(x) $B$H$7$F!'(J
  (*)	f(x) = P(A)*A + R(x)
$B$H$J$k(J P(A), R(x) $B$r5a$a$k$3$H!#$?$@$7(J P(A) $B$O(J A $B$NB?9`<0!#(J
$B$^$"!"!V>jM>DjM}!W$N3HD%!J!)!K$G$9!#(J
# $B!V$?$V$s!W$H1|;u$K64$^$C$?$N$O!"(J(*) $B$,(J well-defined $B$+$N3N?.$,(J
# $BI,$:$7$b$J$$$+$i$G$9!#(J
# $B$?$@$7:#$NJ8L.$G$O!"(JR(x) $B$,Dj?t$K$J$k>l9g$@$1$,BP>]$G$9!#(J

$B85$NLdBj!'!V(Jx+1/x=sqrt(2) $B$N$H$-$N(J x^2+1/x^2$B!W$H$$$&$N$O!"(J
f(x) = x^2+1/x^2$B!"(JA=g(x)=x+1/x-sqrt(2) $B$N>l9g$KAjEv$7$^$9!#(J
$B$9$k$H(J
  x^2+1/x^2 = (A+2*sqrt(2))A + 0
$B$3$l$,!V(Jx^2+1/x^2=0$B!W$KAjEv$7$^$9!#(J

$B$3$l$J$i<B?t!J5Z$S$=$N>e$NM-M}<0!K$NOC$KG<$^$k$o$1$G$9$,!"(J
$B$3$l$H85LdBj$H$N0c$$$O$O$C$-$jG'<1$7$F$/$@$5$$(J
$B!J>e$G(J A=0 $B$HCV$1$k:,5r$,$"$j$^$;$s!K!#(J

A=(x+1)/x-1 $B$N$H$-$I$&$J$k$+$O(J... $B=IBj(J :-)

$B$J$*!'(J
I wrote:
>$B!V(J(x+1)/x=1 $B$N$H$-(J 1/x $B$r5a$a$h!W$K$7$^$7$g$&!#(J
*>$B!!2r(J 2$B!'(J (x+1)/x = 1 $B$@$+$i(J x/(x+1)=1/1=1 $B$G$"$k!J(Jx=-1 $B$G$O$"$j$($J$$$+$i!K!#(J
>	1/x = 1/x+(x-x) = (x + 1/x)-x = (x^2+1)/x - x
>	= (x^2+2x+1)/x - (2x)/x - x
*>	= ((x+1)^2/x) * (x/(x+1)) - 2 - x	(x/(x+1)=1 $B$r;H$C$?(J)
>	= (x+1)^2/(x+1) - 2 - x = (x+1) - 2 - x = 1-2 = -1
>	$B$D$^$j(J 1/x = -1 $B!J!)!)!)!K(J

$B$3$l$O$b$C$F2s$j$^$7$?$M!#(J
'*>' $B$N$H$3$m$OC1$K(J
	(x+1)^2/x - 2 - x  = ((x+1)/x)*(x+1)-2-x = (x+1)-2-x
$B$G$h$+$C$?!#(J

$B!JJ?2l!w?^=q4[>pJsBg3X!K(J