deux exos de logique

salut tt le monde, voila quelques exos de logique:
1) a et b sont des réels
démontrez que :
pour tt (x,y) de IR² on a: ax+by=0 <=> (a=0 et b=0)
2) démontrerz:
pour tt n £ IN-(0,1): ((n+1)/2)^n >=1*2*3*....*n

pour la premier exo utilise le fé ke a=>b et b=>a <=> a<=>b

Pour le 2éme :

c juste mais on a pas encore étudié l'inégalité de (I.A.G), mais si tuconnaissais sa démonstration, tu pourras la poster ici et après ce sera facile de l'utiliser.

pour la deuxieme remarque que
((n+1)/2)²>=k(n+1-k) qq soit k dans {1.2...n}
puis fais le produit des, inegalités obtenue..

c'est vrai selfresperct

oui c vrai ! je ne l'ai po remarqué! on peut meme la démontrer et avec on peut rsourdre l'exo!
Vraiment bravo selfrespect! merci!