getin:
ogólnie to najkrótsza wysokość i najmniejsza dwusieczna wychodzą z największego kąta trójkąta
1) dla ostrokątnego
kąt ACB = 2α (największy kąt trójkąta)
d = |CE| najkrótsza dwusieczna
h = |CD| najkrótsza wysokość
zatem 2α>60
o (bo największy kąt) oraz 2α<90
o (bo ostrokątny)
więc α>30
o oraz α<45
o (inaczej 30
o<α<45
o)
| h | | 1 | |
Trzeba udowodnić że |
| > |
| |
| d | | √2 | |
Niech kąt DEC = β, wtedy kąt DEC = 90
o−β, oraz kąt CEB = 180
o−β więc kąt EBC = β−α
| √2 | |
Ponieważ |
| = sin45o, to trzeba pokazać że β > 45o i będzie udowodnione |
| 2 | |
Niech kąt ACD = γ
Kąt ACD + kąt DCE = α
γ + 90
0−β = α
γ = α+β−90
o
γ>0
o
α+β−90
o>0
o
α+β>90
o
jeśli 30
o<α<45
o, to β>45
o koniec dowodu dla Δ ostrokątnego