In 1878, Lucas \cite{lucas} investigated the sequences $(\ell_n)_{n=0}^\infty$ where $$\ell_n=\frac{\alpha^n-\beta^n}{\alpha-\beta},$$ $\alpha \beta$ and $\alpha+\beta$ are coprime integers, and where $\beta/\alpha$ is not a root of unity. Lucas sequences are divisibility sequences; if $m|n$, then $\ell_m|\ell_n$, and more generally, $\gcd(\ell_m,\ell_n)=\ell_{\gcd(m,n)}$ for all positive integers $m$ and $n$. Matijasevic utilised this divisibility property of Lucas sequences in order to resolve Hilbert's 10th problem. \noindent In 1930, Lehmer \cite{lehmer} introduced the sequences $(u_n)_{n=0}^\infty$ where \begin{eqnarray*} u_n& = & \frac{\alpha^{n}-\beta^n}{\alpha^{\epsilon(n)}-\beta^{\epsilon(n)}},\\ \epsilon(n)&=&\left\{\begin{array}{ll} 1, \hspace{.1in}\mbox{if}\hspace{.1in}n\equiv 1 \pmod 2;\\ 2, \hspace{.1in}\mbox{if}\hspace{.1in}n\equiv 0\pmod 2;\end{array}\right. \end{eqnarray*} $\alpha \beta$ and $(\alpha +\beta)^2$ are coprime integers, and where $\beta/\alpha$ is not a root of unity. The sequences $(u_n)_{n=0}^\infty$ are known as Lehmer sequences, and the terms of these sequences are known as Lehmer numbers. Lehmer showed that his sequences had similar divisibility properties to those of Lucas sequences, and he used them to extend the Lucas test for primality. \noindent We define a prime divisor $p$ of $u_n$ to be a primitive divisor of $u_n$ if $p$ does not divide $$(\alpha^2-\beta^2)^2u_3\cdots u_{n-1}.$$ Note that in the list of prime factors of the first $n-1$ terms of the sequence $(u_n)_{n=0}^\infty$, a primitive divisor of $u_n$ is a new prime factor. \noindent We let \begin{eqnarray*} \kappa& = & k(\alpha \beta\max\{(\alpha-\beta)^2,(\alpha+\beta)^2\}),\\ \eta & = & \left\{\begin{array}{ll}1\hspace{.1in}\mbox{if}\hspace{.1in}\kappa\equiv 1\pmod 4,\\ 2\hspace{.1in}\mbox{otherwise},\end{array}\right. \end{eqnarray*} where $k(\alpha \beta \max\{(\alpha-\beta)^2,(\alpha+\beta)^2\})$ is the squarefree kernel of $\alpha \beta \max\{(\alpha-\beta)^2,(\alpha+\beta)^2\}$. On the one hand, building on the work of Schinzel \cite{schinzelI}, we prove that if $n>4$, $n\neq 6$, $n/(\eta \kappa)$ is an odd integer, and the triple $(n,\alpha,\beta)$, in case $(\alpha-\beta)^2>0$, is not equivalent to a triple $(n,\alpha,\beta)$ from an explicit table, then the $n$th Lehmer number $u_n$ has at least two primitive divisors. Moreover, we prove that if $n\geq 1.2\times 10^{10}$, and $n/(\eta \kappa)$ is an odd integer, then the $n$th Lehmer number $u_n$ has at least two primitive divisors. On the other hand, building on the work of Stewart \cite{stewart77}, we prove that there are only finitely many triples $(n,\alpha,\beta)$, where $n>6$, $n\neq 12$, and $n/(\eta \kappa)$ is an odd integer, such that the $n$th Lehmer number $u_n$ has less than two primitive divisors, and that these triples may be explicitly determined. We determine all of these triples $(n,\alpha,\beta)$ up to equivalence explicitly when $6<n\leq 30$, $n\neq 12$, and $n/(\eta \kappa)$ is an odd integer, and we tabulate the triples $(n,\alpha,\beta)$ we discovered, up to equivalence, for $30<n\leq 500$. Finally, we show that the conditions $n>6$, $n\neq 12$, are best possible, subject to the truth of two plausible conjectures.

