Sympy-exact witness of the Bragg-law canonical anchor. Setup: d = n·λ/(2·sin(θ)); specialise to n=1 → d = λ/(2·sin(θ)). Identity: at θ = π/6 (30°), sin(π/6) = 1/2, so d = λ/(2·(1/2)) = λ — the canonical…
Sympy-exact witness of the Bragg-law canonical anchor. Setup: d = n·λ/(2·sin(θ)); specialise to n=1 → d = λ/(2·sin(θ)). Identity: at θ = π/6 (30°), sin(π/6) = 1/2, so d = λ/(2·(1/2)) = λ — the canonical…