[math-fun] Teacher trolling
Long before XKCD named it, I was a big fan of teacher-trolling-by-proxy. All you need is an bright evil kid who can feign a look of innocent bewilderment. E.g., for algebra, "x^4+4 doesn't factor, does it?" Geometry: "How long are the two equal chords that trisect the area of the unit disk?" Or, "To construct the tangent to a circle at a given point, why are you showing us this complicated compass procedure with perpendicular bisectors, etc., when all you need is to add four more points at random, join all five in a star, draw two more lines, and you're done, no compass needed?" (See http://www.tweedledum.com/rwg/tan.htm .) Calculus: Which convergence test should I use for sum (csc n)/n^2 ? Trying to turn the latter into something tractable, try sum (csc π φ n)/n. Julian showed the largest terms have n = fib(k), and Csc[π*GoldenRatio*Fibonacci[k]]/Fibonacci[k] -> (-1)^Ceiling[k/3]*Sqrt[5]/π) so the partial sums of just the "spike" terms oscillate around 0 with period 6. But what about the exponentially many intervening small terms? Empirically, these follow suit, but now with three mysterious constants: Table[(Print[#]; #) &[ NSum[Csc[n*\[Pi]*GoldenRatio]/n, {n, Fibonacci[k] + 1, Fibonacci[k + 1] - 1}, WorkingPrecision -> 30, NSumTerms -> Fibonacci[k]]], {k, 34, 44}] 0.124338779160983782544979812601 -0.282342161451697923185165928059 0.0491007259722056399217080073056 -0.124338682934432043595276928760 0.282342101980413293488222974056 -0.0491007172954631024270905713056 0.124338705650441122683061852412 This last constant Shanks-extrapolates to ~ 1.243387013120 . Julian solved for the "spike terms" for the general quadratic integer. They all have periods dividing 6. --rwg Also, Julian challenges my assertion that you can improve long-term accuracy by *reducing* the minsky and cheb recurrence amplitudes. Stay tuned while I either demonstrate the effect or eat crow.
E.g., for algebra, "x^4+4 doesn't factor, does it?"
x^4 + 4 = (x^2 + 2i)(x^2 - 2i) = (x + i + 1)(x - i - 1)(x - i + 1)(x + i - 1) = (x^2 + 2x + 2)(x^2 - 2x + 2) So, yes, it does factor, and it only requires knowledge of the principal eighth roots of unity to do so.
Geometry: "How long are the two equal chords that trisect the area of the unit disk?"
Two dimensions are too easy for me, so I'll instead find the diameters of the two equal discs that trisect the volume of the unit ball. By using volumes of revolution, we have: y = sqrt(1 - x^2) Integrate(y^2, dx) = x - x^3/3 + constant By setting this as zero for x = -1, so the constant must be 2/3. The full (scaled) volume is 4/3, so we want a volume of 4/9 to the left of the disc. Hence, we have the cubic equation: x - x^3/3 + 2/3 = 4/9 or, more manageably, x^3 - 3x - 2/3 = 0. Now, I shall let a^3 + b^3 = -2/3, ab = 1, so we obtain: x^3 + a^3 + b^3 - 3abx = 0 ('difference of three cubes') a^3 and b^3 are the roots of the quadratic y^2 + 2y/3 + 1 = 0, which has the solutions -1/3 + sqrt(-8)/3 and -1/3 - sqrt(-8)/3. Now, there are three roots for x. The only appropriate solution is: x = omega^2 cbrt(1/3 - i sqrt(8)/3) + omega cbrt(1/3 + i sqrt(8)/3) This is approximately -0.226074, leading to a diameter of sqrt(1-x^2) = 1.94882.
Or, "To construct the tangent to a circle at a given point, why are you showing us this complicated compass procedure with perpendicular bisectors, etc., when all you need is to add four more points at random, join all five in a star, draw two more lines, and you're done, no compass needed?" (See http://www.tweedledum.com/rwg/tan.htm .)
Enabling students to construct tangents to any arbitrary conic would be giving them too much power... Sincerely, Adam P. Goucher
For those of us who've never heard of complex numbers x^4 + 4 = x^4 + 4x^2 + 4 - 4x^2 = (x^2 + 2 - 2x)(x^2 + 2 + 2x) Always complete the square! R. On Sat, 12 May 2012, Adam P. Goucher wrote:
E.g., for algebra, "x^4+4 doesn't factor, does it?"
x^4 + 4 = (x^2 + 2i)(x^2 - 2i) = (x + i + 1)(x - i - 1)(x - i + 1)(x + i - 1) = (x^2 + 2x + 2)(x^2 - 2x + 2)
So, yes, it does factor, and it only requires knowledge of the principal eighth roots of unity to do so.
On Fri, May 11, 2012 at 9:26 PM, Bill Gosper <billgosper@gmail.com> wrote:
Long before XKCD named it, I was a big fan of teacher-trolling-by-proxy. All you need is an bright evil kid who can feign a look of innocent bewilderment. E.g., for algebra, "x^4+4 doesn't factor, does it?" Geometry: "How long are the two equal chords that trisect the area of the unit disk?" Or, "To construct the tangent to a circle at a given point, why are you showing us this complicated compass procedure with perpendicular bisectors, etc., when all you need is to add four more points at random, join all five in a star, draw two more lines, and you're done, no compass needed?" (See http://www.tweedledum.com/rwg/tan.htm .) Calculus: Which convergence test should I use for sum (csc n)/n^2 ?
[...] Here's a nice one from Neil: Gee, if the area of a sphere is d/dr of 4/3 π r^3 = 4 π r^2, then the area of a cube must be d/ds of s^3 = 3 s^2 ! This should take care of all sorts of polyhedra! --rwg Why don't you say sphere area = π d^2? Are you secretly one of those τ people?
Two technical notes ("email trolling"): Your mail claims Content-Type: text/plain; charset="iso-8859-7" but then you use the UTF-8 code for "Pi": Char: π (960, #o1700, #x3c0, file ...) point=1485 of 1704 (87%) column=34 This renders the character either corrupted or "invisible" (happens for me (mutt)) in MUAs that behave correctly. Further you use Content-Transfer-Encoding: base64 This means the content is just one big lump of a hex string in the mail-box, making grep useless. I suggest to use Content-Transfer-Encoding: 8bit cheers, jj * Bill Gosper <billgosper@gmail.com> [May 25. 2012 20:22]:
On Fri, May 11, 2012 at 9:26 PM, Bill Gosper <billgosper@gmail.com> wrote:
Long before XKCD named it, I was a big fan of teacher-trolling-by-proxy. All you need is an bright evil kid who can feign a look of innocent bewilderment. E.g., for algebra, "x^4+4 doesn't factor, does it?" Geometry: "How long are the two equal chords that trisect the area of the unit disk?" Or, "To construct the tangent to a circle at a given point, why are you showing us this complicated compass procedure with perpendicular bisectors, etc., when all you need is to add four more points at random, join all five in a star, draw two more lines, and you're done, no compass needed?" (See http://www.tweedledum.com/rwg/tan.htm .) Calculus: Which convergence test should I use for sum (csc n)/n^2 ?
[...] Here's a nice one from Neil: Gee, if the area of a sphere is d/dr of 4/3 π r^3 = 4 π r^2, then the area of a cube must be d/ds of s^3 = 3 s^2 ! This should take care of all sorts of polyhedra! --rwg Why don't you say sphere area = π d^2? Are you secretly one of those τ people?
math-fun mailing list math-fun@mailman.xmission.com http://mailman.xmission.com/cgi-bin/mailman/listinfo/math-fun
[...] Here's a nice one from Neil: Gee, if the area of a sphere is d/dr of 4/3 Γ° r^3 = 4 Γ° r^2, then the area of a cube must be d/ds of s^3 = 3 s^2 ! This should take care of all sorts of polyhedra!
Yes, it does, but only when used properly. The inradius of a cube is half of the side length, so we have: V = 8 r^3 A = dV/dr = 24 r^2 (A sufficient condition for this method to work is that increasing the 'radius' by h causes all faces to move outwards (i.e. normal to the face) by a distance h. A special case of this is the inradius of a circumscribed polyhedron.)
--rwg Why don't you say sphere area = Γ° d^2? Are you secretly one of those Γ΄ people?
I don't see why people consider pi and tau to be incompatible. Here's a nice formula relating them: Γ΄ = Γ°^(Γ΄/Γ°) Sqrt[Γ°/Γ΄] Sqrt[Γ°/Γ΄ + Γ°/Γ΄ Sqrt[Γ°/Γ΄]] Sqrt[Γ°/Γ΄ + Γ°/Γ΄ Sqrt[Γ°/Γ΄ + Γ°/Γ΄ Sqrt[Γ°/Γ΄]]] ... Or, even better: Γ΄ = Γ°^(Γ΄/Γ°) (Γ°/Γ΄)^(Γ°/Γ΄) ((Γ°/Γ΄) + (Γ°/Γ΄) (Γ°/Γ΄)^(Γ°/Γ΄))^(Γ°/Γ΄) ((Γ°/Γ΄) + (Γ°/Γ΄) ((Γ°/Γ΄) + (Γ°/Γ΄) (Γ°/Γ΄)^(Γ°/Γ΄))^(Γ°/Γ΄))^(Γ°/Γ΄) ... Sincerely, Adam P. Goucher
participants (4)
-
Adam P. Goucher -
Bill Gosper -
Joerg Arndt -
Richard Guy