Skip to main content
1 of 4
Dima Pasechnik
  • 14k
  • 2
  • 34
  • 70

representing positive integers $n$ by binary forms $n=ax^2+by^2$, $a\geq 0$, $b\geq 0$

In there a finite set of $(a_k,b_k)\in\mathbb{Q}_{\geq 0}\times \mathbb{Q}_{\geq 0}$ so that any $n\in \mathbb{Z}_{>0}$ can be written as $n=a_k x^2+b_k y^2$ for some $k$ ?

This is related to things like universal binary quadratic forms, but in my case I don't allow cross-terms $c_k xy$, and everything is nonnegative.

I imagine this must be well-known, but I can't find a reference.

Dima Pasechnik
  • 14k
  • 2
  • 34
  • 70