
\input{Dias.tikz}

   \tikzstyle{myboxala} =
   [
      mybox,
      text width=2.5cm
   ] 
   \tikzstyle{mybox1} =
   [
      mybox,
      text width=6cm
   ] 
   \tikzstyle{mybox2} =
   [
      mybox,
      text width=5cm
   ] 
   \begin{tikzpicture}
       \pgfmathparse{0.5}  \let\x\pgfmathresult;
       \pgfmathparse{10}  \let\width\pgfmathresult;
       \pgfmathparse{1.2}  \let\h\pgfmathresult;
       

%        %Vertical dotted lines
%        \foreach \t in {-6.725,-6.45,-2,2,6.725}
%        {
%           \draw[dotted] (\t,-3) --++ (0,15);
%        }
       
       
       
      \node at ($(-\x,10*\h)$) [mybox1,left]
      {Axioma de Congruência\\de Triângulos ($LAL$)};
      
      
      \node at ($(\x,10*\h)$) [mybox1,right]
      {Axioma de Separação do Plano};
            
       
      \pgfmathparse{0.5}  \let\dx\pgfmathresult;
      \pgfmathparse{0.7}  \let\ddx\pgfmathresult;
      \node at ($(-2.2,9*\h)$) [mybox,left,text width=4cm]
      {Teorema do\\Triângulo Isósceles};
      
      
      \node at ($(0.2,9*\h)$) [mybox,text width=3.75cm]
      {Axioma do Transferidor\\~};
      
      \node at ($(2.5,9*\h)$) [mybox,right,text width=4.0cm ]
      {Teorema da Semirreta do\\Interior de um Ângulo};
            
       
      \node at ($(0.2,8*\h)$) [mybox,text width=3.75cm]
      {Teorema do Ângulo Raso};
            
      \node at ($(0,7*\h)$) [mybox ]
      {Teorema dos Ângulos Alternos-internos};
       
      \node at ($(0,6*\h)$) [mybox,text width=8.0cm]
      {Teorema do Ângulo Externo};
       
       
       
       
       \node at ($(-1.2,5*\h)$) [mybox2,left]
       {Teorema do Triângulo Escaleno\\~};

       \node at ($(-2.2,4*\h)$) [mybox2,left,text width=4cm]
       {Teorema da Desigualdade\\ de um Triângulo};
       

       
       

       \node at ($(0.25,5*\h)$) [mybox2,right]
       {Teorema da Soma de dois Ângulos de um Triângulo};

       \node at ($(0.25,4*\h)$) [mybox2,right]
       {Teorema da Soma dos\\Ângulos de um Triângulo};

       \node at ($(0.25,3*\h)$) [mybox2,right]
       {Novo Teorema de Ângulo\\Externo};

       
    
      \node at ($(0.15,2*\h)$) [mybox,text width=12.95cm ]
       {Teorema de Desigualdade de dois Triângulos};
       
      
