Demonstração Formal de um Algoritmo Alternativo da Multiplicação em Base 10
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866911299121709056 |
|---|---|
| author | Dias, Albert Lucas Lima Dias, Anthony Lima Couto, Ib Santos, Mabia Lima Chaves dos Morro, Marcus Vinícius da Conceição |
| author_facet | Dias, Albert Lucas Lima Dias, Anthony Lima Couto, Ib Santos, Mabia Lima Chaves dos Morro, Marcus Vinícius da Conceição |
| contents | This article presents and formalizes an elementary multiplication method discovered independently by a 10-year-old student, Anthony Lima Dias. The method reorganizes digit interactions in base-10 multiplication into a structured sequence of partial sums, reducing cognitive load and allowing reliable mental or semi-written computation. We provide a full mathematical proof of correctness, a comparison with the classical algorithm, formal notation, and a detailed contextual account of the discovery. The method expands the known catalog of student-invented algorithms and raises questions about cognitive pathways in arithmetic learning.
Keywords: multiplication methods, mathematics education, mental calculation, student-invented algorithms, alternative algorithms, arithmetic strategies. -- --
Este artigo apresenta e formaliza um metodo elementar de multiplicacao descoberto de forma independente por um estudante de 10 anos, Anthony Lima Dias. O metodo reorganiza as interacoes entre algarismos na multiplicacao em base 10 em uma sequencia estruturada de somas parciais, reduzindo a carga cognitiva e permitindo um calculo mental ou semi-escrito mais confiavel. Fornecemos uma demonstracao matematica completa de corretude, uma comparacao com o algoritmo tradicional, notacoes formais e um relato contextual detalhado da descoberta. O metodo amplia o catalogo conhecido de algoritmos inventados por estudantes e levanta questoes sobre caminhos cognitivos na aprendizagem aritmetica.
Palavras-chave: metodos de multiplicacao, educacao matematica, calculo mental, algoritmos inventados por alunos, algoritmos alternativos, estrategias aritmeticas. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2512_03105 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Demonstração Formal de um Algoritmo Alternativo da Multiplicação em Base 10 Dias, Albert Lucas Lima Dias, Anthony Lima Couto, Ib Santos, Mabia Lima Chaves dos Morro, Marcus Vinícius da Conceição History and Overview This article presents and formalizes an elementary multiplication method discovered independently by a 10-year-old student, Anthony Lima Dias. The method reorganizes digit interactions in base-10 multiplication into a structured sequence of partial sums, reducing cognitive load and allowing reliable mental or semi-written computation. We provide a full mathematical proof of correctness, a comparison with the classical algorithm, formal notation, and a detailed contextual account of the discovery. The method expands the known catalog of student-invented algorithms and raises questions about cognitive pathways in arithmetic learning. Keywords: multiplication methods, mathematics education, mental calculation, student-invented algorithms, alternative algorithms, arithmetic strategies. -- -- Este artigo apresenta e formaliza um metodo elementar de multiplicacao descoberto de forma independente por um estudante de 10 anos, Anthony Lima Dias. O metodo reorganiza as interacoes entre algarismos na multiplicacao em base 10 em uma sequencia estruturada de somas parciais, reduzindo a carga cognitiva e permitindo um calculo mental ou semi-escrito mais confiavel. Fornecemos uma demonstracao matematica completa de corretude, uma comparacao com o algoritmo tradicional, notacoes formais e um relato contextual detalhado da descoberta. O metodo amplia o catalogo conhecido de algoritmos inventados por estudantes e levanta questoes sobre caminhos cognitivos na aprendizagem aritmetica. Palavras-chave: metodos de multiplicacao, educacao matematica, calculo mental, algoritmos inventados por alunos, algoritmos alternativos, estrategias aritmeticas. |
| title | Demonstração Formal de um Algoritmo Alternativo da Multiplicação em Base 10 |
| topic | History and Overview |
| url | https://arxiv.org/abs/2512.03105 |