Skip to main content
2 of 4
rectify
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.


EDIT: after a comment by Ofir, I'd like to ask about the case of $n$ being a prime. Already something like 25% of all primes are of the form $x^2+y^2$, so one can wonder whether finitely many forms would suffice for all primes.

Dima Pasechnik
  • 14k
  • 2
  • 34
  • 70