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