Intereting Posts

Generators of $GL_n(\Bbb Z)$ and $GL_n(\Bbb Z_p)$
Going down theorem fails
Non-trivial nilpotent group has non-trivial center
General form of Integration by Parts
If $A$ is a Dedekind domain and $I \subset A$ a non-zero ideal, then every ideal of $A/I$ is principal.
Using Fourier series to calculate an infinite sum
Defining the determinant of linear transformations as multilinear alternating form
Splitting field of $x^n-a$ contains all $n$ roots of unity
Do the axioms of set theory actually define the notion of a set?
Returning Paths on Cubic Graphs
How to compute the sum $ 1+a(1+b)+a^2(1+b+b^2)+a^3(1+b+b^2+b^3)+\cdots$
Nilpotent matrices over field of characteristic zero
if a complex function $f$ is real-differentiable, then $f$ or $\overline{f}$ are complex-differentiable
Does separability imply the Lindelöf property?
Tensors which are symmetric and antisymmetric in overlapping groups

The Weierstrass substitution is great for transforming complex trig integrals into simpler rational functions. Wikipedia suggests that it wasn’t invented by Weierstrass, since Euler was already familiar with it.

So,

- Who invented this substitution?
- More importantly, what intuition can be used to get at this result? It’s clear that it “works”, but it’s not clear what the thought process was that led to it’s discovery.
- Is there a “family” of such substitutions that lead to simplification of trig integrals, or this the only known one?

- Integrating a product of exponentials and error functions
- Finding the integral: $\int_{0}^{\large\frac{\pi}{4}}\frac{\cos(x)\:dx}{a\cos(x)+b \sin(x)}$
- Evaluate $ \int_{0}^{\pi/2}\frac{1+\tanh x}{1+\tan x}dx $
- Evaluate the integral: $\int_{0}^{1} \frac{\ln(x+1)}{x^2+1} \mathrm dx$
- Closed form for ${\large\int}_0^1\frac{\ln(1-x)\,\ln(1+x)\,\ln(1+2x)}{1+2x}dx$
- $-1 = 0$ by integration by parts of $\tan(x)$

- A special value polylogarithm identity involving $\text{Li}_3(-1/2),\,\text{Li}_3(-1/3),\,\text{Li}_3(2/3),\,\text{Li}_2(-1/3),\,\text{Li}_2(2/3)$
- Closed form for definite integral involving Erf and Gaussian?
- Evaluating $\int\sqrt{\frac{1-x^2}{1+x^2}}\mathrm dx$
- Does there exist unique $u \in V$ satisfying integral equation?
- How to calculate the derivative of this integral?
- Evaluating $\int_{0}^{1}\frac{\arcsin{\sqrt{x}}}{x^4-2x^3+2x^2-x+1}\operatorname d\!x$
- Integrate Form $du / (a^2 + u^2)^{3/2}$
- When Are We Allowed to Break Up A Triple Integral?
- Calculate $\int^{n+1}_1 \frac{(\{x\})^{}}{}dx$ where $n\in\mathbb{N}$, $$ is the integer part of $x$ and $\left\{ x\right\} =x-$.
- Riemann's Integrals Question

This comes from the rational parameterization of the unit circle: namely,

the circle $x^2 + y^2 = 1$ can be parameterized by (put in bijection with) the $t$-line via the formula $x = (1-t^2)/(1+t^2),$ $y = 2t/(1+t^2).$

This substitution goes back in some form to Euclid, at least, who used it to

generate Pythagorean triples. (If we take $t$ to be a rational number $m/n$ and clear demoninators, we find that $(m^2 – n^2)^2 + (2 m n)^2 = (m^2 + n^2)^2$, and all Pythagorean triples arise in this way.)

The intuition for this formula is as follows: the curve is cut out by a degree two (i.e. quadratic) equation in $x$ and $y$, so a line will meet it in two points. *So*, if we fix one of the points and let the other point vary, we can describe all the points on the circle as being obtained by intersecting the circle with a varying family of lines passing through a fixed point.

More precisely and concretely, take the base point to be $(-1,0)$. Then if we

