Teğet Düzlemler (Tangent Planes)

Eğriden Yüzeye: Teğet Doğrusundan Teğet Düzlemine

Tek değişkenli $y = f(x)$ fonksiyonlarının grafiklerinde belirli bir noktada çizilen "teğet doğru", o eğrinin o noktadaki en iyi lineer (doğrusal) yaklaşık modelidir. Eğri ne kadar bükümlü olursa olsun, eğer fonksiyona teğet noktasına yeterince yakından ("mikroskop" ile) bakarsak, eğrinin tıpkı düz bir doğru gibi göründüğünü fark ederiz.

Çok değişkenli $z = f(x,y)$ fonksiyonlarına geçtiğimizde grafiğimiz artık 2 boyutlu bir eğri değil, 3 boyutlu uzayda bir yüzeydir. Doğal olarak bu yüzey üzerindeki bir $P(x_0, y_0, z_0)$ noktasına sadece bir teğet doğru değil, sayısız teğet doğru çizilebilir. Bu sayısız teğet doğrunun oluşturduğu "düz" alana teğet düzlem (tangent plane) adı verilir. Aynen teğet doğruda olduğu gibi, bir yüzeye belli bir noktada yeterince yaklaşırsanız, yüzey bir teğet düzlem gibi tamamen düz görünür. Bu durum fonksiyonun o noktada "diferansiyellenebilir (türevlenebilir)" olmasının geometrik karşılığıdır.

Teğet Düzlem Denklemi

Yüzey üzerindeki $P(x_0, y_0, z_0)$ noktasında teğet düzlemin denklemini yazmak için normal bir düzlem denkleminin formülü olan $A(x-x_0) + B(y-y_0) + C(z-z_0) = 0$ mantığını kullanırız.

Yüzey denklemini kapalı formda $F(x,y,z) = 0$ olarak yazdığımızda, önceki konulardan bildiğimiz üzere, yüzeyin gradyan vektörü $\nabla F(x_0, y_0, z_0)$ daima o yüzeye o noktada dik (normal) konumdadır. Düzlem denkleminde katsayılar olan $(A,B,C)$ zaten normal vektörün bileşenleri olduğu için, $F$ fonksiyonunun kısmi türevleri $F_x, F_y, F_z$ kullanılarak teğet düzlem denklemi doğrudan yazılabilir:

$$ F_x(x_0, y_0, z_0)(x - x_0) + F_y(x_0, y_0, z_0)(y - y_0) + F_z(x_0, y_0, z_0)(z - z_0) = 0 $$

z = f(x,y) Formu İçin Özel Durum

Eğer yüzey doğrudan $z = f(x,y)$ şeklinde açık fonksiyon olarak verildiyse, bu denklemi $F(x,y,z) = f(x,y) - z = 0$ şeklinde yeniden düzenleyerek $F$'ye uygulayabiliriz. Bu durumda $F_x = f_x$, $F_y = f_y$ ve $F_z = -1$ olur. Formül çok daha akılda kalıcı şu versiyona dönüşür:

$$ z - z_0 = f_x(x_0, y_0)(x - x_0) + f_y(x_0, y_0)(y - y_0) $$

Dikkat ederseniz bu formül, Kalkülüs 1'den bildiğimiz nokta-eğim denklemi olan $y - y_0 = m(x - x_0)$ formülünün (eğim yerine x ve y kısmi türevleri kullanılarak) üç boyutlu uzaya genişletilmiş birebir kopyasıdır!

Adım Adım Örnek

Soru: $z = x^2 + 3y^2$ eliptik paraboloid yüzeyine $(1, -1, 4)$ noktasında çizilen teğet düzlemin denklemini bulunuz.

