Following Thierry's last post on the thread "Help with beginning to
contribute to set.mm".
There are many ways to characterize the set of points in a triangle. I
think the simplest to state is by using barycentric coordinates:
(triangle with vertices A, B, C \in \C) = \{ X \in \C | \exists a, b, c \in
\R_{\geq 0}, a + b + c = 1 and X = a A + b B + c C \}
This generalizes to all simplices in any dimension (starting with dimension
0).
By the way, I think that in your (Thierry) description, you got the
opposite sign for F and your S is actually a parallelogram.
Benoit
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/metamath/ae995c42-1dbe-419e-99ec-d6bc0146f943%40googlegroups.com.
