Modular Arithmetic and Introduction to Spiral Similarity
by eashang1, Jun 13, 2018, 2:30 AM
Geometry 2 has now covered the basics of various topics that are common in olympiad geometry - namely spiral similarity, the Miquel point, the Simson line, and angle chasing with cyclic quadrilaterals. Though we haven't gone very in depth with many of these concepts yet, the class has been getting increasingly more interesting (I'm especially looking forward to the day after tomorrow's class, which will cover the nine-point circle) :p
IN NT2 we got to modular arithmetic and using FLT. Though I'm very familiar with both these concepts, the problems apply them in so many different ways that they are very difficult to master. I will never understand how some people are able to come up with such outlandish solutions to olympiad number theory...
I forgot to mention: tomorrow is test day
I'll have two tests each with five proofs and two hours. I haven't done a math competition in months, so I'm really looking forward to them, but I'm worried I'll fail miserably. I'm fairly certain each test will range from easy AIME level to USAMO level. Fortunately, people supposedly usually get a 40-60 on them, and I'm fairly confident I can get at least that...?
Here are a bunch of the geo/NT problems that I thought were nice from the past two days:
Problem 1
Solution
Problem 2
Solution
Problem 3
Solution![[asy]
size (5cm);
pair A = (5,5);
pair B = (0,5);
pair C = (0,0);
pair D = (5,0);
pair P = dir(285);
draw (B--P--C);
draw(A--B--C--D--cycle);
draw(circumcircle(A,B,C));
dot("A", A);
dot("B", B);
dot("C", C);
dot("D", D);
dot ("P", P);
[/asy]](//latex.artofproblemsolving.com/e/5/c/e5cd3373b351f5d36b969464f54ebbdbfbe53157.png)
I'll fix this diagram one day...
Consider the rotation of
about point
such that
maps to
. Let the image of
be the point
. Since
and
(since rotations maintain congruency),
. Since
by construction,
is the diagonal of the square with side length
. Then
.
Remark
IN NT2 we got to modular arithmetic and using FLT. Though I'm very familiar with both these concepts, the problems apply them in so many different ways that they are very difficult to master. I will never understand how some people are able to come up with such outlandish solutions to olympiad number theory...
I forgot to mention: tomorrow is test day

Here are a bunch of the geo/NT problems that I thought were nice from the past two days:
Problem 1
Show that
for 


Solution
Note that
. Then by Fermat's Little Theorem, 


Problem 2
Is there a polynomial that satisfies
and
?


Solution
I claim that
. Several proofs of this are fairly common, but one very simple argument that I hadn't thought of before goes as follows. A polynomial raises some input
to a power, multiplies it by some constant, and adds multiple such terms. All of these operations (multiplication, addition, and subtraction) preserve the modulo. Thus
. Since
, such a polynomial does not exist.





Problem 3
Point
is chosen on the arc
of the circumcircle of a square
. Proove that 




Solution
![[asy]
size (5cm);
pair A = (5,5);
pair B = (0,5);
pair C = (0,0);
pair D = (5,0);
pair P = dir(285);
draw (B--P--C);
draw(A--B--C--D--cycle);
draw(circumcircle(A,B,C));
dot("A", A);
dot("B", B);
dot("C", C);
dot("D", D);
dot ("P", P);
[/asy]](http://latex.artofproblemsolving.com/e/5/c/e5cd3373b351f5d36b969464f54ebbdbfbe53157.png)
I'll fix this diagram one day...
Consider the rotation of













Remark
This was one of the introductory problems to spiral similarity (which is literally just a rotation and dilation (in this case by a factor of one)). When using spiral similarity, you must specify the center of rotation, the factor of dilation, and the angle of rotation.
This post has been edited 8 times. Last edited by eashang1, Jun 16, 2018, 11:03 PM