**Krok \(1\).** Mamy wykazać, że pewien obiekt nie istnieje. Takie dowody prowadzi się nie wprost: zakładamy, że taki trójkąt prostokątny istnieje, wyciągamy z tego wnioski i dochodzimy do sprzeczności. Punktem wyjścia jest fakt, że w trójkącie prostokątnym kąty ostre sumują się do \(90^{\circ}\).
**Krok \(2\).** Załóżmy więc, że istnieje trójkąt prostokątny o kątach ostrych \(\alpha\) i \(\beta\). Suma kątów w trójkącie wynosi \(180^{\circ}\), a jeden z nich jest prosty, więc
\[\alpha+\beta=90^{\circ},\qquad\text{czyli}\qquad \beta=90^{\circ}-\alpha.\]
**Krok \(3\).** Dla kątów dopełniających się do \(90^{\circ}\) zachodzi \(\sin\left(90^{\circ}-\alpha\right)=\cos\alpha\). Zatem z danej \(\cos\alpha=\frac34\) wynika
\[\sin\beta=\cos\alpha=\frac{3}{4}.\]
**Krok \(4\).** Kąt \(\beta\) jest ostry, więc \(\cos\beta\gt 0\) i z jedynki trygonometrycznej
\[\cos\beta=\sqrt{1-\sin^2\beta}=\sqrt{1-\frac{9}{16}}=\sqrt{\frac{7}{16}}=\frac{\sqrt7}{4}.\]
**Krok \(5\).** Obliczamy tangens tego kąta:
\[\mathrm{tg}\,\beta=\frac{\sin\beta}{\cos\beta}=\frac{\frac34}{\frac{\sqrt7}{4}}=\frac{3}{\sqrt7}=\frac{3\sqrt7}{7}.\]
**Krok \(6\).** Porównujemy z wartością podaną w treści. Zamiast liczyć przybliżenia, porównajmy kwadraty obu dodatnich liczb:
\[\left(\frac{3}{\sqrt7}\right)^2=\frac{9}{7},\qquad \left(\frac{4}{3}\right)^2=\frac{16}{9}.\]
Sprowadzamy do wspólnego mianownika \(63\): \(\frac{9}{7}=\frac{81}{63}\) oraz \(\frac{16}{9}=\frac{112}{63}\). Te liczby są różne, więc
\[\frac{3\sqrt7}{7}\ne\frac{4}{3}.\]
Dla orientacji: \(\frac{3\sqrt7}{7}\approx 1{,}13\), a \(\frac43\approx 1{,}33\).
**Krok \(7\).** Otrzymaliśmy sprzeczność: z założenia, że trójkąt jest prostokątny i \(\cos\alpha=\frac34\), wynika \(\mathrm{tg}\,\beta=\frac{3\sqrt7}{7}\), a treść wymaga \(\mathrm{tg}\,\beta=\frac43\). Oba warunki nie mogą zachodzić jednocześnie, więc taki trójkąt nie istnieje.
**Uwaga.** Długość przeciwprostokątnej \(24\) jest w tym rozumowaniu zupełnie niepotrzebna, bo sprzeczność wynika już z samych kątów; to dana nadmiarowa. Można też rozumować rachunkowo: z \(\cos\alpha=\frac34\) przyprostokątna przyległa do \(\alpha\) ma długość \(24\cdot\frac34=18\), a z \(\mathrm{tg}\,\beta=\frac43\) druga przyprostokątna wynosiłaby \(18\cdot\frac34=13{,}5\); wtedy \(18^2+13{,}5^2=506{,}25\), a \(24^2=576\), więc twierdzenie Pitagorasa nie zachodzi.
**Odpowiedź.** Taki trójkąt nie istnieje: w trójkącie prostokątnym z \(\cos\alpha=\frac34\) wynika \(\mathrm{tg}\,\beta=\frac{3\sqrt7}{7}\approx 1{,}13\), a to jest sprzeczne z warunkiem \(\mathrm{tg}\,\beta=\frac43\).