`@` Gọi `A(0;1)` và `B(-1;-1) in d` và `d'` là ảnh của `d`
`Q_{(O,-90^o )} (A)=A'<=>A'(-1;0) in d'`
`Q_{(O,-90^o )} (B)=B'<=>B'(1;-1) in d'`
Có: `\vec{A'B'}=(2;-1)=>\vec{n_[A'B']}=(1;2)` mà `A'(-1;0) in d'`
`=>` Ptr `d'` là: `1(x+1)+2y=0<=>x+2y+1=0`
`@(C)` có: `I(1;-2)` và `R=2`
`Q_{(O,-90^o )} (I)=I'<=>I'(2;1)`
Gọi `(C')` là ảnh của `(C)=>{(I' in (C')),(R_[(C)]=R_[(C')]=2):}`
`=>` Ptr `(C')` là: `(x-2)^2+(y-1)^2=4`



