Question

I am writing a formal proof for the first time

score 44 · Answer 1 · 2026-04-13 02:37:54

44

Views

I am writing a formal proof for the first time

Published on 13 Apr 2026 - 2:37

score 28 · Answer 2 · 2026-04-11 03:43:02

28

Views

How to prove $(A \cup (B - C)) \cap B^c \subseteq A - B$

Published on 11 Apr 2026 - 3:43

score 35 · Answer 3 · 2026-04-12 10:39:49

35

Views

What would a rigorous proof that the vector space of functions from $\mathbb{Z}$ to $\mathbb{R}$ is not finite-dimensional look like?

Published on 12 Apr 2026 - 10:39

score 54 · Answer 4 · 2026-04-15 09:30:46

54

Views

Prove that if $a_n$ tends to $\infty$ then $\frac{1}{a_n}$ tends to 0

Published on 15 Apr 2026 - 9:30

score 37 · Answer 5 · 2026-04-13 18:07:59

37

Views

In a simple example, why the set $S$ is unbounded?

Published on 13 Apr 2026 - 18:07

score 296 · Answer 6 · 2026-04-17 10:14:08

296

Views

Proof of this integral identity $\int_0^a{\frac{\tan^{-1}{\left(\sqrt{\frac{2a^2-x^2}{4a^2-x^2}}\right)}}{\sqrt{4a^2-x^2}}dx} = \frac{\pi^2}{32}$

Published on 17 Apr 2026 - 10:14

score 94 · Answer 7 · 2026-03-27 16:47:42

94

Views

Show that $\|b \|^2\ (\sin\theta)^2 = \min_x\ \|ax-b\|^2$ where $\theta$ is the angle between $a,\ b$.

Published on 27 Mar 2026 - 16:47

score 222 · Answer 8 · 2026-04-14 11:07:12

222

Views

Proving $A\subset B\implies |A|\leq |B|$

Published on 14 Apr 2026 - 11:07

score 83 · Answer 9 · 2026-04-22 09:40:54

83

Views

Is the sequence of real number that are $0$ from some point Sense in the box or product topologies

Published on 22 Apr 2026 - 9:40

score 48 · Answer 10 · 2026-04-13 14:14:18

48

Views

Showing a Set is a Partition of Another

Published on 13 Apr 2026 - 14:14

score 46 · Answer 11 · 2026-04-11 18:39:16

46

Views

Deriving an inequality related to an induced matrix norm

Published on 11 Apr 2026 - 18:39

score 89 · Answer 12 · 2026-04-10 06:26:57

89

Views

Show that a function cannot be expressed as a strictly increasing transformation of another function

Published on 10 Apr 2026 - 6:26

score 249 · Answer 13 · 2026-04-14 06:30:14

249

Views

Proof that solutions to Cauchy F.E. over $\mathbb{Q}$ are linear

Published on 14 Apr 2026 - 6:30

score 344 · Answer 14 · 2026-04-16 02:56:15

344

Views

Proving $x^2 - 4y^2 = 7$ has no natural numbers

Published on 16 Apr 2026 - 2:56

score 73 · Answer 15 · 2026-04-15 23:22:57

73

Views

Prove $\lim\limits_{x\to\frac52}\frac1{4x-8}=0.5$ via delta epsilon

Published on 15 Apr 2026 - 23:22

List Question

I am writing a formal proof for the first time

How to prove $(A \cup (B - C)) \cap B^c \subseteq A - B$

What would a rigorous proof that the vector space of functions from $\mathbb{Z}$ to $\mathbb{R}$ is not finite-dimensional look like?

Prove that if $a_n$ tends to $\infty$ then $\frac{1}{a_n}$ tends to 0

In a simple example, why the set $S$ is unbounded?

Proof of this integral identity $\int_0^a{\frac{\tan^{-1}{\left(\sqrt{\frac{2a^2-x^2}{4a^2-x^2}}\right)}}{\sqrt{4a^2-x^2}}dx} = \frac{\pi^2}{32}$

Show that $\|b \|^2\ (\sin\theta)^2 = \min_x\ \|ax-b\|^2$ where $\theta$ is the angle between $a,\ b$.

Proving $A\subset B\implies |A|\leq |B|$

Is the sequence of real number that are $0$ from some point Sense in the box or product topologies

Showing a Set is a Partition of Another

Deriving an inequality related to an induced matrix norm

Show that a function cannot be expressed as a strictly increasing transformation of another function

Proof that solutions to Cauchy F.E. over $\mathbb{Q}$ are linear

Proving $x^2 - 4y^2 = 7$ has no natural numbers

Prove $\lim\limits_{x\to\frac52}\frac1{4x-8}=0.5$ via delta epsilon

Trending Questions

Popular # Hahtags

Popular Questions