Subject: games/fortune/datfiles/fortunes2 (Re: CVS commit: basesrc)
To: None <source-changes@netbsd.org>
From: Geoff Wing <mason@primenet.com.au>
List: source-changes
Date: 07/04/2000 05:04:28
Martin J. Laubach <mjl@netbsd.org> typed:
:Module Name:	basesrc
:Committed By:	mjl
:Date:		Mon Jul  3 18:51:48 UTC 2000
:Modified Files:
:	basesrc/games/fortune/datfiles: fortunes2
:Log Message:
:After weeding out duplicate, modify entry to be mathematically
:correct at least. (Yes, both were wrong. People can't integrate
:nowadays anymore :)

Too right.  Let's evaluate the 1.7 entry:
....
"             1/3
         /\(3)
         |     2                          1/3
         |    z dz cos(3 * PI / 9) = ln (e   )
         |
        \/ 1

The integral of z squared, dz
From 1 to the cube root of 3
        Times the cosine
        Of 3 PI over nine
Is the log of the cube root of e"
....
          1/3
     /\(3)                           2
     |     2                  (  1/3)    2     2/3
     |    z dz              = (3    ) - 1  =  3    - 1 
     |
    \/ 1

    cos(3 * PI / 9)         = 1/2
    
         1/3
    ln (e   )               = 1/3

                2/3
So it says    (3    - 1) * 1/2 = 1/3

                2/3
            => 3    - 1        = 2/3

                2/3
            => 3               = 5/3

                2
            => 3               = 125/27

            => 9               = 125/27

          i.e. 1               = 125/243

In some other universe, perhaps.

Regards,
-- 
Geoff Wing : <gcw@pobox.com>     Work URL: http://www.primenet.com.au/
Rxvt Stuff : <gcw@rxvt.org>      Ego URL : http://pobox.com/~gcw/
Zsh Stuff  : <gcw@zsh.org>       Phone   : (Australia) 0413 431 874