[math-fun] Tetrahedral altitudes