I am currently student teaching for an Integrated Math 1 class (which is similar to Algebra 1) that consists of 9th graders. I have been teaching my students how to solve linear systems using Elimination.
Here is one example we did in class:
$$\begin{cases} x-y=10 \\ 2x+y=5 \end{cases}$$
The students recognized that they should add the second equation from the first. However, a common mistake I noticed was that some students did not combine like-terms correctly (which they have previously learned). For example, one student (who has an IEP) added the equations and wrote $$2x+y=15$$
Clearly, this student did not recall how to add $x+2x$ and $-y+y$, but he did correctly add $10+5=15$ (presumably because the $10$ and the $15$ were "visible"). After discussing with my cooperating educator (CE), she suggested that I rewrite the original system as $$\begin{cases} \color{red}{1}x-\color{red}{1}y=10 \\ 2x+\color{red}{1}y=5 \end{cases}$$ to make the coefficients stand out.
But then it occurred to me: why is that in math, we do not normally write, for instance, $x$ as $1x$?
Now the obvious reason may be that any number times $1$ is itself, so it is more efficient to write $2$ instead of $2$ times $1$, and consequently, it is more efficient to write $x$ instead of $1x$. But why explain this to a 9th grader when they can just simply get in the habit of always writing $1x$? If anything, this will help the students see the coefficient and make less mistakes when adding or subtracting like-terms. Otherwise, I find myself explaining to the students "Don't forget that there's an invisible $1$ next to $x$", which doesn't really stick with them. This issue would be avoided if the students were accustomed to writing $1x$ instead of just $x$.
Recognizing that my students have a variety of skill levels (and the fact that I am young and naive), it might be overkill for some of them to always write $1x$ instead of $x$ if they already know what they are doing, so I understand that my proposal will depend the students' mathematical abilities. Hence, my questions are: For the purpose of teaching, should we normalize writing $1x$ instead of $x$? Or is this approach better suited for students with special learning needs instead of forcing all students to write this way?
if(condition==true)
: there's nothing "wrong" with them within their respective rules, but why do it? (And like an answer below asks, why not then go on to "It is the case that it is true that $P$ does hold", etc.) $\endgroup$