areadefinite integralsintegration
When finding the area under a curve, there appears to be a contradiction
Like area under integral sinx from 0 to 2pi is zero because, the areas above and below cancel each other.
But when finding the area under a question like one given below that doesn't seem to be the case, Why is that so?
Shouldn't this area be zero since its also symmetrically occupied above and below x axis(just like the case of sinx)?
Well, well, well, this question actually can go really deep into the elementary ideas of integration, or, in general, finding the area under a curve.
In the ancient times, and especially during the period when mathematicians such as Eudoxus and Archimedes lived, the main way in which one could calculate the area between non-linear curves was the Method of Exhaustion. We will examine, in short, how would this work on calculating the area of a circle.
Let a circle $\mathcal{C}$ of radius $R$ and let two squares, $A_1A_2A_3A_4$ (red) and $B_1B_2B_3B_4$ (blue) such that $A_1A_2A_3A_4$ is inscribed in $\mathcal{C}$ and $B_1B_2B_3B_4$ is circumscribed to $\mathcal{C}$. Then, we have the following situation:
Now, the next step is to enclose the circle in some "tighter" canonical polygons. An easy construction is to construct the octagons that are induced from the two squares $A_1A_2A_3A_4$ and $B_1B_2B_3B_4$, as it is depicted in the following shape:
Then one can move a step forward to create a deca-exagon (16 angles canonical polygon) etc. It is clear the the red polygon is always underestimating the area of the circle and the blue polygon is always oversetimating it.
Now, it is relatively easy, using the know formulas for the area of canonical polygons, to prove that both the red and the blue area do converge to the area of the circle. However, since back then calculus was not something "known" with the modern-day meaning (numbers were always treted as geometrical objects and not as abstract notions) they used the following form of Eudoxus' principle:
Eudoxus' Principle: Given two quantities $A,B$, if, from the first quantity $A$ we substract a quantity $C$ that is larger that the half of $A$ and, then, from the remnant ($A-C$ in modern notation) we substract a quantity that is larger than it half and we continue this way, then, after a finite number of steps, the remnant quantity will be less than $B$.
So, in that framework, it was sufficient to prove that each construction of a new $2^n-$sided polygon was "cutting" more than half of the error - which can be proved, but has a long and tiring proof and, hence, is out of the spectrum of this answer. After that, "convergence" (this is a modern term; it was not used back then) was ensured. What was missing was to show that these two areas (blue and red) were both "converging" to the area of the circle. To do so (since calculus and, hence, limits, were unknown) an argument - again tiring, in the general case - of double contradiction was used.
It is remarkable that, in the same way one could find the volume of the sphere and several other 3D shapes.
It is called Riemann Integral, however, in order to find the very solid geometric foundation of the notions of integral and integration we should investigate the so-called Darboux Upper and Lower Sums.
Let us consider a bounded function $f:[a,b]\to\mathbb{R}$ - boundedness is necessary for Rieman-integration; else, what would be the meaning of the area under that curve? Then, let a partition $\mathcal{P_n}=\{a=x_0<x_1<\dots<x_n=b\}$ of the interval $[a,b]$ and also let $m_k=\inf\limits_{x\in[x_k,x_{k+1}]}f(x)$ and $M_k=\sup_{x\in[x_k,x_{k+1}]}f(x)$, $k=0,1,\dots,n-1$. Then we define the lower, $L(f,\mathcal{P_n})$, and upper $U(f,\mathcal{P_n})$, Darboux sums for that partition and function as follows: $$\begin{align*} L(f,\mathcal{P}_n)&=\sum_{k=0}^{n-1}m_k(x_{k+1}-x_k)\\ U(f,\mathcal{P}_n)&=\sum_{k=0}^{n-1}M_k(x_{k+1}-x_k) \end{align*}$$
Also, we give the following definition:
Thinner partition: A partition $\mathcal{Q}$ is called thinner than $\mathcal{P}$ if: $$\mathcal{P}\subseteq \mathcal{Q}$$
Now, as we go forward to thinner partitions $\mathcal{P_k}$, with $k>n$, we say that $f$ is Riemann integrable if: $$\lim_{k\to\infty}U(f,\mathcal{P_k})=\lim_{k\to\infty}L(f,\mathcal{P_k})=I\in\mathbb{R}$$ for every sequence of "decreasing" partitions (every partition of the sequence is thinner than every previous one).
Note now that, in this way, Rieman integration is "just" a more generalised implementation of the Method of "Exhaustion" that ancient mathematicians used. Instead of canonical polygons, we do use the polygons induced from the partition of $f$'s domain we choose and these polygons are, in a way inscribed and circmuscribed to that curve. Also, thinner partitions are, in a sense, the same thing as going form a canonical $n-$polygon to another canonical $m-$polygon, with $m>n$. Moreover, what we seek, in order to be able to say that a function is Riemann integrable, is for the two limits of the sequences of the estimations given by the Darboux sums do converge to the same number, which was also the wanted in the Method of Exhaustion, in spite of not being proved with modern day calculus but with "old-fashioned" - however, interesting - geometrical arguments.
So, to conclude, a function is not Riemann integrable exactly when the Method of Exhaustion cannot be applied to the curve that represents it graph.
However, this does not apply to Lebesgue integrability... (I don't feel this was the case the OP requested, however, I can extend to Lebesgue integration, if requested).
In a "palimpseston" (Παλίμψηστον) - a script written on parchement that has been scratched and re-wrtiten in a direction vertical to the previous one - that was found in the early 20th century in an orthodox monastery close to Constantinople, after a small "adventurous" trip and, eventually, the proper scientific investigation, it was found that, the original script was a letter that Archimedes had writen to Eratosthenes in which, among other things, he was explaining the way though which he could find the results he should prove, however, he notes that he does not consider this method to be a method of prooving his results, just a way to "get a felling" of what the goal is.
In one of his examples he describes the way he found the area of a parabolic part - see this article in wikipedia: https://en.wikipedia.org/wiki/Archimedes_Palimpsest - and at some point he mentions that the reason he cannot consider this a proof is that of using a "summation of segments over an interval of real numbers" - this is in modern terms, not the ones used by Archimedes! So, with respect to the historical frame, Archimedes was very close to the notion of infinite, non-countable summation that we give to the Riemann integral, nowadays.
If you're talking about between a graph of a function $f(x)$ and the x-axis, you need actually specify two lines parallel to $y$ axis to say 'which' area you are talking about. The choice of these two lines is basically determined by the boundary of the subset of you integrate over. For example, if you integrate over the set [3,4], then the lines between which you area is bounded is $x=3$ and $x=4$.
The question indefinite integral is, to ask about a function, which can directly take in these sets and spit out area? For instance, let's say I want to know the integral of $x^2$ over different sets $[0,1]$ , $[2,3]$, then I can first find the indefinite integral:
$$ \int x^2 dx = \frac{x^3}{3}+C$$
And find the area between each set by just plugging in the numbers, explicitly:
$$ \int_{[0,1]} x^2 dx = \frac{1^3}{3} - \frac{0^3}{3}$$
$$ \int_{[2,3]} x^2 dx = \frac{3^3}{3} - \frac{2^3}{3}$$
Note that the constant $C$ cancels out under subtraction of the function evaluated at the two boundary point.
Best Answer
When asked to find an area, you always have to know whether the current interpretation of "area" allows for areas to "cancel out", as you say.
Some times the context allows for this cancellation, such as when finding $$ \int_0^{2\pi}\sin x\,dx = 0 $$ and interpreting that as a statement about areas.
However, some times (such as when asked to find the area of a region of the plane), areas aren't allowed to cancel out. They only ever add up.
Basically, integrals can cancel, but areas never can. You will have to use your best judgement on a case-by-case basis to figure out which interpretation is relevant.