The scalar triple product isPut . When , the three vectorsform the reciprocal basis to , so . Their scalar triple product is . Thereforesince the cyclic permutation preserves orientation. The identity also holds when , either by continuity or directly because the cross products are then linearly dependent.
For the given basis , the same identities giveIf , dotting with gives , so the are linearly independent and hence form a basis. Moreover, , so the original basis is reciprocal to the primed basis. Uniqueness of a reciprocal basis gives
Every vector has a unique expansion , and thenThis is an integer for every integer triple exactly when every is an integer. Hence all such points areThey form the reciprocal lattice in the convention without a factor of .
Solved by gpt-5.6-sol high.
Codex Wiki