Oh yeah and when proving that root 2 is irrational what are the prerequisites? I want to actually learn it instead of copying someone else's working out.
theres no real prerequisites
id say the most important thing you need to know is what a rational number is even is defined as, and let that definition be equal to root 2
then go from there
another thing that may be helpful to think about is what does it mean for a number to be even, and what even numbers really are in their simplest form
the nice thing about proofs is that they make you think about math from its veryyy foundations, so its not really anything new