What is wrong in my proof that 90 = 95? Or is it correct?

geometry fake-proofs euclidean-geometry

Solution 1:

$$ \begin{array}{l} 0\in\mathbb N\\ \forall n\in \mathbb N : n'\in \mathbb N\\ \hline 0'\in\mathbb N\\ \forall n\in \mathbb N : n'\in \mathbb N\\ \hline 0''\in\mathbb N\\ \forall n\in \mathbb N : n'\in \mathbb N\\ \hline 0'''\in\mathbb N\\ \forall n\in \mathbb N : n'\in \mathbb N\\ \hline 0''''\in\mathbb N\\ \forall n\in \mathbb N : n'\neq0\\ \hline 0'''''\neq0\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''\neq0'\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''\neq0''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''\neq0'''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''\neq0''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''\neq0'''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''\neq0''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''\neq0'''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''\neq0''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''\neq0'''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''\neq0''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''\neq0'''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''\neq0''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''\neq0'''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''\neq0''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''\neq0'''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''\neq0''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''\neq0'''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''\neq0''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''\neq0'''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''\neq0''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''\neq0'''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''\neq0''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline \phantom{0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''} \end{array} $$ $$ \begin{array}{l} 0'''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline \phantom{0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''} \end{array} $$ $$ \begin{array}{l} 0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline \phantom{0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''} \end{array} $$ $$ \begin{array}{l} 0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \forall m,n\in \mathbb N:m\neq n\rightarrow m'\neq n' \\ \hline 0'''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\neq0''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''''\\ \\ \square \end{array} $$

Solution 2:

Your statement 16 depends on the way in which the diagram is drawn to know that ∠DCS = ∠DCB + ∠BCS.

Related

Exact sequence of sheaves with non exact sequence of global sections
Closed-form of an integral involving a Jacobi theta function, $ \int_0^{\infty} \frac{\theta_4^{n}\left(e^{-\pi x}\right)}{1+x^2} dx $
Uniform $L^p$ bound on finite measure implies uniform integrability
Is every complex (smooth) manifold a scheme?
Sources on Several Complex Variables
How do I take a screenshot that includes the moon using camera mode in Terraria?
Why doesn't Jacob Frye wipe the blood of one of his victims?
How do i summon a villager that trades custom banners
What's a good strategy for dealing with brambles?
What happens if you run out of time?
Executing a command for an entity in front of me
Command Block Question for "if, then" statement