0
括號是floor函數。所以[4.3]將是4，[-2.4]將是-3我試圖通過案例來證明這一點。我認爲我應該首先證明每個案例，例如先[x]然後[x + 1/4]，然後我無法證明它的一般性證明以下身份適用於所有實數x。 [4x] = [x] + [x + 1/4] + [x + 2/4] + [x + 3/4]
A
回答
1
證明它有四種情況。
- 情況1：
0 <= x - [x] < 1/4 - 情況2：
1/4 <= x - [x] < 1/2 - 情況3：
1/2 <= x - [x] < 3/4 - 情況4：
3/4 <= x - [x] < 1
在每種情況下，[x]，[x+1/4]，[x+2/4]，[x+3/4]，和根據[x]很容易表達[4x]。
+0
簡單，優雅，易於理解。 – Floris
相關問題
- 1. 如何證明[在Coq證明助手]中的所有x，（R x \ /〜R x）？
- 2. Floor（X）模X等於X？
- 3. 證明 - X> = A/\ X <= a -> X = A
- 4. PHP IF（（X）||（X && Y））聲明
- 5. Prolog X = f（X）。 （X）
- 6. 升級plone 2.x到4x
- 7. nlog4.x $ {longdate}適用於Npgsql 2.2.7，但不適用於Npgsql 3.x
- 8. x = 20; x = ++ x + ++ x + x ++; java中x的最終值是65
- 9. 沒有匹配函數調用'X :: X（）'
- 10. 爲什麼x = x + y和x = y + x有時會有所不同？
- 11. Linq查詢條件（x && x）|| （x＆x）
- 12. 爲什麼x ** 3比x * x * x慢？
- 13. For Each x ... Next Vs.對於每個x ...下一個x
- 14. border-radius：x x x x - 支持
- 15. 從＃定義SQR（X）（X * X）
- 16. '聲明-A X' VS '聲明-A X =（）'
- 17. python x = x + x比y = x + x ?!慢120倍爲什麼？
- 18. x ++在裝配中比x = x + 1和x + = 1更有效嗎？
- 19. 如何重寫表達式x => x到x => X =真且x => x到x => X ==真
- 20. cakePHP 2.x自定義身份驗證
- 21. Codeigniter 2.x - 身份驗證+ ACL庫
- 22. Django Mac os x身份驗證集成
- 23. Rails 2.x http基本身份驗證
- 24. Play中的身份驗證2.3.x
- 25. Facebook聊天 - X-FACEBOOK-PLATFORM身份驗證
- 26. 如何在x = 1時使用Z3RCF-Py來證明diff（x^2，x）= 2？
- 27. 類型X中的方法X不適用於參數（int）
- 28. Ruby：％{x}與＃{x}？
- 29. 中x = GCC（X ++）
- 30. Parallel.ForEach x of x
這個問題似乎是題外話題，因爲它是關於數學，而不是編程。它可能更適合http://math.stackexchange.com/。 – user2357112