Proof of the Pythagorean Theorem via $\frac{d}{dx}\sin^2 x + \frac{d}{dx}\cos^2 x = 0$

geometry proof-writing calculus

Any one seen this proof before?

$$\frac{d}{dx} \sin(x)^2=2\cos(x)\sin(x)$$ $$\frac{d}{dx} \cos(x)^2=-2\cos(x)\sin(x)$$

$$\frac{d}{dx} \sin(x)^2+\frac{d}{dx} \cos(x)^2=0$$ $$\sin(x)^2+\cos(x)^2=c$$ $$\sin(0)^2+\cos(0)^2=c$$ $$1=c,$$

$$\sin(x)^2+\cos(x)^2=1$$

Let C, A, and B be the hypotinuse, opposite, and ajacent sides of a right triangle, then $$((C\sin(x))^2+(C\cos(x))^2=C^2$$ $$A^2+B^2=C^2$$

Is this proof valid, i.e. is the Pythagorean theorem used in defining the above trig relations?


Solution 1:

I think this proof is OK.

You can get the derivatives from the trigonometric addition formulas, which can be in turn proved without the Pythagorean theorem, but only from (other) geometry.

Related

Show that the powerset partial order is a cartesian closed category.
Exact power of $p$ that divides the discriminant of an algebraic number field
Asymptotic behavior of $|f'(x)|^n e^{-f(x)}$
What are the "correct" modules over locally ringed spaces?
Fourier series of function $f(x)=0$ if $-\pi<x<0$ and $f(x)=\sin(x)$ if $0<x<\pi$
Prove that $\int_{0}^{1}{f^{2}(x)dx}\leq \frac{4}{3}\left(\int_{0}^{1}{f(x)dx}\right)^2$
Proof that the set of doubly-stochastic matrices forms a convex polytope?
Solve $A_n=A_{n-1}+\lfloor \sqrt{A_{n-1}}\rfloor$
Closed form for $\sum_{k=0}^{n} k\binom{n}{k}\log\binom{n}{k}$
Sum of idempotent matrices is Identity
Proving existence of a square-free sequence
Show that f is a polynomial