A matematikában a kúp (idegen szóval kónusz) gúlaszerű térbeli test. A kúp alapja egy tetszőleges síkidom, palástját a csúcsot az alap határpontjaival összekötő egyenes szakaszok, az alkotók uniója alkotja. Megkülönböztethetünk egyenes és ferde kúpokat aszerint, hogy a csúcs merőleges vetülete az alapra egybeesik-e az alap középpontjával, ha utóbbi értelmezett. Kúp alatt leggyakrabban az egyenes, kör alapú kúpokat értik. A kúpot az alapjával párhuzamos síkkal elmetszve csonkakúpot kapunk.
Az egyenes körkúp forgástestként is generálható egy AB szakaszt elforgatva annak pontosan egy végpontján áthaladó egyenes körül. Ebben az esetben az AB szakaszt nevezik a kúp alkotójának is. Ekkor fennáll az alábbi egyenlőség:
Egy kúp végesen generált, ha minden pontja előáll véges sok vektor lineáris kombinációjaként. Egy kúp metszetkúp, ha előáll véges sok féltér metszeteként. Ebből azonnal következik, hogy metszetkúp mindig konvex. Megmutatható, hogy metszetkúp mindig generált kúp, továbbá ha egy végesen generált kúp konvex, akkor metszetkúp.
A térfogat- és felszínképletek bizonyítása
Térfogat
Az elemi geometriában gyakran a Cavalieri-elvet használják: veszünk egy ugyanakkora alapterületű és magasságú gúlát. Az alappal párhuzamosan szeletelve a két testet középpontos hasonlósággal adódik, hogy az ugyanolyan magasságú szeletek területe egyenlő. Ezért a két test térfogata egyenlő.
A T alapterületű és h magasságú gúla térfogata
Ez alapján a kúp térfogata
.
A kúp alapterülete növekvő oldalszámú sokszögekkel is közelíthető.
Egy másik bizonyítás az integrálszámítást hívja segítségül. A derékszögű koordináta-rendszerben a kúp csúcsát az origóba, és az alapkör középpontját a (h,0) pontba teszi. Ezután a kúpot, mint végtelen sok lapos, dx magasságú hengerből összetett forgástestet tekinti. A párhuzamos szelők tételével:
Egy infinitezimális henger sugara:
Egy infinitezimális henger térfogata:
A forgáskúp térfogata megegyezik ezeknek a hengereknek a térfogatösszegével. Ezt határozott integrállal számítja ki, ahol a határok 0 és h:
Így jut az ismert
képlethez.
A kúppalást felszíne
Az egyenes körkúp palástja görbült, de kiteríthető körcikké. Ennek sugara megegyezik a kúp alkotójának hosszával (a). A körcikk α középponti szöge arányegyenlettel számítható: a középponti szög úgy aránylik a teljesszöghöz, mint az alapkör 2πr kerülete az a sugarú kör teljes kerületéhez:
ahol a kúp alkotója és a körcikk sugara.
A kúppalást felszíne eszerint a körcikk területképletéből adódóan