A BNCC dos anos finais do EF indica os objetos de...

relações métricas dos triângulos retângulos, sobretudo o teorema de Pitágoras, incluindo verificações experimentais, mas não indica demonstrações.

relações de proporcionalidade envolvendo retas paralelas cortadas por tranversais (teorema de Tales), indicando, inclusive, sua demonstração.

transformações geométricas como simetrias de translação, reflexão e rotação, indicando inclusive a composição de duas ou mais dessas transformações.

semelhança de triângulos e de quadriláteros.

lugar geométrico: circunferência, elipse, mediatriz e bissetriz.