User contributions for SchuBot
Jump to navigation
Jump to search
20 April 2020
- 13:2613:26, 20 April 2020 diff hist +335 Formula q_873 (Q680) Created claim: arqmath formula id (P8): q_873
- 13:2613:26, 20 April 2020 diff hist +226 N Formula q_873 (Q680) Created a new Item
- 13:2613:26, 20 April 2020 diff hist +334 Formula q_872 (Q679) Created claim: Defining formula (P1): P(1) current
- 13:2613:26, 20 April 2020 diff hist +335 Formula q_872 (Q679) Created claim: arqmath formula id (P8): q_872
- 13:2613:26, 20 April 2020 diff hist +226 N Formula q_872 (Q679) Created a new Item
- 13:2613:26, 20 April 2020 diff hist +436 Formula q_871 (Q678) Created claim: Defining formula (P1): \big(\sum_{i=1}^{1}a_{i}\big) \big(\sum_{i=1}^{1} \frac{1}{a_{i}}\big) = a_{1} \frac{1}{a_{1}} = 1 = 1^2 current
- 13:2513:25, 20 April 2020 diff hist +335 Formula q_871 (Q678) Created claim: arqmath formula id (P8): q_871
- 13:2513:25, 20 April 2020 diff hist +226 N Formula q_871 (Q678) Created a new Item
- 13:2513:25, 20 April 2020 diff hist +415 Formula q_870 (Q677) Created claim: Defining formula (P1): P(n)::\big(\sum_{i=1}^{n}a_{i}\big) \big(\sum_{i=1}^{n} \frac{1}{a_{i}}\big) \ge n^2 current
- 13:2513:25, 20 April 2020 diff hist +335 Formula q_870 (Q677) Created claim: arqmath formula id (P8): q_870
- 13:2513:25, 20 April 2020 diff hist +226 N Formula q_870 (Q677) Created a new Item
- 13:2513:25, 20 April 2020 diff hist +331 Formula q_869 (Q676) Created claim: Defining formula (P1): n current
- 13:2513:25, 20 April 2020 diff hist +335 Formula q_869 (Q676) Created claim: arqmath formula id (P8): q_869
- 13:2513:25, 20 April 2020 diff hist +226 N Formula q_869 (Q676) Created a new Item
- 13:2513:25, 20 April 2020 diff hist +490 Formula q_868 (Q675) Created claim: Defining formula (P1): 3 + \big(\frac{a}{b} + \frac{b}{a}\big) + \big(\frac{a}{c} + \frac{c}{a}\big) + \big(\frac{b}{c} + \frac{c}{b}\big) \ge 3 + 2 + 2 +2 = 9 = 3^2 \ \blacksquare current
- 13:2513:25, 20 April 2020 diff hist +335 Formula q_868 (Q675) Created claim: arqmath formula id (P8): q_868
- 13:2513:25, 20 April 2020 diff hist +226 N Formula q_868 (Q675) Created a new Item
- 13:2513:25, 20 April 2020 diff hist +372 Formula q_867 (Q674) Created claim: Defining formula (P1): \big(\frac{b}{c} + \frac{c}{b}\big) \ge 2 current
- 13:2513:25, 20 April 2020 diff hist +335 Formula q_867 (Q674) Created claim: arqmath formula id (P8): q_867
- 13:2513:25, 20 April 2020 diff hist +226 N Formula q_867 (Q674) Created a new Item
- 13:2513:25, 20 April 2020 diff hist +372 Formula q_866 (Q673) Created claim: Defining formula (P1): \big(\frac{a}{c} + \frac{c}{a}\big) \ge 2 current
- 13:2513:25, 20 April 2020 diff hist +335 Formula q_866 (Q673) Created claim: arqmath formula id (P8): q_866
- 13:2513:25, 20 April 2020 diff hist +226 N Formula q_866 (Q673) Created a new Item
- 13:2513:25, 20 April 2020 diff hist +373 Formula q_865 (Q672) Created claim: Defining formula (P1): \big(\frac{a}{b} + \frac{b}{a}\big) \ge 2 current
- 13:2513:25, 20 April 2020 diff hist +335 Formula q_865 (Q672) Created claim: arqmath formula id (P8): q_865
- 13:2513:25, 20 April 2020 diff hist +226 N Formula q_865 (Q672) Created a new Item
- 13:2513:25, 20 April 2020 diff hist +450 Formula q_864 (Q671) Created claim: Defining formula (P1): = 3 + \big(\frac{a}{b} + \frac{b}{a}\big) + \big(\frac{a}{c} + \frac{c}{a}\big) + \big(\frac{b}{c} + \frac{c}{b}\big) current
- 13:2513:25, 20 April 2020 diff hist +335 Formula q_864 (Q671) Created claim: arqmath formula id (P8): q_864
- 13:2513:25, 20 April 2020 diff hist +226 N Formula q_864 (Q671) Created a new Item
- 13:2513:25, 20 April 2020 diff hist +485 Formula q_863 (Q670) Created claim: Defining formula (P1): (a+b+c)\big(\frac{1}{a} + \frac{1}{b} + \frac{1}{c}\big) = 1 + \frac{a}{b} + \frac{a}{c} + \frac{b}{a} + 1 + \frac{b}{c} + \frac{c}{a} + \frac{c}{b} + 1 current
- 13:2513:25, 20 April 2020 diff hist +335 Formula q_863 (Q670) Created claim: arqmath formula id (P8): q_863
- 13:2513:25, 20 April 2020 diff hist +226 N Formula q_863 (Q670) Created a new Item
- 13:2513:25, 20 April 2020 diff hist +350 Formula q_862 (Q669) Created claim: Defining formula (P1): a,b,c \in \Bbb{R}^+ current
- 13:2513:25, 20 April 2020 diff hist +335 Formula q_862 (Q669) Created claim: arqmath formula id (P8): q_862
- 13:2513:25, 20 April 2020 diff hist +226 N Formula q_862 (Q669) Created a new Item
- 13:2513:25, 20 April 2020 diff hist +333 Formula q_861 (Q668) Created claim: Defining formula (P1): n=3 current
- 13:2513:25, 20 April 2020 diff hist +335 Formula q_861 (Q668) Created claim: arqmath formula id (P8): q_861
- 13:2513:25, 20 April 2020 diff hist +226 N Formula q_861 (Q668) Created a new Item
- 13:2513:25, 20 April 2020 diff hist +339 Formula q_860 (Q667) Created claim: Defining formula (P1): a+b \ge 2 current
- 13:2513:25, 20 April 2020 diff hist +335 Formula q_860 (Q667) Created claim: arqmath formula id (P8): q_860
- 13:2513:25, 20 April 2020 diff hist +226 N Formula q_860 (Q667) Created a new Item
- 13:2513:25, 20 April 2020 diff hist +335 Formula q_859 (Q666) Created claim: Defining formula (P1): ab =1 current
- 13:2513:25, 20 April 2020 diff hist +335 Formula q_859 (Q666) Created claim: arqmath formula id (P8): q_859
- 13:2513:25, 20 April 2020 diff hist +226 N Formula q_859 (Q666) Created a new Item
- 13:2513:25, 20 April 2020 diff hist +348 Formula q_858 (Q665) Created claim: Defining formula (P1): a,b \in \Bbb{R}^+ current
- 13:2513:25, 20 April 2020 diff hist +335 Formula q_858 (Q665) Created claim: arqmath formula id (P8): q_858
- 13:2513:25, 20 April 2020 diff hist +226 N Formula q_858 (Q665) Created a new Item
- 13:2513:25, 20 April 2020 diff hist +333 Formula q_857 (Q664) Created claim: Defining formula (P1): n=3 current
- 13:2513:25, 20 April 2020 diff hist +335 Formula q_857 (Q664) Created claim: arqmath formula id (P8): q_857
- 13:2513:25, 20 April 2020 diff hist +226 N Formula q_857 (Q664) Created a new Item