Question

Writing a proper inductive argument

score 60 · Answer 1 · 2026-04-11 05:12:19

60

Views

Writing a proper inductive argument

Published on 11 Apr 2026 - 5:12

score 265 · Answer 2 · 2026-04-08 17:34:17

265

Views

Extending a continuous function from $S^1$ to $S^2$ to a continuous function from $D$ to $S^2$.

Published on 08 Apr 2026 - 17:34

score 500 · Answer 3 · 2026-04-14 08:47:33

500

Views

Every open set $A\subseteq\mathbb{R}$ is countable union of bounded open intervals: one proof.

Published on 14 Apr 2026 - 8:47

score 53 · Answer 4 · 2026-04-09 08:31:14

53

Views

Induction on inequalities

Published on 09 Apr 2026 - 8:31

score 94 · Answer 5 · 2026-04-16 08:33:07

94

Views

The only sets in $\mathbb{R}$ which are both open and closed are the empty set and $\mathbb{R}$ itself

Published on 16 Apr 2026 - 8:33

score 48 · Answer 6 · 2026-04-23 19:40:39

48

Views

Structured Theorems(Programs) in Number Theory Proving Logical Conjunctions Using Infinite Descent

Published on 23 Apr 2026 - 19:40

score 824 · Answer 7 · 2026-04-15 14:01:41

824

Views

Proving the Triangle Inequality using only the Axioms of Inequality on the set of Real Numbers

Published on 15 Apr 2026 - 14:01

score 78 · Answer 8 · 2026-04-17 02:30:51

78

Views

An open set with end point real as a union of open sets with rational end point.

Published on 17 Apr 2026 - 2:30

score 97 · Answer 9 · 2026-04-16 06:30:36

97

Views

Let n ≥ 2. Prove that the linear congruence nx ≡ b (mod n + 1) has a unique solution mod n + 1 for any b ∈ Z.

Published on 16 Apr 2026 - 6:30

score 376 · Answer 10 · 2026-04-15 20:06:51

376

Views

F and G are families of sets and $\mathcal F \cap \mathcal G ≠ \emptyset$, prove that $\bigcap \mathcal F \subseteq \mathcal \bigcup G$

Published on 15 Apr 2026 - 20:06

score 165 · Answer 11 · 2026-04-13 18:55:00

165

Views

Distribution of digits across all factorials

Published on 13 Apr 2026 - 18:55

score 430 · Answer 12 · 2026-04-15 08:39:00

430

Views

Prove that if $B$ is a set and $\mathcal F$ is family of sets and $∪ \mathcal F ⊆ B$ then $\mathcal F ⊆ \mathscr P(B).$

Published on 15 Apr 2026 - 8:39

score 1.2k · Answer 13 · 2026-04-14 04:46:05

1.2k

Views

Catalan numbers - algebraic proof of the recurrence relation

Published on 14 Apr 2026 - 4:46

score 98 · Answer 14 · 2026-04-14 16:51:02

98

Views

How to write simple proofs? "If $x,y\geq 0$, then: $x>y\Rightarrow x^2>y^2$"

Published on 14 Apr 2026 - 16:51

score 160 · Answer 15 · 2026-04-15 14:25:03

160

Views

How do I formalize this proof? "Prove that if $x\ne 1$ then there is a real number $y$ such that $\frac{y+1}{y-2} = x$"

Published on 15 Apr 2026 - 14:25

List Question

Writing a proper inductive argument

Extending a continuous function from $S^1$ to $S^2$ to a continuous function from $D$ to $S^2$.

Every open set $A\subseteq\mathbb{R}$ is countable union of bounded open intervals: one proof.

Induction on inequalities

The only sets in $\mathbb{R}$ which are both open and closed are the empty set and $\mathbb{R}$ itself

Structured Theorems(Programs) in Number Theory Proving Logical Conjunctions Using Infinite Descent

Proving the Triangle Inequality using only the Axioms of Inequality on the set of Real Numbers

An open set with end point real as a union of open sets with rational end point.

Let n ≥ 2. Prove that the linear congruence nx ≡ b (mod n + 1) has a unique solution mod n + 1 for any b ∈ Z.

F and G are families of sets and $\mathcal F \cap \mathcal G ≠ \emptyset$, prove that $\bigcap \mathcal F \subseteq \mathcal \bigcup G$

Distribution of digits across all factorials

Prove that if $B$ is a set and $\mathcal F$ is family of sets and $∪ \mathcal F ⊆ B$ then $\mathcal F ⊆ \mathscr P(B).$

Catalan numbers - algebraic proof of the recurrence relation

How to write simple proofs? "If $x,y\geq 0$, then: $x>y\Rightarrow x^2>y^2$"

How do I formalize this proof? "Prove that if $x\ne 1$ then there is a real number $y$ such that $\frac{y+1}{y-2} = x$"

Trending Questions

Popular # Hahtags

Popular Questions