Çözüm: 1. Yüzey açık olarak $z = f(x,y)$ biçiminde verilmiştir. Burada $f(x,y) = x^2 + 3y^2$. 2. Verilen nokta $(x_0, y_0, z_0) = (1, -1, 4)$'tür. 3. Kısmi türev fonksiyonlarını hesaplayalım: $f_x = 2x$ $f_y = 6y$ 4. Kısmi türevlerin $x_0 = 1$ ve $y_0 = -1$ noktasındaki sayısal değerlerini bulalım: $f_x(1,-1) = 2(1) = 2$ $f_y(1,-1) = 6(-1) = -6$ 5. Teğet düzlem formülünde yerine koyalım: $z - z_0 = f_x(x_0, y_0)(x - x_0) + f_y(x_0, y_0)(y - y_0)$ $z - 4 = 2(x - 1) - 6(y - (-1))$ $z - 4 = 2x - 2 - 6y - 6$ $z = 2x - 6y - 4$ veya kapalı formda: $2x - 6y - z = 4$.

Normal Doğru (Normal Line) Denklemi

Bir noktada yüzeye teğet olan düzleme dik olan (yani yüzeye o noktada 90 derece açıyla saplanan) doğruya normal doğru adı verilir. Teğet düzlemin normal vektörü olan $\nabla F = \langle F_x, F_y, F_z \rangle$, aynı zamanda normal doğrunun "yön vektörü"dür.

Düzlem denklemini yazarken katsayı (A,B,C) olan değerler, doğru denklemi yazarken paydadaki yön bileşenleri haline gelir. $(x_0, y_0, z_0)$ noktasından geçen ve yön vektörü $\nabla F$ olan simetrik doğru denklemleri şu şekildedir:

$$ \frac{x - x_0}{F_x} = \frac{y - y_0}{F_y} = \frac{z - z_0}{F_z} $$

Eğer $z = f(x,y)$ formundayken normal doğruyu arıyorsak, $F_z = -1$ olduğundan: $$ \frac{x - x_0}{f_x} = \frac{y - y_0}{f_y} = \frac{z - z_0}{-1} $$ olur.

Örnek (Normal Doğru)

Soru: $x^2 + y^2 + z^2 = 14$ küre yüzeyi üzerindeki $P(1, 2, 3)$ noktasında teğet düzlemin ve normal doğrunun denklemini yazınız.

Çözüm: Bu kez yüzey kapalı formdadır: $F(x,y,z) = x^2 + y^2 + z^2 - 14 = 0$. 1. Kısmi türevleri (gradyanı) bulalım: $F_x = 2x \implies F_x(1,2,3) = 2$ $F_y = 2y \implies F_y(1,2,3) = 4$ $F_z = 2z \implies F_z(1,2,3) = 6$ Normal vektör $\vec{n} = \langle 2, 4, 6 \rangle$. (Hatta bu vektörü paralel bir vektör olan $\langle 1, 2, 3 \rangle$ olarak sadeleştirirsek hesaplar daha kolay olur.)

1. Teğet düzlem denklemi (basitleştirilmiş vektörle): $1(x-1) + 2(y-2) + 3(z-3) = 0$ $x + 2y + 3z - 14 = 0$

2. Normal doğru denklemi (simetrik formda): $$ \frac{x - 1}{1} = \frac{y - 2}{2} = \frac{z - 3}{3} $$ Gördüğünüz gibi, orijin merkezli küre üzerindeki herhangi bir normal doğru her zaman $(0,0,0)$ noktasından, yani orijinden geçer (yukarıdaki doğru denkleminde parametre $t=-1$ için $x=0, y=0, z=0$ olur).

Diferansiyeller ve Doğrusal Yaklaşım

Teğet düzlem bulmanın temel motivasyonlarından biri Lineer Yaklaştırma (Linear Approximation) yapmaktır. Çıkan teğet düzlem denklemini bir "yaklaşım fonksiyonu" olarak $L(x,y)$ biçiminde yazarsak: $$ L(x,y) = z_0 + f_x(x_0, y_0)(x - x_0) + f_y(x_0, y_0)(y - y_0) $$

$(x_0, y_0)$ noktasına çok yakın $(x,y)$ değerleri için, karmaşık $f(x,y)$ fonksiyonu yerine, çok daha kolay hesaplanabilen lineer $L(x,y)$ düzlem denklemini kullanabiliriz. Bu hata analizi ve diferansiyeller (Total Differential, $dz = f_x dx + f_y dy$) konularının temelidir. Mühendislikte, makine hata toleranslarının (örneğin hacim veya alan hatalarının) hesaplanmasında en iyi yaklaştırmayı sağlamak adına aktif olarak kullanılır.