Loading web-font TeX/Math/Italic
Skip to main content

Let's complex bash Part 2:P

 Okie so continuing from the previous post ( sorry for huge time gap, got stuck in Allen stuff)

A warning though if anyone from the "anti-bash" community is reading, sorry in advance and R.I.P. 


Notes:-

1. We have z_1=r_1e^{i\theta_1} and z_2=r_2e^{i\theta_2} then we have z_1z_2=r_1r_2e^{i(\theta_1+\theta_2)} and we get |z_1z_2|=|z_1||z_2| and \arg z_1z_2=\arg z_1+\arg z_2 .

SPIRAL SIMILARITIES and TRANSFORMATIONS:-

2. How to rotate a point about origin by 90.

  • If 90^{\circ} anti-clockwise then multiply the number by i 
  • If 90^{\circ} clockwise then multiply by -i.
Proof:- Note that i= 0+1\cdot i. So |i|= \sqrt{0^2+1^2}=1. And when we locate i in complex plane, clearly \arg i=\pi/2.

Similarly for the second, but note that \arg -i=-\pi /2. (Since angles are measured anti-clockwise)

Example:- Here we have z=1+2i then when we multiply i we get zi=i-2.

Now, what about we want to dialate a point from one to another and scale it? (Note that that is spiral similarity only :P)



Like say we want to rotate point z=4+5i about point x=2+2i with dilation of \pi/2.

In this case what we do is we shift the whole diagram such that x to (0,0). Here we have (2,2)\rightarrow (0,0), so z goes to z=(4,5)\rightarrow z'=(4-2,5-2)=(2,3)= 2+3i.

