🚀 go-pugleaf

>  $BLdBj(B
>  1$BJU$,(B1$B$NN)J}BN$,$"$k!#$3$NN)J}BN$NBP3Q@~(B($BD9$5$,(Bsqrt[3]$B$N$b$N(B)
>  $B$r<4$K2sE>$5$;$?$H$-!"$3$NN)J}BN$,DL$kItJ,$NBN@Q(B
>  ($B$3$^$NMM$K2s$C$F$$$k2sE>BN$NBN@Q(B)$B$r$b$H$a$h(B
>  $B$H$$$&$b$N$G$9!#(B
>  $B$I$J$?$+!"$-$A$C$H$7$?2rEz$r$7$F$_$F$/$@$5$$!#(B

($B?t<0$O!"(BTeX $B$N7A<0$r;HMQ$5$;$F$$$?$@$-$^$9(B)

$B2sE>BN$NBN@Q$HLdBj$K=q$+$l$F$^$9$N$G!"(B

      \pi \int_0^\sqrt{3}  {f(t)}^2 dt

$B$r;HMQ$9$k$3$H$OEvA3$N$h$&$G!"Ho@QJ,4X?t(B f(t) $B$r5a$a$k(B
$B%W%m%;%9$rLd$o$l$F$$$k$h$&$K;W$$$^$9!#(B

O(0,0,0), A(1,0,0), B(1,1,0), C(0,1,0)
D(0,0,1), E(1,0,1), F(1,1,1), G(0,1,1)
$B$rN)J}BN$H$7$FBP3Q@~(B OF $B$r9M$($^$9!#(B

$B86E@(B O $B$+$i5wN%(B \sqrt{3}t  (0 \le t \le 1) $B$N(B OF $B>e$NE@$O(B
(t,t,t) $B$G!"(B $B$3$NE@$rDL$j%Y%/%H%k(B (1,1,1) $B$KD>8r$9$kJ?LL$N(B
$BJ}Dx<0$O!"(B

      (x-t)+(y-t)+(z-t)=0

$B$G$9!#(B $B>e$NHo@QJ,4X?t$r5a$a$k$3$H$O!"$3$NJ?LL$HN)J}BN$H$N(B
$B6&DLItJ,$HE@(B (t,t,t)$B$H$N5wN%$N:GBgCM$r5a$a$kLdBj$K(B
$B5"Ce$5$l$^$9!#(B

$BN)J}BN$OM-3&$JFLJD=89g!"J?LL$OFLJD=89g$G$9$+$i(B
$B6&DLItJ,$bM-3&$JFLJD=89g$G$9!#(B
(compact $B@-$+$i:GBgCM$,J]>Z$5$l$^$7$?!#(B)

$B$"$k0lE@$+$i@~J,$X$N5wN%$N:GBgCM$O!"@~J,$N$I$A$i$+$NC<E@$G(B
$BM?$($i$l$k$3$H$KCm0U$9$k$H!"(B

$B>e$NM-3&$JFLJD=89g$NC<E@$KCmL\$9$l$PNI$$$3$H$,$o$+$j$^$9!#(B
$B$5$F!"$3$NFL=89g$N7A>u$KCmL\$9$k$H(B

   0 \le t < 1/3    $B;03Q7A(B
   t = 1/3          $B;03Q7A(BACD
   1/3 < t < 2/3    $B;03Q7A$N3Q$r@Z$C$?JQB'O;3Q7A(B
   t = 2/3          $B;03Q7A(BBEG
   2/3 < t \le 1    $B;03Q7A(B

$B$H$J$C$F$$$^$9!#C<E@(B(3$B8D$^$?$O(B6$B8D(B)$B$KCmL\$7$F(B

   0 \le t \le 1/3  $B$N$H$-!"E@(B(t,t,t)$B$HE@(B(3t,0,0)$B$H$N5wN%(B
   1/3 < t \le 2/3  $B$N$H$-!"E@(B(t,t,t)$B$HE@(B(3t-1,1,0)$B$H$N5wN%(B
   2/3 < t \le 1    $B$N$H$-!"E@(B(t,t,t)$B$HE@(B(3t-2,1,1)$B$H$N5wN%(B

$B$r5a$a$k$HHo@QJ,4X?t$,9=@.$G$-$^$9!#(B


$B@iMUBg3XM}3XIt?t3X>pJs?tM}3X2J(B  $B$J$.$5(B $B$^$5$k(B
nagisa@math.s.chiba-u.ac.jp