In 1878, Lucas \cite{lucas} investigated the sequences $(\ell_n)_{n=0}^\infty$ where $$\ell_n=\frac{\alpha^n-\beta^n}{\alpha-\beta},$$ $\alpha \beta$ and $\alpha+\beta$ are coprime integers, and where $\beta/\alpha$ is not a root of unity. Lucas sequences are divisibility sequences; if $m|n$, then $\ell_m|\ell_n$, and more generally, $\gcd(\ell_m,\ell_n)=\ell_{\gcd(m,n)}$ for all positive integers $m$ and $n$. Matijasevic utilised this divisibility property of Lucas sequences in order to resolve Hilbert's 10th problem. \noindent In 1930, Lehmer \cite{lehmer} introduced the sequences $(u_n)_{n=0}^\infty$ where \begin{eqnarray*} u_n& = & \frac{\alpha^{n}-\beta^n}{\alpha^{\epsilon(n)}-\beta^{\epsilon(n)}},\\ \epsilon(n)&=&\left\{\begin{array}{ll} 1, \hspace{.1in}\mbox{if}\hspace{.1in}n\equiv 1 \pmod 2;\\ 2, \hspace{.1in}\mbox{if}\hspace{.1in}n\equiv 0\pmod 2;\end{array}\right. \end{eqnarray*} $\alpha \beta$ and $(\alpha +\beta)^2$ are coprime integers, and where $\beta/\alpha$ is not a root of unity. The sequences $(u_n)_{n=0}^\infty$ are known as Lehmer sequences, and the terms of these sequences are known as Lehmer numbers. Lehmer showed that his sequences had similar divisibility properties to those of Lucas sequences, and he used them to extend the Lucas test for primality. \noindent We define a prime divisor $p$ of $u_n$ to be a primitive divisor of $u_n$ if $p$ does not divide $$(\alpha^2-\beta^2)^2u_3\cdots u_{n-1}.$$ Note that in the list of prime factors of the first $n-1$ terms of the sequence $(u_n)_{n=0}^\infty$, a primitive divisor of $u_n$ is a new prime factor. \noindent We let \begin{eqnarray*} \kappa& = & k(\alpha \beta\max\{(\alpha-\beta)^2,(\alpha+\beta)^2\}),\\ \eta & = & \left\{\begin{array}{ll}1\hspace{.1in}\mbox{if}\hspace{.1in}\kappa\equiv 1\pmod 4,\\ 2\hspace{.1in}\mbox{otherwise},\end{array}\right. \end{eqnarray*} where $k(\alpha \beta \max\{(\alpha-\beta)^2,(\alpha+\beta)^2\})$ is the squarefree kernel of $\alpha \beta \max\{(\alpha-\beta)^2,(\alpha+\beta)^2\}$. On the one hand, building on the work of Schinzel \cite{schinzelI}, we prove that if $n>4$, $n\neq 6$, $n/(\eta \kappa)$ is an odd integer, and the triple $(n,\alpha,\beta)$, in case $(\alpha-\beta)^2>0$, is not equivalent to a triple $(n,\alpha,\beta)$ from an explicit table, then the $n$th Lehmer number $u_n$ has at least two primitive divisors. Moreover, we prove that if $n\geq 1.2\times 10^{10}$, and $n/(\eta \kappa)$ is an odd integer, then the $n$th Lehmer number $u_n$ has at least two primitive divisors. On the other hand, building on the work of Stewart \cite{stewart77}, we prove that there are only finitely many triples $(n,\alpha,\beta)$, where $n>6$, $n\neq 12$, and $n/(\eta \kappa)$ is an odd integer, such that the $n$th Lehmer number $u_n$ has less than two primitive divisors, and that these triples may be explicitly determined. We determine all of these triples $(n,\alpha,\beta)$ up to equivalence explicitly when $6<n\leq 30$, $n\neq 12$, and $n/(\eta \kappa)$ is an odd integer, and we tabulate the triples $(n,\alpha,\beta)$ we discovered, up to equivalence, for $30<n\leq 500$. Finally, we show that the conditions $n>6$, $n\neq 12$, are best possible, subject to the truth of two plausible conjectures.

