A fatorao de Leibniz e o Problema 25 - Captulo 19 - Histria da Matemtica BOYER Carl B.

Antecedendo a resoluo do problema 25 do captulo 19 do livro Histria da Matemtica, far-se- a

verificao da fatorao de Leibniz para
4 4
x a + expressa no texto:

( ) ( ) ( )( ) ( ) ( )
2 2
4 4 4 4 2 2 2 2 2 2 2 2 2 2 2
x a x a i x a i x a i x a i x a i x a i ( + = = = + =

( ) ( )( ) ( )
4 4
x a x a i x a i x a i x a i + = + + , na qual 1 i = .

Problema 25 - Captulo 19
Verifique a afirmao de Leibniz de que 6 1 3 1 3 = + + .
Resoluo:
A afirmao de Leibniz para a decomposio imaginria de um nmero real positivo pode ser escrita,
entretanto, como 6 1 3 1 3 i i = + + , assumindo que 1 i = . Seja, ento, o desenvolvimento da
expresso, na qual a e b so considerados reais:

( )
2
a ib a ib a ib + + = + 2 a ib a ib a ib + + +

( )
( )( ) ( )
2
2
2
2 2 2 2 a ib a ib a a ib a ib a a ib + + = + + = +

( ) ( )
2
2 2
2 a ib a ib a a b + + = + +
Para comprovar a afirmao de Leibniz, deve-se ter

( )
2 2
2 6 a a b + + =
2 2
3 a a b + + =
2 2
3 a b a + =
( )
( )
2
2
2 2
3 a b a + =

2
a
2 2
9 6 b a a + = +
2
9 6 b a =
A partir da relao acima, admitindo-se que a deve ser inteiro positivo, tem-se
- para 1 a = :

2
9 6 1 b =
2
3 b = 3 b =
- para 2 a = :

2
9 6 2 b =
2
3 b = 3 b = 3 b i =
Nota-se que, para valores de a maiores que 1, o valor de b imaginrio, o que no condiz com a hiptese
assumida inicialmente. Da, tem-se, para 1 a = e 3 b = ,

( )
( )
2
2
2
1 3 1 3 2 1 1 3 i i
| |
+ + = + +
|
\

( )
( )
2
1 3 1 3 2 1 1 3 i i + + = + +

( )
( )
2
1 3 1 3 2 1 2 i i + + = +
( )
2
1 3 1 3 6 i i + + =
1 3 1 3 6 i i + + =

Em tempo:
Nota-se que, se a for inteiro negativo, vrias expresses podem ser encontradas para 6 :
- para 1 a = :
( )
2
9 6 1 b =
2
15 b = 15 b =
a partir do que se escreve:

( ) ( )
2
2 2
2 a ib a ib a a b + + = + +
( )
( )
( )
2
2
2
1 15 1 15 2 1 1 15 i i
| |
+ + = + +
|
\


( )
( )
( )
2
1 15 1 15 2 1 1 15 2 1 4 i i + + = + + = +

( )
2
1 15 1 15 6 i i + + = 1 15 1 15 6 i i + + = ;
- para 2 a = :
( )
2
9 6 2 b =
2
21 b = 21 b =
a partir do que se escreve:

( ) ( )
2
2 2
2 a ib a ib a a b + + = + +
( )
( )
( )
2
2
2
2 21 2 21 2 2 2 21 i i
| |
+ + = + +
|
\


( )
( )
( )
2
2 21 2 21 2 2 4 21 2 2 5 i i + + = + + = +
( )
2
2 21 2 21 6 i i + + =
2 21 2 21 6 i i + + = ;
e assim sucessivamente. Ou seja, a partir do momento em que foi assumida a igualdade
( )
2 2
2 6 a a b + + = , que implica na relao
2
9 6 b a = , pde-se escrever vrias expresses semelhantes
quela de Leibniz.

Outra forma de verificar a afirmao de Leibniz, mais direta:

( )
2
1 3 1 3 1 3 i i i + + = + 2 1 3 1 3 1 3 i i i + + +

( )
( ) ( )
2
2 2
1 3 1 3 2 2 1 3 1 3 2 2 1 3 2 2 1 4 i i i i i + + = + + = + = + +

( )
2
1 3 1 3 2 2 2 6 i i + + = + = 1 3 1 3 6 i i + + = .
Para as outras expresses acima:

( )
2
1 15 1 15 1 15 i i i + + = + 2 1 15 1 15 1 15 i i i + +

( )
( ) ( )
( )
2
2
2
1 3 1 3 2 2 1 15 1 15 2 2 1 15 2 2 1 15 i i i i i + + = + + = + = + +

( )
2
1 15 1 15 2 2 4 6 i i + + = + = 1 15 1 15 6 i i + + = .

( )
2
2 21 2 21 2 21 i i i + + = + 2 2 21 2 21 2 21 i i i + +

( )
( )( )
2
2 21 2 21 4 2 2 21 2 21 4 2 2 21 2 21 i i i i i i + + = + + = + +

( )
( )
2
2
2
2 21 2 21 4 2 2 21 4 2 4 21 i i i + + = + = + +

( )
2
2 21 2 21 4 2 5 6 i i + + = + = 2 21 2 21 6 i i + + = .
Comentrio:
Obviamente, partindo-se da expresso conhecida fornecida por Leibniz, fica relativamente fcil escrever
as expresses anteriores. Contudo, o caminho que o matemtico seguiu, se foi partindo de 6 , bastante
mais complicado se no houver a noo da resposta, lembrando ainda que tudo foi feito no sculo 17. Ou
seja, provar que 6 igual a 1 3 1 3 i i + + mais difcil que o inverso.