OliForum Matematico

sulla proposizione da dimostrare non si può operare per la radice: la radice ennesima non è stata definita fino alla proposizione 33.6, così come non sono state definite la classe dei numeri reali e la classe dei razionali negativi.

Le rimetto le uniche cose definite fino alla proposizione 33.6 e ...

Concetti, media aritmetica e media geometrica, che non c'entrano alcunché con la proposizione di cui si chiede la dimostrazione

Peraltro, questa è una proposizione da dimostrare non un tema di italiano

Giuseppe Peano
Aritmetica generale e algebra elementare

E' data come esercizio e la dimostrazione è prevista, nel programma di Giuseppe Peano (1902) , per il secondo anno di scuola superiore (IV Ginnasio)

Ecco la proposizione

P 33.6
x,y sono in R (classe numeri razionali positivi)
x-=y (x diverso ...