Qurak
ورود

PositiveIntegers

در دسترس

Domain of positive integers

PositiveIntegers
Reduce[x ^ 2 - 2y ^ 2 == 1, {x, y}, PositiveIntegers] → y == -(Sqrt[-1 + x^2]/Sqrt[2]) || y == Sqrt[-1 + x^2]/Sqrt[2]Simplify[EulerPhi[n]^2 + 1∈PositiveIntegers, n∈ℤ] → Element[1 + EulerPhi[n]^2, PositiveIntegers](x | y | 1)∈PositiveIntegers → Element[x | y, PositiveIntegers]
اجرای این روی Qurakجست‌وجو در مرجع

موضوع‌ها

مرتبط

ElementSimplifyIntegersNegativeIntegersNonNegativeIntegersNonPositiveIntegersPositiveRationalsPositiveRealsAssumingAssumptionsBooleansComplexes

همهٔ 6300 تابع · استفاده از این در کلاینت MCP