wykaz kluczodpowiedzi: Dany jest trójkąt ABC (rys) w którym BD=DC, AE=EC oraz kąt ACB=45^o. Wykaż że

√2
	+3*ctg(AGB)=1.
sin(BAC) * sin (ABC)

Kacper:

a7: czy ktoś to zrobił? bo mi nie chciało wyjść

Kamil18: A da sie to wogóle policzyc?

a7: da się, ale wychodzą w pewnym momencie jakieś skomplikowane wyrażenia algebraiczne i nie chce mi się to zamienić w elegancki wzór skróconego mnożenia, więc albo robię błąd obliczeniowy albo przyjęłam złą metodę

Kamil18: A moze bład w zadaniu?

Saizou : Geogebra mówi, że się zgadza

a7: no to warto wiedzieć, bo już się zastanawiałam czy zadanie nie zawiera "baga"

Kamil18: a co to bag?

a7: to spolszczona nazwa na błąd w oprogramowaniu z ang. "bug" zaimplementowana do nazwania błędu przy tworzeniu zadań mat.

a7: dlatego było w cudzysłowie

Kamil18: Saizou : Geogebra mówi, że się zgadza wiec niewadomo

a7: jeśli Geogebra mówi, że się zgadza to raczej wszystko z zadaniem jest ok

Saizou : Wiem, że sprawdzam tylko przeliczalną liczbę przypadków, ale to miało tylko potwierdzić, czy nie ma byka w zadaniu Nie jest to żaden dowód.

Kamil18: A jak sprwdzic czy jakies zadanie ma bład

a7: no. np. jak wychodzą dziwne liczby albo nie chce wyjść to wpisujesz do programu takiego jak Geogebra lub Wolfram i dowiadujesz się jaki jest poprawny wynik albo czy dane równanie jest prawdziwe albo od razu wpisujesz, żeby wiedzieć jaki jest wynik, jak np. potrzebujesz tylko wyniku

Kamil18: Aha czyli to zadanie ma baga

a7: no właśnie raczej nie , bo Saizou sprawdził w Geogebrze i się zgodziła ta równość (ja nie umiałam sprawdzić w Geogebrze)