This report explores the effect of interactive visualizations on the advancement of mathematics understanding. Not only do interactive visualizations aid mathematicians to expand the body of knowledge of mathematics but it also allows students an efficient way to process the information taught in schools. There are many concepts in mathematics that utilize interactive visualizations and examples of such concepts are illustrated within this report. / text

Orientador: Prof. Dr. Pedro Galli Mercadante / Dissertação (mestrado) - Universidade Federal do ABC, Mestrado Nacional Profissional em Ensino de Física - MNPEF, 2016. / O ensino por projetos já é prática consagrada e tem mostrado sua eficácia: alunos questionadores, investigadores e dotados de maior capacidade de interpretação de situações problema e do mundo. No entanto, sua aplicação requer engajamento de toda escola num único objetivo. Prática difícil nos dias de hoje, dada a premência do ensino conteudista e focado nos resultados das avaliações externas. Paradoxalmente, essas avaliações requerem cada vez mais do aluno análise de cenários e propostas de intervenção não lhe ensinadas pelos métodos tradicionais. Este projeto tem por objetivo oferecer uma alternativa ao método tradicional, focando no ensino e aprimoramento das competências e habilidades. Trata-se da adoção de ensino por projetos na forma de desafios, ao final de um período ou módulo de aprendizagem. Dessa forma, o aluno colocará em prática seus conhecimentos e precisará adquirir outros, necessários à elaboração e confecção de protótipos que operem dentro dos padrões estabelecidos. O registro de todas as fases dos projetos, confecção e testes, em relatórios científicos simplificados, tem a finalidade de propiciar a ele uma análise mais aprofundada dos assuntos trabalhados, tanto em sala de aula como fora dela. O produto final fruto desta dissertação é um manual detalhado de projetos, destinados a professores, aplicáveis em qualquer escola, contendo roteiros, sugestões, modelos de relatórios, propostas de avaliação e resultados esperados. / Teaching by projects already is an established practice and have been showing its efficacy: questioning and investigative students, equipped with high interpretation capabilities of real world problems. However, bring this kind of teaching to reality needs the whole engagement available to the school applied to a single objective. It is ahard and almost impossible practice nowadays, because teaching sustains politics that gives very importance to the contents and is focused on the results of external assessments. Paradoxically, these assessments increasingly require the student analyses scenarios and proposes interventions that not taught by traditional methods. This project aims to present an alternative to the traditional method, without breaking with the teaching of the competencies and skills. That refers to the adoption of teaching by projects in form of challenges, in the end of a period or a module of learning. Thereby students will put in practice their knowledge and they need acquire other ones necessary to elaborate and fabricate prototypes that work within established standards. The registration of all of the project¿s steps, production and tests, in simplified scientific reports, aims to propitiate a depth analysis of the issues worked, both inside and outside the classroom. The final product of this dissertation is a detailed project manual, adequate to teachers and able to be applied in any school, containing scripts, suggestions, report models, assessments proposals and expected results.