consider the line of slope $t$ through this point, it meets the circle in the point $(0,1)$ (obviously) and one other point, namely $\bigl((1-t^2)/(1+t^2), 2t/(1+t^2) \bigr).$ This gives the formula.

The trignometric point of view, which historically came later, just comes

from writing $x = \cos \theta,$ $y = \sin \theta$. If you draw the triangle whose vertices are $(-1,0),$ $(1,0),$ and $(x,y)$, then this a right triangle with angle $\theta/2$ at the vertex $(-1,0)$, so its slope $t$ is equal to $\tan \theta/2$.

Note that this trick of fixing one point and then parameterizing the other points by drawing a line joining the fixed point to another point on the curve only works when the curve has degree $2$. If the degree is larger, than a line through the fixed point will meet the curve in more than one other point.

Thus there is no obvious way to parameterize higher degree curves by a single variable, and in general this can’t be done (except in some degenerate singular cases, like parameterizing $y^2 = x^3$ via $(t^2,t^3)$).

This means that there is no rational substitution available to

convert an integral like (just to give one famous example) $$\displaystyle \int \frac{dx}{\sqrt{(1-x^2)(1 – k^2 x^2)}}$$

(which is related to the degree $4$ curve $y^2 = (1- x^2)(1-k^2 x^2)$)

into an integral of rational functions.

This integral is known as an elliptic integral, and studying them and trying to understand the algebraic curves that underly them, led to the development of much of modern algebraic geometry and algebraic topology (the key names, that transformed their study from a branch of analysis to geomery/topology, are Abel, Jacobi, and Riemann).

I have a few different answers here related to this theme.

It’s merely a parametrization of the unit circle with the line that passes through (-1,0) on the circle. This is a fairly standard trick of parametrizing curves in Algebraic geometry. In fact, you’re relating the slope of the line to a point on the circle by fixing one point on the line and changing the slope to get the other.

You can get the parametrization in this way:

1: Write the equation of the line that passes through the point $(-1,0)$ on the circle with the slope t. (Other points are just fine too, you could use $(1,0)$ with ease, but using some points might make your calculations more difficult)

2: When you do this, notice that you’re relating the slope of the line, namely $t$, to the point $(x,y)$ on the circle.

3: Now you need to find $x$ and $y$ as functions of $t$. Plug in your equation of the line in the equation of the unit circle and solve for $t$. You must get two values, because the line would intersect the circle at two points. One point is $(-1,0)$ for sure, the other one will be the point $(x,y)$ that is related to your parameter $t$ and this is your desired parametrization.

The effect of the $t=\tan(x/2)$ substitution is to produce a rational parametrization of the unit circle. As $t$ travels over the reals, the ordered pair

$$\left(\frac{1-t^2}{1+t^2},\frac{2t}{1+t^2}\right)$$

*almost* travels over the unit circle. The only exception is the point $(-1.0)$, which can be thought of as corresponding to “$t=\infty$.”

In not quite algebraic form, this parametrization was known by Diophantus, and came before the tangent function appeared in the mathematical literature.

- Algebric proof for the identity $n(n-1)2^{n-2}=\sum_{k=1}^n {k(k-1) {n \choose k}}$
- Continuous functions between metric spaces are equal if they are equal on a dense subset
- Find a formula relating $\operatorname{arcsin}(x)$ and $\operatorname{arccos}(x)$
- Negation of uniform continuity
- Is one structure elementary equivalent to its elementary extension?
- When can a (finite) group be written as the quotient of some other group by its center?
- Prove the limit exists
- Counting symmetric unitary matrices with elements of equal magnitude
- Intuitive idea of the Lipschitz function
- Show $\lim_{N\to \infty}\sum_{k=1}^{N}\frac{1}{k+N}=\ln(2)$
- When is the image of a proper map closed?
- Union of Cartesian products: $X \times (Y \cup Z)= (X \times Y) \cup(X\times Z)$
- Best Algebraic Topology book/Alternative to Allen Hatcher free book?
- Finding the rate of change in direction
- Group of order $48$ must have a normal subgroup of order $8$ or $16$