Let $k$ be a field of characteristic $\neq 2$. For a non-zero element $a \in k^*$, let us write $[a] \in H^1(k,\mathbb{Z}/2)$ for the Galois cohomology class corresponding to the quadratic extension $k(\sqrt{a})/k$. If $a,b \in k^*$ are non-zero elements then the class $[a] \cup [b] \in H^2(k,\mathbb{Z}/2)$ is trivial if and only if $b$ is a norm from $k(\sqrt{a})/k$. In particular, if $ab = -1$ then $b=-a$ is a norm from $k(\sqrt{a})/k$ and hence $[a] \cup [b] = 0$. I have a reason to believe the following generalization is true:

**Claim**: Let $a_1,...,a_n \in k^*$ be such that $\prod_i a_i = -1$. Then $[a_1] \cup [a_2] \cup ... \cup [a_n] = 0$.

Is this claim true?

One way to approach this problem is via quadratic forms. Let us denote by $\left<b_1,...,b_n\right>$ the isomorphism class of the quadratic form $\sum_i b_i x_i^2$. The Witt ring $W(k)$ of $k$ is the ring generated by isomorphism classes of non-degenerate quadratic forms over $k$, modulu the relation $\left<1,-1\right> \sim 0$ (more precisely, the addition in $W(k)$ is determined by the direct sum operation and multiplication by tensor product). Let $I \subseteq W(k)$ be the ideal generated by forms of even rank. A deep result in the theory of quadratic forms (closely related to Milnor's conjecture), is that there is a natural isomorphism of graded rings $$ \oplus_n I^n/I^{n+1} \stackrel{\cong}{\longrightarrow} H^*(k,\mathbb{Z}/2) .$$ In particular, the class of $\left<1,-a\right> \in I$ (mod $I^2$) is sent to the class $[a] \in H^1(k,\mathbb{Z}/2)$, and hence the class of $\left<1,-a_1\right> \otimes ... \otimes \left<1,-a_n\right>$ is sent to $[a_1] \cup ... \cup [a_n]$. A possible strategy is then to show that if $\prod_i a_i = -1$ then the quadratic form $\left<1,-a_1\right> \otimes ... \otimes \left<1,-a_n\right>$ (which has rank $2^n$) is trivial (in the sense that it is isomorphic to a direct sum of $2^n$ copies of $\left<1,-1\right>$).

1more comment