Soluciones adicionales al resolver sinθ+cosθ=2sin2θ−−−−−−√sin⁡θ+cos⁡θ=2sin⁡2θ\sin\theta+\cos\theta=\sqrt{2\sin2\theta}

El problema:

pecado θ + porque θ = 2 pecado 2 θ

Mi solución:

pecado θ + porque θ = 2 pecado 2 θ

pecado θ + porque θ = 2 × 2 pecado θ porque θ

pecado θ + porque θ = 2 pecado θ porque θ

pecado θ 2 pecado θ porque θ + porque θ = 0

( pecado θ porque θ ) 2 = 0

pecado θ = porque θ

Cualquiera porque θ o pecado θ puede ser igual a cero. Ambos no pueden ser iguales a cero al mismo tiempo. Como podemos ver que pecado θ = porque θ , ninguna de porque θ y pecado θ es igual a cero. Entonces, dividiendo ambos lados por porque θ es válida.

broncearse θ = 1

broncearse θ = 1

(1) θ = norte π + π 4

Mi pregunta:

  1. Nos hemos topado con una solución interesante en (1). Aquí, θ satisface nuestra ecuación original sólo cuando norte es par o 0 . ¿Porqué es eso? no es norte se supone que pertenecen al conjunto de los enteros?

PD: Esto podría ayudarte a responder la pregunta.

Tenga en cuenta que la raíz cuadrada solo se define para valores positivos de pecado θ o porque θ , o lo que pongas debajo de la raíz cuadrada. Cuando se divide por porque θ puede cambiar el conjunto de soluciones, lo mismo se aplica cuando eleva al cuadrado.

Respuestas (5)

Mi solución:

pecado θ + porque θ = 2 pecado 2 θ

pecado θ + porque θ = 2 × 2 pecado θ porque θ

pecado θ + porque θ = 2 pecado θ porque θ

pecado θ 2 pecado θ porque θ + porque θ = 0

(*) ( pecado θ porque θ ) 2 = 0

pecado θ = porque θ

