חשבון אינפיניטסימלי/שדה סדור: הבדלים בין גרסאות בדף
תוכן שנמחק תוכן שנוסף
Mathreturn (שיחה | תרומות) אין תקציר עריכה |
Mathreturn (שיחה | תרומות) אין תקציר עריכה |
||
שורה 101:
#תאימות עם כפל:<math>\forall x,y,z \in \mathbb{F} (x \le y \ \land \ z>0_\mathbb{F}) \Rightarrow xz \le yz</math>
}}
===סדר בין שברים===
{{טענה|
מספר=11|
שם=<math>\forall n,t m,s \in \mathbb{F} \ n, t>0 \ \ \ s.t \ \ \ \frac{m}{n}<\frac{m+n}{n+t} <\frac{s}{t} </math>|
תוכן=}}
{{טענה|
מספר=12|
שם=<math>\forall x,y\in \mathbb{F} \ \ (x>0 \land y<0) \ x*y=1 \Rightarrow x+y\ge 2</math>|
תוכן=}}
{{טענה|
מספר=13|
שם=<math>\forall x,y \in \mathbb{F} \ \ (x+y)(\frac{1}{x}+\frac{1}{y})\ge 4</math>|
תוכן=
}}
{{טענה|
מספר=14|
שם=<math>\forall x,y\in \mathbb{F} \ x<0 \land z,y>0 \ \ s.t \ \ xyz=1 \Rightarrow x+y+z\ge 3</math>|
תוכן=}}
| |||