Orientador: Maria Jose Pereira Monteiro de Almeida / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Educação / Made available in DSpace on 2018-08-05T05:31:40Z (GMT). No. of bitstreams: 1 Lanca_Tatiana_M.pdf: 2621170 bytes, checksum: 29cd93401328fa4ef9ddaa75ab292574 (MD5) Previous issue date: 2005 / Resumo: Neste trabalho, a partir de um estudo realizado em uma escola pública da cidade de Jundiaí - SP, buscou-se aliar o ensino da Física à prática de leitura de um livro de divulgação científica, em alunos da primeira série do ensino médio, procurando-se verificar o funcionamento da leitura das leis de Newton, como apresentadas no livro: Isaac Newton e sua maçã, com a mediação da pesquisadora. Tendo em vista atingir esse objetivo, propusemo-nos a responder a seguinte questão: Como são produzidos os significados a partir da leitura do texto citado sobre Isaac Newton, considerando as condições de produção do estudo e as mediações ocorridas durante o desenvolvimento das aulas assumidas pela pesquisadora (autora deste trabalho)? O suporte se encontra na linha francesa da análise de discurso, principalmente em trabalhos de Michel Pêcheux e Eni Orlandi. Nesses autores encontra-se sustentação para admitir a relevância de se compreender o funcionamento dos discursos escolares. Verificamos que os processos de produção de sentidos, a partir de atividades de leitura em sala de aula, como as que foram realizadas, ocorreram de maneira específica para cada aluno, e, como esperávamos, confirmamos que os mesmos processos dependem das condições de produção e das histórias de vida dos estudantes / Abstract: In this present work carried out in a public high school placed at Jundiaí - SP, a Brazilian country city, we tried to put together the physics teaching methodology with the reading of a scientifc disclosure book, on high-school-students of the first school year, aiming to verify how works the reading of Newton's laws presented in the book: Isaac Newton and his apple. With the research mediation. Attempting to reach this goal, we propose ourselves to answer the follow question: How does the meaning are produced from the reading of Isaac Newton's texts, taking into account the condiction of the study' s output and the mediations happened through the developing of the classes assumed by myself? We have found out the support into the French line of the speech analysis, mainly on the authors Michel Pêcheux and Eni Orlandi. On these ones we got the sustentation in order to let in the relevance on the scholar speech understanding. We also have verified that the sense-prductions proceedings, from the reading activities applied into the classrooms, second those ones by us carried out, to come out in a specific way to each student, how we hoped, sustaining that the same process depend on the production's condictions and the private-history-life / Mestrado / Ensino, Avaliação e Formação de Professores / Mestre em Educação

Submitted by Marlene Santos (marlene.bc.ufg@gmail.com) on 2016-07-13T20:13:32Z No. of bitstreams: 2 Dissertação - Mauricio Silva Louzeiro - 2016.pdf: 1453255 bytes, checksum: c23898f8b30d7250d9fc245034078281 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-07-14T13:28:30Z (GMT) No. of bitstreams: 2 Dissertação - Mauricio Silva Louzeiro - 2016.pdf: 1453255 bytes, checksum: c23898f8b30d7250d9fc245034078281 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2016-07-14T13:28:30Z (GMT). No. of bitstreams: 2 Dissertação - Mauricio Silva Louzeiro - 2016.pdf: 1453255 bytes, checksum: c23898f8b30d7250d9fc245034078281 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2016-03-04 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this work, we will study a new strategy to minimize a convex function on a simplicial cone. This method consists in to obtain the solution of a minimization problem through the root of a semi-smooth equation associated to its optimality conditions. To nd this root, we use the semi-smooth version of the Newton's method, where the derivative of the function that de nes the semi-smooth equation is replaced by a convenient Clarke subgradient. For the case that the function is quadratic, we will see that it allows us to have weaker conditions for the convergence of the sequence generated by the semi-smooth Newton's method. Motivated by this new minimization strategy we will also use the semi-smooth Newton's method to nd roots of two special semi-smooth equations, one associated to x+ and the another one associated to jxj. / Neste trabalho, estudaremos uma nova estrat egia para minimizar uma fun c~ao convexa sobre um cone simplicial. Este m etodo consiste em obter a solu c~ao do problema de minimiza c~ao atrav es da raiz de uma equa c~ao semi-suave associada as suas condi c~oes de otimalidade. Para encontrar essa raiz, usaremos uma vers~ao semi-suave do m etodo de Newton, onde a derivada da fun c~ao que de ne a equa c~ao semi-suave e substitu da por um subgradiente de Clarke conveniente. Para o caso em que a fun c~ao e quadr atica, veremos que e poss vel obter condi c~oes mais fracas para a converg^encia da sequ^encia gerada pelo m etodo de Newton semi-suave. Motivados por esta nova estrat egia de minimiza c~ao tamb em usaremos o m etodo de Newton semi-suave para encontrar ra zes de dois tipos espec cos de equa c~oes semi-suaves, uma associada a x+ e a outra associada a jxj.

