In wiskunde is 'n keëlsnit 'n kromme wat gevorm word deur die snyding van 'n keël (meer nougeset 'n regsirkulêre keëloppervlak) met 'n vlak. Keëlsnitte sluit in sirkels, ellipse, parabole en hiperbole. Keëlsnitte is solank terug as 200 v.C. bestudeer toe Apollonius van Perga 'n stelselmatige studie oor hulle eienskappe onderneem het. Hoewel die Grieke reeds van die optiese eienskappe van die krommes ontdek het word dit egter eers teen die 16de eeu buite optika toegepas toe Johannes Kepler ontdek het dat planete in elliptiese wentelbane om die son beweeg en Galileo bewys het dat projektielbeweging parabolies is. Die keëlsnitte het almal unieke weerkaatsingseienskappe waarvan veral die van die parabool belangrik is vir satellietskottels, teleskope en by beligting. Parabole, ellipse, sirkels en hiperbole word ook as gevolg van estetiese en strukturele eienskappe algemeen in boukuns gebruik in byvoorbeeld hiperboloïde water- en verkoeltorings of die paraboliese boë van die Asphalt Green Aquacenter in New York.
Verskillende krommes word gevorm afhangende van die hoek waarteen die snyding plaasvind. Sirkels en ellipse is van die bekendste voorbeelde van keëlsnitte en word gevorm wanneer die snydingshoek van 'n keël en 'n vlak sodanig is dat die vlak slegs deur een helfte van 'n dubbelkeël gaan en dus 'n geslote kromme vorm. 'n Sirkel is 'n spesiale geval van 'n ellips waar die vlak reghoekig tot die keëlas is. As die vlak parallel is aan 'n generator lyn van die keël word 'n parabool gevorm wat 'n oop kromme is. 'n Hiperbool word gevorm as die snydingshoek veroorsaak dat die vlak deur beide dele van 'n dubbekkeël gaan om 'n twee oop krommes te vorm.
Die ontaarde gevalle waar die vlak deur die toppunt van die keël gaan of waar die keël self ontaard is word gewoonlik nie ingesluit by die keëlsnitte nie.
In die geval waar die vlak deur die toppunt gaan word 'n punt, 'n reguit lyn, of 'n paar kruisende lyne gevorm.
Die keël self kan ontaard wees as die hoek wat die keël genereer of 0° of 90° is. As die hoek 90° is beslaan die binnekant van die keël alle driedimensionele ruimte en is die buitekant van die keël die vlak wat deur die toppunt van die keël gaan en reghoekig tot die keël se as is. Dieselfde vlak kan die snydingsvlak wees wat dan die hele vlak as snyding lewer. Alle ander snydings is 'n reguit lyn. As die keël se generatorhoek daarteenoor 0° is, en die snydingsvlak is parallel aan (maar nie op) die keëlas, is die snyding nul.
Elke tipe keëlsnit kan gedefinieer word as die lokus van alle punte P met 'n sekere eienskap:
In projeksiemeetkunde kan elkeen van die keëlsnitte gedefinieer word as die lokus van alle punte ewe ver van 'n vaste punt (die brandpunt) en 'n vaste kromme (die direktriks). Alle keëlsnitte het identiese eienskappe in projeksieruimte en elke stelling in projeksiemeetkunde wat vir een keëlsnit waar is, is waar vir alle ander.
Die vier bostaande voorwaardes kan in een voorwaarde gekombineer word wat afhang van 'n vaste punt F (die brandpunt), 'n lyn L (die direktriks) wat F nie bevat nie en 'n nie-negatiewe reële getal e (die eksentrisiteit). Die ooreenstemmende keëlsnit bestaan uit alle punte waarvan die afstand na F gelyk is aan e maal die afstand na L. Vir 0 < e < 1 word 'n ellips verkry, vir e = 1 'n parabool, en vir e > 1 'n hiperbool.
Vir 'n ellips en 'n hiperbool kan twee brandpunt-direktriks kombinasies geneem word waar elkeen die selfde volle ellips of hiperbool verskaf. Die afstand van die middelpunt na die direktriks is , waar die halwe lengteas van die ellipse is, of die afstand van die middelpunt na die bopunte van die hiperbool. Die afstand van die middelpunt na 'n brandpunt is .
In die geval van 'n sirkel is e = 0 en kan mens jou voorstel dat die direktriks oneindig ver van die middelpunt is. Die stelling dat die sirkel uit alle punte bestaan waarvan die afstand e maal die afstand na L is, is nie nuttig nie aangesien dit nul keer oneindig lewer.
Die eksentrisiteit van 'n keëlsnit is dus 'n maatstaf van hoe ver dit van 'n sirkelvorm afwyk.
Vir 'n gegewe , hoe nader is aan 1, hoe kleiner is die halfklein as.
In die Kartesiese koördinaatstelsel is die grafiek van 'n kwadratiese vergelyking met twee veranderlikes altyd 'n keëlsnit, en alle keëlsnitte spruit hieruit voort. Die vergelyking sal die volgende vrom hê
dan:
polinoom Let daarop dat A en B slegs veeltermige koëffisiënte is en nie die lengtes van half-hoof/klein as soos in die vorige afdelings gedefinieer nie.
Deur verandering van koördinate kan die vergelykings in standaardvorms geskryf word:
Sulke vorms sal simmetries om die x-as, en vir die sirkel, ellips en hiperbool ook simmetries om die y-as wees.
Die standaardvorme kan as parametriese vergelykings geskryf word,
Die semi-latus rectum van 'n keëlsnit, gewoonlik met l aangedui, is die afstand van die enkele brandpunt, of een van die twee brandpunte na die keëlsnit self gemeet langs 'n lyn reghoekig tot die hoof-as. Dit is verwant aan die halwe lengteas a, en die halwe breedteas b, deur die formula , of .
In poolkoördinate word 'n keëlsnit met een brandpunt by die oorsprong en, indien enige, die ander op die positiewe x-as, is gegee deur die vergelyking
Soos hierbo, vir e = 0, word 'n sirkel verkry, vir 0 < e < 1 'n ellipse, vir e = 1 'n parabool, en vir e > 1 'n hiperbool.
Deur gebruik te maak van Dandelinsfere kan 'n kort elementêre argument gemaak word wat aantoon dat die karakterisering van die krommes as snydings van 'n hoek met 'n keël ekwivalent is aan die karakterisering in terme van brandpunte, of van 'n brandpunt en 'n direktriks.
Die keëlsnitte het almal spesifieke unieke weerkaatsings eienskappe:
Keëlsnitte is belangrik in sterrekunde: die wentelbane van twee massiewe voorwerpe wat volgens Newton se wet van universele gravitasie met mekaar wisselwerk, is keëlsnitte as hulle gemene massamiddelpunt as stilstaande beskou word. As hulle aan mekaar verbind is sal beide ellipse aftrek; as hulle uit mekaar beweeg sal beide parabool- of hiperboolbane volg.
Een van die bekendste voorbeelde van die parabool in die natuur is die trajek van 'n deeltjie of liggaam wat beweeg onder die invloed van 'n eenvormige gravitasieveld sonder lugweerstand (byvoorbeeld, 'n krieketbal wat deur die lug vlieg waar lugweerstand weggelaat word). Die paraboliese trajek van projektiele is eksperimenteel deur Galileo vroeg in die 17de eeu ontdek toe hy eksperimkente uitgevoer het met balle wat op hellende vlakke rol. Die paraboliese vorm van projektielbeweging is later wiskundig deur Isaac Newton bewys.
Benewens die voorkoms van ellipse in fluistergewelwe word benaderings van parabole ook aangetref in die vorm van kabels van hangbrûe. Vryhangende kabels wat op die oog af soos parabole lyk beskryf nie parabole nie maar eerder kettinglyne. Onder die invloed van 'n eenvormige lading (soos 'n brugdek byvoorbeeld), word dit egter tot 'n parabool vervorm. Baie boë wat soos parabole lyk is eintlik eerder onderstebo kettinglyne wat gebruik word as gevolg van die strukturele voordele wat die vorm bied. Hiperbole kom veral in hiperboloïedstrukture soos hiperboliese dakke en torings voor.
Keëlsnitte is altyd "glad". Meer nougeset, hulle bevat nooit enige infleksiepunte nie. Dit is belangrik vir baie toepassings soos aërodinamika, waar 'n gladde oppervlak nodig is om laminêre vloei te verseker en om turbulensie te vermy.