¿Cómo definirías [matemáticas] x ^ 2 [/ matemáticas] como una integral?

Supongo que lo que está buscando es una función del límite superior de la integral. Así que aquí está tu respuesta:

[matemáticas] \ boxed {\ forall x \ in \ mathbb {R}, \ x ^ 2 = \ displaystyle \ int_0 ^ x 2t \ dt} [/ math]

De hecho, la derivada de [matemática] t [/ matemática] [matemática] \ longmapsto t [/ matemática] [matemática] ^ 2 [/ matemática] es [matemática] t [/ matemática] [matemática] \ longmapsto [/ matemática] [math] 2t [/ math] así que al integrar la derivada entre cero y [math] x [/ math], ¡recuperas tu función inicial! (Por lo general, dentro de una constante aditiva, pero aquí [matemática] 0 ^ 2 = 0 [/ matemática]).


En términos más generales, para definir [matemáticas] f (x) [/ matemáticas] como una integral, si [matemáticas] f [/ matemáticas] tiene una derivada integrable, entonces:

[matemáticas] \ forall x \ in \ mathbb {R}, \ f (x) – f (0) = \ displaystyle \ int_0 ^ x \ frac {df (t)} {dt} \ dt [/ math]


Aún más generalmente, en realidad es el orden cero de la fórmula de Taylor-Lagrange entre [matemáticas] x [/ matemáticas] y [matemáticas] 0 [/ matemáticas]:

[matemáticas] f (x) = \ sum \ limits_ {k = 0} ^ n \ frac {x ^ k} {k!} \ frac {d ^ kf (0)} {dx ^ k} + \ displaystyle \ int_0 ^ x \ frac {x ^ n} {n!} \ frac {d ^ {n + 1} f (t)} {dt ^ {n + 1}} [/ math]

Válido para todos [math] n \ in \ mathbb {N} [/ math] siempre que [math] f [/ math] tenga una derivada integrable [math] (n + 1) [/ math] th.

[matemática] c ^ 2 [/ matemática] es el área de un cuadrado de unidades laterales [matemática] c [/ matemática] de largo. El área de dicho cuadrado puede interpretarse como la integral de la línea horizontal [matemática] y = c [/ matemática] desde [matemática] x = 0 [/ matemática] a [matemática] x = c [/ matemática]. Así

[matemáticas] \ displaystyle \ int_0 ^ cc \, dx = c ^ 2. [/ matemáticas]