- 1 -
D. PINEL, Site Mathemitec : http://perso.numericable.fr/~pinedavi/mathemitec/Index.html
− !" # $ % % & ' ( ) * + , + * + , + * +- , . / →0/( " /→ −/→ −-/→
1 2 *0, *3 ,
4 4 $ %
5 # $ % )* + , + * + , + * +-,.
• $ % )* + , * + ,.
• # $ % )* +-, * +-,. 4 6
5 - # $ % )* + , + * + , + * +-,. )* + , + * + , + * + , + * + ,.
• $ % )* + , + * + , + * + ,.
• # $ % )* +" , * + ,. )* +-, * +-!" ,. -!" -
5 " / 0→/( " /→ −/→ −-/→ ( -/→ 7 /→ 7 →/7 - /→ ( → 7 -→ (−*→ 7 -→, "
5 8 # $ % * + , * + , * +- , ∀/∈* , /→ 7 /→ 7 - /→ ( * 7 7 - , /#→
9 / ( $ & → 7 - → ( * 7 " , #→ 4 6 * 7 " , #→ ( *→ 7 -→,
: ≠ − !" →# (
7 " *→ 7 -→, & #;
→ ( < *→ 7 -→, →# (
7 " ×- #;
→ 8
5 = 4 8 →#− !-( → 7 -→
→#
− !-( → 7 -→ ⇔ → 7 →#− !-( → 7 -→ ⇔ →#− !-( -→ →#− !-!! →
* ,⊥* , 4 6 * ,⊥* , * #− !-,⊥* , #− !- =
5 > 4 8 →# ( -
7 " #;
→
' * #−, 2 α : → (α #;
→
( # ⇔ →# ( → ⇔ -
7 " (α ⇔- (α7 " α ⇔ *-−"α, (α ⇔ (α!*-−"α, 6 : α ≠-!"
? * #−, : → ( *-!" , #;
→ 4 # >
0 3
#
- # $ % ) * +-, + * +-!" , .
" / 0→/( → 7 -→
8 − !" →# 6 #;
→
= #− !-
> * #−, 2 : ( #