File:Proof-Pythagorean-Theorem.svg

Summary

Diagram describing a proof of the Pythagorean theorem; drawn with w:MetaPost and converted to w:SVG. See also Image:Pythagoras6.png for another diagram representing the same proof, with more details.

Source code

PostScript code

beginfig(1)
    pair A,B,C,H,a,b,c;
    C=(0,0); B=(18cm,0); A=(0cm,10cm);
    marksize=0.9cm;
  
    labeloffset := 12pt;  
    defaultscale:= 35pt/fontsize defaultfont;
  
    H - C = whatever * (B-A) rotated 90;
    H = whatever [B,A];
    draw A--B--C--cycle withpen pencircle scaled 2bp;
    draw C--H;
  
    label.ulft("A", A);
    label.lrt("B", B);
    label.llft("C", C);
    label.top("H", H);
  
    labeloffset := 8pt;
    label.bot("a",1/2[B,C]);
    label.lft("b",1/2[A,C]);
    label.urt("c",1/2[A,B]);
  
    labeloffset := 9pt;
    label.rt("h",1/2[C,H]);
  
    draw ((1,0)--(1,1)--(0,1))
      zscaled (marksize*unitvector((1,0)));
    draw ((-1,0)--(-1,1)--(0,1))
      zscaled (marksize*unitvector(H)) shifted H;
  endfig;
  end

The SVG file was created by running the following command on the input above:

  mptopdf triangle.mp

and using the [http://www.tlhiv.org/MetaPost/tools/mptosvg/ MetaPost to SVG Converter], which basically does the following:

  pstoedit -page 1 -dt -psarg "-r9600x9600" -f sk foo-1.pdf foo-1.sk
  skconvert foo-1.sk foo-1.svg

Licensing

Public domain I, the copyright holder of this work, release this work into the public domain. This applies worldwide.
In some countries this may not be legally possible; if so:
I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.
Category:Self-published work#Proof-Pythagorean-Theorem.svgCategory:PD-self#Proof-Pythagorean-Theorem.svg Category:Pythagorean theorem Category:Media missing infobox template
Category:Files with no machine-readable author Category:Files with no machine-readable source Category:Media missing infobox template Category:PD-self Category:Pythagorean theorem Category:Self-published work Category:Valid SVG created with MetaPost code