Actually,I asked you because you are a Landau Lifshitz lover,and that is the only book I came across which proves invariance of interval without using Lorentz transformations directly...
But,the things were a bit heuristical there,so I thought if there is a more rigorous proof of that,which u have seen..just as u said "I guess, but a hardcore mathematician may do it.. I don't know.."