Submitted by Cássia Santos (cassia.bcufg@gmail.com) on 2017-03-16T12:01:01Z No. of bitstreams: 2 Dissertação - Stefan Alberto Gómez Guevara - 2017.pdf: 2201042 bytes, checksum: bd12be92bd41bae24c13758a1fc1a73d (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-03-20T13:11:14Z (GMT) No. of bitstreams: 2 Dissertação - Stefan Alberto Gómez Guevara - 2017.pdf: 2201042 bytes, checksum: bd12be92bd41bae24c13758a1fc1a73d (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2017-03-20T13:11:14Z (GMT). No. of bitstreams: 2 Dissertação - Stefan Alberto Gómez Guevara - 2017.pdf: 2201042 bytes, checksum: bd12be92bd41bae24c13758a1fc1a73d (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2017-03-08 / In this work we consider the problem of finding a singularity of a field of differentiable vectors X on a Riemannian manifold. We present a local analysis of the convergence of Newton's method to find a singularity of field X on an increasing condition. The analysis shows a relationship between the major function and the vector field X. We also present a semi-local Kantorovich type analysis in the Riemannian context under a major condition. The two results allow to unify some previously unrelated results. / Neste trabalho consideramos o problema de encontrar uma singularidade de um campo de vetores diferenciável X sobre uma variedade Riemanniana. Apresentamos uma análise local da convergência do método de Newton para encontrar uma singularidade do Campo X sobre uma condição majorante. A análise mostra uma relação entre a função majorante e o campo de vetores X. Também apresentamos uma análise semi-local do tipo Kantorovich no contexto Riemanniana sob uma condição majorante. Os dois resultados permitem unificar alguns resultados não previamente.

Neste trabalho, apresentamos um método computacional rigoroso para a demonstração de existência de órbitas periódicas de alguns sistemas de equações diferenciais ordinárias com campo autônomo do tipo polinomial. Mostraremos que o problema de encontrar órbitas periódicas para esses sistemas de equações é equivalente a buscar por raízes de certas funções definidas no espaço de Banach das sequências com decaimento algébrico. O método pode ser dividido em duas etapas. Na primeira, buscamos numericamente por soluções periódicas aproximadas. Na segunda, mostraremos a existência de uma órbita periódica numa vizinhança da curva encontrada numericamente. O rigor das verificações computacionais é garantido pelo uso de aritimética intervalar. / In this work, we present a rigorous computational method for proving the existence of periodic orbits of some systems of ordinary differential equations with autonomous vector field of polynomial type. We show that the problem of finding periodic orbits for these systems is equivalent to check for roots of certain functions defined in the Banach space of sequences with algebraic decay. The method can be divided into two steps. First, we seek, numerically, to approximated periodic solutions. Then, we show the existence of a periodic orbit in a neighborhood of the curve numerically found in the previous stage. The accuracy of the computational verifications is guaranteed by the use of interval arithmetic.

Knowlege of elektric power, power dissipation and voltage conditions in every single segments and elektric power system nodes is necessary for operations control and designing of another elektric power system expansion. In this Thesis, we will handle with steady state of system calculation using PAS-DAISY-OFF LINE software, solving various power network configurations and their verification.

Führungsgetriebe die durch Servomotoren angetrieben werden, benötigen für definierte Stellungen des Abtriebsglieds eine programmierte Funktion (elektronische Kurvenscheibe). Diese leitet sich aus dem möglicherweise fehlerbehafteten kinematischen Modell des Getriebes ab (inverse Kinematik). Zur Verbesserung der Genauigkeit der Führungsbewegung wird ein Verfahren zur Justierung der Übertragungsfunktion auf Basis des Newton-Verfahrens unter Nutzung der Singulärwertzerlegung vorgestellt. Dabei werden die realen Getriebeabmessungen anhand einer Messung berechnet und werden anschließend korrigiert zur Anpassung der Übertragungsfunktion verwendet.