Recientemente escribí Cálculo sin límites, una publicación que hace un cálculo diferencial bastante serio con solo álgebra I nivel matemático. Veamos cómo le va aquí.
Un círculo con centro [matemática] (a, b) [/ matemática] y radio [matemática] c [/ matemática] (estoy guardando [matemática] r [/ matemática] para más adelante) tiene la ecuación
[matemáticas] (xa) ^ 2 + (yb) ^ 2 = c ^ 2 [/ matemáticas]
Escribamos esto como [matemáticas] f (x, y) = 0 [/ matemáticas], donde
[matemáticas] f (x, y) = (xa) ^ 2 + (yb) ^ 2 – c ^ 2 [/ matemáticas]
Para hacer cálculo sin límites en curvas algebraicas, solo evaluamos [matemática] f (x + r, y + s) [/ matemática] y recopilamos y ordenamos términos, por lo que este es un polinomio en [matemática] x [/ matemática] y [ matemáticas] y [/ matemáticas] escritas en orden de grado creciente. Es más fácil de hacer que describir:
[matemáticas] f (x + r, y + s) = (x + ra) ^ 2 + (y + sb) ^ 2 – c ^ 2 [/ matemáticas]
[matemáticas] = x ^ 2 + 2x (ra) + (ra) ^ 2 + y ^ 2 + 2y (sb) + (sb) ^ 2 – c ^ 2 [/ matemáticas]
[matemáticas] f (x + r, y + s) = (ra) ^ 2 + (sb) ^ 2 – c ^ 2 \ + [/ matemáticas]
[matemáticas] \ quad \ quad 2 (ra) x + 2 (sb) y \ + [/ matemáticas]
[matemáticas] \ quad \ quad x ^ 2 + y ^ 2 [/ matemáticas]
Si observamos la primera línea, los términos de grado [matemática] 0 [/ matemática] (en [matemática] x [/ matemática] y [matemática] y [/ matemática]), vemos que es solo [matemática] f ( r, s). [/ matemáticas]
Si nos fijamos en el coeficiente de [matemática] x, [/ matemática] [matemática] 2 (ra), [/ matemática] esa es en realidad la derivada parcial [matemática] \ dfrac {\ parcial f} {\ parcial x} [/ matemáticas] en [matemáticas] (x, y) = (r, s) [/ matemáticas] pero los estudiantes de secundaria no necesitan preocuparse por eso. Solo lo menciono para mostrar a las personas que ya tomaron Calc II cómo se desprende de Algebra I.
Ahora expandimos [matemática] f (x, y) [/ matemática] alrededor de [matemática] (r, s). [/ Matemática] Para hacer eso comenzamos con [matemática] f (x + r, y + s) [ / math] y realice la sustitución [math] xr [/ math] por [math] x [/ math] y [math] ys [/ math] por [math] y [/ math]. [math] [/ math] Entonces obtenemos
[matemáticas] f (x, y) = f ((xr) + r, (ys) + s) [/ matemáticas]
[matemáticas] = f (r, s) \ + [/ matemáticas]
[matemáticas] \ quad \ quad 2 (ra) (xr) + 2 (sb) (ys) \ + [/ math]
[matemáticas] \ quad \ quad (xr) ^ 2 + (ys) ^ 2 [/ matemáticas]
Para obtener las líneas tangentes, todo lo que tenemos que hacer es establecer la suma de los términos a través de grado [matemática] 1 [/ matemática] (lineal en [matemática] xr [/ matemática] y [matemática] ys [/ matemática]) a cero:
[matemáticas] f (r, s) + 2 (ra) (xr) + 2 (sb) (ys) = 0 [/ matemáticas]
Escribamos [math] f [/ math] y simplifiquemos:
[matemáticas] (ra) ^ 2 + (sb) ^ 2 – c ^ 2 + 2 (ra) (xr) + 2 (sb) (ys) = 0 [/ matemáticas]
[matemáticas] 2 (ra) (xr) + 2 (sb) (ys) = – [(ra) ^ 2 + (sb) ^ 2 – c ^ 2] [/ matemáticas]
[matemáticas] 2 (ra) x + 2 (sb) y = 2r (ra) + 2s (sb) – [(ra) ^ 2 + (sb) ^ 2 – c ^ 2] [/ matemáticas]
[matemáticas] 2 (ra) x + 2 (sb) y = 2r ^ 2-2ar + 2s ^ 2-2bs – (r ^ 2 -2ar + a ^ 2) – (s ^ 2-2bs + b ^ 2) + c ^ 2 [/ matemáticas]
[matemáticas] 2 (ra) x + 2 (sb) y = r ^ 2 + s ^ 2 + c ^ 2 – a ^ 2 – b ^ 2 [/ matemáticas]
Eso es genial. Grafiquemos un par de puntos y veamos si lo hicimos bien.
Tomemos nuestro círculo como [matemáticas] (x-3) ^ 2 + (y-4) ^ 2 = 5 ^ 2, [/ matemáticas] eso es [matemáticas] a = 3, b = 4, c = 5, [/ matemáticas] y mire [matemáticas] (r, s) = (0,0). [/ matemáticas]
[matemáticas] 2 (-3) x + 2 (-4) y = 0 + 0 + 25 – 9 – 16 [/ matemáticas]
[matemáticas] 3x + 4y = 0 [/ matemáticas]

Matemáticas de octavo grado para hacer cálculos en curvas algebraicas.
Si dejamos de ser tan rígidos al poner las cosas a cero, obtenemos una interpretación de un círculo como un paraboloide circular
[matemáticas] z = (xa) ^ 2 + (yb) ^ 2 – c ^ 2 [/ matemáticas]
La expansión que hicimos anteriormente realmente no requería que [math] (r, s) [/ math] estuviera en el círculo. Los términos de primer grado nos dan el plano tangente al paraboloide en [math] (r, s): [/ math]
[matemáticas] z = (ra) ^ 2 + (sb) ^ 2 – c ^ 2 + 2 (ra) (xr) + 2 (sb) (ys) [/ matemáticas]
Para el círculo unitario [matemáticas] a = b = 0, c = 1 [/ matemáticas]. Analicemos el plano tangente en [matemática] (r, s) = (1,1) [/ matemática] un punto no en el círculo unitario, sino en el parabaloide circular cuya sección transversal en [matemática] z = 0 [/ matemáticas] es el círculo unitario que conocemos. No podría ser más fácil: solo establecemos los términos en nuestra expansión a través del grado 1 a [matemáticas] z: [/ matemáticas]
[matemática] z = 1 + 2 (x-1) + 2 (y-1) = -3 + 2x + 2y [/ matemática]
No pude hacer que Alpha los trazara en el mismo gráfico, pero estamos haciendo cálculos en superficies en tres espacios con matemáticas de octavo grado.
