🚀 go-pugleaf

$BKhEY=PCY$l$NJ?2l!w?^=q4[>pJsBg3X$G$9!#(J

In article <OKAZ.96Mar15095015@onga.ai.is.saga-u.ac.jp>
okaz@ai.is.saga-u.ac.jp (Yasuhisa OKAZAKI) writes:
>$B2,:j!w:42lBg3X$G$9!#(J
>   $B!X;03Q7A$N#2$D$N3Q$NFsEyJ,@~$ND9$5$,Ey$7$1$l$P!"(J
>     $B$=$N;03Q7A$OFsEyJU;03Q7A$G$"$k!#!Y(J

$B$3$NLdBj$O<c>>$5$s(J(wakamatu@kurims.kyoto-u.ac.jp) $B$N>R2p$5$l$?$h$&$K(J
$B!V?t3X$NLdBj!'%(%l%,%s%H$J2rEz$r$b$H$`!JBh#2=8!K!WLd(J 44 $B$G$b$"$j!"(J
$B$=$3$K$"$k$h$&$K!VHs>o$KB?<o$N>ZL@$,CN$i$l$F$$$k!W$h$&$G$9!#(J
$BCY$l$P$;$J$,$i!"$$$/$D$+IU$1B-$7$J$I!#(J

$B$J$*<c>>$5$s$O>R2p$5$l$F$$$^$;$s$,!">e5-$K$O#3$D$N2rEz$,7G$2$i$l$F$$$^$9!#(J
$B0lHV4J7i$G%(%l%,%s%H$K46$8$i$l$k$N$O=iEy4v2?E*2rK!$K$h$k2r(J I
$B!J$3$l$K$D$$$F$O8e=R!K!"(J
$B2r(J II $B$b=iEy4v2?E*$@$,$d$d%H%j%C%-!<!"2r(J III $B$O%Y%/%H%k$K$h$k2rK!!#(J

$B<!$O4J7i$5$G$O2r(J I $BNt$j$^$9$,!"H/A[$O<+A3$K46$8$i$l$k$b$N$G$9(J
$B!J$b$A$m$s!"!V$9$G$KCN$i$l$F$$$k!W2DG=@-$OBg$G$9$,!K!#(J
$B5-9f$OB>$NJ}$K!J$@$$$?$$!KB7$($F!"(J
$B!!!!"$(JABC $B$G3Q(JB = 2$B&B!"3Q(JC = 2$B&C$H$7!"(J
$B!!!!3Q(JB $B$N#2EyJ,@~$H(J AC $B$H$N8rE@$r(J D$B!"(J
$B!!!!3Q(JC $B$N#2EyJ,@~$H(J AB $B$H$N8rE@$r(J E $B$H$7$^$9!#(J
$B!!!!$^$?(J BD, CE $B$N8rE@$r(J O$B!J"$(JABC $B$NFb?4!K$H$7$^$9!#(J
$BL\I8$O(J BD=CE $B$+$i(J $B&B(J=$B&C(J $B$rF3$/$3$H$G$9!#(J

$B=`Hw$H$7$F<!$N#2$D$N4JC1$JJdBj$rMQ0U$7$^$9!#(J

$BJdBj(J 1$B!'"$(JABC $B$G!'(J
	$B3Q(J A > $B3Q(J B    <===>    BC > AC
	$B3Q(J A = $B3Q(J B    <===>    BC = AC
	$B3Q(J A < $B3Q(J B    <===>    BC < AC
$B!!$3$l$O%f!<%/%j%C%I86O@Bh#14,$NL?Bj(J 18,19$B!J(J"=" $B$OL?Bj(J 5,6$B!K$G$9!#(J

$BJdBj(J 2$B!'>e5-$N5-9f$r;H$C$F!'(J
	BO > OD $B!J<B$O(J BO:OD = AB:AD = BC:CD$B!K(J
$B!!3Q(J ABD(= $B3Q(JB /2) < $B3Q(J ADB $B$KCm0U$9$k$H!"%+%C%3Fb$^$G4^$a$F@589DjM}$J$I$+$i(J
$B!!<($;$^$9$,!"(JBO>OD $B$@$1$J$iJdBj(J 1 $B$+$i$bD>@\<($;$^$9!#(J

$B!J<B$OJdBj(J 1 $B$O>e5-2r(J I$B!"JdBj(J 2$B!J%+%C%3Fb4^$`!K$O2r(J III $B$G$b;H$o$l$F$$$^$9!#!K(J

$B$5$F!">r7o$h$j(J BD = CE = 2d $B$HCV$/$H!"(J
$BJdBj(J 2 $B$h$j(J BO > OD, CO > OE $B$G$9$+$i!"(J
	BO = d+b	(OD = d-b)
	CO = d+c	(OE = d-c)			...(1)
	(0< b,c < d)
$B$HCV$/$3$H$,$G$-$^$9!#L\I8$O(J BO=CO, $B$D$^$j(J b=c $B$r<($9$3$H$G$9!#(J

$B0lHL@-$r<:$&$3$H$J$/!"&B!f&C$H2>Dj$7$^$9!J$"$k$$$O(J $B&B(J>$B&C(J $B$H$7$FGXM}K!$r(J
$BE,MQ$9$k$N$G$bF1$8$3$H!K!#(J

$BJdBj(J 1 $B$r"$(JBOC $B$KE,MQ$7$F!"(JBO$B!e(JCO $B$9$J$o$A(J b$B!e(Jc		...(2)
$B0lJ}!"(JOD $B$N1dD9>e$K(J D' $B$r(J $B3Q(J D'CO = $B&B$K$J$k$h$&$K$H$k$H!"(J
$B&B!f&C(J = $B3Q(J DCO $B$h$j!"(JD' $B$O(J D $B$H0lCW$9$k$+!"(J
OD $B>e!""$(JABC $B$N30B&$K$"$k$+$i(J OD'$B!f(JOD
$B"$(JOCD' $B$H"$(JOBE $B$OAj;w$G$9$+$i!"(J
	CO/BO = OD'/OE $B!f(J OD/OE
(1) $B$rBeF~$7$F(J
	(d+c)/(d+b) $B!f(J (d-b)/(d-c)
	0 < b,c < d $B$KCm0U$7$F(J		 b$B!f(Jc		...(3)
(2), (3) $B$h$j(J b=c $B$9$J$o$A(J $B&B(J=$B&C(J $B$K$J$j$^$9!#(J	$B!N>ZL@=*!O(J
	# $BBe?tE*7W;;$,$"$k$N$G!V4v2?E*!W$H$$$&$N$O5$$,0z$1$^$9$,!#(J

=======

$BB>$K$b$$$m$$$mJL2r$O2DG=$G!"D>@\:BI87W;;$K$h$C$F!J$?$H$($P!K!'(J
	sin 2$B&B(J / sin(2$B&B(J+$B&C(J) = sin 2$B&C(J / sin($B&B(J+2$B&C(J)
$B$rF3$-!"$=$3$+$i(J $B&B(J=$B&C(J $B$r<($9$3$H$b$G$-$^$9!J$?$@$7(J 0 < $B&B(J,$B&C(J < $B&P(J/2$B!K!#(J
$B$3$l$O0KF#0l8w$5$s!wF|N);T$,<($5$l$?4X78$G!"0KF#$5$s$O$3$l$r0lHLE*$K(J
$B07$C$F$i$C$7$c$$$^$9$,!J$=$7$F$=$l$G$J$s$iLdBj$O$J$$$N$G$9$,!K!"(J
$B>e$N>l9g!";03Q4X?t$N2CK!DjM}$rE,MQ$7$F$$$/$3$H$K$h$C$FD>@\E*$K(J
$B<($9$3$H$b$G$-$^$9!#9b9;%l%Y%k$NN}=,LdBj$H$7$F$O<j$4$m$G$7$g$&(J
$B!J$b$C$H$b<u83?t3X$_$?$$$G5$$,0z$1$^$9$,!K!#(J

=======

$B$3$3$G$I$&$7$F$b5$$K$J$k$N$,!"<c>>$5$s$b?($l$i$l$F$$$k!'(J
	$B$3$NDjM}$OJ?9T@~$N8xM}$HFHN)$G!"Hs%f!<%/%j%C%I4v2?3X$G$b@.N)$7!"(J
	$BJ?9T@~$N8xM}$r;H$o$J$$>ZL@$bCN$i$l$F$$$k!#(J
$B$H$$$&%3%a%s%H$G$9!J$3$l$O=PBj<T$N0l>>@h@8$K$h$k$b$N$G$9$,!K!#(J

$B$3$l$^$G<($5$l$F$-$?2rEz$NB?$/$OJ?9T@~8xM}$r2?$i$+$N7A$G;H$C$F$$$^$9(J
$B!J;03Q7A$NFb3Q$NOB$,&P!"1_<~3QDjM}$J$I!K!#(J
$BDMK\$5$s$N2r$b$=$&$G$9$7!">e=RLd(J 44 $B$N2r(J II $B$b$=$&$G$9!#(J
$BM>89DjM}$r;H$&$N$O%T%?%4%i%9$NDjM}$r;H$&$N$HF1Ey$G!"(J
$B$=$3$GJ?9T@~8xM}$,;H$o$l$F$$$^$9$7!"2r@O4v2?E*$J2rEz$b(J
$B%T%?%4%i%9$NDjM}$r;H$&$H$$$&E@$G!"$3$l$K4^$a$F9M$($k$3$H$,$G$-$k$G$7$g$&!#(J
$B>e$N;d$N2r$N>l9g!"!VAj;w!JHf!K$NB8:_!W$N$H$3$m$GJ?9T@~8xM}$r;H$C$F$$$^$9!#(J

$B$G$OJ?9T@~8xM}$r;H$o$J$$>ZL@$O!"$H$$$&$3$H$K$J$k$N$G$9$,!"(J
$B<B$O>e=R$N2r(J I $B$O$^$5$K$=$&$J$C$F$$$^$9!#(J
$B$3$3$,$A$g$C$H4qL/$JE@$G!"0l>>@h@8$O>e$N%3%a%s%H$N8e$K2r(J I $B$r<($5$l$F(J
$B$$$^$9$+$i!"IaDL$KFI$`$H2r(J I $B$O$=$&$G$J$$$h$&$K<u$1<h$l$^$9!#(J
  # $B$b$A$m$s;d$,2?$+4*0c$$$7$F$$$k$N$G$J$1$l$P!"$G$9$,!#(J
  # $B$?$@$7!VHs%f!<%/%j%C%I4v2?!W$KAP6J@~4v2?$^$G4^$a$k$H!"$A$g$C$H(J
  # $BOC$,JQ$o$k$+$b$7$l$J$$!#(J

$B$=$3$G2r(J I $B$r8+$F$$$-$^$9!J86J8$h$j$O4JN,2=$7$^$9!'5-9f$O>e$HF1$8!K!#(J

$B&B(J > $B&C(J $B$H2>Dj$7$^$9!#(J
BD, BE $B$r#2JU$H$9$kJ?9T;MJU7A(J EBDG $B$r:n$j$^$9!#(J
$B$9$k$H(J EG=BD=CE $B$@$+$i"$(JECG $B$OFsEyJU;03Q7A$K$J$j!"3Q(J EGC = $B3Q(J ECG ...(4)
$B"$(JEBC $B$H(J $B"$(JBDC $B$G(J BD=CE$B!JA0Ds!K(J, BC=CB$B!J6&DL!K!"3Q(JDBC=$B&B(J>$B&C(J=$B3Q(JECB $B$@$+$i!"(J
CD > BE $B$K$J$j$^$9!J86O@L?Bj(J 24$B!'Ey$7$$#2JU$I$&$7$r$b$D;03Q7A$NBh#3JU$N(J
$BBg>.$O!"BP3Q$NBg>.$K0lCW!K!#(J
$B$7$?$,$C$F(J DG=BE<CD$B!#(J
$B$7$?$,$C$F(J $B"$(JDCG $B$K$*$$$F>e5-JdBj(J 1 $B$h$j!"3Q(JDGC > $B3Q(JDCG		...(5)
$B$^$?3Q(JEGD=$B&B(J>$B&C(J=$B3Q(JECD						...(6)
(5), (6) $B$h$j(J
	$B3Q(JEGC = $B3Q(JEGD + $B3Q(JDGC > $B3Q(JECD + $B3Q(JDCG = $B3Q(JECG
$B$3$l$O(J (4) $B$KL7=b!#!!!!!N>ZL@=*!O(J

$B$3$3$GJ?9T;MJU7A$r;}$A=P$7$F$$$k$N$GJ?9T@~8xM}$K0z$C$+$+$j$=$&$G$9$,!"(J
$B>e$G!VJ?9T;MJU7A(J EBDG $B$r:n$k!W$O!V"$(JEDB $B$H9gF1$J(J $B"$(JEDG $B$r:n$k!W(J
$B$HCV$-49$($k$3$H$,$G$-!"J?9T@~$N@-<A$OMQ$$$F$$$^$;$s!#(J
$B$7$?$,$C$F$3$N>ZL@$K$OJ?9T@~8xM}$OMQ$$$i$l$F$$$^$;$s!#(J

$B$J$*>e=R$N(J CO>BO (DO>OE), BE<CD $B$H$$$C$?4X78$+$i$$$m$$$mJL2r$b(J
$BJT$_=P$;$k$h$&$G$9$,!"$=$l$O>JN,!#(J

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