O que é isso?
PGF/TikZ formam um par de linguagens para geração de figuras vetorizadas de altíssimo nível gráfico, que manipulam objetos geométricos com base em representações algébrico-analíticas ou construções geométricas. O TikZ é um conjunto de macros de alto nível para facilitar o uso da linguagem gráfica (de mais baixo nível) chamada PGF. Essa dualidade lembra a relação TeX/LaTeX, onde o segundo é um conjunto de macros para facilitar o uso do primeiro.
Para saber mais leia a Wikipedia ou a página do PGF/TikZ.
Por qual referência devo estudar?
Uma boa referência é o manual do TikZ/PGF.
Exemplos de construções também ajudam, vários podem ser vistos aqui.
Qual editor devo utilizar?
Para facilitar o desenvolvimento das figuras use o KtikZ
Figuras em TikZ também podem ser geradas com auxílio do Overleaf