Dile a Wolfram Alpha que una variable es un número natural

Question

¿Cómo puedo decirle a Wolfram Alpha que algunas variables son números naturales, cuando quiero resolver una ecuación?

Un ejemplo de lo que quiero hacer:

$\binom{n}{k}\cdot p^k \cdot (1-p)^{n-k} = \frac{1}{\sqrt{n\cdot p \cdot (1-p)}}\cdot \frac{1}{\sqrt{2 \cdot \pi}} \cdot e^{-\frac{1}{2} \cdot \left(\frac{x-np}{\sqrt{n \cdot p \cdot (1-p)}}\right)^2}$ resolver para $x$ con $n,k \in \mathbb{N}$ , $0 \lt p \lt 1$ .

Answer 1

Sólo hay que añadir un "suponiendo x entero" al final. Lo he probado y parece que funciona. (similar a la notación de Maple asumiendo x::entero, supongo) Para el natural no parece funcionar correctamente: asumiendo x natural

Answer 2

Depende de cómo se intente lo que se quiere resolver. Decirle a Mathematica que algo es un entero tiene una sintaxis diferente dependiendo de lo que estés tratando de hacer.

Suponiendo que está utilizando la función "Resolver", se vería así:

Solve[(x - 3/2) (x - 2)== 0 && x \[Element] Integers]

EDITAR. Después de 6 años, el sitio web ha cambiado y esto ya no funciona. Sin embargo,

 Solve (x-3/2)(x-2)=0 for x integer

parecía funcionar, como se puede puede ver aquí .

Answer 3

Por muy sucio que sea, he utilizado el módulo 1 para forzar que los números sean enteros. Combínalo con una restricción >= 0 y podrás llegar a los números naturales.

Ejemplo,%20x%20%2B%20y%20%3D%204,%20x%20%3E%3D%200,%20y%20%3E%3D%200,%20x%20mod%201%20%3D%200,%20y%20mod%201%20%3D%200&assumption=%7B%22C%22,%20%22max%22%7D%20-%3E%20%7B%22OptimizationWord%22%7D)

Answer 4

Resolver[ ..., Elemento[..., Enteros]]