
Recent Posts
Recent Comments
Archives
Categories
Meta
Category Archives: Math
Cheap Nullstellensatz
I was recently asked to prove a nonexhaustive set of cases for the weak Nullstellensatz, and the proof was so deceptively simple I decided to share it. The main theorem goes along the lines of this. Nullstellensatz: Let be an … Continue reading
Posted in Math
Leave a comment
ISL 2017 A1
Problem A1: Let and be positive integers such that If , prove that the polynomial has no positive roots. Solution A1: We appeal to a similar strategy that is used in IMO 20122. Write … Continue reading
Posted in Math
Leave a comment
IMO 2018 Day 2
Day 2 had a bunch of really nice problems with more advanced techniques required to solve them. Problem 6 is also hard and I will be writing it up at a later time. Problem 4: A site is any point … Continue reading
Posted in Math
Leave a comment
IMO 2018 Day 1
I have solved problems 1 and 2. I have not yet attempted problem 3 but I believe that it is beyond me, especially within a time frame of four and a half hours. Problem 1: Let be the circumcircle of … Continue reading
Posted in Math
Leave a comment
Revenge of the Finite Fields
A few days ago, I posted some proofs and a construction of finite fields. It turns out there are a lot more nice constructions and proofs and problems related to finite fields, so I’ll be sharing some of them here. … Continue reading
Posted in Math
Leave a comment
Finite Fields for Mortals
I’ve been studying a bunch of cryptography lately, and I thought it would be nice to present finite fields in some relatively easy to understand way that doesn’t require too much prior knowledge. All that is really needed here is … Continue reading
Posted in CTF, Math
Leave a comment
UIUCTF2017 – OldTV
Not many people solved this despite the author and I believing that this should have been an easy challenge. We were given the following program: Initially, you should try to verify the signature and compute , and realize that it … Continue reading
Posted in CTF, Math
Leave a comment
Pullbacks of Differential Forms
Let be a smooth map between manifolds and let be a smooth form on . We have the natural push forward/total differential given by , where is a curve satisfying and , but this also gives a natural way to … Continue reading
Posted in Math
Leave a comment
A Bad Attempt At Connecting Differential Forms And Multivariable Calculus
So after taking MVC, we’ve all been through those tedious proofs that and . Here, we give a unified way to view these identities. We start by giving the notion of a tangent space of a point in , which … Continue reading
Posted in Math
Leave a comment
Free Objects and Universal Properties, Because Most General is Too Wordy
So we often see these constructions come up. For a set , we define the free group as the group of words under string concatenation of . Similarly, the free monoid over is just words given by under concatenation. We … Continue reading
Posted in Math
Leave a comment