An Inquiry Based Learning
Course in Number Theory
The materials below are for an inquiry based learning course in number theory that I developed using Marshall, Odell, and Starbird's Number Theory Through Inquiry. I am happy to share any of my materials. I taught this course most recently in Fall 2018 at Duquesne University.
Course Materials:
Course Log:
Week 0 

[08.24.18]
Welcome to the Math 311 course website! Before we get started, I thought I should explain the unusual setup of this course. We're going to be learning number theory through Inquiry Based Learning (IBL), sometimes called the Modified Moore Method. Why are we doing this? Well, researchers have a lot of positive things to say about IBL; things you learn in an IBL course stick in your brain for longer, and the metaskills you acquire in an IBL course will actually help you do better in future math classes  even if they aren't number theory! The daytoday activities of this course might feel strange and unfamiliar at first, but I'll do my best to keep us all on the right track. I'll be documenting our daily activities and successes on the Course Log, and I'll use this as a place to keep everyone in the loop on due dates. I'm looking forward to a great semester! On Wednesday 08.29.18 I'm going to ask you to come to class with a short (250500 word) reflection on the essay A Mathematician's Lament by Paul Lockhart. We will also take some time on Wednesday to discuss your reactions to the essay. 
Week 1 
[08.31.18]
Today we prove three theorems about congruence.
On Wednesday 09.05.18 I'd like you to come to class prepared to hand in proofs and/or counterexamples and explanations for the following two conjectures.
Also remember your first homework assignment will be due on Friday 09.07.18. [08.29.18] I really enjoyed reading and hearing your reflections on the Paul Lockhart essay. I've pulled out a few tidbits from your individual essays that I enjoyed. One of you said "Specific problems in math will not be remembered by students…learning is not about remembering; it's about the process of learning…" and another one of you said "…this article made me love math even more that I did before reading it, and it made me realize why I love it so much." Today we proved the following theorem:
And don't forget, your first homework assignment will be due on Friday 09.07.18. The problems are quite challenging, so it's best you get started early. [08.27.18] Today we learned definitions for divides and congruent modulo n. There will be a terminology section on the midterm and final, so it's a good idea to keep a list of terms and definitions. Using these definitions we made some conjectures and proved the following theorems:
I'll be keeping a running document with all of our theorems as they are established, you might want to do the same. For the midterm and final, I will print a copy of this list for each of you to use during the exam. Great work today! For next time, please come prepared with your short (250500) word reflection on A Mathematician's Lament. If you wish, you can begin to start thinking about the Homework 1 problems which are due on Friday 09.07.18. 
Week 2 
[09.07.18]
Today we discussed the notion of common divisors and greatest common divisor and we proved the following two theorems:
We used these theorems to develop (and sort of prove) the Euclidean Algorithm for finding the greatest common divisors of two numbers. You have no homework this weekend, so relax and enjoy. Your first homework is due on Friday 09.07.18. I removed two of the problems from the homework, please see the updated homework 1 to make sure you do the correct problems. Today we learned the Well Ordering Axiom for the natural numbers and the an important new theorem called The Division Algorithm. In addition we proved the following two theorems (the first one you actually did for homework):
In case you are wondering, the homework will be graded according to the following scheme:

