18.07.2014 Views

John Stillwell - Naive Lie Theory.pdf - Index of

John Stillwell - Naive Lie Theory.pdf - Index of

John Stillwell - Naive Lie Theory.pdf - Index of

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

1.6 Discussion 19<br />

√<br />

a 2 + b 2<br />

θ<br />

a<br />

b<br />

×<br />

√<br />

c 2 + d 2<br />

ϕ<br />

c<br />

d<br />

=<br />

√<br />

(a 2 + b 2 )(c 2 + d 2 )<br />

θ + ϕ<br />

ac − bd<br />

bc + ad<br />

Figure 1.6: The Diophantus “product” <strong>of</strong> triangles.<br />

The algebra <strong>of</strong> complex numbers emerged from the study <strong>of</strong> polynomial<br />

equations in the sixteenth century, particularly the solution <strong>of</strong> cubic<br />

equations by the Italian mathematicians del Ferro, Tartaglia, Cardano,<br />

and Bombelli. Complex numbers were not required for the solution <strong>of</strong><br />

quadratic equations, because in the sixteenth century one could say that<br />

x 2 + 1 = 0, for example, has no solution. The formal solution x = √ −1<br />

was just a signal that no solution really exists. Cubic equations force the<br />

issue because the equation x 3 = px + q has solution<br />

√<br />

√<br />

√<br />

x = 3 q (q 2 ( p<br />

)<br />

√<br />

3<br />

2 2) + 3 q (q 2 ( p<br />

) 3<br />

− +<br />

3 2 2) − −<br />

3<br />

(the “Cardano formula”). Thus, according to the Cardano formula the solution<br />

<strong>of</strong> x 3 = 15x + 4is<br />

√<br />

√ √<br />

x =<br />

√2 3 + 2 2 − 5 3 +<br />

√2 3 − 2 2 − 5 3 = 3 2 + 11i +<br />

3√<br />

2 − 11i.<br />

But the symbol i = √ −1 cannot be signaling NO SOLUTION here, because<br />

there is an obvious solution x = 4. How can 3 √<br />

2 + 11i +<br />

3√<br />

2 − 11i be the<br />

solution when 4 is?<br />

In 1572, Bombelli resolved this conflict, and launched the algebra <strong>of</strong><br />

complex numbers, by observing that<br />

(2 + i) 3 = 2 + 11i, (2 − i) 3 = 2 − 11i,

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!