%       \pgfmathparse{5.65}  \let\x\pgfmathresult;
       \node at ($(-1.2,1*\h)$) [mybox2,left]
       {Axioma do Transferidor};
       
       \node at ($(-0.415,1*\h)$) [mybox,right]
       {Transitividade de Congruência de Triângulos};
       
      \node at ($(2.5,0*\h)$) [mybox,right,text width=4cm]
      {Teorema dos Ângulos\\Alternos-internos};
       
      \pgfmathparse{-3.7}  \let\x\pgfmathresult;
      \pgfmathparse{3.75}  \let\dx\pgfmathresult;
      \node at ($(\x,0)$) [myboxala,left]
      {$ALA$};
            

      \node at ($(\x+\dx,-1*0.75*\h)$) [myboxala,left]
      {$LLL$};
            
      \node at ($(\x+2*\dx,-2*0.75*\h)$) [myboxala,left]
      {$LAA$};

       
      
      
      \pgfmathparse{-7}  \let\x\pgfmathresult;
      \pgfmathparse{-6.725}  \let\xx\pgfmathresult;
      \pgfmathparse{-6.45}  \let\xxx\pgfmathresult;
      \pgfmathparse{\xxx+\dx}  \let\xxxx\pgfmathresult;
      \pgfmathparse{\xxxx+\dx}  \let\xxxxx\pgfmathresult;
      \pgfmathparse{6}  \let\xxxxxx\pgfmathresult;
      
      
      %Vertical lines, left to right
      \draw  ($(\x,-2*0.75*\h)$) -- ($(\x,10*\h)$);
      \draw  ($(\xx,2*\h)$) -- ($(\xx,9*\h)$);
      
      
      \draw  ($(\xx+2,5.4*\h)$) -- ($(\xx+2,8.6*\h)$);
      \draw  ($(-2,7.3*\h)$) -- ($(-2,9.6*\h)$);
      \draw  ($(-2,2.3*\h)$) -- ($(-2,4.6*\h)$);
      \draw  ($(-2,5.375*\h)$) -- ($(-2,5.675*\h)$);
       
      \draw  ($(0,8.4*\h)$) -- ($(0,8.65*\h)$);
      \draw  ($(0,7.3*\h)$) -- ($(0,7.6*\h)$);
      \draw  ($(0,6.3*\h)$) -- ($(0,6.65*\h)$);
       
      \draw  ($(2,5.4*\h)$) -- ($(2,5.65*\h)$);
      \draw  ($(2,4.4*\h)$) -- ($(2,4.6*\h)$);
      \draw  ($(2,3.4*\h)$) -- ($(2,3.6*\h)$);
      
      \draw  ($(2,-1.2*\h)$) -- ($(2,0.7*\h)$);
      \draw  ($(2+1,-1.2*\h)$) -- ($(2+1,-0.4*\h)$);
      
      \draw  ($(\xxxxxx,2.3*\h)$) -- ($(\xxxxxx,8.6*\h)$);
      \draw  ($(\xxxxxx-1,9.4*\h)$) -- ($(\xxxxxx-1,9.7*\h)$);
      
      %Horisontal lines, top to bottom
      \draw ($(\x,10*\h)$) -- ($(\xx,10*\h)$);
      \draw ($(\x,-0*0.75*\h)$) -- ($(\xxx,-0*0.75*\h)$);
      \draw ($(\x,-1*0.75*\h)$) -- ($(\xxxx,-1*0.75*\h)$);
      \draw ($(\x,-2*0.75*\h)$) -- ($(\xxxxx,-2*0.75*\h)$);
       
      \draw ($(\xx,2*\h)$) -- ($(\xxx,2*\h)$);
      \draw ($(\xx,9*\h)$) -- ($(\xxx,9*\h)$);
      
       
