I posted a picture since the syntax for this one seems quite complex:

I found this: Discrete Fourier Transform - proof that columns of matrix are orthogonal which only shows that are orthogonal. In my case I need to show that they are eigenvectors. I have no idea how show this