I don't know if the following application has been mentioned in this thread. The last step in the solution of Hilbert's third problem is to prove that $\arccos(1/3)/\pi$ is an irrational number. This proves that the cube and the regular tetrahedron have different Dehn invariants, hence are not congruent.
|
1 | [made Community Wiki] | ||
|
|
||||
