A three-dimensional Bravais lattice is the set of all integer combinations of three linearly independent primitive vectors. Its reciprocal lattice is
and the first Brillouin zone is the Wigner-Seitz cell of the origin in reciprocal space.
For the stated FCC lattice, the primitive-cell volume is
The reciprocal-basis formula gives
A reciprocal primitive cell, and hence the Brillouin zone, has volume
In the first Born approximation, with momentum transfer , the scattering amplitude is
For the spherical shell, align the polar axis with and use its radial Dirac delta function:
Therefore
Translation of each atomic potential multiplies its transform by a phase, so the crystal lattice structure factor gives
For an infinite lattice, the lattice Poisson summation formula turns the sum into
Thus the amplitude vanishes away from reciprocal-lattice momentum transfers.
In elastic scattering, and hence
The two shortest relevant reciprocal-vector lengths of this FCC lattice are
Both are kinematically available when . Assigning their scattering angles and , respectively, gives
Let the Bravais lattice have primitive vectors , and put
The reciprocal lattice has the basis
The scalar triple product and cross product identities give
Consequently every satisfies for every lattice point , and conversely these three conditions force the coefficients of in the reciprocal basis to be integers. This proves that the displayed vectors generate .
In the Born approximation, suppose that the crystal potential is the sum of translates of one atomic potential over the finite set of lattice sites. Its Fourier transform at the momentum transfer factors as
Thus the single-atom scattering amplitude is multiplied by the crystal lattice structure factor . Writing
separates the sum into three finite geometric series. For this gives
When the are large, a factor has a sharp maximum when . All three factors are therefore simultaneously large precisely when . These are the reciprocal-lattice peaks of a finite crystal.
For the stated Body-centered cubic lattice basis,
the reciprocal-basis formula gives
Equivalently,
The shortest nonzero reciprocal vectors have squared Euclidean norm , so
In elastic scattering, . If and is the angle between and , Euclidean geometry gives
The first possible diffraction peak therefore occurs at
as , by the small-angle approximation. This is the elastic Bragg scattering condition for the shortest reciprocal-lattice vector.