How do you prove this statement in geometry?

  • Thread starter Thread starter phoenixthoth
  • Start date Start date
  • Tags Tags
    Geometry
AI Thread Summary
A polygon with nonnegative area requires at least three points, while a polyhedron with nonnegative volume needs a minimum of four points. The discussion highlights that a single point can be considered a polygon with zero area, which is nonnegative. The complexity of proving these statements using geometry versus linear algebra is noted, with the latter being simpler. Additionally, the concept of measure in higher dimensions is addressed, emphasizing that in infinite-dimensional spaces, traditional volume measures may not apply. The conversation underscores the importance of understanding cardinality and dimensionality in geometric proofs.
phoenixthoth
Messages
1,600
Reaction score
2
A polygon with nonnegative area cannot be formed with fewer than 3 points.
A polyhedra with nonnegative volume cannot be formed with fewer than 4 points.
A hyperspace with nonnegative measure cannot be formed with fewer than n points.

What I mean by "3 points" is that the cardinality of the set of vertices is 3.
 
Mathematics news on Phys.org
phoenixthoth said:
A polygon with nonnegative area cannot be formed with fewer than 3 points.

Actually a single point is a polygon of zero area which is nonnegative.

When you say "prove this statement in geometry" are you saying "prove this statement, which has to do with geometry" (because a proof using linear algebra is pretty easy) or are you asking "prove this statement using geometry" which I think would be significantly harder
 
phoenixthoth said:
A polygon with nonnegative area cannot be formed with fewer than 3 points.
A polyhedra with nonnegative volume cannot be formed with fewer than 4 points.
A hyperspace with nonnegative measure cannot be formed with fewer than n points.

What I mean by "3 points" is that the cardinality of the set of vertices is 3.

Take any n-1 points and build a small prism based on the polygon they create in a n-1-dimensional hyperplane (the polygon has to be completely inside the prism). Prism's volume is not more that S*h, where S is the "area"(n-1-dimensional) of the polygon and h is the length of the edge not coplanar with the hyperplane. Now it's clear that S*h tends to 0 as h tends to 0. By definition it means that the set of points of the polygon has "zero Lebesgue measure".
I hope you mentioned the word "cardinality" for no reason, because in an infinite-dimensional space volume as we're used to it (Lebesgue measure) doesn't exist.
 
Sorry, I meant positive measure.
 
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. In Dirac’s Principles of Quantum Mechanics published in 1930 he introduced a “convenient notation” he referred to as a “delta function” which he treated as a continuum analog to the discrete Kronecker delta. The Kronecker delta is simply the indexed components of the identity operator in matrix algebra Source: https://www.physicsforums.com/insights/what-exactly-is-diracs-delta-function/ by...
Fermat's Last Theorem has long been one of the most famous mathematical problems, and is now one of the most famous theorems. It simply states that the equation $$ a^n+b^n=c^n $$ has no solutions with positive integers if ##n>2.## It was named after Pierre de Fermat (1607-1665). The problem itself stems from the book Arithmetica by Diophantus of Alexandria. It gained popularity because Fermat noted in his copy "Cubum autem in duos cubos, aut quadratoquadratum in duos quadratoquadratos, et...
Thread 'Imaginary Pythagorus'
I posted this in the Lame Math thread, but it's got me thinking. Is there any validity to this? Or is it really just a mathematical trick? Naively, I see that i2 + plus 12 does equal zero2. But does this have a meaning? I know one can treat the imaginary number line as just another axis like the reals, but does that mean this does represent a triangle in the complex plane with a hypotenuse of length zero? Ibix offered a rendering of the diagram using what I assume is matrix* notation...

Similar threads

Back
Top