En
el día de hoy traemos una entrega donde queremos explicar qué es una
diferintegral, pero para ello ya hemos explicado que es una derivada, y ahora
toca saber qué es una integral.
La última
semana habíamos visto qué significaba la n-ésima derivada con n = –1 : era
una nueva función (función primitiva) cuya derivada es la función original, es
decir, hablando mal y pronto, derivar e integrar son operaciones inversas
entre sí. Hemos respondido a la pregunta ¿qué significa la función original
para la integral?, pero necesitamos responder ¿qué significa la primitivapara la función original?
La integral en
un intervalo nos da el área neta de la función con respecto al eje de
abscisas (eje X). ¿Qué diferencia hay entre área total y área neta? El área
neta establece un signo a las áreas según estén por “encima” (positivas) o por “debajo”
(negativas) del eje, mientras que el área total es toda el área recubierta, sin
importar su posición relativa al eje.
Cabe resaltar que
hay dos “tipos” de integrales: integrales definidas, que dan como resultado un
número que representa el área neta entre la función y el eje en un intervalo, e
integrales indefinidas, que hacen referencia a la fórmula matemática que da los
valores de integrales definidas.
Ya vimos cómo una función tiene solo una I-derivada asociada, pero no
tiene una única integral indefinida asociada, sino un conjunto de funciones que varía en una
constante. ¿Por qué? Sumar una constante a una función no influye su tasa de
variación, y por tanto tampoco su derivada. Ergo un endomorfismo entre funciones
integrables nunca será inyectivo.
Debemos a
grandes matemáticos como Darboux, Riemann, o Lebesgue teorías rigurosas sobre
cómo hallar integrales definidas.
Ya hemos visto
qué significan la n-ésima derivada para un n natural, lo
extendimos para n = 0 , y para n estrictamente entero hemos visto
que hay que integrar n veces. En la próxima entrega intentaremos cerrar
esta serie para dar un significado a la n-ésima derivada para un n
genérico.
En
el día de hoy traemos una entrega donde queremos explicar qué es una
diferintegral, pero para ello hay que explicar antes que es una derivada, y qué
es una integral.
Supongamos
que tenemos una función que queremos evaluar cómo varía en un
intervalo. Bastaría con evaluar la pendiente entre los extremos de dicho intervalo, es decir, hallar su tasa de variación
media.
Sin
embargo, esto solo nos daría cómo varía globalmente en dicho intervalo, es
decir, si en general crece (pendiente positiva), o en general decrece (pendiente
negativa). Si queremos saber qué pasa en cada punto, qué valor tendrá dicha
función en el punto inmediatamentesiguiente
a un punto dado, hay que considerar qué pasa a la pendiente al tender el
intervalo a un único punto:
Se calcula su tasa de variación instantánea, más conocida
como derivada. Esta nueva función es muy especial, y está asociada a la función original (tan especial que si una función tuviese dos derivadas, esas dos
derivadas fueran idénticas).
Nótese
que tasa de variación instantánea es un oxímoron (para que haya una
variación se necesita un tiempo donde transcurra), y además conlleva al cálculo
de un límite de la forma 0÷0 .
Si
se deriva la derivada, se obtiene una función llamada II-derivada de
la función original.
Si se deriva esta nueva función ahora, se obtiene la III-derivada de la función original...
Si se deriva n veces, se obtiene la n-ésima
derivada de la función original.
Nótese que la p-ésima
derivada de la q-ésima derivada es la (p+q)-ésima derivada, o equivalentemente, es la q-ésima derivada de la p-ésima derivada.
La I-derivada nos da la información de los intervalos de monotonía (crecimiento, y
decrecimiento) sobre la función original.
La II-derivada nos da la información de
los intervalos de curvatura (concavidad, y convexidad) sobre la función
original.
¿Qué significa la n-ésima
derivada con n = 0 ? Es una función que se ha derivado un total de 0
veces, es decir, una función que no se ha hecho nada, la función original.
¿Qué
significa la n-ésima derivada para n = –1 entonces? Por una regla
que hemos visto antes, si derivamos esta función, da la función original, es
decir, es una nueva función cuya derivada es la función original. Aquí hace falta
introducir la idea de integrales, que se verá en la próxima entrega.
En el día de
hoy traemos la entrada probablemente más esperada del año: el ENEM en Valladolid.
¿Qué es el ENEM?
ENEM son las siglas de Encuentro Nacional de Estudiantes de Matemáticas.
Es un congreso anual sobre matemáticas, y este año es en Valladolid.
¿Cuándo y dónde
es? Se celebra entre el lunes 20 y el sábado 25 de julio de
2020, en Valladolid.
¿Para quiénes
está enfocado? Principalmente para estudiantes de matemáticas, o matemáticas y
estadística, aunque también hay compañeros de matemáticas e informática,
matemáticas y física, o ingeniería matemática.
¿Qué hay que
hacer para asistir? El sábado 15 de febrero sale ya el formulario de inscripción. Hay diferentes modalidades al respecto: algunas van desde solo ir al congreso y una cena de gala final, y otras hasta pensión y comida ambas incluidas. http://enem.anem.es/inscripcion/
¿Qué me puedo esperar del ENEM? Profesores de varias partes de España darán charlas de 1
hora aproximadamente. Se intenta cubrir el mayor número de áreas en las charlas
(álgebra, cálculo numérico, análisis, geometría, …). Sin embargo, no todo serán
charlas, sino que también habrá más actividades, como cafés y visitas por Valladolid.
¿Por qué
debería ir? Valladolid venció a otras ciudades como Barcelona para que se
celebrara aquí la XXI edición del ENEM. Todo matemático ha de vivir alguna vez
en su vida un ENEM.
Todos nosotros hemos visto alguna vez la típica animación del reproductor de DVDs en el que aparece un icono rebotando por la pantalla. Además, hace tiempo que está por internet el meme en el que todo el mundo espera a que el icono golpee justo en una esquina. Este meme tiene origen en un episodio de The Office emitido en 2007, pero resurgió hace un año cuando se volvió viral el siguiente vídeo.
Ahora bien, ¿tan raro es este suceso? Primero, veamos las condiciones en las que trabajamos.
Esta animación siempre consiste en una figura que se mueve con un ángulo de 45º.
Las dimensiones de un monitor, puesto que está compuesto de píxeles, son enteras. ($a, b \in \mathbb{Z}$)
Por el mismo motivo, las coordenadas iniciales del icono, también son enteras. ($a_0, b_0 \in \mathbb{Z}$)
Primero, podemos tratar el icono como un punto sin pérdida de generalidad (este sería el centro de la figura, matemáticamente se representaría igual, pero reduciendo las dimensiones del monitor).
A la hora de afrontar este problema he encontrado conveniente representar los rebotes como una prolongación de la trayectoria del logo. Es decir, si hacemos revotar algo en una superficie plana quedaría así:
Así pues, podemos representar todos los rebotes a base de dividir el plano en rectángulos de la forma del monitor y hacer pasar una recta por estos rectángulos. Pero aún mejor sería, si fueran cuadrados, porque entonces podríamos usar las coordenadas cartesianas. Así que "comprimimos" los ejes para que cada rectángulo represente un espacio 1x1, de este modo, las esquinas del monitor serían los puntos con coordenadas enteras.
De este modo el problema ya parece más fácil de analizar. Tan solo tenemos que determinar si una recta pasa por algún punto de coordenadas enteras, siendo esa recta la ecuación de la trayectoria del icono, que sacamos conociendo un punto (usamos $\frac{b_0}{b}$ y $\frac{a_0}{a}$ porque recordemos que usamos las coordenadas "comprimidas" entre 0 y 1) y la pendiente ($\frac{a}{b}$ debido a esa transformación de los ejes):
Como $a,b,a_0,b_0 \in \mathbb{Z}$ podemos usar la identidad de Bezout para sacar los puntos con coordenadas enteras. En particular, la primera de ellas, que es la que nos interesa, la llamaremos $x_0, y_0 \in \mathbb{Z}$ que representarían el punto de esa cuadrícula imaginaria donde el CD impacta contra la esquina.
Por tanto, el icono chocará con una esquina $\Longleftrightarrow \gcd{(a, b)} \mid b_0 - a_0$
En el caso particular de que haya empezado en el $(0,0)$, podemos ver que es seguro que tarde o temprano impactará contra otra esquina.
Ahora, algunas otras cosas interesantes, ¿va a tardar mucho? o ¿contra qué esquina chocará?. Para esto, pongamos un ejemplo:
Supongamos que el monitor es un monitor estándar, 1920x1080, y que parte del $(0,0)$. Esta sería la representación. Las distintas soluciones enteras de la ecuación se han rodeado (la primera es $(9, 16)$):
Para ver cuántos rebotes da antes de chocarse contra el vértice basta con contar cuántas veces corta la recta la cuadrícula antes de la primera solución. Esto es $16 + 9 - 2 = 23$ rebotes, el choque con el vértice sería el número $24$.
De forma general, el número de rebotes será: $x_0 + y_0 - 2$.
Para ver en qué esquina chocará, tendremos en cuenta cuál es la orientación del monitor en cada cuadrado, según se haya invertido en vertical (amarillo), horizontal (rojo), ambas (naranja), o ninguna (azul).
Este patrón se repite por todo el plano, así que para saber en qué esquina golpeará, podemos tratar los puntos módulo 2.
$x_0 (mod 2)$
$0$
$1$
$y_0 (mod 2)$
$0$
$\swarrow$
$\searrow$
$1$
$\nwarrow$
$\nearrow$
Además, analizando las soluciones enteras de la ecuación módulo dos, es
fácil darse cuenta de que en caso de que impacte contra alguna esquina,
impactará con exactamente dos esquinas distintas.
Comprobando en la tabla, podemos ver que, en el caso particular de antes, impactará en la esquina inferior derecha y después volverá a impactar con la esquina inferior izquierda, de donde salió en un principio.
Como vemos, es un problema que no tiene ninguna dificultad a la hora de analizarlo, y que solo requiere un mínimo de geometría y la identidad de Bezout.
En el día de hoy traemos una entrega que da que reflexionar: ¿qué constituye el centro del triángulo?
Unos 800 centros de Kimberling
Si se toma como centro de un triángulo el centro de alguna circunferencia relevante al triángulo, los dos ejemplos más relevantes serían: Incentro - X(1) : centro de la circunferencia inscrita al triángulo e intersección de las tres bisectrices internas al triángulo. Circuncentro - X(3) : centro de la circunferencia circunscrita al triángulo e intersección de las tres mediatrices al triángulo.
Se podría pedir al centro de un triángulo que optimice la suma de las distancias a los vértices o a los lados. Sin embargo, esto significa que podría haber hasta cuatro centros diferentes, cada uno con sendas propiedades.
Si se toma como centro de un triángulo el que fuese el centro de masas del triángulo esto significa que podría haber varios puntos, entre ellos:
El centro de masas respecto a los vértices, (e.g. que pendan masas uniformes), es decir, centroide-X(2) , la intersección de las tres medianas de un triángulo.
El centro de masas respecto a los lados (e.g. cables uniformes), es decir, centro de Spieker - X(10) , el incentro del triángulo media
l.
Se podría definir el centro de un triángulo la intersección algunas de sus cevianas. Cabe resaltar dos aún por nombrar: Ortocentro - X(4), intersección de las alturas de un triángulo. Su triángulo ceviano asociado también es un triángulo podal. Punto simediano de Lemoine-Grebe - X(6), intersección de las simedianas de un triángulo (la simediana la recta simétrica a la mediana respecto a la bisectriz interna, es decir la simediana es isogonal a la mediana respecto a la bisectriz interna).
Incluso se puede describir un centro que sea el punto de máximo potencial electroestático dentro del triángulo con distribución de carga homogénea por la superficie - X(5.626).
Cualquier posible centro documentado está en la ETC (Encyclopaedia of Triangle Centres) creada por Clark Kimberling (Hinsdale 1942 - ) y catalogado de la forma X(n). Dichos puntos se conocen en general por centros de Kimberling. Actualmente hay 36.758 centros de Kimberling descritos hasta el miércoles, 05 de febrero de 2020 (fecha de la publicación), todos ellos con su utilidad y con la certeza de que para ciertos casos, son el centro del triángulo "preferente".
He aquí un vídeo con los diez primeros.
Autor: Đɑvɪẟ Ƒernández-De la Cruʒ.
Adenda del autor: Desde el día de ayer, domingo 21 de noviembre de 2021, el centro de potencial electrostático, X(5626), tiene una versión en GeoGebra en la web creada por un servidor. La web ya cuenta con 46.065 centros de Kimberling, lo que implica un crecimiento del 25,32% en 19 meses y medio.
