After abelian varieties, K3 surfaces are the second most interesting special class of varieties. These have a rich internal geometry and a highly interesting moduli theory. Paralleling the famous Torelli theorem, results from Mukai and Orlov show that two K3 surfaces have equivalent derived categories precisely when their cohomologies are isomorphic weighing two Hodge structures. Their techniques also give an almost complete description of the cohomological action of the group of autoequivalences of the derived category of a K3 surface. The basic definitions and fundamental facts from K3 surface theory are recalled. As moduli spaces of stable sheaves on K3 surfaces are crucial for the argument, a brief outline of their theory is presented.