|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
http://functions.wolfram.com/04.03.21.0004.01
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Integrate[Round[t], {t, 0, n}] == n^2/2 /; Element[n, Integers] && n >= 0
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Cell[BoxData[RowBox[List[RowBox[List[RowBox[List[SubsuperscriptBox["\[Integral]", "0", "n"], RowBox[List[RowBox[List["Round", "[", "t", "]"]], RowBox[List["\[DifferentialD]", "t"]]]]]], "\[Equal]", FractionBox[SuperscriptBox["n", "2"], "2"]]], "/;", RowBox[List[RowBox[List["Element", "[", RowBox[List["n", ",", "Integers"]], "]"]], "\[And]", RowBox[List["n", "\[GreaterEqual]", "0"]]]]]]]]
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
<math xmlns='http://www.w3.org/1998/Math/MathML' mathematica:form='TraditionalForm' xmlns:mathematica='http://www.wolfram.com/XML/'> <semantics> <mrow> <mrow> <mrow> <msubsup> <mo> ∫ </mo> <mn> 0 </mn> <mi> n </mi> </msubsup> <mrow> <mrow> <mo> ⌊ </mo> <mi> t </mi> <mo> ⌉ </mo> </mrow> <mo> ⁢ </mo> <mrow> <mo> ⅆ </mo> <mi> t </mi> </mrow> </mrow> </mrow> <mo> ⩵ </mo> <mfrac> <msup> <mi> n </mi> <mn> 2 </mn> </msup> <mn> 2 </mn> </mfrac> </mrow> <mo> /; </mo> <mrow> <mi> n </mi> <mo> ∈ </mo> <semantics> <mi> ℕ </mi> <annotation encoding='Mathematica'> TagBox["\[DoubleStruckCapitalN]", Function[Integers]] </annotation> </semantics> </mrow> </mrow> <annotation-xml encoding='MathML-Content'> <apply> <ci> FormBox </ci> <apply> <ci> RowBox </ci> <list> <apply> <ci> RowBox </ci> <list> <apply> <ci> RowBox </ci> <list> <apply> <ci> SubsuperscriptBox </ci> <ms> ∫ </ms> <ms> 0 </ms> <ms> n </ms> </apply> <apply> <ci> RowBox </ci> <list> <apply> <ci> ErrorBox </ci> <apply> <ci> RowBox </ci> <list> <ms> ⌊t⌉ </ms> </list> </apply> </apply> <apply> <ci> RowBox </ci> <list> <ms> ⅆ </ms> <ms> t </ms> </list> </apply> </list> </apply> </list> </apply> <ms> ⩵ </ms> <apply> <ci> FractionBox </ci> <apply> <ci> SuperscriptBox </ci> <ms> n </ms> <ms> 2 </ms> </apply> <ms> 2 </ms> </apply> </list> </apply> <ms> /; </ms> <apply> <ci> RowBox </ci> <list> <ms> n </ms> <ms> ∈ </ms> <apply> <ci> TagBox </ci> <ms> ℕ </ms> <apply> <ci> Function </ci> <integers /> </apply> </apply> </list> </apply> </list> </apply> <ci> TraditionalForm </ci> </apply> </annotation-xml> </semantics> </math>
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
| Cell[BoxData[RowBox[List[RowBox[List["HoldPattern", "[", RowBox[List[SubsuperscriptBox["\[Integral]", "0", "n_"], RowBox[List[RowBox[List["Round", "[", "t_", "]"]], RowBox[List["\[DifferentialD]", "t_"]]]]]], "]"]], "\[RuleDelayed]", RowBox[List[FractionBox[SuperscriptBox["n", "2"], "2"], "/;", RowBox[List[RowBox[List["n", "\[Element]", "Integers"]], "&&", RowBox[List["n", "\[GreaterEqual]", "0"]]]]]]]]]] |
|
|
|
|
|
|
|
|
|
|
Date Added to functions.wolfram.com (modification date)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|