1. Area = a*h/2 2. Area = a*b*sin(C)/2 3. Area = a^{2}*sin(B)*sin(C)/(2*sin(B+C)) 4. Area = sqrt(s*(sa)*(sb)*(sc)) 

5. Area = f*g/2 v*w/2 6. Area = abs((x_{B}*y_{A}x_{A}*y_{B})+(x_{C}*y_{B}x_{B}*y_{C})+(x_{A}*y_{C}x_{C}*y_{A}))/2 

If the vertices are at integer points on a grid of
points then there is another: 7. Area = number of points inside triangle + half number of points on edge of triangle 1 
h is the height of the altitude of the triangle with base a.
The big rectangle is made up of two smaller rectangles with areas d*h and e*h. So the big triangle is made up of two smaller rightangled triangles whose areas are half of the smaller rectangles, i.e. d*h/2 and e*h/2. But a=d+e so the area of the large triangle is d*h/2+e*h/2 = a*h/2.
If one of the angles on the base is obtuse then the proof involves subtracting one halfrectangle from another.
h=b*sin(C) so using the result of 1 above gives the area of the triangle as a*b*sin(C)/2.
In the result of 2, there was nothing special about which angle and adjacent lines were used, since the same area will result, so we have Area = a*b*sin(C)/2 = b*c*sin(A)/2 = c*a*sin(B)/2.
This in turn leads to the sine rule: a*b*c/(2*Area) = a/sin(A) = b/sin(B) = c/sin(C). [This turns out to be the diameter of the circumcircle of the triangle (not proved here) so if this was D then the Area would be a*b*c/(2*D) = D^{2}*sin(A)*sin(B)*sin(C)/2, providing two extra formulae.]
So we can use b=a*sin(B)/sin(A) to get the area of the triangle as a^{2}*sin(B)*sin(C)/(2*sin(A)).
However A=pBC and sin(pX)=sin(X) so sin(A)=sin(B+C),
giving the result that the area of the triangle is a^{2}*sin(B)*sin(C)/(2*sin(B+C)).
From the diagram (and Pythagoras's theorem) we have a=d+e, b^{2}=h^{2}+d^{2},
and c^{2}=e^{2}+h^{2}.
So d=sqrt(b^{2}h^{2}),
and c^{2} =(ad)^{2}+h^{2}=a^{2}2*a*d+b^{2}=a^{2}2*a*sqrt(b^{2}h^{2})+b^{2},
which gives h=sqrt(4*a^{2}*b^{2}(a^{2}+b^{2}c^{2})^{2})/(2*a)
and with some rearrangement h=sqrt((a+b+c)*(a+b+c)*(ab+c)*(a+bc))/(2*a).
But from the result of 1, the area of the triangle is a*h/2,
i.e. sqrt((a+b+c)*(a+b+c)*(ab+c)*(a+bc))/4,
i.e. sqrt(((a+b+c)/2)*((a+b+c)/2)*((ab+c)/2)*((a+bc)/2)),
which is sqrt(s*(sa)*(sb)*(sc)) when s=(a+b+c)/2.
This result is called Heron's formula.
It could be rewritten as sqrt(2*(a^{2}*b^{2}+b^{2}*c^{2}+c^{2}*a^{2})(a^{4}+b^{4}+c^{4}))/4.
The area of the main triangle is the area of the enclosing
rectangle less the three external right angled triangles,
i.e. f*gf*w/2v*g/2(fv)*(gw)/2, [thanks to Gustavo Lau for correcting an error here]
which is f*g/2v*w/2.
This gets more complicated if the three vertices are not all on the enclosing rectangle (because one of the angles is obtuse); but the result holds even in this case where the sides of the enclosing rectangle become f+v and g+w and one of the sides of the triangle is a diagonal of the rectangle.
Following 5, we have f=x_{B}x_{C}, g=y_{A}y_{C}, v=x_{A}x_{C} and w=y_{B}y_{C}.
So from the result of 5 the area of the triangle is (x_{B}x_{C})*(y_{A}y_{C})/2(x_{A}x_{C})*(y_{B}y_{C})/2.
But this can be negative, depending on the direction in which the
angles are taken,
so taking the absolute value and rearranging
we can get the area as abs((x_{B}*y_{A}x_{A}*y_{B})+(x_{C}*y_{B}x_{B}*y_{C})+(x_{A}*y_{C}x_{C}*y_{A}))/2.
By adding triangles together, the result also extends to any simple polygon.
For a rectangle whose edges of length x and y follow the grid,
the area is x*y. The number of points strictly inside the
rectangle is (x1)*(y1), while the number of points on the edge
is 2*x+2*y.
Since (x1)*(y1)+(2*x+2*y)1=x*y the result is true for
rectangles of this form.
For a right angled triangle whose shorter edges of length x
and y follow the grid, the area is x*y/2, since it and its
congruent rotation together make up the earlier rectangle split
by a diagonal. The number of points strictly inside the right
angled triangle is (x1)*(y1)/2z/2 where z is the number on the
diagonal (but not in the vertices), while the number on the edge
is x+y+z+1.
Since (x1)*(y1)/2z/2+(x+y+z+1)1=x*y/2 the result is true for
right angled triangles of this form.
We can use this splitting tecnique to subtract any number of such right angled triangles from such a rectangle, without them having to be half the rectangle, since the area of the remaining shape plus that of the right angled triangles is that of the original recatangle. The number (counted with multiplicity) of points on the edge of the remaining shape and points on the edges of the right angled triangles is equal to the sum of the number of points on the edge of the rectangle, of twice the points (counted without multiplicity) newly on an edge, and of twice the number of right angled triangles (to reflect the effect of multiple counting of the verices on the diagonals of the right angled triangles). The number of points inside the the remaining shape and inside the right angled triangles is equal to the number of points inside the rectangle less the number (counted without multiplicity) newly on an edge. So for the remaining shape, which is this case is a general triangle, the result holds that the area is the number of points inside triangle plus half of the number of points on the edges minus one.
By adding triangles together, the result also extends to any simple polygon with its vertices at integer points on a grid of points.
© Henry
Bottomley October 2001. Circumnavigating
a cube and a tetrahedron
Pythagoras's
theorem in moving pictures Triangular
optical illusion
Medians
and area bisectors of triangles Triangles with given area and
perimeter