My Calculus book says:
"We know that the area under a curve $y=F(x)$ from $a$ to $b$ is $A=\int_a^b F(x) dx$, where $F(x)\geqslant0$. If the curve is traced out once by parametric equations $x=f(t)$ and $y=g(t)$, $\alpha \leqslant t \leqslant \beta$, then we can calculate an area formula by using the Substitution Rule for Definite Integrals as follows:
$A=\int_a^b y dx =\int_\alpha^\beta g(t)f'(t)dt\,\,\,\,\,\,\,\,\,\,$[or $\int_\beta^\alpha g(t)f'(t)dt$] ".
Also, it never says that if we have $dx/dt=f'(t)$ we can split the ratio of differentials and obtain $dx=f'(t)dt$.
Could someone deduce the formula of the area under a parametric curve without the use of this mysterious rule of "splitting" the ratio of differentials?
The book deduced the Substituition Rule without doing the split, but said that we could use the split as some non-proved equation to remember how to use this rule. But it is not helpful to me to understand how Substituition Rule was used to obtain the area under parametric curve without using this "split trick".
Best Answer
Ok. thank you gimusi. Your notation gave me an idea, and I think I deduced the formula without the use of equations with differentials like $dx=f'(t)dt$, which is what i was looking for. If someone is reading this and think it is right, please let me know.
So, let me try...
Given a parametric curve with $y=f(t), x=g(t),$ and assuming that $y$ could be writen in terms of x, in other words, $y=F(x)$, we have these equalities:
$y=F(x)=F(g(t))=f(t)$
Now, since the Substitution Rule give us the following equation:
$\int f(g(x))g'(x)dx=\int f(u)du\,\,\,\,\,\,\, with\,\,\,\,\,\,\,u=g(x)$
(which can be deduced without the use of equations with differentials like $du=g'(x)dx$), we could rewrite the rule by just changing some letters and have:
$\int F(g(t))g'(t)dt=\int F(x)dx\,\,\,\,\,\,\, with\,\,\,\,\,\,\,x=g(t)$
then, using the case of the parametric curve above, that is, $F(g(t))=f(t)$ and $F(x)=y$, we have:
$\int f(t)g'(t)dt=\int ydx$
That is it. It is enough to satisfy my curiosity, although I think that there is some more steps to prove the relationship between the definite integrals that I firstly asked, which is:
$A=∫^b_aydx=∫^β_αg(t)f′(t)dt\,\,\,\,\,\,\,\,\,[or ∫^α_βg(t)f′(t)dt]$