Dowód niewymierności liczby mamkolokwiumzanalizy: Nie rozumiem ostatniego etapu w wykazaniu, że liczba log5(7) jest niewymierna. Zakładam, że jest wymierna, wtedy log5(7) = a/b, a∊Z, b∊N. 5⁽a/b) = 7 5^a = 7^b I z tego wynika 7|5^a ⇒ a > 0 i to jest sprzeczność. Nie rozumiem tej ostatniej linijki, ktoś mógłby wytłumaczyć dlaczego to jest sprzeczność? Wiem, że 7 ma dzielić 5^a ale tak nie jest, więc już tu można napisać sprzeczność? Po co jest to a > 0? To są notatki z lekcji jakby co.