1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Derivation of the Area Formula for Triangles Using Axioms

  1. Apr 9, 2015 #1
    From Apostol's Calculus Volume I, "Area as a Set Function"

    1. The problem statement, all variables and given/known data:

    Right triangular regions are measurable because they are constructed from the intersection of two rectangles. Prove that all triangular regions are measurable and have an area of the product of one-half, their base length, and their height.

    2. Relevant equations
    (The class of all measurable sets is referred to as M and the following axioms are relevant to this problem.)
    a(x) = Area of x
    1. If S and T are both sets in M, then S ∪ T is in M and a(S ∪ T) = a(S) + a(T) - a(S ∩ T).
    2. All rectangles are members of M, and their area can be calculated as the product of their base length and their height.

    3. The attempt at a solution
    Take an arbitrary triangle and take the longest side as the base and extend a parallel line from it's height to it's base, thus forming two right triangles. This can be done to any triangle, thus by axiom 1 and the previously known information that all right triangles are measurable we can conclude that all triangular regions are also measurable. As for the area of this arbitrary triangular region, we inscribe it within a rectangle with base and height equal to that of the triangle. This forms two additional triangles that are congruent to their respective counterparts in the inscribed triangle and the sum of these parts equals the area of the entire rectangle. We find that this inscribed triangle is precisely one half the area of the rectangle. Thus the area of the triangle is equal to one-half times its base times its height.
    Last edited by a moderator: Apr 9, 2015
  2. jcsd
  3. Apr 9, 2015 #2


    Staff: Mentor

    Do you have a question?

    If you're asking whether your proof is reasonable, it looks OK to me except for one part.
    I think I understand what you're trying to say, but what you actually say is pretty confused.
    "extend a parallel line" -- I think you mean "extend a perpendicular from the top vertex of the triangle to the base..."

    When you say "extend a parallel line" the obvious question is "parallel to what?"
  4. Apr 10, 2015 #3
    Yes, I meant "Take the longest side of the triangle as its base and extend a perpendicular from the vertex opposite the base." Sorry, I must have been thinking about something else while writing up the proof. Is there any improvements that could be made?
    Last edited: Apr 10, 2015
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Have something to add?
Draft saved Draft deleted