WEBVTT

01e0f032-c1f1-45ae-8f27-985368c5bfd8-0
00:00:05.520 --> 00:00:11.280
Hi I'm Fiona and this is Tamua 2021 paper
2 and question 5.

0699a886-240a-42d6-9bc1-c35287aa528d-0
00:00:11.640 --> 00:00:15.401
We're given 5 lines of a mathematical
argument,

0699a886-240a-42d6-9bc1-c35287aa528d-1
00:00:15.401 --> 00:00:19.320
and we're asked on which line is the
first error.

61458657-9117-4cea-bc9e-836d5e20de39-0
00:00:19.560 --> 00:00:23.679
So let's go through and have a look at
each line in turn until we come to an

61458657-9117-4cea-bc9e-836d5e20de39-1
00:00:23.679 --> 00:00:24.000
error.

5ed43adb-6076-4743-929a-4a3b0af4c345-0
00:00:24.240 --> 00:00:30.354
We know that we will come to an error
because if you do actually perform this

5ed43adb-6076-4743-929a-4a3b0af4c345-1
00:00:30.354 --> 00:00:35.136
substitution of substituting π in for X
into this line here,

5ed43adb-6076-4743-929a-4a3b0af4c345-2
00:00:35.136 --> 00:00:39.840
then you do get 0 = 4,
which is mathematically nonsensical.

bc80d542-8cd7-4668-b5ea-4941423febc7-0
00:00:40.120 --> 00:00:41.960
And so we know that there's an error.

0973a19e-14b3-4309-9e10-80099dccd67f-0
00:00:41.960 --> 00:00:43.560
So let's go through and find it.

09dc4647-0da2-43da-b61c-c3227c84f576-0
00:00:44.280 --> 00:00:50.652
Line A says sine squared X plus Cos
squared X = 1 for all values of X and

09dc4647-0da2-43da-b61c-c3227c84f576-1
00:00:50.652 --> 00:00:51.600
this holds.

edd5c53d-324e-4c79-81dd-695d1cab6e83-0
00:00:51.600 --> 00:00:52.200
This is true.

f9289744-29d3-4859-b5fe-0bbbc8ed92ac-0
00:00:52.200 --> 00:00:57.545
There's no errors here because this is a
trigonometric identity,

f9289744-29d3-4859-b5fe-0bbbc8ed92ac-1
00:00:57.545 --> 00:01:03.630
and an identity is something which holds
no matter what values we choose,

f9289744-29d3-4859-b5fe-0bbbc8ed92ac-2
00:01:03.630 --> 00:01:05.439
and so line A is fine.

43749089-a357-414c-b736-844e625d6e3d-0
00:01:05.760 --> 00:01:11.480
Line B says therefore cosine X = sqrt 1
minus sine squared X.

68800df2-7973-479b-a7d9-372a62e9b3ba-0
00:01:11.600 --> 00:01:15.000
So let's think about where this comes
from.

3d1808ac-519f-4e03-b3de-840c2fb8e9e5-0
00:01:15.000 --> 00:01:24.091
This comes from taking this identity here
and rearranging to get Cos squared X = 1

3d1808ac-519f-4e03-b3de-840c2fb8e9e5-1
00:01:24.091 --> 00:01:33.073
minus sine squared X and then taking the
square root of both sides gives cosine X

3d1808ac-519f-4e03-b3de-840c2fb8e9e5-2
00:01:33.073 --> 00:01:36.359
= sqrt 1 minus sine squared X.

99e2c00c-730b-4393-b00f-1365c4296ccf-0
00:01:36.360 --> 00:01:38.880
And this is where the error is introduced.

d88778db-2ae6-4f4f-a28e-4be62d9b33a9-0
00:01:39.160 --> 00:01:42.487
And that's because if we think about
cosine X,

d88778db-2ae6-4f4f-a28e-4be62d9b33a9-1
00:01:42.487 --> 00:01:47.160
the values which that function can take
range between -1 and one.

