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.