Patrz moja odpowiedz dla Czarka, ponadto
1. zgadzam sie, ze jest to klasa twierdzen na poziomie cymabala z
podstawówki - ale twierdzen z formalnego punktu widzenia
2. Klase mozna rozszerzyc latwo zamiast polowa podajac dowolne ulamki
wlasciwe i zamiast slowo pierwiastek podac dowolna potege (niechby tylko
ulamkowa (ulamków wlasciwych)) - wtedy problemem (juz nie takim
podstawówkowym, raczej gimnazjalnym) jest znalezienie najmniejszej n dla
takiego twierdzenia....
Kwantyfikator znam (i to dwa...), znam tez pojecie twierdzenia
"mocniejszego" (bardziej ogólnego) - co nie wyklucza istnienia twierdzen
slabszych
--
Krzysztof Dominko
(0)501029908, jakby ktos musial dzwonic
Użytkownik expert <e...@f...onet.pl> w wiadomooci do grup dyskusyjnych
napisał:3...@f...onet.pl...
> expert wrote:
> >
> > > Napisane przeze mnie twierdzenie to opis grupy twierdzeń.
> > > Dla liczby 5 połowa jest większa od pierwiastka.
> > > Dla liczby 6 połowa jest większa...
> > > Dla liczby 7....
> > > ...
> >
> > Chyba nie wiesz co mowisz.
> > Jest taki kwantyfikator
> > "dla kazdego"
> > czyli dla kazdej liczby naturalnej : ....twierdzenie
> >
> > To jest jedno twierdzenie a nie zadna grupa.
> > Marsz do podstawowki.
> a poza tym to jest prosta njierownosc
>
> n/2 > n** (1/2)
>
> (n/2)**2 > n ( dla n> 1)
> 1/4 * n**2 - n > 0
>
> n**2 - 4 n > 0
>
> n - 4 > 0
> n > 4
>
> czyli zadna tam grupa twierdzen