Results 1 to 4 of 4
Like Tree2Likes
  • 1 Post By seanieg89
  • 1 Post By seanieg89

Thread: Interesting Question

  1. #1
    Cadet
    Join Date
    Apr 2015
    HSC
    2019
    Gender
    Male
    Posts
    46
    Rep Power
    3

    Interesting Question

    Can a cube be inscribed in a cone so that 7 vertices of the cube lie on the surface of the cone?

  2. #2
    Supreme Member seanieg89's Avatar
    Join Date
    Aug 2006
    HSC
    2007
    Gender
    Male
    Posts
    2,680
    Rep Power
    10

    Re: Interesting Question

    I am assuming that "cone" means a set like {(x,y,z): x >= 0, y^2+z^2=c^2x^2}, rather than the usual solid with a circular hat, otherwise the problem is trivial.

    Under this assumption, the answer is no. There is probably a nicer way to do this, but I will sketch my argument below.


    Pf: One face F of the cube must have all vertices on the cone, and so by considering the intersection of this face's plane with the cone we obtain a conic section circumscribing a square. As we are only considering a single branch of the "double-cone", the possibilities for the conic are as follows:

    -Degenerate (A point, a line, or a planar "V" shape.)
    -Ellipse (including circles for simplicity of nomenclature)
    -Parabola
    -Hyperbola.

    In fact, out of the above list, only ellipses can possibly circumscribe a square. Ruling out the first two degenerate cases is trivial. To rule out the V, the parabola, and the hyperbola, there are multiple approaches. The argument sketched in the next paragraph is in theme with the rest of the proof, and is hopefully convincing to you.

    If a square is circumscribed by any of the above planar curves, this implies that each vertex V of the square is simultaneously visible from some point P outside the curve (a sufficiently far point on the axis of symmetry) and hence outside the square. Other ways of stating this property is that a point light source at P will illuminate every V, or that each line segment PV only intersects the square at V. However, we can never illuminate all vertices of a square from a single exterior point light source. Indeed, such a light source must lie in a quadrant (the exterior region closes to a particular vertex), from which it is easy to show the opposite vertex will not be illuminated.

    The upshot of all of this is that the conic must be an ellipse. This also implies that the plane through the face F' OPPOSITE F must also cut the cone in a similar but not congruent ellipse that must circumscribe three of the four vertices of the same size square that F circumscribes. The remainder of the proof is showing that this cannot occur.

    Basic HS circle geometry shows:

    i) If three vertices of a rectangle lie on a circle, then so does the fourth.
    ii) Each rectangle is circumscribed by a circle of a unique radius.

    Now choosing standard coordinates and applying the linear transformation (x,y)->(x/a,y/b) maps the circle to an ellipse and the square to a cyclic parallelogram, i.e. a rectangle.

    Applying the same linear transformation to the intersection of the plane containing F' with the cone and using i), we obtain a congruent rectange circumscribed by a circle of different radius. This contradicts ii) and completes the proof.


    Apologies for the haphazard writeup, hopefully the proof is convincing enough. I am happy to flesh out any part that is unclear.
    Last edited by seanieg89; 26 Jul 2017 at 1:49 PM.
    Kingom likes this.

  3. #3
    Supreme Member seanieg89's Avatar
    Join Date
    Aug 2006
    HSC
    2007
    Gender
    Male
    Posts
    2,680
    Rep Power
    10

    Re: Interesting Question

    This kind of question makes me wish that geometric transformations were discussed more in HS. The reduction of a geometric fact about conics to a geometric fact about circles using parallel projection is kinda cute.
    Kingom likes this.

  4. #4
    Cadet
    Join Date
    Apr 2015
    HSC
    2019
    Gender
    Male
    Posts
    46
    Rep Power
    3

    Re: Interesting Question

    Quote Originally Posted by seanieg89 View Post
    I am assuming that "cone" means a set like {(x,y,z): x >= 0, y^2+z^2=c^2x^2}, rather than the usual solid with a circular hat, otherwise the problem is trivial.

    Under this assumption, the answer is no. There is probably a nicer way to do this, but I will sketch my argument below.


    Pf: One face F of the cube must have all vertices on the cone, and so by considering the intersection of this face's plane with the cone we obtain a conic section circumscribing a square. As we are only considering a single branch of the "double-cone", the possibilities for the conic are as follows:

    -Degenerate (A point, a line, or a planar "V" shape.)
    -Ellipse (including circles for simplicity of nomenclature)
    -Parabola
    -Hyperbola.

    In fact, out of the above list, only ellipses can possibly circumscribe a square. Ruling out the first two degenerate cases is trivial. To rule out the V, the parabola, and the hyperbola, there are multiple approaches. The argument sketched in the next paragraph is in theme with the rest of the proof, and is hopefully convincing to you.

    If a square is circumscribed by any of the above planar curves, this implies that each vertex V of the square is simultaneously visible from some point P outside the curve (a sufficiently far point on the axis of symmetry) and hence outside the square. Other ways of stating this property is that a point light source at P will illuminate every V, or that each line segment PV only intersects the square at V. However, we can never illuminate all vertices of a square from a single exterior point light source. Indeed, such a light source must lie in a quadrant (the exterior region closes to a particular vertex), from which it is easy to show the opposite vertex will not be illuminated.

    The upshot of all of this is that the conic must be an ellipse. This also implies that the plane through the face F' OPPOSITE F must also cut the cone in a similar but not congruent ellipse that must circumscribe three of the four vertices of the same size square that F circumscribes. The remainder of the proof is showing that this cannot occur.

    Basic HS circle geometry shows:

    i) If three vertices of a rectangle lie on a circle, then so does the fourth.
    ii) Each rectangle is circumscribed by a circle of a unique radius.

    Now choosing standard coordinates and applying the linear transformation (x,y)->(x/a,y/b) maps the circle to an ellipse and the square to a cyclic parallelogram, i.e. a rectangle.

    Applying the same linear transformation to the intersection of the plane containing F' with the cone and using i), we obtain a congruent rectange circumscribed by a circle of different radius. This contradicts ii) and completes the proof.


    Apologies for the haphazard writeup, hopefully the proof is convincing enough. I am happy to flesh out any part that is unclear.
    Well done! This is basically the solution I have as well.

Thread Information

Users Browsing this Thread

There are currently 1 users browsing this thread. (0 members and 1 guests)

Posting Permissions

  • You may not post new threads
  • You may not post replies
  • You may not post attachments
  • You may not edit your posts
  •