ostrosłup o podstawie trójkąta prostokątnego

[wielkireturner]

Trójkąt \(\displaystyle{ ABC}\), w którym \(\displaystyle{ \angle BAC = 90 ^{ o }}\), jest podstawą ostrosłupa \(\displaystyle{ ABCD}\). Ponadto zachodzą równości \(\displaystyle{ AD = BD, AB = CD}\). Uzupełnijmy trójkąt \(\displaystyle{ BAC}\) do prostokąta \(\displaystyle{ BACE}\). Dlaczego wówczas \(\displaystyle{ \angle ACD \ge \angle ACE - \angle DCE}\)?

[bakala12]

Ponieważ \(\displaystyle{ \angle ACD + \angle DCE > \angle ACE}\), a to wynika z nierówności między kątami płaskimi kąta trójściennego.
Upewnij się czy treść jest poprawna i czy ja dobrze spojrzałem, bo mogłem coś skopać.