Espero que sean así, tal como las escribiste ya no hay ninguna ambigüedad. Pusiste algún paréntesis de más pero eso está incluso bien. Escribiré toda la resolución en línea solo con los paréntesis necesarios para que te familiarices con esta forma de escribir que es incomoda de leer a veces, pero en informática es imprescindible conocerla.
a) 1+ senx·senx / cosx = senx / ctgx + 1
1 + sen^2(x) / cosx = senx / (cosx/senx) + 1
1 + sen^2(x) / cosx = senx·senx / cosx + 1
1 + sen^2(x) / cosx = sen^2(x) / cosx + 1
Luego es cierta la identidad
b) 1 - 2sen^2(x) = [1 - sen^2(x) / cos^2(x)] / [ 1 + sen^2(x) / cos^2(x)]
1 - 2sen^2(x) = {[cos^2(x) - sen^2(x)] / cos^2(x)} / {[cos^2(x) + sen^2(x)] / cos^2(x)}
No escribiré el paso de la división porque es largo, pero si lo haces verás que el cos^2(x) se simplifica y queda esto
1 - 2sen^2(x) = [cos^2(x) - sen^2(x)] / [cos^2(x) + sen^2(x)]
1 - 2sen^2(x) = [cos^2(x) - sen^2(x)] / 1
1 - 2sen^2(x) = cos^2(x) - sen^2(x)
Ahora toca operar en la izquierda
1 - sen^2(x) - sen^2(x) = cos^2(x) - sen^2(x)
cos^2(x) - sen^2(x) = cos^2(x) - sen^2(x)
Luego la identidad es verdadera.
Y eso es todo.