Sagnac area law ($\Delta t\simeq (2/c^2){\oint }_C\mathbf{v}\cdot d\mathbf{r}=4\mathbf{\Omega }\cdot \mathbf{A}/c^2$)

For a rigidly rotating prescribed vacuum path, use spatial coordinates attached to the apparatus and laboratory time $t$. At a path point $\mathbf{r}$, the local apparatus velocity is $\mathbf{v}=\mathbf{\Omega }\times \mathbf{r}$. A light displacement has instantaneous laboratory displacement $d\mathbf{r}+\mathbf{v}dt$, up to the common rotation of the spatial axes. The null condition is thereforeWrite $d\ell =|d\mathbf{r}|$. To first order in $|\mathbf{v}|/c$, the positive root isReversing the path reverses the dot product term but leaves the leading path-length term unchanged. Subtract the two return times and use the scalar triple product identity:This is a line integral version of the Sagnac area law; the vector area identity also follows from Stokes theorem. For a mirror-defined polygon the actual ray paths move slightly as the mirrors rotate; the stationary optical path at zero rotation gives the same first-order result. The prescribed-path calculation is an idealization, not an exact finite-speed formula for every moving-mirror layout.

The dot product explains the geometry: only the projection of the oriented vector area along the angular velocity contributes. A planar loop whose normal vector is perpendicular to $\mathbf{\Omega }$ has zero leading delay. For repeated traversals with the same orientation, the signed vector areas add; oppositely oriented lobes can cancel even when the total unsigned area is large. Equal perimeter alone does not imply equal response. A constant translational velocity contributes nothing to this leading closed-path line integral, since ${\oint }_{C}d\mathbf{r}=0$.

For a stationary rotating apparatus driven by a source with optical coherence and proper frequency ${\nu }_0$, define ${\lambda }_0=c/{\nu }_0$. The source wave phase advances by $2\pi {\nu }_0\Delta \tau$ between the emission times of the two contributions that meet at one readout spacetime event. Define the signed phase lag $\Delta \varphi$ of the $+$ contribution and the corresponding displacement $N$ in units of one interference fringe byThe sign of a photographed spatial displacement also depends on the imposed fringe orientation; this definition fixes the theoretical sign through the delayed beam. In an equal-amplitude output, a representative light intensity is $I(x)=I_{\max }[1+\cos (Kx-\Delta \varphi )]/2$, where $K$ sets the chosen spatial interference fringe spacing $2\pi /K$. Moving $\Delta \varphi$ by $2\pi$ shifts the pattern by one fringe. A fixed output exactly at a bright or dark fringe has zero first-order intensity slope, so a known phase bias or a spatial fringe readout is useful for determining a small signed delay.

Choose a square of side $0.30\mathrm{m}$, a rectangle $0.40\mathrm{m}$ by $0.20\mathrm{m}$, ${\lambda }_0=633\mathrm{nm}$ and $\Omega =+10\mathrm{rad}{\mathrm{s}}^{-1}$, with angular velocity parallel to the positive normal vectors. Both perimeters are $1.20\mathrm{m}$, but the areas are $0.090{\mathrm{m}}^2$ and $0.080{\mathrm{m}}^2$. Using $c=299792458\mathrm{m}{\mathrm{s}}^{-1}$, the leading predictions areThese are original model choices and predictions, not measured points. The square has $9/8$ times the response despite the equal path lengths. Reversing from $+\Omega$ to $-\Omega$ gives $N(-\Omega )-N(+\Omega )=-2N(+\Omega )$: the displacement magnitude between opposite rotations is twice the displacement magnitude from rest. Confusing these two comparisons introduces a factor-of-two error.