Un cono es una forma geométrica tridimensional que se estrecha suavemente desde una base plana (con frecuencia, aunque no necesariamente, circular) hasta un punto llamado vértice .
Un cono está formado por un conjunto de segmentos de línea , semirrectas o líneas que unen un punto común, el vértice, con todos los puntos de una base que está en un plano que no contiene el vértice. Dependiendo del autor, la base puede restringirse a un círculo , cualquier forma cuadrática unidimensional en el plano, cualquier figura unidimensional cerrada o cualquiera de las anteriores más todos los puntos incluidos. Si los puntos incluidos están incluidos en la base, el cono es un objeto sólido ; de lo contrario, es un objeto bidimensional en el espacio tridimensional. En el caso de un objeto sólido, el límite formado por estas líneas o líneas parciales se llama superficie lateral ; si la superficie lateral no tiene límites, es una superficie cónica .
En el caso de los segmentos de línea, el cono no se extiende más allá de la base, mientras que en el caso de las semirrectas, se extiende infinitamente. En el caso de las líneas, el cono se extiende infinitamente en ambas direcciones desde el vértice, en cuyo caso a veces se lo llama cono doble.Cada mitad de un cono doble en un lado del ápice se llama manto .
El eje de un cono es la línea recta (si la hay) que pasa por el vértice, alrededor de la cual la base (y todo el cono) tiene una simetría circular .
En el uso común en geometría elemental , se supone que los conos son circulares rectos , donde circular significa que la base es un círculo y recto significa que el eje pasa por el centro de la base en ángulos rectos con su plano. [1] Si el cono es circular recto, la intersección de un plano con la superficie lateral es una sección cónica . En general, sin embargo, la base puede tener cualquier forma [2] y el vértice puede estar en cualquier lugar (aunque generalmente se supone que la base está limitada y, por lo tanto, tiene un área finita , y que el vértice se encuentra fuera del plano de la base). En contraste con los conos rectos están los conos oblicuos, en los que el eje pasa por el centro de la base de manera no perpendicular. [3]
Un cono con base poligonal se llama pirámide .
Dependiendo del contexto, "cono" también puede significar específicamente un cono convexo o un cono proyectivo .
Los conos también pueden generalizarse a dimensiones superiores .
El perímetro de la base de un cono se denomina "directriz", y cada uno de los segmentos de línea entre la directriz y el vértice es una "generatriz" o "línea generadora" de la superficie lateral. (Para la conexión entre este sentido del término "directriz" y la directriz de una sección cónica, véase Esferas de Dandelin ).
El "radio de la base" de un cono circular es el radio de su base; a menudo, esto simplemente se llama el radio del cono. La apertura de un cono circular recto es el ángulo máximo entre dos líneas generatrices; si la generatriz forma un ángulo θ con el eje, la apertura es 2 θ . En óptica , el ángulo θ se llamamedio ángulo del cono, para distinguirlo de la abertura.
Un cono con una región que incluye su vértice cortado por un plano se llama cono truncado ; si el plano de truncamiento es paralelo a la base del cono, se llama frustum . [1] Un cono elíptico es un cono con una base elíptica . [1] Un cono generalizado es la superficie creada por el conjunto de líneas que pasan por un vértice y cada punto de un límite (ver también casco visual ).
El volumen de cualquier sólido cónico es un tercio del producto del área de la base por la altura [4]
En las matemáticas modernas, esta fórmula se puede calcular fácilmente mediante cálculo: es, hasta la escala, la integral Sin usar cálculo, la fórmula se puede demostrar comparando el cono con una pirámide y aplicando el principio de Cavalieri , específicamente, comparando el cono con una pirámide cuadrada recta (escalada verticalmente), que forma un tercio de un cubo. Esta fórmula no se puede demostrar sin usar tales argumentos infinitesimales, a diferencia de las fórmulas bidimensionales para el área poliédrica, aunque similar al área del círculo, y por lo tanto admitió pruebas menos rigurosas antes del advenimiento del cálculo, con los antiguos griegos usando el método de agotamiento . Este es esencialmente el contenido del tercer problema de Hilbert : más precisamente, no todas las pirámides poliédricas son congruentes con tijeras (pueden cortarse en piezas finitas y reorganizarse en otras), y por lo tanto el volumen no se puede calcular puramente usando un argumento de descomposición. [5]
El centro de masa de un sólido cónico de densidad uniforme se encuentra a un cuarto del camino desde el centro de la base hasta el vértice, en la línea recta que une ambos.
Para un cono circular con radio r y altura h , la base es un círculo de área y por lo tanto la fórmula para el volumen se convierte en [6]
La altura oblicua de un cono circular recto es la distancia desde cualquier punto del círculo de su base hasta el vértice a través de un segmento de línea a lo largo de la superficie del cono. Se da por , donde es el radio de la base y es la altura. Esto se puede demostrar mediante el teorema de Pitágoras .
El área de la superficie lateral de un cono circular recto es donde es el radio del círculo en la parte inferior del cono y es la altura inclinada del cono. [4] El área de la superficie del círculo inferior de un cono es la misma que la de cualquier círculo, . Por lo tanto, el área de la superficie total de un cono circular recto se puede expresar como cada una de las siguientes:
El sector circular se obtiene desplegando la superficie de una de las napas del cono:
La superficie de un cono se puede parametrizar como
donde es el ángulo "alrededor" del cono, y es la "altura" a lo largo del cono.
Un cono circular sólido recto con altura y apertura , cuyo eje es el eje de coordenadas y cuyo vértice es el origen, se describe paramétricamente como
donde el rango es de , , y , respectivamente.
En forma implícita , el mismo sólido se define por las desigualdades
dónde
De manera más general, un cono circular recto con vértice en el origen, eje paralelo al vector y apertura , se da mediante la ecuación vectorial implícita donde
donde , y denota el producto escalar .
En el sistema de coordenadas cartesianas , un cono elíptico es el lugar geométrico de una ecuación de la forma [7]
Es una imagen afín del cono unitario circular recto con ecuación Del hecho de que la imagen afín de una sección cónica es una sección cónica del mismo tipo (elipse, parábola,...), se obtiene:
Obviamente, todo cono circular recto contiene círculos. Esto también es cierto, aunque menos obvio, en el caso general (véase la sección circular ).
La intersección de un cono elíptico con una esfera concéntrica es una cónica esférica .
En geometría proyectiva , un cilindro es simplemente un cono cuyo vértice está en el infinito. [8] Intuitivamente, si se mantiene fija la base y se toma el límite a medida que el vértice tiende al infinito, se obtiene un cilindro, cuyo ángulo del lado aumenta como arctan , formando en el límite un ángulo recto . Esto es útil en la definición de cónicas degeneradas , que requieren considerar las cónicas cilíndricas.
Según GB Halsted , un cono se genera de manera similar a una cónica de Steiner, solo que con una proyectividad y lápices axiales (no en perspectiva) en lugar de los rangos proyectivos utilizados para la cónica de Steiner:
"Si dos ejes axiales no copuntuales y co-rectos son proyectivos pero no perspectivos, los encuentros de planos correlacionados forman una 'superficie cónica de segundo orden', o 'cono'". [9]
La definición de cono puede extenderse a dimensiones superiores; véase cono convexo . En este caso, se dice que un conjunto convexo C en el espacio vectorial real es un cono (con vértice en el origen) si para cada vector x en C y cada número real no negativo a , el vector ax está en C . [2] En este contexto, los análogos de los conos circulares no suelen ser especiales; de hecho, a menudo nos interesan los conos poliédricos .
Un concepto aún más general es el cono topológico , que se define en espacios topológicos arbitrarios.