(#) broncearse θ = 1

broncearse θ = 1

θ = norte π + π 4

  1. Tenga en cuenta que

    pecado θ porque θ = 1 pecado θ porque θ = 1
    pero
    pecado θ porque θ = 1 pecado θ porque θ = 1 ;
    entonces ,
    pecado θ porque θ broncearse θ .
    Al paso ( # ) , introdujo soluciones extrañas , expandiendo el conjunto de soluciones candidatas , al permitir pecado θ y porque θ ser ambos negativos (así como ambos positivos).

    Sin embargo, ( # ) es un paso válido , ya que la implicación directa es correcta.

  2. Sin embargo, lo anterior puede ser discutible, ya que el paso anterior ( ) puede haber descartado soluciones y, por lo tanto, puede ser inválida : sin justificación, no es evidente que

    pecado θ 2 pecado θ porque θ + porque θ = 0 ( pecado θ porque θ ) 2 = 0 ,
    desde
    pecado θ 2 pecado θ porque θ + porque θ pecado θ 2 pecado θ porque θ + porque θ ( pecado θ porque θ ) 2 .

    (Sin embargo, lo contrario es ciertamente cierto).

    Aquí, la implicación hacia adelante resulta ser justificable: θ pasa a residir en el primer cuadrante, por lo que pecado θ y porque θ son de hecho ambos positivos.


Apéndice 1: solución sugerida

pecado θ + porque θ = 2 pecado 2 θ 1 + pecado 2 θ = 2 pecado 2 θ pecado 2 θ = 1 (1) θ = ( 4 norte + 1 ) π 4 .
El primer paso anterior resulta haber introducido soluciones extrañas ( Por ejemplo,  5 π 4 ) , que debemos podar. Alternativamente, podríamos notar la restricción implícita (cambiando el a )
pecado θ + porque θ 0 2 pecado ( θ + π 4 ) 0 θ + π 4 [ 2 norte π , ( 2 norte + 1 ) π ]
(2) θ [ ( 8 norte 1 ) π 4 , ( 8 norte + 3 ) π 4 ] .
Combinatorio ( 1 ) y ( 2 ) :
θ = ( 8 k + 1 ) π 4 = π 4 + 2 k π .


Apéndice 2

Entonces, los pasos que crean raíces extrañas siguen siendo válidos.

Estamos argumentando a partir de axiomas matemáticos y dado un contexto, por lo que un paso (por ejemplo, X ( q ( X ) R ( X ) ) , o q R ) es válido precisamente cuando es matemáticamente cierto en ese contexto.

Por ejemplo, dado ( X 3 ) ( X 4 ) = 0 , el paso X ( X { 3 , 4 } X { 3 , 4 , 7 } ) es válido , aunque hace que el conjunto de soluciones candidatas sea menos preciso; sin embargo, no es válido deducir entonces que X ( ( X 3 ) ( X 4 ) = 0 X { 3 , 4 , 7 } ) , es decir, que el conjunto solución real es { 3 , 4 , 7 } .

Sin embargo, los pasos que descartan soluciones no son válidos, ¿verdad?

Sí, X ( X { 3 , 4 } X { 4 } ) es un paso inválido.

Además, creo que (*) podría ser válido porque θ está en el primer cuadrante: vea la respuesta de @user. Si θ está en el primer cuadrante, entonces pecado θ = | pecado θ | & porque θ = | porque θ | .

Sí, ( ) resulta ser un paso válido. Pero dado que no había demostrado (usando las condiciones implícitas de la ecuación dada) ni siquiera afirmado que θ de hecho se encuentra en el cuadrante 1 (en lugar de cuadrante 3 ) , ese paso se siente incompleto/ondulado a mano.

Elevaste al cuadrado ambos lados en la segunda línea de tu solución. ¿No creaste raíces extrañas?
@tryingtobeastoic Squaring potencialmente (aunque no necesariamente ) crea soluciones extrañas, que eran exactamente lo que estábamos considerando en ( 2 ) . (Con esta restricción, la segunda línea se convierte efectivamente en una .)
Entonces, los pasos que crean raíces extrañas siguen siendo válidos. Sin embargo, los pasos que descartan soluciones no son válidos, ¿verdad?
Además, creo que (*) podría ser válido porque θ está en el primer cuadrante: vea la respuesta de @user. Si θ está en el primer cuadrante, entonces pecado θ = | pecado θ | & porque θ = | porque θ | . ¿Qué opinas?
@tryingtobeastoic: los pasos que crean raíces extrañas no son automáticamente válidos. Si usa un paso que potencialmente crea raíces extrañas, todas las soluciones que encuentre deben verificarse para ver si son correctas.

pecado θ + porque θ se da como raíz cuadrada positiva de 2 pecado ( 2 θ ) . valores impares de norte hacer pecado θ + porque θ negativo, por lo que solo se permiten valores pares.

necesitamos eso pecado 2 θ 0 eso es

0 + 2 norte π 2 θ π + 2 norte π norte π θ π 2 + norte π

por lo tanto, solo se permiten soluciones en el primer o tercer cuadrante, pero como en el tercer cuadrante pecado θ + porque θ < 0 , solo soluciones en el primer cuadrante están permitidos que es por norte = 2 k

2 k π θ π 2 + 2 k π

Entonces, dado que todos los términos involucrados en la expresión son positivos, y tenemos que para A , B 0

A = B A 2 = B

entonces podemos proceder elevando al cuadrado ambos lados para obtener un ecuación equivalente

pecado θ + porque θ = 2 pecado 2 θ 1 + pecado 2 θ = 2 pecado 2 θ pecado 2 θ = 1

2 θ = π 2 + 2 norte π θ = π 4 + norte π θ = π 4 + 2 k π


Editar

Como enfoque alternativo, dado que todos los términos involucrados en la expresión son positivos, por AM-GM obtenemos

pecado θ + porque θ 2 pecado θ porque θ = 2 pecado 2 θ

con igualdad para pecado θ = porque θ θ = π 4 + 2 k π .

Perdóname, pero no entiendo completamente las condiciones que estableciste para hacer pecado 2 θ positivo. estoy hablando de 0 + 2 k π 2 θ π + 2 k π k π θ π 2 + k π . Si es posible, ¿podría intentar presentar una imagen más simplificada con más palabras?
pecado 2 θ no es negativo en [ 0 , π ] , [ 2 π , 3 π ] , por lo tanto para θ [ 0 , π / 2 ] , [ π , 3 π / 2 ] , .

Desde θ debe estar en el 1er cuadrante para hacer ambos porque θ y pecado θ real, por lo que la solución general de la ecuación debe ser θ = 2 norte π + π 4 , dónde  norte Z .

Al elevar al cuadrado, has establecido que cualquier solución de la ecuación debe ser de la forma θ = π 4 + k π . Sin embargo, no todos los números con esta forma necesitan ser soluciones de la ecuación. Imagina una situación más simple, donde estás resolviendo X = X , y por lo tanto suponiendo que X 0 . Cuando elevas al cuadrado ambos lados de la igualdad, obtienes X 2 = X X = 0 X = 1 , pero X = 1 claramente no es una solución a la ecuación inicial. Esto se reduce a darse cuenta de que a = b a 2 = b 2 pero a 2 = b 2 a = b .