mathematica.gr

Δημοσιεύτηκε: **Πέμ Ιούλ 08, 2010 9:01 am**

Καλημέρα

Αν $\varnothing \neq A \subseteq \mathbb{R}$ και αληθεύει η $x,y \in \mathbb{R}$ και $x+y \in A \Rightarrow xy \in A$ , να αποδείξετε ότι $A=\mathbb{R}$

Δημοσιεύτηκε: **Πέμ Ιούλ 08, 2010 11:23 am**

'Εστω

ένα στοιχείο του

. Αν $x\leq \frac{a^2}{4}$ και $y=\frac{a+\sqrt{a^2-4x}}{2}$ , τότε y(a-y)=x

.

Αφού $y+(a-y)=a\in A$ , από τη δοθείσα ιδιότητα έπεται ότι $x\in A$ . Συνεπώς, $(-\infty, \frac{a^2}{4}] \subset A$ . (1)

Αρκεί, λοιπόν, να δείξουμε ότι το

περιέχει όλους τους φυσικούς αριθμούς. Πράγματι, με

Με x=1

και

, έπεται ότι $a-1=1\cdot (a-1) \in A$ . (*)

Με x=-1

και

, έπεται από (*) και τη τη δοθείσα ιδιότητα ότι $-a=-1\cdot a \in A$ . (**)

*****************************************
Edit: Από την (1) και τη (**) το πρόβλημα λύθηκε, αφού έπεται ότι $[-\frac{a^2}{4},+\infty)\subset A$ που σε συνδυασμό με την (1) μας δίνει $\mathbb{R}=A$ .
*****************************************
Με x=-1

και

, έπεται ότι $-a-1=-1\cdot (a+1) \in A$ , που σε συνδυασμό με την (**) μας δίνει ότι $a+1\in A$ (2).

Αφού $0\in A$ (π.χ. από (1)), χρησιμοποιώντας τη (2) επαγωγικά δείχνουμε εύκολα ότι $\mathbb{N} \subset A$ .

Η απόδειξη ολοκληρώθηκε.

Φιλικά,

Αχιλλέας

Δημοσιεύτηκε: **Πέμ Ιούλ 08, 2010 1:20 pm**

Από άλλον δρόμο:
$x \in A \Rightarrow x+0 \in A \Rightarrow 0 \in A$ (1)
$(x-1)+1 \in A \Rightarrow x-1 \in A$ (2)
$1+(-1)=0 \in A \Rightarrow -1 \in A$ (3)
$(2) \Rightarrow -x \in A$ , άρα από την (3) έχουμε $1\in A$ (4)
Έστω $x_0 \in \mathbb{R} \Rightarrow \sqrt[3]{x_0}- \sqrt[3]{x_0}+1=1 \in A \Rightarrow (-\sqrt[3]{x_0}-\sqrt[3]{x_0^2}) \in A \Rightarrow \sqrt[3]{x_0^3}=x_0 \in A$ . Και η απόδειξη τελείωσε
Φιλικά

mathematica.gr

$A= \mathbb{R}$

$A= \mathbb{R}$

Re: $A= \mathbb{R}$

Re: $A= \mathbb{R}$