Demostrar que, si a y b son números reales, al menos uno de los cuales no es 0 y i=√1 entonces existe un único número complejo, digamos c+di tal que (a+bi)(c+di)=1 .
Proposición: Si a y b son números reales, al menos uno de los cuales no es 0 y i=√1 entonces existe un único número complejo, digamos c+di tal que (a+bi)(c+di)=1 .
A (hipótesis): a y b son números reales, al menos uno de los cuales no es 0 y i=√1 .
B (conclusión): Existe un único número complejo, digamos c+di tal que (a+bi)(c+di)=1 .
Mi trabajo
B1: (a+bi)(c+di)=1
∴
B2: c + di = \dfrac{1}{a + bi} donde a + bi \not = 0
A1: c + di = \dfrac{1}{a + bi} donde a + bi \not = 0
\implies (a + bi)(x + yi) = 1 donde a + bi \not = 0 .
Por lo tanto, en A1 he construido el objeto especificado en la conclusión ( c + di ).
Ahora, a continuación, utilizo el método de unicidad directa para demostrar que el objeto es único.
A2: Existe un número complejo x + yi tal que x + yi = \dfrac{1}{a + bi} .
\implies (a + bi)(x + yi) = 1 donde a + bi \not = 0
A3: (a+bi)(x + yi) = (a + bi)(c + di) donde a + bi \not = 0
\implies x + yi = c + di
Q.E.D.
EDIT: Mi trabajo #2
A1: (a + bi)(c + di) = 1
\implies ac + adi + bic + bdi^2 = 1
\implies ac + adi + bic - bd = 1
\implies (ac - bd) + i(ad + bc) = 1 es un número complejo, donde (ac - bd) es la parte real y i(ad + bc) es la parte imaginaria.
A2: Sea ac - bd = 1 y ad + bc = 0
\therefore 1 + 0 = 1
Por lo tanto, en A1 he construido el objeto especificado en la conclusión ( c + di ).
Ahora, a continuación, utilizo el método de unicidad directa para demostrar que el objeto es único.
A3: Sea (a + bi)(x + yi) = 1
A4: (a + bi)(c + di) = (a + bi)(x + yi) donde ( a \lor b) \not = 0 .
\implies c + di = x + yi
Q.E.D.
Apreciaría enormemente que la gente se tomara la molestia de revisar mi prueba para comprobar que es correcta y me diera su opinión. Si hay algún error, por favor expliquen por qué y cuál es el procedimiento correcto.