b76bf8fe-3cad-481a-97ed-06e34ac1f714-0
00:01:47.280 --> 00:01:50.761
That means that cosine X can have
negative values,

b76bf8fe-3cad-481a-97ed-06e34ac1f714-1
00:01:50.761 --> 00:01:53.833
in which case when we're taking square
root,

b76bf8fe-3cad-481a-97ed-06e34ac1f714-2
00:01:53.833 --> 00:01:58.680
we need to take the positive square root
and the negative square root.

5719a763-851a-48e5-96d4-8a4af9a4f24c-0
00:01:58.840 --> 00:02:04.314
Whereas this line says that this
statement is true for all values of X,

5719a763-851a-48e5-96d4-8a4af9a4f24c-1
00:02:04.314 --> 00:02:08.800
and the error is that it's only true for
some values of X.

199a852c-03c9-4e0b-aa6b-ae34ec029a77-0
00:02:09.000 --> 00:02:16.413
So the answer to this question is that
line B is the first line where an error

199a852c-03c9-4e0b-aa6b-ae34ec029a77-1
00:02:16.413 --> 00:02:18.760
is where an error exists.

37124a12-adb9-4d3c-8abf-65235905715b-0
00:02:20.240 --> 00:02:22.480
Let's take some time to reflect on this
question.

07009af9-92a4-4074-a23e-17d88b685e44-0
00:02:22.880 --> 00:02:28.261
One other way that we can view this is by
considering the direction of implications

07009af9-92a4-4074-a23e-17d88b685e44-1
00:02:28.261 --> 00:02:31.400
between each line of this mathematical
argument.

049cdd59-46eb-4905-93a8-bcf71c3a8a87-0
00:02:31.720 --> 00:02:35.186
When we are constructing A mathematical
argument,

049cdd59-46eb-4905-93a8-bcf71c3a8a87-1
00:02:35.186 --> 00:02:40.594
we want to construct it in such a way
where the implication between each line

049cdd59-46eb-4905-93a8-bcf71c3a8a87-2
00:02:40.594 --> 00:02:44.200
goes both ways or has a if and only if
implication.

2b7c03f4-f5e9-4683-80aa-e71e14769829-0
00:02:45.120 --> 00:02:51.854
Whereas when we look at the movement from
statement A to statement B,

2b7c03f4-f5e9-4683-80aa-e71e14769829-1
00:02:51.854 --> 00:02:56.280
then the implication only goes One
Direction.

6509ba89-bbdc-4fb5-949b-8ba15696c763-0
00:02:56.440 --> 00:03:02.640
So A is necessary for B to hold,
but it's not sufficient.

217818cf-e1e3-471e-9b98-d989ec18297b-0
00:03:02.920 --> 00:03:04.920
Let's look at a numerical example.

08aed430-54a5-4ade-9885-b47ed26c72b3-0
00:03:05.160 --> 00:03:12.396
So coming over here on the board,
if I had a ^2 = 100,

08aed430-54a5-4ade-9885-b47ed26c72b3-1
00:03:12.396 --> 00:03:20.027
then I could say that A = sqrt 100 is a
solution to this,

08aed430-54a5-4ade-9885-b47ed26c72b3-2
00:03:20.027 --> 00:03:26.080
or 10 is one of the values that A could
take.

c3338d31-ba95-4d21-954d-48360b49f1c4-0
00:03:26.280 --> 00:03:33.539
But A could also take the value of -10,
and so the implication here goes that way

c3338d31-ba95-4d21-954d-48360b49f1c4-1
00:03:33.539 --> 00:03:39.560
because in order for this to hold,
we have to have that a ^2 = 100.

3a0d0ca6-bedc-4a58-8996-5bd2548ba254-0
00:03:39.720 --> 00:03:44.840
But A can also take the value of -10 as
well.

e0c73498-ebb0-4b12-b1e8-ab591ffea60b-0
00:03:45.720 --> 00:03:51.640
So thinking about things in this way just
helps developing our mathematical logic.