Now we perform the same thing, so we will multiply i and we get z''=i-3=(-3,2).
Then we transform it back, so we get z''=(-3,2)\rightarrow z'''=(-3+2,2+2)=(-1,4).



So in summary, what we are doing is shifting the x to O i.e in all the coordinates we subtracting x's coordinates.. and then we get the new image of z, we multiply i, get new image, of (z-x) then add the coordinates back .

So we get \boxed{z\rightarrow i(z-x)+x.}

Here i's modulus is one, so there hasn't been a scaling thingy but we can do that too. 

z\rightarrow \alpha(z-w)+w
 

This is a spiral similarity centrerd at w dilating z which rotates by \alpha and dilates by |\alpha |.

COMPLEX REFLECTION:- 

Let W be the reflection of Z over a given AB. Then

w=\frac{  (a-b)\overline{z} + \overline{a}b - a\overline{b}}{(\overline{a} - \overline{b})}

Proof:- It's in egmo:P.

We first transform z to z-a ( We have the motive to turn \overline{AB} in to the segment between 0 and 1 on the real axis, so that we can then apply complex conjugate thing that we have on reflection about real axis)

Then we down everything by b-a.

So we get \left(\frac{w-a}{b-a}\right) = \overline{\left(\frac{z-a}{b-a}\right)}

Using the basic conjugate properties, we get,

\overline{\left(\frac{z-a}{b-a}\right)}=\left(\frac{\bar{z}-\bar {a}}{\bar{b}-\bar{a}}\right)

Then calcs done, we get w=\frac{  (a-b)\overline{z} + \overline{a}b - a\overline{b}}{(\overline{a} - \overline{b})}

Then we get this problem from egmo :P

Problem:- Show that the foot of the altitude from Z to \overline{AB} is given by

\frac{(\overline{a} - \overline{b})z + (a-b)\overline{z} + \overline{a}b - a\overline{b}}{2(\overline{a} - \overline{b})}

Proof:-Consider the reflection of z say w. Then we know that the foot ( say x) will be the midpoint of z and w i.e x=\frac{z+w}{2}.

Now, using the reflection lemma, we get w+z=\frac{ (a-b)\overline{z} + \overline{a}b - a\overline{b}}{(\overline{a} - \overline{b})}+ z=\frac{(\overline{a} - \overline{b})z + (a-b)\overline{z} + \overline{a}b - a\overline{b}}{(\overline{a} - \overline{b})}

So \frac{w+z}{2}=  \frac{(\overline{a} - \overline{b})z + (a-b)\overline{z} + \overline{a}b - a\overline{b}}{2(\overline{a} - \overline{b})}

Properties:-
  • z=\bar{z} iff z is real
  • z+\bar{z}=0 iff z is pure imaginary  
perpendicular criterion:- The compleplex numbers a,b,c,d have the property AB\perp CD if and only if
\frac{d-c}{b-a} + \overline{\left(\frac{d-c}{b-a}\right)}=0

Proof:- We transform d\rightarrow d-c, c \rightarrow 0. Now, this transformation takes line CD to a line parallel to it, passing through origin.

Similarly, we transform d\rightarrow d-c, c \rightarrow 0. Now, this transformation takes line CD to a line parallel to it, passing through origin.

Now, remember in the previous spiral similarity transformation, we noticed that multiplying the complex number with xi transforms line to a perpendicular line. So if d-c and b-a are perpendicular then  \frac{d-c}{b-a} must be pure imaginary.

Using the properties, we get that  \frac{d-c}{b-a} + \overline{\left(\frac{d-c}{b-a}\right)}=0.

Collinearity Lemma:- Prove that complex numbers z, a and b are collinear iff

\frac{z-a}{z-b} = \overline{\left(\frac{z-a}{z-b}\right)}

Proof:- We consider the transformation z-a and z-b. These vectors have tails in O and heads as z-a, z-b respectively. Now note that if z,a,b are collinear then these two vectors ( because the transformation is mapping into parallel line through O
So we have the angles between these two vectors as 0, \pi.

Hence the two vectors' quotient must be a real number. Using Proposition 6.4, we get that 

\frac{z-a}{z-b} + \overline{\left(\frac{z-a}{z-b}\right)}=0.

Complex shoelace Formula:- If a,b,c are complex numbers, then the signed area of triangle ABC is given by 





THE UNIT CIRCLE:-

The unit circle is the set of complex numbers z with |z|=1, which is centred at 0 with radius 1.

We have for any z on the unit circle, \boxed{\bar {z}=\frac{1}{z}}.
This is because z\cdot \bar{z}=|z|^2.

----

Yeah now lemme do polynomials :P  

See ya next time! Also do check my other blog (if you get free time tmrw, new post coming there )

Sunaina 💜

Comments

  1. Where actually is the bash you just posted the thm's right?

    ReplyDelete
    Replies
    1. No bashing is the best,also even bashes are beautiful sometimes for eg check Mr Oreo Juice/nathantareep's (shameless advertising)/jj_ca888 solution to Romania TST 2007 Day 6 P2(by Cosmin Pohoata)

      Delete
    2. lol!! Now I know who you are :sunglasses:.. I tbh cant bash in an exam condition, so i felt it's not that useful to learn plus I dont even have specific interest! Also Oreo doing bash :O dang he must be high!

      Delete
    3. @bove lol tru :rotfl:!I ve never literally talked to him(maybe bcoz I don't use discord) but I have seen him write that in his posts :P.Yah I am not that good too in bashes.Just learning.

      Also complex bash is tough :(

      Delete

Post a Comment

Popular posts from this blog

Solving Random ISLs And Sharygin Solutions! And INMO happened!!

Some of the ISLs I did before INMO :P  [2005 G3]:  Let ABCD be a parallelogram. A variable line g through the vertex A intersects the rays BC and DC at the points X and Y, respectively. Let K and L be the A-excenters of the triangles ABX and ADY. Show that the angle \measuredangle KCL is independent of the line g Solution: Note that \Delta LDK \sim \Delta XBK
and \Delta ADY\sim \Delta XCY.
So we have \frac{BK}{DY}=\frac{XK}{LY}
and \frac{DY}{CY}=\frac{AD}{XC}=\frac{AY}{XY}.
Hence \frac{BK}{CY}=\frac{AD}{XC}\times \frac{XK}{LY}\implies \frac{BK}{BC}=\frac{CY}{XC}\times \frac{XK}{LY}=\frac{AB}{BC}\times \frac{XK}{LY}
\frac{AB}{LY}\times \frac{XK}{BK}=\frac{AB}{LY}\times \frac{LY}{DY}=\frac{AB}{DL}
\implies \Delta CBK\sim \Delta LDK
And we are done. We get that \angle KCL=360-(\angle ACB+\angle DKC+\angle BCK)=\angle DAB/2 +180-\angle DAB=180-\angle DAB/2
Motivation: I took a hint on this. I had other angles but I did...

Some problems in Olympiad Graph theory!

Hello there! It has been a long time since I uploaded a post here. I recently took a class at the European Girls' Mathematical Olympiad Training Camp 2024, held at CMI. Here are a few problems that I discussed! My main references were Po-Shen Loh's Graph theory Problem set (2008), Adrian tang's Graph theory problem set (2012) and Warut Suksompong's Graph Cycles and Olympiad Problems Handout and AoPS. I also referred to Evan Chen's Graph theory Otis Problem set for nice problems! Text Book Problems which are decent A connected graph G is said to be k-vertex-connected (or k-connected) if it has more than k vertices and remains connected whenever fewer than k vertices are removed. Show that every k-connected graph of order atleast 2k contains a cycle of length at least 2k. We begin with a lemma. Prove that a graph G of order n \geq 2k is k connected then every 2 disjoint set V_1 and V_2 of k distinct vertices each, there exist k...

My experiences at EGMO, IMOTC and PROMYS experience

Yes, I know. This post should have been posted like 2 months ago. Okay okay, sorry. But yeah, I was just waiting for everything to be over and I was lazy. ( sorry ) You know, the transitioning period from high school to college is very weird. I will join CMI( Chennai Mathematical  Institue) for bsc maths and cs degree. And I am very scared. Like very very scared. No, not about making new friends and all. I don't care about that part because I know a decent amount of CMI people already.  What I am scared of is whether I will be able to handle the coursework and get good grades T_T Anyways, here's my EGMO PDC, EGMO, IMOTC and PROMYS experience. Yes, a lot of stuff. My EGMO experience is a lot and I wrote a lot of details, IMOTC and PROMYS is just a few paras. Oh to those, who don't know me or are reading for the first time. I am Sunaina Pati. I was IND2 at EGMO 2023 which was held in Slovenia. I was also invited to the IMOTC or International Mathematical Olympiad Training Cam...

Introduction

  Hey Everyone!! This is my first Blog post. So let me give a brief introduction about myself. I am Sunaina Pati. I love solving Olympiad math problems,  learning crazy astronomical facts , playing hanabi and anti-chess, listening to Kpop , love making diagrams in Geogebra and  teaching other people maths 😊 . I love geometry , number theory and Combinatorics . I am starting this blog to keep myself a bit motivated in doing studies 😎 . Right now, I am planning to write walkthroughs on some of the best problems I tried over the week which can refer for hints 'cause solutions contain some major spoilers and one learns a lot while solving the problem on his own rather than seeing solutions . Also, there will be some reviews about Kpop songs, study techniques, my day to day lifestyles,exam reviews and ofc some non-sense surprises 😂.  I am planning to  try  posting every week on Sundays or Saturdays ( most probably) ! Though there is no guarantee about when I ...

Geometry ( Finally!!!)

 This is just such an unfair blog.  Like if one goes through this blog, one can notice how dominated  Algebra is!! Like 6 out of 9 blog post is Algebra dominated -_- Where as I am not a fan of Algebra, compared to other genres of Olympiad Math(as of now). And this was just injustice for Synthetic Geo. So this time , go geo!!!!!!!!!!!  These problems are randomly from A Beautiful Journey through Olympiad Geometry.  Also perhaps I will post geo after March, because I am studying combi.  Problem:  Let ABC be an acute triangle where \angle BAC = 60^{\circ}. Prove that if the Euler’s line of \triangle ABC intersects AB and AC at D and E, respectively, then \triangle ADE is equilateral. Solution:  Since \angle A=60^{\circ} , we get AH=2R\cos A=R=AO. So \angle EHA=\angle DOA. Also it's well known that H and O isogonal conjugates.\angle OAD =\angle EAH. By ASA congruence, we get AE=AD. Hence \triangle ADE is equilateral....

New year with a new beginning! And a recap of 2024..and all the best for INMO 2025!

Hi everyone! Happy New Year :)  Thank you so much for 95k+ views!!! How was everyone's 2024? What are everyone's resolutions? ( Do write down in the comment section! And you can come back 1 year later to see if you made them possible!). A Better Mathematician  Well, technically a theoretical computer scientist.  I am so grateful to be allowed to study at CMI where I can interact with so many brilliant professors, access the beautiful library and obviously discuss mathematics ( sometimes non math too ) with the students.    And this year, I want to learn more mathematics and clear my fundamentals. I have become much worse in math actually. And hopefully, read some research papers too :)  And discuss a lot of mathematics with other people.  However, with that whole depressing 2024 year, I have lost a lot of my confidence in mathematics. And to be a better mathematician, I should gain the confidence that I can be a mathematician. And well, I am working on...

Orders and Primitive roots

 Theory  We know what Fermat's little theorem states. If p is a prime number, then for any integer a, the number a^p − a is an integer multiple of p. In the notation of modular arithmetic, this is expressed as a^{p}\equiv a{\pmod {p}}.
So, essentially, for every (a,m)=1, {a}^{\phi (m)}\equiv 1 \pmod {m}. But \phi (m) isn't necessarily the smallest exponent. For example, we know 4^{12}\equiv 1\mod 13 but so is 4^6. So, we care about the "smallest" exponent d such that a^d\equiv 1\mod m given (a,m)=1.  Orders Given a prime p, the order of an integer a modulo p, p\nmid a, is the smallest positive integer d, such that a^d \equiv 1 \pmod p. This is denoted \text{ord}_p(a) = d. If p is a primes and p\nmid a, let d be order of a mod p. Then a^n\equiv 1\pmod p\implies d|n. Let n=pd+r, r\ll d. Which implies a^r\equiv 1\pmod p. But d is the smallest natural number. So r=0. So d|n. Show that n divid...

How to prepare for INMO

Since INMO is coming up, it would be nice to write a post about it! A lot of people have been asking me for tips. To people who are visiting this site for the first time, hi! I am Sunaina Pati, an undergrad student at Chennai Mathematical Institute. I was an INMO awardee in 2021,2022,2023. I am also very grateful to be part of the India EGMO 2023 delegation. Thanks to them I got a silver medal!  I think the title of the post might be clickbait for some. What I want to convey is how I would have prepared for INMO if I were to give it again. Anyway, so here are a few tips for people! Practice, practice, practice!! I can not emphasize how important this is. This is the only way you can realise which areas ( that is combinatorics, geometry, number theory, algebra) are your strength and where you need to work on. Try the problems as much as you want, and make sure you use all the ideas you can possibly think of before looking at a hint. So rather than fixing time as a measure to dec...

Let's complex bash Part 1

I have to learn complex bash. And almost everyone knows that I am notes taking girl so thought why not make a post on complex bash ( so that I don't get emotionally demotivated lol).😇 There wasn't any need for learning complex bash, but it was in my dream checklist i.e " To learn a bash." And since I am not loaded with exams, I think it's high time to learn Bash and new topics.  Also if anyone from the "anti-bash" community is reading, sorry in advance and R.I.P.  Notes:- 1. Complex numbers are of the form z=a+ib, where a and b are real numbers and i^2=-1. 2. In polar form, z=r(\cos \theta+~~i\sin\theta)=~~re^{i\theta}, where r=~~|z|=~~\sqrt{a^2+b^2}, which is called the magnitude. 3. Here we used euler's formula i.e \cos \theta+~~i\sin\theta=~~e^{i\theta}. 4. The \theta is called the argument of z, denored \arg z. ( \theta can be considered in \mod 360 and it is  measured anti-clockwise). 5. The complex conjugate of z is ...

Reflecting on past

INMO Scores are out!! I am now a two times INMO awardee :) I got 16|0|1, so 17 in total! Yes, 16 in P1 T_T. I was thinking I would lose marks because of the way I wrote.  Lemme tell ya'll what happened that day but first I should share a few thoughts I had before the exam. My thoughts Honestly, my preparation for INMO was bad. In fact, I should say I didn't work hard at all. As I have said earlier, I had lost all my hopes for INMO and Olympiads as a whole after EGMO TSTs happened.  Art by Jelena Janic EGMO TSTs i.e European Girl's Mathematical Olympiad Team selection Tests 2022.  Literally my thoughts after EGMO TSTs I feel very ashamed to share but I got 1 mark in my EGMO TSTs. Tests in which I literally gave my whole life. I did so many ISLs ( like SO MANY), I mocked EGMO 2021 TST where my score was 28/42 and I perfected Day 2. 1 mark in the TST just showed my true potential. There are way better people than me in olys. A friend even said to me, "If I wouldn't...