od Daniel » Sreda, 09. Decembar 2015, 19:49
@Herien Wolf, posmatrajući strogo formalno, ovime si dokazao obrnut smer implikacije od onog koji se traži.
Ja bih rekao ovako: ako je prirodan broj [inlmath]n[/inlmath] deljiv sa [inlmath]2[/inlmath] i sa [inlmath]3[/inlmath], onda se on može napisati kao [inlmath]n=2k[/inlmath] i [inlmath]n=3l[/inlmath], gde su [inlmath]k[/inlmath] i [inlmath]l[/inlmath] takođe prirodni brojevi.
Odatle sledi i da je [inlmath]2k=3l[/inlmath], to jest [inlmath]k=\frac{3l}{2}[/inlmath].
Pošto je [inlmath]k[/inlmath] prirodan broj, mora biti prirodan broj i [inlmath]\frac{3l}{2}[/inlmath]. On će biti prirodan broj onda kada je [inlmath]3l[/inlmath] deljivo sa [inlmath]2[/inlmath]. Pošto [inlmath]3[/inlmath] nije deljivo sa [inlmath]2[/inlmath], mora biti [inlmath]l[/inlmath] deljivo sa [inlmath]2[/inlmath], te ga možemo pisati kao [inlmath]l=2m[/inlmath], gde je [inlmath]m[/inlmath] prirodan broj.
Pošto smo na početku imali [inlmath]n=3l[/inlmath], sada to možemo pisati kao [inlmath]n=3\cdot2m[/inlmath], to jest kao [inlmath]6m[/inlmath]. Ovime je dokazano da je [inlmath]n[/inlmath] deljiv sa [inlmath]6[/inlmath], čime je dokazana i zadata tvrdnja.
I do not fear death. I had been dead for billions and billions of years before I was born, and had not suffered the slightest inconvenience from it. – Mark Twain