Math 2.0

statement theorem

Solutions of Pell's equation are powers of the fundamental solution

Statement

Let dd be a positive integer that is not a perfect square, and let (x1,y1)(x_1, y_1) be the fundamental solution of x2−dy2=1x^2 - d y^2 = 1. Let xx and yy be integers with x≥1x \ge 1, y≥0y \ge 0 and x2−dy2=1x^2 - d y^2 = 1. Then there is a unique natural number nn with x+yd=(x1+y1d)nx + y \sqrt{d} = (x_1 + y_1 \sqrt{d})^n.

Remarks

Conversely, each power (x1+y1d)n=xn+ynd(x_1 + y_1 \sqrt{d})^n = x_n + y_n \sqrt{d} gives a solution (xn,yn)(x_n, y_n). The integer solutions are exactly the pairs with x+yd=±(x1+y1d)nx + y \sqrt{d} = \pm (x_1 + y_1 \sqrt{d})^n for n∈Zn \in \mathbb{Z}. For d=2d = 2: (3+22)2=17+122(3 + 2\sqrt{2})^2 = 17 + 12 \sqrt{2}, so (17,12)(17, 12) is the next solution after (3,2)(3, 2). In algebraic terms, the units of norm 11 in Z[d]\mathbb{Z}[\sqrt{d}] form the group {±1}×Z\{\pm 1\} \times \mathbb{Z}.

Explanations

L1 human

Once you know the smallest solution, you get all the others by taking powers. Expand (x1+y1d)n(x_1 + y_1 \sqrt{d})^n and read the integer part and the coefficient of d\sqrt{d}.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 5 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Diophantine equation concept
  2. Pell's equation definition
  3. Existence of nontrivial solutions of Pell's equation statement
  4. Fundamental solution of Pell's equation definition
  5. Solutions of Pell's equation are powers of the fundamental solution statement

Sources

  1. Web https://en.wikipedia.org/wiki/Pell%27s_equation, Additional solutions from the fundamental solution