1
$\begingroup$

To my knowledge, Fermat primes, i.e. primes of the form $2^{2^n}+1$ were the first to play a role in a mathematical result, namely in the characterization of constructible regular n-gons. Gauss discovered the constructability of the regular Heptadecagon (http://en.wikipedia.org/wiki/Heptadecagonhttp://en.wikipedia.org/wiki/Heptadecagon) in 1796.
Not much later, in 1805, Sophie Germain proved Fermat's conjecture for primes $p$ for which $2p+1$ is also prime.

My Question is: Have there been any mathematical results, that are not related to the properties of prime numbers and, were found prior to Gauss' discovery of the constructability of the regular Heptadecagon, that were formulated via a proper subset of the prime numbers, that was characterized via a parameterized expression.

$\endgroup$
9
  • 4
    $\begingroup$ Do primes of the form 4k+1 count? (Fermat and Euler on sums of two squares.) Gerhard "Ask Me About System Design" Paseman, 2014.03.31 $\endgroup$ Commented Mar 31, 2014 at 18:52
  • 1
    $\begingroup$ We have those of the form $2n+1$, too :-) $\endgroup$ Commented Mar 31, 2014 at 22:39
  • $\begingroup$ @GerhardPaseman I would not count primes of the form 4k+1 as an example, because they are related to a theorem about properties of prime numbers, but I admit that I need to edit my question in that respect. $\endgroup$ Commented Apr 1, 2014 at 3:42
  • $\begingroup$ @MarianoSuárez-Alvarez What is the related mathematical result that was found prior to Gauss? $\endgroup$ Commented Apr 1, 2014 at 3:48
  • $\begingroup$ @ManfredWeis, Euclid had shown the infinity of primes of that form, say! $\endgroup$ Commented Apr 1, 2014 at 4:04

1 Answer 1

4
$\begingroup$

An earlier example than the Fermat primes is the class of primes of the form $2^n-1$, the so-called Mersenne primes. These occur in Euclid's theorem that $2^{n-1}(2^n-1)$ is perfect when $2^n-1$ is prime, and in the complementary theorem of Euler that these are all the even perfect numbers.

$\endgroup$
1
  • $\begingroup$ very nice example; I would be surprised if something earlier would be found $\endgroup$ Commented Apr 1, 2014 at 3:50

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .