Açık Sonuçlar
Sınıf olarak, Üçgen-Açı-Toplam Teoremini resmi olarak kanıtladık. (Bu teoremin gayri resmi bir örneğini burada görebilirsiniz).
Şu anda bildiklerimizi bildiğimiz için, bu teoremin dolaysız bir sonucu olan başka bazı sonuçlar da çıkarabilmeliyiz. Böyle bir sonuca tümdengelim denir. Bir sonuç, bir "büyük resim teoreminin" sonucu olarak doğruluğu otomatik olarak kanıtlanabilen bir ifadedir (aslında başka bir teorem).
Üçgen-Açı-Toplam-Teoreminin bir sonucu olarak kanıtlanması kolay olan bir sonuç aşağıda gösterilecektir (kaydırıcıyı kaydırdığınızda).
Bu uygulama ile birkaç dakika etkileşim kurun ve ardından aşağıdaki soruları yanıtlayın. Bunu yaparken, beyaz noktaları istediğiniz yere taşımaktan çekinmeyin.
1.
Yukarıda gözlemlediğiniz olguları koşullu ("eğer-o zaman") bir ifade olarak yazın.
2.
Bu sonuç (1) için yazdığınız) Üçgen-Açı-Toplam-Teoremi kullanılarak kolayca kanıtlanabilir. Bunun nasıl yapılabileceğini kısaca açıklayınız.