5,093 reputation
22274
bio website
location
age
visits member for 2 years, 6 months
seen 10 hours ago

19h
accepted Use $\sin^22t=4\sin^2t(1-\sin^2 t)$ to show that $\sin t$ is not a polynomial?
1d
asked About the convenient rewriting of formulas of sequences?
1d
asked Use $\sin^22t=4\sin^2t(1-\sin^2 t)$ to show that $\sin t$ is not a polynomial?
Aug
11
asked Where can I read about the techniques for computing areas and volumes before calculus?
Aug
10
asked Is the area of a convex polygon equal to the area of a circle with the same perimeter of the polygon?
Aug
3
awarded  Notable Question
Jul
21
comment Prove the reflexivity of $\subseteq$.
@GitGud Yes, but what you mean with "eliminating the universal quantifier"? Is there a process to do it or I just need to throw it away?
Jul
21
comment Prove the reflexivity of $\subseteq$.
@GitGud I don't really know. I've imagined some things but none of them is nice. I remember of the "getting hid of $\forall x$", I've heard a small piece about it in a lecture but I had to leave and didn't get the rest.
Jul
21
comment Prove the reflexivity of $\subseteq$.
@GitGud Excuse me. But what's the difference of $\forall$ and "take an arbitrary $x$"?
Jul
21
asked Prove the reflexivity of $\subseteq$.
Jul
20
revised Is there something that studies equivalent forms of writing and expression?
edited body
Jul
20
comment Is there something that studies equivalent forms of writing and expression?
@JHance Yes, thanks.
Jul
20
asked Is there something that studies equivalent forms of writing and expression?
Jul
16
revised How to turn arbitrary fractions into arbitrary egyptian fractions?
edited title
Jul
16
asked How to turn arbitrary fractions into arbitrary egyptian fractions?
Jul
16
comment What do we lose by differentiating without using the rules of differential calculus?
Good point you made in your first sentence. There are rules that are more primitive and these can be used to derive the others, right?
Jul
13
asked What do we lose by differentiating without using the rules of differential calculus?
Jul
12
comment Differentiating $\frac{te^{\tan t}}{ln(3t+1)}$?
Excuse me, you wrote "$f_2'\cdot f_1'$ is trivial", shouldn't it be $f_2\cdot f_1'$?
Jul
12
asked Curiosity about Kronecker's Delta?
Jul
12
accepted Differentiating $\frac{te^{\tan t}}{ln(3t+1)}$?