Triangles are easy and tetrahedra are hard

https://www.quantamagazine.org/triangles-are-easy-tetrahedra-are-hard-20220131/

by rbanffy • 4 years ago

64 16 4 years ago

phkahler2• 4 years ago

All that reading to learn that one property of triangles doesnt extend to tetrahedron? Blah.

Did you know if you make a 4x4 matrix where the columns are the (x,y,z,1) vertices of a tetrahedron, the rows of its inverse are the coefficients of the plane equations of the faces of that tetrahedron? You can also use the adjoins. Geometry is fun.

prvc• 4 years ago

They have really failed to maintain the quality of their articles as they have grown.

andreskytt• 4 years ago

I found this stimulating. I don’t need to be shown some ancient mysteries of prime numbers to be entertained, it is quite sufficient to put my mind on the track of “why would that not work in higher dimensions?” Why isn’t our universe built to scale with dimensions and where exactly does it say that?

jacobolus• 4 years ago

That seems like a pretty unfair summary. The author is a high school math teacher and the audience is clearly relatively non-technical.

But I didn’t know that rational tetrahedra (dihedral angles all rational multiples of π) were classified in 2020 https://arxiv.org/abs/2011.14232

voldacar2• 4 years ago

If you have a tetrahedron ABCD, you can also get its volume by dividing the scalar triple product of the vectors AB, AC, and AD by 6. This is because a parallelepiped is made of 6 identical tetrahedra

Accidentally discovered that when I was bored during calculus class :]

howling2• 4 years ago

While your volume formula is correct, I don't see a way to cut a general parallepiped into 6 identical tetrahdtra. In fact, I don't see how it can be accomplished with a cube.

phkahler2• 4 years ago

I really want to say the volume of a tetrahedron is something like a constant (maybe 1/6) times the determinant of the 4x4 matrix of points. This would be related to what you said. Take the determinant by expansion along the row of 1's, which results in the sum of 4 sub-determinants which... I don't remember ;-)

fbanon• 4 years ago

Did you know if you make a 4x4 matrix where the columns are the (x,y,z,1) vertices of a tetrahedron, the rows of its inverse are the coefficients of the plane equations of the faces of that tetrahedron? You can also use the adjoins. Geometry is fun.

Nice! And it's pretty easy to see why:

- in homogenous coordinates the plane equation is just dot(point, plane) = 0

- for every column (i.e. point) of a 4D matrix, exactly 3 rows (i.e. planes) of its inverse will have a dot product of 0

j7ake• 4 years ago

You can extend these triangles and tetrahedral analyses into higher dimensional simplexes, which give insights into structure of categorical probability distributions as number of categories increases.

One interesting property is that the volume of the simplex goes something like 1 / n!, which breaks a lot of intuition of what happens as n gets large.

moonchild• 4 years ago

It was pointed out recently (I think in the 'high-dimensional space is pointy' thread) that in high dimensions, the (n-d hyper)cube may not be the most meaningful measure of volume (and that euclidean distance may not be the most meaningful measure of distance).

plafl• 4 years ago

Reading the title I thought this was going to be about the impossibility of decomposing all 3D polyhedra in tetrahedra [1]. As you may know every polygon in 2D can be however decomposed into triangles, but this result doesn't, surprisingly, extend to 3D:

[1] https://en.wikipedia.org/wiki/Sch%C3%B6nhardt_polyhedron

BTW, whether or not a polyhedron is tetrahedralizable is NP-Complete.

Triangles are easy and tetrahedra are hard

Related Stories