wu :: forums (http://www.ocf.berkeley.edu/~wwu/cgi-bin/yabb/YaBB.cgi)
riddles >> putnam exam (pure math) >> Identify These Surfaces
(Message started by: ThudanBlunder on Sep 4th, 2007, 12:38pm)

Title: Identify These Surfaces
Post by ThudanBlunder on Sep 4th, 2007, 12:38pm
1) x2y2 + y2z2 + z2x2 + xyz = 0

2) (x2 + y2 + z2 + 2y - 1)[(x2 + y2 + z2 + 2y - 1)2 - 8z2] + 16xz(x2 + y2 + z2 + 2y - 1) = 0

3) 64z3(1 - z)3 - 48z2(1 - z)2(3x2 + 3y2 + 2z2) + 12z(1 - z)[27(x2 + y2)2 - 24z2(x2 + y2) + 36http://www.ocf.berkeley.edu/~wwu/YaBBImages/symbols/surd.gif2yz(y2 - 3x2) + 4z4]
  + (9x2 + 9y2 - 2z2)[-81(x2 + y2)2 - 72z2(x2 + y2) + 108http://www.ocf.berkeley.edu/~wwu/YaBBImages/symbols/surd.gif2xz(x2 - 3y2) + 4z4] = 0


Title: Re: Identify These Surfaces
Post by SMQ on Sep 5th, 2007, 1:06pm
I recognized the first one when I plotted it: it's the Roman surface (http://en.wikipedia.org/wiki/Roman_surface) (although the traditional formulation would switch the sign of the xyz term).

My plots of the other two don't look familiar.

--SMQ

Title: Re: Identify These Surfaces
Post by ThudanBlunder on Sep 5th, 2007, 1:28pm

on 09/05/07 at 13:06:20, SMQ wrote:
My plots of the other two don't look familiar.

No wonder, the 2nd one needs amending. Sorry, it should be:
(x2 + y2 + z2 + 2y - 1)[(x2 + y2 + z2 - 2y - 1)2 - 8z2] + 16xz(x2 + y2 + z2 - 2y - 1) = 0

The 3rd one is OK.


Title: Re: Identify These Surfaces
Post by Barukh on Sep 6th, 2007, 1:45am

on 09/05/07 at 13:06:20, SMQ wrote:
I recognized the first one when I plotted it: it's the Roman surface (http://en.wikipedia.org/wiki/Roman_surface) (although the traditional formulation would switch the sign of the xyz term).
--SMQ

Wow! Two questions:

1. How do you plot?
2. How do you recognize?  ;D

Title: Re: Identify These Surfaces
Post by Barukh on Sep 6th, 2007, 5:47am
2) Klein Bottle (http://mathworld.wolfram.com/KleinBottle.html)
3) Boy Surface (http://mathworld.wolfram.com/BoySurface.html)

Title: Re: Identify These Surfaces
Post by ThudanBlunder on Sep 19th, 2007, 10:29am

on 09/05/07 at 13:06:20, SMQ wrote:
I recognized the first one when I plotted it: it's the Roman surface (http://en.wikipedia.org/wiki/Roman_surface)

Correct SMQ.

Discovered by Jacob Steiner in 1844 while visiting Rome, it is one of the few mathematical objects named after a place. He constructed it using pure geometry but couldn't work out the equation for it. So he asked Weierstrass to have a go and he had no trouble coming up with the equation.


on 09/06/07 at 05:47:47, Barukh wrote:
2) Klein Bottle (http://mathworld.wolfram.com/KleinBottle.html)
3) Boy Surface (http://mathworld.wolfram.com/BoySurface.html)

Correct Barukh.

Unlike the Roman Surface, neither the Klein Bottle nor Boy's Surface have singular points. Hilbert conjectured that the projective plane could not be arranged in 3D space so that it had no singular points (only self-intersections) and asked his student Werner Boy to prove it. Being a good research student, Boy promptly disproved it!

Reference: Francois Apery, Models of the Real Projective Plane, 1987.




Powered by YaBB 1 Gold - SP 1.4!
Forum software copyright © 2000-2004 Yet another Bulletin Board