|OP↑-OQ↑|^2=|OP↑|^2-2(OP↑･OQ↑)+|OQ↑|^2=1
|OP↑|^2+|OQ↑|^2=1+2(OP↑･OQ↑)

>>292
y=x^2-3x+3、y=2x-1⇔y=x^2-5x+4=2x-1
命題 P と命題 Q に対して、P⇒Q が真のとき、
P は Q であるための十分条件
Q は P であるための必要条件

6⇒2+4　偽
2+4⇒6　真