% 
%             
% 
%       \pgfmathparse{0.5}  \let\x\pgfmathresult;
%       \pgfmathparse{3}  \let\dx\pgfmathresult;
%       \pgfmathparse{0.5}  \let\dy\pgfmathresult;
% 
%       \pgfmathparse{0.1}  \let\y\pgfmathresult;
% 
%       
%       %leftmost vertical: Ax de congruencia to ALAs
%       \pgfmathparse{0.25}  \let\x\pgfmathresult;
%       \draw ($(\x,0*\h-3*\dy+\y)$) -- ($(\x,10*\h-1)$);
%       
%       %Ax de congruencia to angulos alternos
%       \pgfmathparse{3.7}  \let\x\pgfmathresult;
%       \draw ($(\x,8*\h-1.2)$) -- ($(\x,10*\h-1)$);
%       
%       %ALA, LLL e LAA
%       \draw ($(0.25,0*\h-3*\dy+\y)$) -- ($(6.5,0*\h-3*\dy+\y)$);
%       \draw ($(0.25,0*\h-2*\dy+\y)$) -- ($(3.5,0*\h-2*\dy+\y)$);
%       \draw ($(0.25,0*\h-1*\dy+\y)$) -- ($(0.5,0*\h-1*\dy+\y)$);
% 
%       %2 leftmost vertical: isosceles to desigualdade
%       \pgfmathparse{0.65}  \let\x\pgfmathresult;
%       \draw ($(\x,2*\h)$) -- ($(\x,9*\h-1)$);
%       
%       %isosceles to escaleno
%       \pgfmathparse{1.25}  \let\x\pgfmathresult;
%       \draw ($(\x,5*\h)$) -- ($(\x,9*\h-1)$);
%       
%       %Ax de congruencia to isosceles
%       \pgfmathparse{1.75}  \let\x\pgfmathresult;
%       \draw ($(\x,10*\h-1)$) -- ($(\x,9*\h-0)$);
%       
%       %interior do angulo to angulo exterior
%       \pgfmathparse{9.0}  \let\x\pgfmathresult;
%       \draw ($(\x,6*\h)$) -- ($(\x,9*\h-1.4)$);
%       
%       %axioma de separacao to semirreta interior
%       \draw ($(\x,9*\h-0)$) -- ($(\x,10*\h-0.8)$);
%       
%       %rightmost vertical: semirreta interior to desigualdade
%       \pgfmathparse{11}  \let\x\pgfmathresult;
%       \draw ($(\x,2*\h-0)$) -- ($(\x,8*\h-0.2)$);
%       
%       %Ax de transf to LLL vertical
%       \pgfmathparse{3.8}  \let\x\pgfmathresult;
%       \draw ($(\x,1*\h-0.75)$) -- ($(\x,0*\h-1*\dy)$);
% 
%       %Transitividade to LLL vertical
%       \pgfmathparse{5.25}  \let\x\pgfmathresult;
%       \draw ($(\x,1*\h-0.75)$) -- ($(\x,0*\h-1*\dy)$);
% 
%       %Transitividade to LAA vertical
%       \pgfmathparse{6.65}  \let\x\pgfmathresult;
%       \draw ($(\x,1*\h-0.75)$) -- ($(\x,0*\h-2*\dy)$);
%       
%       %Teorema alternos to LAA vertical
%       \pgfmathparse{8}  \let\x\pgfmathresult;
%       \draw ($(\x,0*\h-0.75)$) -- ($(\x,0*\h-2*\dy)$);
% 
%       
%       %ax transferidor (top) to angulo raso
%       \pgfmathparse{5.75}  \let\x\pgfmathresult;
%       \pgfmathparse{0.75}  \let\dy\pgfmathresult;
%       \draw ($(\x,8*\h)$) -- ($(\x,9*\h-\dy)$);
%       %angulo raso to alternos
%       \draw ($(\x,7*\h)$) -- ($(\x,8*\h-\dy)$);
%       %alternos to externo
%       \draw ($(\x,6*\h)$) -- ($(\x,7*\h-\dy)$);
%       
%       \pgfmathparse{5.25}  \let\x\pgfmathresult;
%       %escaleno to angulo externo
%       \draw ($(\x,5*\h)$) -- ($(\x,6*\h-\dy)$);
%       %escaleno to desigualdade de dois triangulo
%       \draw ($(\x,2*\h)$) -- ($(\x,5*\h-\dy)$);
% 
% 
%       \pgfmathparse{3.25}  \let\x\pgfmathresult;
%       %escaleno to desigualdade de um triangulo
%       \draw ($(\x,4*\h)$) -- ($(\x,5*\h-\dy)$);
% 
% 
%       
%       \pgfmathparse{8.25}  \let\x\pgfmathresult;
%       %angulo externo to soma de dois angulos
%       \draw ($(\x,5*\h)$) -- ($(\x,6*\h-\dy)$);
%       %soma de dois angulos to angulo externo
%       \draw ($(\x,4*\h)$) -- ($(\x,5*\h-\dy-0.25)$);
%       %angulo externo to novo teorema to 
%       \draw ($(\x,3*\h)$) -- ($(\x,4*\h-\dy-0.25)$);
      
    \end{tikzpicture}
    
