Begriff aus der Theorie der affinen Hyperflächen bzw. der algebraischen Geometrie.

Eine Menge C ⊂ ℂⁿ bezeichnet man als Kegel mit Spitze p, wenn gilt: \begin{eqnarray}p\in C,q\in C-p\Rightarrow L(q)\subseteq C.\end{eqnarray}

Dabei bezeichne L(q) die Gerade durch p und q. Man spricht von einem algebraischen Kegel, wenn C zudem noch eine algebraische Menge ist.

Sei f ∈ ℂ[z₁,…,z_n] \ {0}, X = V(f) die Nullstellenmenge von f, und sei p ∈ X. Die Vereinigung aller Tangenten L an X in p (d. h. aller Geraden L ⊆ ℂⁿ durch p, für deren Schnittvielfachheit mit X in p\begin{eqnarray}{\mu}_{p}(X\cdot L)\gt {\mu}_{p}(X)\end{eqnarray}

gilt) bildet einen Kegel mit Spitze p. Diesen Kegel nennt man den Tangentialkegel zu X in p und bezeichnet ihn mit cT_p(X), also \begin{eqnarray}c{T}_{p}(X)=\displaystyle \mathop{\bigcup}\limits_{{\mu}_{p}(X\cdot L)\gt {\mu}_{p}(X)}L.\end{eqnarray}

Es gilt der folgende Satz:

Sei f ∈ ℂ[z₁,…,z_n] \ {0} quadratfrei, und sei p ∈ X = V f. Ist f^(p)der Leitterm von f an der Stelle p, so gilt\begin{eqnarray}c{T}_{p}(X)=V({f}^{(p)}).\end{eqnarray}

Insbesondere ist also der Tangentialkegel ein algebraischer Kegel.