Given an integer
,
what is the smallest
so that there is a set of binary quadratic forms
for
which
is nontrivially linearly dependent? We show that if
, then
, and for
, construct such
a set with
.
Many explicit examples are given, along with techniques for producing others.
Keywords
polynomial identities, super-Fermat problem for forms