Another unit circle for derivation of the cosine difference formula using distance formula

						JXG.Options.axis.ticks.insertTicks = false;
JXG.Options.axis.ticks.ticksDistance = 10;
var board = JXG.JSXGraph.initBoard('box1', {
boundingbox:  [-1.3, 1.3, 1.3, -1.3],showcopyright: false,showNavigation: false,axis: true,defaultAxes: {
    y: { 
	ticks: {majorHeight: 5 },
	withLabel:true,
    name: 'Y',
      label: {
        position: 'rt',
        offset: [10, 0]
      }
	},
	x: { 
	ticks: {majorHeight: 5 },
	name: 'X',
    withLabel: true,
    label: {
        position: 'rt',
      offset: [-10, -15]
    } },
  }, 
});
 

var p1 = board.create('point', [0, 0],{name:'O',size: 1, fixed:true, label: {offset:[-15,-10], color:'blue'
}} );


var c1 = board.create('circle',[p1, 1]);

var p2 = board.create('glider', [0.439,0.903, c1],{name:"(m,n)",face:'',label:{offset:[5,5]}});

var l1 = board.create('segment', [p1, p2]);
var p3 = board.create('point', [1, 0],{visible:false});
var l4 = board.create('axis', [[0.0, 0], p3],{});

var l5 = board.create('axis', [[0.0, 0], [0, 1]]);
var l6 = board.create('segment', [p2,p3]);
var pp1 = board.create('perpendicularpoint', [p2, l4],{visible:false});


a1 = board.create('angle',[pp1, p1, p2], {radius: 0.6,name:"α - β",label:{offset:[-10,-2]}});
//var t1 = board.create('text',[0.2,1.2,function(){return a1.Value(); }]);