Week 3 
[09.14.18]
Today we talked about proofs involving the Fundamental Theorem of Arithmetic, such as
We worked on proofs of the following two theorems which use similar principles to the one above.
On Monday 09.17.18 you will submit proofs of Theorems 2.3 and 2.4 above, and also remember that Homework 2 will be due on Friday 09.21.18. have a nice weekend! [09.12.18]Today we started our second chapter all about primes numbers. We defined the terms prime and composite and learned some good methods for finding primes, and the following theorem:
Remember that Homework 2 will be due on Friday 09.21.18. [09.10.18]Today we discussed some applications of the Euclidean algorithm. In particular we showed how the raw material generated in the Euclidean algorithm can be used to solve diophantine equations, and then we showed how this method can be used to prove the following theorem and its corollary:
Then we finished class by observing that when a diophantine equation has one solution, we can actually find infinitely many solutions. That is described in the following theorem which you will be asked to prove in Homework 2:
Homework 2 will be due on Friday 09.21.18. 
Week 4 
[09.21.18]
Today we learned the definitions of the canonical residue system modulo n and a complete residue system modulo n, and we saw the connection between linear congruences and linear diophantine equations with the following theorems:
You have no homework this weekend, but keep in mind that our first exam will be on Friday 10.12.18. [09.19.18]Today we talked about the importance of congruence arithmetic for solving higher order problems and had the following theorem without proof:
We will continue this discussion on Friday, and you will be handing in Homework 2. [09.17.18]Today we finished our discussion of primes and proved the following lemma and subsequent theorem:
We also learned about arithmetic progressions and saw a few results without proofs for Dirichlet's Theorem on Primes in Arithmetic Progressions, Green and Tao's Theorem, The Twin Prime Conjecture and The Goldbach Conjecture. If you are curious, here is a link to the video I mentioned in class today about Yitang Zhang and the Twin Prime Conjecture. It's really good. 
Week 5 
[09.26.18]
Today we started the conversation about multiplication in the context of congruences and what it means for the powers to cycle modulo n. We proved the following two theorems:
And I've asked you to write up the following proof to hand in on Monday:
I won't be here on Friday, so there will be no class. I mentioned a possible reading assignment, but since you already have one proof due on Monday and Homework 3 due on Friday 10.05.18, I'll save that reading for another weekend. [09.24.18]Today we further discussed solving linear congruences and learned the Chinese Remainder Theorem. Homework 3 will be due on Friday 10.05.18. If you want to read a super article about all that drama with the abc conjecture, I suggest you try this one in Quanta; it's really down to earth and easy to read. And stay tuned for more about the Riemann Hypothesis. 
Week 6 
[10.05.18]
It looks like I forgot to update the website on Wednesday, so let me recap what we did the last two class meetings. We defined a few new terms: Euler Φfunction, inverse modulo p. And we proved the following theorems:
Next Friday, 10.12.18, we will have our midterm, it will include terminology, computational problems, and one proof. Also (since I think it's a good time for something uplifting) for Monday, please read this article Mathematics for Human Flourishing and write a paragraph or two describing your impressions. We will have a brief discussion of the article in class in Monday. [10.01.18]Today we learned the definition of order modulo n and proved an important theorem about order
Recall that Homework 3 due on Friday, also you should begin to have on your radar our Midterm, which will be next Friday, 10.12.18. 
Week 7 
[10.08.18]
First, as promised here is the complete proof of the conjecture we were discussing about the Euler Φfunction on Monday. To finish up this section we have two final theorems. The one proved above, and one that we only kinda sorta half proved on Friday, but that's ok, I'll take it!
The exam will be on Friday 10.12.18. I've decided to do a takehome portion of the exam. You may use your notes from class and I'll hand out this theorem list on Friday, but those are the only permissible resources (other than your own infinitely powerful brain). 
Week 8 
[10.17.18]
This week we started our tour of cryptography with a discussion of caesar ciphers and polyalphabetic caesar ciphers. Eventually we will develop a stronger version of cryptography using the theorems we proved today:
We will continue to talk about cryptography for the next week and Homework 4 will be due on Friday 10.26.18. 
Week 9 
[10.26.18]
Today we learned the definition of primitive root modulo p and the following theorems about higher order congruences:
You have no homework over the weekend, but if you haven't done so yet, please start thinking about what topic you'd like for your end of semester research project. [10.24.18]Wonderful job on the scavenger hunt today, and congratulations to the winners! Homework 4 will be due on Friday 10.26.18. [10.22.18]On Wednesday please come on time and meet me at my office, 422 College Hall. 
Week 10 
[11.02.18]
Today we proved a few more lemmas in preparation for the big one:
For Monday 11.05.18 please bring a written proof of Theorem 6.4. Also, remember that there is a seminar at 2:00 on Monday afternoon in College Hall 446. [10.29.18]Today we proved a few more theorems about primitive roots:
On Friday 11.09.18 Homework 5 will be due. 
Week 11 
[11.09.18]
This week we finally proved the big conjecture we were working towards.
We also started thinking about higher order congruences and we started by exploring when an expression like x^{k} ≡ b mod n should have a solution, and what a good strategy is for finding the solution. On Wednesday 11.14.18 there will be a seminar talk on Cryptography by Dr. Ben Kane who is visiting from the University of Hong Kong. The talk is in College Hall 446, 2:002:50. If you are unable to attend, let me know. Also, Homework 6 will be due on Friday 11.30.18. After the Thanksgiving break we will start the research presentations. If you have a strong preference for your time slot let me know, otherwise I will post the schedule of talks here before break. 
Week 12 
[11.16.18]
This week we finished our exploration of primitive roots with the following theorem:
Homework 6 (your last homework set of the semester!) is due on Friday 11.30.18. 
Week 13 
[11.26.18]
The schedule and order of research presentations will be as follows:
Please remember your talk should be somewhere between 2025 minutes, but not any longer. You can do a Power Point or you can write on the white board if you prefer (or both!), and you should prepare some sort of handout material. For guidance on preparing your talk, check the presentation grading rubric and let me know if you have any questions. Have a very happy Thanksgiving! 
Week 14 
[12.06.18]
We've made it to the end of the semester! Our final exam will be broken into two pieces:
For the inclass portion I will be handing out this Theorem List, you can also use that on the take home part (along with any notes from class). On Friday 12.07.18 we will do some review problems for the inclass portion, and I will hand out the takehome portion. Please come to class prepared with any questions...about anything! 




