Afirmações e justificativas

Parte da seção Congruência e demonstrações do Journey de Geometry da Coddy. Lição 2 de 63.

Uma demonstração é escrita como uma lista de afirmações, cada uma com uma justificativa. Uma justificativa é um fato dado ou uma regra que você já conhece. Algumas regras precisam de linhas anteriores: a regra só se aplica porque algo acima dela é verdadeiro, então a linha indica as linhas que usa.

$Triângulo KLN com marcas em KL e KN$

Afirmação	Justificativa
1. KL = KN	Dado (as marcas)
2. ∠KLN = ∠KNL	Ângulos da base de um triângulo isósceles, usando a linha 1

A linha 1 vem diretamente das marcas. A linha 2 usa uma regra da seção Ângulos: lados iguais ficam opostos a ângulos iguais. Essa regra precisa de dois lados iguais, então a linha 2 aponta de volta para a linha 1. Outra regra que você usará com frequência é Todos os ângulos retos são iguais: todo ângulo reto mede 90°, então dois deles são iguais quando você tem uma linha dizendo que cada um é um ângulo reto.

Desafio

Dois ângulos retos estão marcados com quadrados. As três afirmações estão escritas; dê uma justificativa para cada uma e selecione as linhas anteriores usadas por cada justificativa. Depois, pressione Verificar.

Neste quadro, toque em uma linha, escolha a justificativa no menu e toque nas linhas citadas por ela.

Experimente você mesmo

$Escreva a demonstração$