# Trying to study the three points theorem of the Mobius Transformation

I am trying to study the three points theorem of the Mobius transformation. This theorem says that the Mobius transformation $M$ maps three distinct points p, q, r to three distinct points p', q', r'. Based on this formula $$\frac{(z-p)(q-r)}{(z-r)(q-p)}=\frac{(w-p')(q'-r')}{(w-r')(q'-p')}$$, I solved for $w$ and came up with this function.

mobius[z_, z1_, z2_, z3_, w1_, w2_, w3_] :=
(w1 (-w2 (z1 - z2) (z - z3) + w3 (z - z2) (z1 - z3)) -
w2 w3 (z - z1) (z2 - z3))/(w3 (z1 - z2) (z - z3) -
w2 (z - z2) (z1 - z3) + w1 (z - z1) (z2 - z3))


If I substitute z with a eaquation of plane, then I can see how the $M$ maps the plane. What I want to know is that is there a way to mark these points on the graph so that I can see how these points behave?? I am using parametric plot to see the graph. Thanks!

--------Edit---------

plane[x_, y_] := x + y I;
Manipulate[
ParametricPlot[
{{plane[x, y] // Re, plane[x, y] // Im},
{mobius[plane[x, y], z1, z2, z3, w1, w2, w3] //Re,
mobius[plane[x, y], z1, z2, z3, w1, w2, w3] // Im}},
{x, 0, 40}, {y, 0, -40}, PlotRange -> {{-50, 50}, {-50, 50}}],
{z1, {10, 20}}, {z2, {10 I, 20 I}},
{z3, {15, 25}},
{w1, {10, 20}}, {w2, {10 I, 20 I}},
{w3, {15, 25}}]

-
@Öskå Editted!!! – eChung00 May 1 '14 at 17:55
You might want to take a look at Epilog in order to mark the points you are interested in. – Öskå May 1 '14 at 18:18
@Öskå is it possible to see an example?? I am not good coding in mathematica... – eChung00 May 1 '14 at 19:36
Which point would you like to mark? – Öskå May 1 '14 at 19:39
@Öskå The three points in the domain and the three points in the image plane... So what I am trying to do is see how these points in the domain plane mapped into the image plane... – eChung00 May 1 '14 at 19:58
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 1, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.5029029250144958, "perplexity": 1814.9919113638446}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": false}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2016-22/segments/1464049278389.62/warc/CC-MAIN-20160524002118-00106-ip-10-185-217-139.ec2.internal.warc.gz"}